His primary scientific interests are in Programming language, Distributed computing, Concurrency, Parallel computing and Shared memory. His biological study spans a wide range of topics, including Data flow diagram, Theoretical computer science, Inference and Parameterized complexity. His Distributed computing research integrates issues from Scalability, Object, Distributed object, Computer network and Declarative programming.
Suresh Jagannathan combines subjects such as Software versioning, Concurrency control, Programming paradigm and Asynchronous communication with his study of Concurrency. His work carried out in the field of Parallel computing brings together such families of science as Virtual Processor and Virtual finite-state machine. His Shared memory study combines topics from a wide range of disciplines, such as Address space and Java.
His primary areas of investigation include Programming language, Distributed computing, Concurrency, Theoretical computer science and Thread. His Distributed computing research is multidisciplinary, relying on both Scalability and Computer network, Asynchronous communication. His Scalability research includes elements of Context and Set.
His Concurrency research is multidisciplinary, incorporating elements of Serialization, Serializability, Database transaction, Concurrency control and Java. His Theoretical computer science research includes themes of Data type, Inference and Replication. His work focuses on many connections between Thread and other disciplines, such as Scheduling, that overlap with his field of interest in Parallel computing.
His primary areas of study are Correctness, Programming language, Theoretical computer science, Concurrency and Weak consistency. His research in Correctness intersects with topics in Consistency, Implementation and Serialization. His is doing research in Compiler and Concurrent data structure, both of which are found in Programming language.
His Theoretical computer science study incorporates themes from Data type, Replication, Symbolic execution, Dataflow and Data structure. His work deals with themes such as Serializability, Database transaction, Java and Synchronization, which intersect with Concurrency. His Distributed computing study combines topics in areas such as Control logic, Transition system, State, Counterexample and Formal verification.
Suresh Jagannathan mainly focuses on Programming language, Theoretical computer science, Correctness, Concurrency and Data type. He is interested in Dataflow, which is a field of Programming language. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Linearizability and Data structure.
As part of the same scientific family, he usually focuses on Concurrency, concentrating on Synchronization and intersecting with Variety, Java, Reliability, Scalability and Abstraction. Within one scientific family, Suresh Jagannathan focuses on topics pertaining to Declarative programming under Consistency model, and may sometimes address concerns connected to Distributed computing. His Distributed computing research focuses on Program synthesis and how it connects with Software system.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Software architecture for control of highly parallel computer systems
Efu Fuirubin Jieemusu;Jiyaganasan Suretsushiyu;エフ.フィルビン ジェームス;ジャガナサン スレッシュ.
(1994)
Improving duplicate elimination in storage systems
Deepak R. Bobbarjung;Suresh Jagannathan;Cezary Dubnicki.
ACM Transactions on Storage (2006)
Safe futures for Java
Adam Welc;Suresh Jagannathan;Antony Hosking.
conference on object-oriented programming systems, languages, and applications (2005)
Transmission of higher-order objects across a network of heterogeneous machines
Henrii Seshiten;Suretsushiyu Jiyagunasan;Richiyaado Kerushii.
(1995)
Distributed agent software system and method having enhanced process mobility and communication in a computer network
Jagannathan Suresh;Kelsey Richard;Philbin James;Fujita Satoru.
(1999)
A unified treatment of flow analysis in higher-order languages
Suresh Jagannathan;Stephen Weeks.
symposium on principles of programming languages (1995)
Path-Sensitive Inference of Function Precedence Protocols
Murali Krishna Ramanathan;Ananth Grama;Suresh Jagannathan.
international conference on software engineering (2007)
Static specification inference using predicate mining
Murali Krishna Ramanathan;Ananth Grama;Suresh Jagannathan.
programming language design and implementation (2007)
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Jaroslav Ševčík;Viktor Vafeiadis;Francesco Zappa Nardelli;Suresh Jagannathan.
Journal of the ACM (2013)
Transactional Monitors for Concurrent Objects
Adam Welc;Suresh Jagannathan;Antony L. Hosking.
european conference on object-oriented programming (2004)
Purdue University West Lafayette
Northeastern University
University of Cambridge
Purdue University West Lafayette
Princeton University
Universita della Svizzera Italiana
Max Planck Institute for Software Systems
Microsoft (United States)
University of Maryland, College Park
University of California, San Diego
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: