2009 - ACM Fellow For his contributions to program analysis for parallel computing and techniques for enabling software systems to execute successfully in the face of errors and failures.
1995 - Fellow of Alfred P. Sloan Foundation
His primary scientific interests are in Programming language, Java, Data structure, Benchmark and Pointer. His research brings together the fields of Parameterized complexity and Programming language. His research in Java intersects with topics in Android Beam, Thread and Accuracy and precision.
He has researched Data structure in several fields, including Distributed computing, Programmer, Key, Server and Call stack. His Benchmark research includes themes of Consistency, Real-time computing, Set and Data mining. His studies deal with areas such as Algorithm, Compiler, Memory safety and Parallel computing as well as Pointer.
His main research concerns Programming language, Data structure, Theoretical computer science, Algorithm and Set. His study brings together the fields of Parallel computing and Programming language. His biological study spans a wide range of topics, including Object, Consistency and Abstract interpretation.
Many of his studies on Theoretical computer science apply to Program analysis as well. Much of his study explores Set relationship to Benchmark. His work carried out in the field of Compiler brings together such families of science as Commutative property, Computation, Pointer and Code.
His primary areas of study are Algorithm, Artificial intelligence, Software, Software engineering and Inference. His study in Algorithm is interdisciplinary in nature, drawing from both Probability distribution, Process, Artificial neural network, Robustness and Gibbs sampling. His Code research extends to Software, which is thematically connected.
His Code research integrates issues from Search-based software engineering and Data mining. His Inference research incorporates elements of Theoretical computer science, Relational database, Database, Probabilistic logic and Coding. The concepts of his Semantics study are interwoven with issues in Bitmap, Header, Byte, Perl and Data structure.
Martin Rinard mainly focuses on Algorithm, Software engineering, Software, Robustness and Inference. Martin Rinard works mostly in the field of Algorithm, limiting it down to concerns involving Artificial neural network and, occasionally, Correctness, Floating point and State. Martin Rinard interconnects Software maintenance, Categorical variable and Code in the investigation of issues within Software engineering.
His Software study incorporates themes from Boilerplate code, Active learning and SIMPLE. His Inference study combines topics from a wide range of disciplines, such as Relational database, Database, Computation and Coding. His study focuses on the intersection of Theoretical computer science and fields such as Expression with connections in the field of Probabilistic logic.
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.
Concurrent constraint programming
Vijay A. Saraswat;Martin Rinard.
(1993)
Ownership types for safe programming: preventing data races and deadlocks
Chandrasekhar Boyapati;Robert Lee;Martin Rinard.
conference on object-oriented programming systems, languages, and applications (2002)
The semantic foundations of concurrent constraint programming
Vijay A. Saraswat;Martin Rinard;Prakash Panangaden.
symposium on principles of programming languages (1991)
Compositional pointer and escape analysis for Java programs
John Whaley;Martin Rinard.
conference on object-oriented programming systems, languages, and applications (1999)
Managing performance vs. accuracy trade-offs with loop perforation
Stelios Sidiroglou-Douskos;Sasa Misailovic;Henry Hoffmann;Martin Rinard.
foundations of software engineering (2011)
Jade: a high-level, machine-independent language for parallel programming
M.C. Rinard;D.J. Scales;M.S. Lam.
IEEE Computer (1993)
Enhancing server availability and security through failure-oblivious computing
Martin Rinard;Cristian Cadar;Daniel Dumitran;Daniel M. Roy.
operating systems design and implementation (2004)
Automatically patching errors in deployed software
Jeff H. Perkins;Sunghun Kim;Sam Larsen;Saman Amarasinghe.
symposium on operating systems principles (2009)
Dynamic knobs for responsive power-aware computing
Henry Hoffmann;Stelios Sidiroglou;Michael Carbin;Sasa Misailovic.
architectural support for programming languages and operating systems (2011)
Information-Flow Analysis of Android Applications in DroidSafe
Michael I. Gordon;Deokhwan Kim;Jeff H. Perkins;Limei Gilham.
network and distributed system security symposium (2015)
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:
École Polytechnique Fédérale de Lausanne
Stanford University
Tel Aviv University
Stanford University
University of Chicago
University of Washington
University of Illinois at Urbana-Champaign
MIT
French Institute for Research in Computer Science and Automation - INRIA
Publications: 37
University of Konstanz
University of Macau
Louisiana State University
Karlsruhe Institute of Technology
Czech Academy of Sciences
Université Catholique de Louvain
University of Bremen
University of Bonn
Harvard University
Harvard University
University of Amsterdam
Harvard University
Lund University
University of Queensland
Tel Aviv University
University of Würzburg