H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 73 Citations 19,496 290 World Ranking 683 National Ranking 417

Research.com Recognitions

Awards & Achievements

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

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

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 most cited work include:

  • Concurrent constraint programming (681 citations)
  • Ownership types for safe programming: preventing data races and deadlocks (549 citations)
  • Compositional pointer and escape analysis for Java programs (408 citations)

What are the main themes of his work throughout his whole career to date?

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.

He most often published in these fields:

  • Programming language (24.73%)
  • Data structure (18.21%)
  • Theoretical computer science (16.30%)

What were the highlights of his more recent work (between 2017-2021)?

  • Algorithm (14.13%)
  • Artificial intelligence (6.52%)
  • Software (7.34%)

In recent papers he was focusing on the following fields of study:

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.

Between 2017 and 2021, his most popular works were:

  • The three pillars of machine programming (28 citations)
  • Probabilistic programming with programmable inference (16 citations)
  • Bayesian synthesis of probabilistic programs for automatic data modeling (15 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

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.

Top Publications

Concurrent constraint programming

Vijay A. Saraswat;Martin Rinard.
(1993)

1147 Citations

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)

705 Citations

The semantic foundations of concurrent constraint programming

Vijay A. Saraswat;Martin Rinard;Prakash Panangaden.
symposium on principles of programming languages (1991)

607 Citations

Compositional pointer and escape analysis for Java programs

John Whaley;Martin Rinard.
conference on object-oriented programming systems, languages, and applications (1999)

526 Citations

Managing performance vs. accuracy trade-offs with loop perforation

Stelios Sidiroglou-Douskos;Sasa Misailovic;Henry Hoffmann;Martin Rinard.
foundations of software engineering (2011)

478 Citations

Jade: a high-level, machine-independent language for parallel programming

M.C. Rinard;D.J. Scales;M.S. Lam.
IEEE Computer (1993)

433 Citations

Enhancing server availability and security through failure-oblivious computing

Martin Rinard;Cristian Cadar;Daniel Dumitran;Daniel M. Roy.
operating systems design and implementation (2004)

427 Citations

Automatically patching errors in deployed software

Jeff H. Perkins;Sunghun Kim;Sam Larsen;Saman Amarasinghe.
symposium on operating systems principles (2009)

423 Citations

Dynamic knobs for responsive power-aware computing

Henry Hoffmann;Stelios Sidiroglou;Michael Carbin;Sasa Misailovic.
architectural support for programming languages and operating systems (2011)

378 Citations

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)

375 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-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.

Contact us

Top Scientists Citing Martin Rinard

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 58

Martin Monperrus

Martin Monperrus

Royal Institute of Technology

Publications: 51

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 47

Jonathan Aldrich

Jonathan Aldrich

Carnegie Mellon University

Publications: 41

Westley Weimer

Westley Weimer

University of Michigan–Ann Arbor

Publications: 39

Catuscia Palamidessi

Catuscia Palamidessi

French Institute for Research in Computer Science and Automation - INRIA

Publications: 37

Angelos D. Keromytis

Angelos D. Keromytis

Georgia Institute of Technology

Publications: 36

Vijay Saraswat

Vijay Saraswat

Goldman Sachs Research

Publications: 35

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 34

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 34

Luis Ceze

Luis Ceze

University of Washington

Publications: 33

Vikram Adve

Vikram Adve

University of Illinois at Urbana-Champaign

Publications: 33

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 32

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 31

Stephanie Forrest

Stephanie Forrest

University of New Mexico

Publications: 30

Something went wrong. Please try again later.