E-LIB Suche - Ergebnisse für: Murali, Malavika

1

List of contributors:

, In: Meso and Microplastic Risk Assessment in Marine Environments,

Aboobacker, V.M. ; Al-Khayat, Jassim A. ; Al-Rashidi, Amjad... - p. xiii-xvii , 2024

Link: https://doi.org/10.1016/..

2

Microplastics prevalence in marine and freshwater systems o..:

, In: Meso and Microplastic Risk Assessment in Marine Environments,

Thrikkaikkal, Hridya ; Murali, Malavika ; P., Divya.. - p. 55-91 , 2024

Link: https://doi.org/10.1016/..

3

Planning for a Climate Driven Implementation of Mobility Hu..:

Murali, Malavika
https://hdl.handle.net/1853/72947. , 2023

Link: https://hdl.handle.net/1..

4

Site Suitability Analysis of Mobility Hubs: Determining Sui..:

Murali, Malavika
https://hdl.handle.net/1853/72948. , 2023

Link: https://hdl.handle.net/1..

5

Nano-potassium intercalated composted coir pith: A slow-rel..:

Bhavishya ; Subramanian, Kizhaeral Sevathapandian ; Gopal, Murali...
Biocatalysis and Agricultural Biotechnology. 57 (2024) - p. 103054 , 2024

Link: https://doi.org/10.1016/..

6

Directed synthesis of failing concurrent executions:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Samak, Malavika ; Tripp, Omer ; Ramanathan, Murali Krishna - p. 430-446 , 2016

Link: https://dl.acm.org/doi/1..

7

Directed synthesis of failing concurrent executions:

Samak, Malavika ; Tripp, Omer ; Ramanathan, Murali Krishna
ACM SIGPLAN Notices. 51 (2016) 10 - p. 430-446 , 2016

Link: https://doi.org/10.1145/..

8

Synthesizing racy tests:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Samak, Malavika ; Ramanathan, Murali Krishna ; Jagannathan, Suresh - p. 175-185 , 2015

Link: https://dl.acm.org/doi/1..

9

Synthesizing racy tests:

Samak, Malavika ; Ramanathan, Murali Krishna ; Jagannathan, Suresh
ACM SIGPLAN Notices. 50 (2015) 6 - p. 175-185 , 2015

Link: https://doi.org/10.1145/..

10

Synthesizing tests for detecting atomicity violations:

, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering,

Samak, Malavika ; Ramanathan, Murali Krishna - p. 131-142 , 2015

Link: https://dl.acm.org/doi/1..

11

Trace driven dynamic deadlock detection and reproduction:

, In: Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming,

Samak, Malavika ; Ramanathan, Murali Krishna - p. 29-42 , 2014

Link: https://dl.acm.org/doi/1..

12

Multithreaded test synthesis for deadlock detection:

Samak, Malavika ; Ramanathan, Murali Krishna
ACM SIGPLAN Notices. 49 (2014) 10 - p. 473-489 , 2014

Link: https://doi.org/10.1145/..

13

Multithreaded test synthesis for deadlock detection:

, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,

Samak, Malavika ; Ramanathan, Murali Krishna - p. 473-489 , 2014

Link: https://dl.acm.org/doi/1..

14

Omen : a tool for synthesizing tests for deadlock detect..:

, In: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity,

Samak, Malavika ; Ramanathan, Murali Krishna - p. 37-38 , 2014

Link: https://dl.acm.org/doi/1..

15

Omen+: a precise dynamic deadlock detector for multithreade..:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Samak, Malavika ; Ramanathan, Murali Krishna - p. 735-738 , 2014

Link: https://dl.acm.org/doi/1..