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.
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.
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.
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.
Automatic predicate abstraction of C programs
Thomas Ball;Rupak Majumdar;Todd Millstein;Sriram K. Rajamani.
programming language design and implementation (2001)
Navigational plans for data integration
Marc Friedman;Alon Levy;Todd Millstein.
national conference on artificial intelligence (1999)
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)
RERAN: timing- and touch-sensitive record and replay for Android
Lorenzo Gomez;Iulian Neamtiu;Tanzirul Azim;Todd Millstein.
international conference on software engineering (2013)
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)
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)
Automatic SAT-compilation of planning problems
Michael D. Ernst;Todd D. Millstein;Daniel S. Weld.
international joint conference on artificial intelligence (1997)
A general approach to network configuration analysis
Ari Fogel;Stanley Fung;Luis Pedrosa;Meg Walraed-Sullivan.
networked systems design and implementation (2015)
Automatically proving the correctness of compiler optimizations
Sorin Lerner;Todd Millstein;Craig Chambers.
programming language design and implementation (2003)
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)
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: