Todd Millstein

6.3k total citations
115 papers, 3.5k citations indexed

About

Todd Millstein is a scholar working on Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, Todd Millstein has authored 115 papers receiving a total of 3.5k indexed citations (citations by other indexed papers that have themselves been cited), including 67 papers in Artificial Intelligence, 46 papers in Computer Networks and Communications and 46 papers in Hardware and Architecture. Recurrent topics in Todd Millstein's work include Logic, programming, and type systems (40 papers), Parallel Computing and Optimization Techniques (36 papers) and Security and Verification in Computing (27 papers). Todd Millstein is often cited by papers focused on Logic, programming, and type systems (40 papers), Parallel Computing and Optimization Techniques (36 papers) and Security and Verification in Computing (27 papers). Todd Millstein collaborates with scholars based in United States, United Kingdom and Denmark. Todd Millstein's co-authors include Craig Chambers, Rupak Majumdar, Sriram K. Rajamani, Thomas Ball, Gary T. Leavens, Daniel Marino, Sorin Lerner, Curtis Clifton, Madanlal Musuvathi and Ratul Mahajan and has published in prestigious journals such as Communications of the ACM, ACM SIGCOMM Computer Communication Review and Proceedings of the VLDB Endowment.

In The Last Decade

Todd Millstein

113 papers receiving 3.2k citations

Peers

Countries citing papers authored by Todd Millstein

Since Specialization

Citations

This map shows the geographic impact of Todd Millstein's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Todd Millstein with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Todd Millstein more than expected).

Fields of papers citing papers by Todd Millstein

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Todd Millstein. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Todd Millstein. The network helps show where Todd Millstein may publish in the future.

Co-authorship network of co-authors of Todd Millstein

This figure shows the co-authorship network connecting the top 25 collaborators of Todd Millstein. A scholar is included among the top collaborators of Todd Millstein based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Todd Millstein. Todd Millstein is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	If Layering is useful, why not Sublayering? 2024 ·(unknown), (unknown), (unknown), (unknown), Todd Millstein, Scott Shenker, George Varghese	0
2	Sound Abstraction and Decomposition of Probabilistic Programs 2018 ·International Conference on Machine Learning ·(unknown), Guy Van den Broeck, Todd Millstein	1
3	Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. 2017 ·eScholarship (California Digital Library) ·(unknown), Todd Millstein	5
4	FlashProfile: Interactive Synthesis of Syntactic Profiles. 2017 ·eScholarship (California Digital Library) ·(unknown), Prateek Jain, (unknown), Oleksandr Polozov, Sumit Gulwani, Todd Millstein	3
5	Adding data provenance support to Apache Spark 2017 ·The VLDB Journal ·Matteo Interlandi, (unknown), Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd Millstein, Tyson Condie	22
6	Interactive debugging for big data analytics 2016 ·IEEE International Conference on Cloud Computing Technology and Science ·Muhammad Ali Gulzar, (unknown), Matteo Interlandi, (unknown), Sai Deep Tetali, Tyson Condie, Todd Millstein, Miryung Kim	5
7	A general approach to network configuration analysis 2015 ·Networked Systems Design and Implementation ·(unknown), Stanley P. Y. Fung, Luis Pedrosa, (unknown), Ramesh Govindan, Ratul Mahajan, Todd Millstein	102
8	Analyzing protocol implementations for interoperability 2015 ·Networked Systems Design and Implementation ·Luis Pedrosa, (unknown), Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd Millstein	20
9	Automated repair of HTML generation errors in PHP applications using string constraint solving 2012 ·International Conference on Software Engineering ·(unknown), Max Schäfer, Shay Artzi, Todd Millstein, Frank Tip, Laurie Hendren	83
10	Can You Fool Me? Towards Automatically Checking Protocol Gullibility. 2008 ·(unknown), Ratul Mahajan, Todd Millstein, Madanlal Musuvathi	9
11	Statically scoped object adaptation with expanders 2006 ·(unknown), (unknown), Todd Millstein	45
12	A framework for implementing pluggable type systems 2006 ·(unknown), James Noble, (unknown), Todd Millstein	57
13	Inference of User-Defined Type Qualifiers and Qualifier Rules 2006 ·Brian Chin, (unknown), Todd Millstein, Jens Palsberg	2
14	Generating error traces from verification-condition counterexamples 2004 ·Science of Computer Programming ·K. Rustan M. Leino, Todd Millstein, James B. Saxe	28
15	Bounded similarity querying for time-series data 2004 ·Information and Computation ·Dina Goldin, Todd Millstein, (unknown)	13
16	Query containment for data integration systems 2003 ·Journal of Computer and System Sciences ·Todd Millstein, Alon Halevy, Marc Friedman	20
17	Modular Statically Typed Multimethods 2002 ·Information and Computation ·Todd Millstein, Craig Chambers	43
18	Navigational plans for data integration 1999 ·National Conference on Artificial Intelligence ·Marc Friedman, Alon Y. Levy, Todd Millstein	112
19	Multiple dispatch as dispatch on Tuples 1998 ·ACM SIGPLAN Notices ·Gary T. Leavens, Todd Millstein	4
20	Automatic SAT-compilation of planning problems 1997 ·International Joint Conference on Artificial Intelligence ·Michael D. Ernst, Todd Millstein, Daniel S. Weld	109

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact