D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 42 Citations 7,678 100 World Ranking 4166 National Ranking 2109

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Object-oriented programming

His primary areas of investigation include Programming language, Theoretical computer science, Java, Object-oriented programming and Constant. His study in Predicate dispatch, Double dispatch, Multiple dispatch, Pointer and Optimizing compiler falls within the category of Programming language. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Compiler, Soundness, Range, Algorithm and Network configuration.

As a part of the same scientific family, Todd Millstein mostly works in the field of Java, focusing on Class and, on occasion, Syntax, Inheritance, Object and Semantics. His Object-oriented programming research integrates issues from Java annotation and strictfp. His Constant research is multidisciplinary, incorporating perspectives in Web application, String and Software bug.

His most cited work include:

  • Automatic predicate abstraction of C programs (738 citations)
  • MultiJava: modular open classes and symmetric multiple dispatch for Java (277 citations)
  • RERAN: timing- and touch-sensitive record and replay for Android (214 citations)

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

Todd Millstein mainly investigates Programming language, Theoretical computer science, Compiler, Java and Inference. Programming language connects with themes related to Memory model in his study. His Theoretical computer science research includes themes of Soundness, Parameterized complexity, Rule-based machine translation and Implementation.

His work investigates the relationship between Compiler and topics such as Domain-specific language that intersect with problems in Fault tolerance. His Java research incorporates themes from Object and Code. His work deals with themes such as Data-driven, Probabilistic logic, Key and Loop invariant, which intersect with Inference.

He most often published in these fields:

  • Programming language (44.62%)
  • Theoretical computer science (21.54%)
  • Compiler (16.92%)

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

  • Inference (11.54%)
  • Theoretical computer science (21.54%)
  • Algorithm (6.15%)

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

His primary areas of study are Inference, Theoretical computer science, Algorithm, Implementation and Inductive synthesis. His Inference study combines topics from a wide range of disciplines, such as Probabilistic logic and Key. His work focuses on many connections between Probabilistic logic and other disciplines, such as Denotational semantics, that overlap with his field of interest in Logical reasoning.

His Theoretical computer science research incorporates elements of Data-driven, Compiler, Representation and Artifact. Within one scientific family, Todd Millstein focuses on topics pertaining to Abstract type under Data-driven, and may sometimes address concerns connected to Recursion, Abstract data type, Code and Representation. His Implementation study contributes to a more complete understanding of Programming language.

Between 2018 and 2021, his most popular works were:

  • Scaling exact inference for discrete probabilistic programs (9 citations)
  • Overfitting in Synthesis: Theory and Practice (6 citations)
  • Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. (5 citations)

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

  • Programming language
  • Operating system
  • Object-oriented programming

His main research concerns Theoretical computer science, Probabilistic logic, Inference, Implementation and Inductive synthesis. His study in the fields of Probabilistic inference and Probabilistic programming language under the domain of Probabilistic logic overlaps with other disciplines such as Dice and Power graph analysis. His Probabilistic inference study incorporates themes from Compiler, Approximate inference, Leverage, Logical reasoning and Bayesian network.

His Inference investigation overlaps with other disciplines such as Random variable and Probability distribution. Implementation is a subfield of Programming language that he investigates.

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.

Best Publications

Automatic predicate abstraction of C programs

Thomas Ball;Rupak Majumdar;Todd Millstein;Sriram K. Rajamani.
programming language design and implementation (2001)

1060 Citations

Navigational plans for data integration

Marc Friedman;Alon Levy;Todd Millstein.
national conference on artificial intelligence (1999)

470 Citations

MultiJava: modular open classes and symmetric multiple dispatch for Java

Curtis Clifton;Gary T. Leavens;Craig Chambers;Todd Millstein.
conference on object-oriented programming systems, languages, and applications (2000)

433 Citations

RERAN: timing- and touch-sensitive record and replay for Android

Lorenzo Gomez;Iulian Neamtiu;Tanzirul Azim;Todd Millstein.
international conference on software engineering (2013)

353 Citations

A framework for implementing pluggable type systems

Chris Andreae;James Noble;Shane Markstrum;Todd Millstein.
conference on object-oriented programming systems, languages, and applications (2006)

324 Citations

Dr. Android and Mr. Hide: fine-grained permissions in android applications

Jinseong Jeon;Kristopher K. Micinski;Jeffrey A. Vaughan;Ari Fogel.
security and privacy in smartphones and mobile devices (2012)

303 Citations

Automatic SAT-compilation of planning problems

Michael D. Ernst;Todd D. Millstein;Daniel S. Weld.
international joint conference on artificial intelligence (1997)

260 Citations

A general approach to network configuration analysis

Ari Fogel;Stanley Fung;Luis Pedrosa;Meg Walraed-Sullivan.
networked systems design and implementation (2015)

181 Citations

Automatically proving the correctness of compiler optimizations

Sorin Lerner;Todd Millstein;Craig Chambers.
programming language design and implementation (2003)

175 Citations

Efficient network reachability analysis using a succinct control plane representation

Seyed K. Fayaz;Tushar Sharma;Ari Fogel;Ratul Mahajan.
operating systems design and implementation (2016)

155 Citations

Best Scientists Citing Todd Millstein

Martin Rinard

Martin Rinard

MIT

Publications: 36

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 35

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 33

Thomas Ball

Thomas Ball

Microsoft (United States)

Publications: 31

Sriram K. Rajamani

Sriram K. Rajamani

Microsoft (United States)

Publications: 30

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 25

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 23

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 22

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 21

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 20

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 19

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 18

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 18

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 17

Denys Poshyvanyk

Denys Poshyvanyk

William & Mary

Publications: 17

William G. J. Halfond

William G. J. Halfond

University of Southern California

Publications: 16

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.

Contact us
Something went wrong. Please try again later.