( en | de | ru )

 

Disambiguation of "Jagannathan, Suresh"

Author of the publication

copydeleteadd this publication to your clipboard
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).

. FSTTCS, volume 45 of LIPIcs, page 9-9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Suresh Merchant

Suresh Duggal

Suresh Majmudar

Suresh Kumbar

Suresh Sudarsan

 

Other publications of authors with the same name

Cooking the Books: Formalizing JMM Implementation Recipes., , and . ECOOP, volume 37 of LIPIcs, page 445-469. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).. FSTTCS, volume 45 of LIPIcs, page 9-9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Uniformity of Environment and Computation in MAP., , and . VL, page 130-137. IEEE Computer Society, (1996)Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems., , , and . Peer-to-Peer Computing, page 201-208. IEEE Computer Society, (2005)Asynchronous Algorithms in MapReduce., , , and . CLUSTER, page 245-254. IEEE Computer Society, (2010)Preemption-Based Avoidance of Priority Inversion for Java., , and . ICPP, page 529-538. IEEE Computer Society, (2004)Weaving Atomicity Through Dynamic Dependence Tracking.. IPDPS, page 1-7. IEEE, (2007)MultiMLton: A multicore-aware runtime for standard ML., , and . J. Funct. Program., 24 (6): 613-674 (2014)Lightweight checkpointing for concurrent ML, and . 20 (2): 137--173 (2010)A Foundation for an Efficient Multi-Threaded Scheme System., and . LISP and Functional Programming, page 345-357. ACM, (1992)