Todd D. Millstein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
25
Active years
1997–2026
Best venue rank
A*
Where they publish
- AOOPSLA12 papers
- A*PLDI10 papers
- NationalNSDI6 papers
- A*SIGCOMM6 papers
- NationalHOTNETS5 papers
- AECOOP5 papers
- AUAI3 papers
- A*CAV3 papers
- A*ICSE3 papers
- A*ASPLOS2 papers
- CPEPM2 papers
- A*IJCAI2 papers
- A*ICML1 paper
- BCLOUD1 paper
- A*OSDI1 paper
- AISSTA1 paper
- A*CCS1 paper
- A*ISCA1 paper
- BPPoPP1 paper
- AESOP1 paper
- A*POPL1 paper
- A*SOSP1 paper
- AICFP1 paper
- A*PODS1 paper
- A*AAAI1 paper
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NSDI | Eywa: Automating Model-Based Testing using LLMs. | Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla |
| 2025 | HOTNETS | Tackling Ambiguity in User Intent for LLM-based Network Configuration Synthesis. | Rajdeep Mondal, Nikolaj S. Bjrner, Todd D. Millstein, Alan Tang, George Varghese |
| 2024 | HOTNETS | If Layering is useful, why not Sublayering? | Rathin Singha, Rishabh R. Iyer, Charles Liu, Caleb Terrill, Todd D. Millstein, Scott Shenker, George Varghese |
| 2024 | NSDI | MESSI: Behavioral Testing of BGP Implementations. | Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese |
| 2023 | HOTNETS | What do LLMs need to Synthesize Correct Router Configurations? | Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2023 | UAI | Scaling integer arithmetic in probabilistic programs. | William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2023 | SIGCOMM | Lessons from the evolution of the Batfish configuration analysis tool. | Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein |
| 2023 | SIGCOMM | Lightyear: Using Modularity to Scale BGP Control Plane Verification. | Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese |
| 2022 | NSDI | SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2021 | ASPLOS | Logical abstractions for noisy variational Quantum algorithm simulation. | Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi |
| 2021 | CAV | Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck |
| 2021 | HOTNETS | How Complex is DNS? | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2021 | SIGCOMM | Campion: debugging router configuration differences. | Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | NSDI | Finding Network Misconfigurations by Automatic Template Inference. | Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | PLDI | Data-driven inference of representation invariants. | Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker |
| 2020 | SIGCOMM | GRooT: Proactive Verification of DNS Configurations. | Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese |
| 2019 | CAV | Overfitting in Synthesis: Theory and Practice. | Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma |
| 2019 | PLDI | Accelerating sequential consistency for Java with speculative compilation. | Lun Liu, Todd D. Millstein, Madanlal Musuvathi |
| 2019 | UAI | Generating and Sampling Orbits for Lifted Probabilistic Inference. | Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2018 | ICML | Sound Abstraction and Decomposition of Probabilistic Programs. | Steven Holtzen, Guy Van den Broeck, Todd D. Millstein |
| 2017 | PLDI | Network configuration synthesis with abstract topologies. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2017 | UAI | Probabilistic Program Abstractions. | Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2016 | CLOUD | Optimizing Interactive Development of Data-Intensive Applications. | Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein |
| 2016 | ICSE | BigDebug: debugging primitives for interactive big data processing in spark. | Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim |
| 2016 | OSDI | Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. | Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese |
| 2016 | PLDI | Data-driven precondition inference with learned features. | Saswat Padhi, Rahul Sharma, Todd D. Millstein |
| 2016 | SIGCOMM | Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2015 | NSDI | A General Approach to Network Configuration Analysis. | Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein |
| 2015 | NSDI | Analyzing Protocol Implementations for Interoperability. | Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein |
| 2015 | OOPSLA | Checks and balances: constraint solving without surprises in object-constraint programming languages. | Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld |
| 2014 | CAV | Automatic Atomicity Verification for Clients of Concurrent Data Structures. | Mohsen Lesani, Todd D. Millstein, Jens Palsberg |
| 2014 | OOPSLA | Call by Meaning. | Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein |
| 2013 | ICSE | RERAN: timing- and touch-sensitive record and replay for Android. | Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein |
| 2013 | ISSTA | Declarative mocking. | Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein |
| 2013 | OOPSLA | MrCrypt: static analysis for secure cloud computations. | Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
| 2012 | CCS | Dr. Android and Mr. Hide: fine-grained permissions in android applications. | Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein |
| 2012 | ISCA | End-to-end sequential consistency. | Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi |
| 2012 | ICSE | Automated repair of HTML generation errors in PHP applications using string constraint solving. | Hesam Samimi, Max Schfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren |
| 2011 | ASPLOS | Efficient processor support for DRFx, a memory model with exceptions. | Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi |
| 2011 | OOPSLA | Tool-supported refactoring for JavaScript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2011 | OOPSLA | Refactoring towards the good parts of javascript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2011 | PLDI | A case for an SC-preserving compiler. | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2011 | SIGCOMM | Finding protocol manipulation attacks. | Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi |
| 2010 | ECOOP | Falling Back on Executable Specifications. | Hesam Samimi, Ei Darli Aung, Todd D. Millstein |
| 2010 | PLDI | DRFX: a simple and efficient memory model for concurrent programming languages. | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2009 | ECOOP | Fine-Grained Access Control with Object-Sensitive Roles. | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
| 2009 | PPoPP | Towards concurrency refactoring for x10. | Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein |
| 2008 | ECOOP | An Extensible State Machine Pattern for Interactive Applications. | Brian Chin, Todd D. Millstein |
| 2008 | HOTNETS | Can You Fool Me? Towards Automatically Checking Protocol Gullibility. | Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi |
| 2008 | PEPM | Packrat parsers can support left recursion. | Alessandro Warth, James R. Douglass, Todd D. Millstein |
| 2007 | PEPM | Tasks: language support for event-driven programming. | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
| 2007 | PLDI | Reliable and efficient programming abstractions for wireless sensor networks. | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
| 2006 | ECOOP | Responders: Language Support for Interactive Applications. | Brian Chin, Todd D. Millstein |
| 2006 | ESOP | Inference of User-Defined Type Qualifiers and Qualifier Rules. | Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
| 2006 | OOPSLA | A framework for implementing pluggable type systems. | Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein |
| 2006 | OOPSLA | Young guns/object orientation: the next generation. | Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri |
| 2006 | OOPSLA | Statically scoped object adaptation with expanders. | Alessandro Warth, Milan Stanojevic, Todd D. Millstein |
| 2005 | PLDI | Semantic type qualifiers. | Brian Chin, Shane Markstrum, Todd D. Millstein |
| 2005 | POPL | Automated soundness proofs for dataflow analyses and transformations via local rules. | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
| 2005 | SOSP | Kairos: a macro-programming system for wireless sensor networks. | Ramakrishna Gummadi, Nupur Kothari, Ramesh Govindan, Todd D. Millstein |
| 2004 | OOPSLA | Practical predicate dispatch. | Todd D. Millstein |
| 2003 | OOPSLA | Relaxed MultiJava: balancing extensibility and modular typechecking. | Todd D. Millstein, Mark Reay, Craig Chambers |
| 2003 | PLDI | Automatically proving the correctness of compiler optimizations. | Sorin Lerner, Todd D. Millstein, Craig Chambers |
| 2002 | ICFP | Modular typechecking for hierarchically extensible datatypes and functions. | Todd D. Millstein, Colin Bleckner, Craig Chambers |
| 2001 | PLDI | Automatic Predicate Abstraction of C Programs. | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2000 | OOPSLA | MultiJava: modular open classes and symmetric multiple dispatch for Java. | Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein |
| 2000 | PODS | Query Containment for Data Integration Systems. | Todd D. Millstein, Alon Y. Levy, Marc T. Friedman |
| 1999 | AAAI | Navigational Plans For Data Integration. | Marc T. Friedman, Alon Y. Levy, Todd D. Millstein |
| 1999 | ECOOP | Modular Statically Typed Multimethods. | Todd D. Millstein, Craig Chambers |
| 1999 | IJCAI | Navigational Plans for Data Integration. | Marc T. Friedman, Alon Y. Levy, Todd D. Millstein |
| 1998 | OOPSLA | Multiple Dispatch as Dispatch on Tuples. | Gary T. Leavens, Todd D. Millstein |
| 1997 | IJCAI | Automatic SAT-Compilation of Planning Problems. | Michael D. Ernst, Todd D. Millstein, Daniel S. Weld |