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 New Zealand. 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

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author						Papers	Cites
Todd Millstein	1.8k	1.5k	1.3k	987	765	115	3.5k
Bill Joy	2.2k 1.2×	1.4k 0.9×	1.1k 0.9×	595 0.6×	1.2k 1.6×	9	3.5k
Eran Yahav	1.3k 0.7×	1.0k 0.7×	1.5k 1.2×	1.3k 1.3×	706 0.9×	109	2.9k
Michael Hicks	3.5k 1.9×	2.5k 1.6×	2.1k 1.6×	1.1k 1.1×	1.4k 1.9×	165	5.4k
Martin Odersky	2.8k 1.5×	1.4k 0.9×	1.1k 0.9×	528 0.5×	1.6k 2.1×	142	4.0k
Craig Chambers	3.9k 2.1×	2.5k 1.6×	2.4k 1.9×	1.3k 1.3×	2.6k 3.3×	110	5.9k
Sorin Lerner	1.4k 0.8×	566 0.4×	824 0.7×	786 0.8×	811 1.1×	93	2.4k
Manuel Fähndrich	2.2k 1.2×	816 0.5×	997 0.8×	900 0.9×	832 1.1×	84	3.0k
Işıl Dillig	1.2k 0.7×	700 0.5×	1.3k 1.0×	1.2k 1.2×	312 0.4×	98	2.4k
Sriram K. Rajamani	2.0k 1.1×	798 0.5×	1.3k 1.0×	2.0k 2.0×	676 0.9×	115	3.9k
Grigore Roşu	2.5k 1.3×	1.1k 0.7×	1.2k 0.9×	1.5k 1.6×	979 1.3×	194	4.1k

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

Millstein, Todd, et al.. (2024). If Layering is useful, why not Sublayering?. 142–149.

Broeck, Guy Van den, et al.. (2018). Sound Abstraction and Decomposition of Probabilistic Programs. International Conference on Machine Learning. 1999–2008. 1 indexed citations

Millstein, Todd, et al.. (2017). Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.. eScholarship (California Digital Library). 5 indexed citations

Jain, Prateek, et al.. (2017). FlashProfile: Interactive Synthesis of Syntactic Profiles.. eScholarship (California Digital Library). 3 indexed citations

Interlandi, Matteo, Kshitij Shah, Muhammad Ali Gulzar, et al.. (2017). Adding data provenance support to Apache Spark. The VLDB Journal. 27(5). 595–615. 22 indexed citations

Gulzar, Muhammad Ali, Matteo Interlandi, Sai Deep Tetali, et al.. (2016). Interactive debugging for big data analytics. IEEE International Conference on Cloud Computing Technology and Science. 19–25. 5 indexed citations

Fung, Stanley P. Y., et al.. (2015). A general approach to network configuration analysis. Networked Systems Design and Implementation. 469–483. 102 indexed citations

Pedrosa, Luis, et al.. (2015). Analyzing protocol implementations for interoperability. Networked Systems Design and Implementation. 485–498. 20 indexed citations

Schäfer, Max, et al.. (2012). Automated repair of HTML generation errors in PHP applications using string constraint solving. International Conference on Software Engineering. 277–287. 83 indexed citations

10.

Mahajan, Ratul, et al.. (2008). Can You Fool Me? Towards Automatically Checking Protocol Gullibility.. 31–36. 9 indexed citations

11.

Noble, James, et al.. (2006). A framework for implementing pluggable type systems. 57–74. 57 indexed citations

12.

Millstein, Todd, et al.. (2006). Statically scoped object adaptation with expanders. 37–56. 45 indexed citations

13.

Chin, Brian, et al.. (2006). Inference of User-Defined Type Qualifiers and Qualifier Rules. 2 indexed citations

14.

Goldin, Dina, et al.. (2004). Bounded similarity querying for time-series data. Information and Computation. 194(2). 203–241. 13 indexed citations

15.

Leino, K. Rustan M., Todd Millstein, & James B. Saxe. (2004). Generating error traces from verification-condition counterexamples. Science of Computer Programming. 55(1-3). 209–226. 28 indexed citations

16.

Millstein, Todd, Alon Halevy, & Marc Friedman. (2003). Query containment for data integration systems. Journal of Computer and System Sciences. 66(1). 20–39. 20 indexed citations

17.

Millstein, Todd & Craig Chambers. (2002). Modular Statically Typed Multimethods. Information and Computation. 175(1). 76–118. 43 indexed citations

18.

Friedman, Marc, Alon Y. Levy, & Todd Millstein. (1999). Navigational plans for data integration. National Conference on Artificial Intelligence. 67–73. 112 indexed citations

19.

Leavens, Gary T. & Todd Millstein. (1998). Multiple dispatch as dispatch on Tuples. ACM SIGPLAN Notices. 33(10). 374–387. 4 indexed citations

20.

Ernst, Michael D., Todd Millstein, & Daniel S. Weld. (1997). Automatic SAT-compilation of planning problems. International Joint Conference on Artificial Intelligence. 1169–1176. 109 indexed citations

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