Automatic SAT-Compilation of Planning Problems. - Michael D. Ernst; Todd D. Millstein; Daniel S. Weld (IJCAI, 1997)

Multiple Dispatch as Dispatch on Tuples. - Gary T. Leavens; Todd D. Millstein (OOPSLA, 1998)

Navigational Plans For Data Integration. - Marc T. Friedman; Alon Y. Levy; Todd D. Millstein (AAAI/IAAI, 1999)

MultiJava: modular open classes and symmetric multiple dispatch for Java. - Curtis Clifton; Gary T. Leavens; Craig Chambers; Todd D. Millstein (OOPSLA, 2000)

Modular Statically Typed Multimethods. - Todd D. Millstein; Craig Chambers (Inf. Comput., 2002)

Static Reasoning about Programs and Queries. - Todd D. Millstein (PCK50, 2003)

Relaxed MultiJava: balancing extensibility and modular typechecking. - Todd D. Millstein; Mark Reay; Craig Chambers (OOPSLA, 2003)

Automatically proving the correctness of compiler optimizations. - Sorin Lerner; Todd D. Millstein; Craig Chambers (PLDI, 2003)

Query containment for data integration systems. - Todd D. Millstein; Alon Y. Halevy; Marc T. Friedman (J. Comput. Syst. Sci., 2003)

Practical predicate dispatch. - Todd D. Millstein (OOPSLA, 2004)

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. - Sorin Lerner; Todd D. Millstein; Craig Chambers (COCV@ETAPS, 2004)

Bounded similarity querying for time-series data. - Dina Q. Goldin; Todd D. Millstein; Ayferi Kutlu (Inf. Comput., 2004)

Modular typechecking for hierarchically extensible datatypes and functions. - Todd D. Millstein; Colin Bleckner; Craig Chambers (ACM Trans. Program. Lang. Syst., 2004)

Semantic type qualifiers. - Brian Chin; Shane Markstrum; Todd D. Millstein (PLDI, 2005)

Automated soundness proofs for dataflow analyses and transformations via local rules. - Sorin Lerner; Todd D. Millstein; Erika Rice; Craig Chambers (POPL, 2005)

Kairos: a macro-programming system for wireless sensor networks. - Ramakrishna Gummadi; Nupur Kothari; Ramesh Govindan; Todd D. Millstein (SOSP, 2005)

Generating error traces from verification-condition counterexamples. - K. Rustan M. Leino; Todd D. Millstein; James B. Saxe (Sci. Comput. Program., 2005)

Polymorphic predicate abstraction. - Thomas Ball 001; Todd D. Millstein; Sriram K. Rajamani (ACM Trans. Program. Lang. Syst., 2005)

Responders: Language Support for Interactive Applications. - Brian Chin; Todd D. Millstein (ECOOP, 2006)

Inference of User-Defined Type Qualifiers and Qualifier Rules. - Brian Chin; Shane Markstrum; Todd D. Millstein; Jens Palsberg (ESOP, 2006)

A framework for implementing pluggable type systems. - Chris Andreae; James Noble 001; Shane Markstrum; Todd D. Millstein (OOPSLA, 2006)

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 (OOPSLA Companion, 2006)

Statically scoped object adaptation with expanders. - Alessandro Warth; Milan Stanojevic; Todd D. Millstein (OOPSLA, 2006)

MultiJava: Design rationale, compiler implementation, and applications. - Curtis Clifton; Todd D. Millstein; Gary T. Leavens; Craig Chambers (ACM Trans. Program. Lang. Syst., 2006)

Type Systems: Advances and Applications. - Jens Palsberg; Todd D. Millstein (The Compiler Design Handbook, 2nd ed., 2007)

Declarative failure recovery for sensor networks. - Ramakrishna Gummadi; Nupur Kothari; Todd D. Millstein; Ramesh Govindan (AOSD, 2007)

Enforcing and validating user-defined programming disciplines. - Brian Chin; Daniel Marino; Shane Markstrum; Todd D. Millstein (PASTE, 2007)

Tasks: language support for event-driven programming. - Jeffrey Fischer; Rupak Majumdar; Todd D. Millstein (PEPM, 2007)

Reliable and efficient programming abstractions for wireless sensor networks. - Nupur Kothari; Ramakrishna Gummadi; Todd D. Millstein; Ramesh Govindan (PLDI, 2007)

An Extensible State Machine Pattern for Interactive Applications. - Brian Chin; Todd D. Millstein (ECOOP, 2008)

Can You Fool Me? Towards Automatically Checking Protocol Gullibility. - Milan Stanojevic; Ratul Mahajan; Todd D. Millstein; Madanlal Musuvathi (HotNets, 2008)

Deriving State Machines from TinyOS Programs Using Symbolic Execution. - Nupur Kothari; Todd D. Millstein; Ramesh Govindan (IPSN, 2008)

Packrat parsers can support left recursion. - Alessandro Warth; James R. Douglass; Todd D. Millstein (PEPM, 2008)

Fine-Grained Access Control with Object-Sensitive Roles. - Jeffrey Fischer; Daniel Marino; Rupak Majumdar; Todd D. Millstein (ECOOP, 2009)

Towards concurrency refactoring for x10. - Shane Markstrum; Robert M. Fuhrer; Todd D. Millstein (PPoPP, 2009)

A generic type-and-effect system. - Daniel Marino; Todd D. Millstein (TLDI, 2009)

Expressive and modular predicate dispatch for Java. - Todd D. Millstein; Christopher Frost 001; Jason Ryder; Alessandro Warth (ACM Trans. Program. Lang. Syst., 2009)

Falling Back on Executable Specifications. - Hesam Samimi; Ei Darli Aung; Todd D. Millstein (ECOOP, 2010)

DRFX: a simple and efficient memory model for concurrent programming languages. - Daniel Marino; Abhayendra Singh; Todd D. Millstein; Madanlal Musuvathi; Satish Narayanasamy (PLDI, 2010)

JavaCOP: Declarative pluggable types for java. - Shane Markstrum; Daniel Marino; Matthew Esquivel; Todd D. Millstein; Chris Andreae; James Noble 001 (ACM Trans. Program. Lang. Syst., 2010)

Efficient processor support for DRFx, a memory model with exceptions. - Abhayendra Singh; Daniel Marino; Satish Narayanasamy; Todd D. Millstein; Madanlal Musuvathi (ASPLOS, 2011)

Tool-supported refactoring for JavaScript. - Asger Feldthaus; Todd D. Millstein; Anders Møller; Max Schäfer; Frank Tip (OOPSLA, 2011)

Refactoring towards the good parts of javascript. - Asger Feldthaus; Todd D. Millstein; Anders Møller; Max Schäfer; Frank Tip (OOPSLA Companion, 2011)

A case for an SC-preserving compiler. - Daniel Marino; Abhayendra Singh; Todd D. Millstein; Madanlal Musuvathi; Satish Narayanasamy (PLDI, 2011)

Finding protocol manipulation attacks. - Nupur Kothari; Ratul Mahajan; Todd D. Millstein; Ramesh Govindan; Madanlal Musuvathi (SIGCOMM, 2011)

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 (SPSM@CCS, 2012)

Secure Information Flow for Concurrent Programs under Total Store Order. - Jeffrey A. Vaughan; Todd D. Millstein (CSF, 2012)

Automated repair of HTML generation errors in PHP applications using string constraint solving. - Hesam Samimi; Max Schäfer; Shay Artzi; Todd D. Millstein; Frank Tip; Laurie J. Hendren (ICSE, 2012)

End-to-end sequential consistency. - Abhayendra Singh; Satish Narayanasamy; Daniel Marino; Todd D. Millstein; Madanlal Musuvathi (ISCA, 2012)

Automatic predicate abstraction of C programs. - Thomas Ball 001; Rupak Majumdar; Todd D. Millstein; Sriram K. Rajamani (ACM SIGPLAN Notices, 2012)

RERAN: timing- and touch-sensitive record and replay for Android. - Lorenzo Gomez; Iulian Neamtiu; Tanzirul Azim; Todd D. Millstein (ICSE, 2013)

Declarative mocking. - Hesam Samimi; Rebecca Hicks; Ari Fogel; Todd D. Millstein (ISSTA, 2013)

MrCrypt: static analysis for secure cloud computations. - Sai Deep Tetali; Mohsen Lesani; Rupak Majumdar; Todd D. Millstein (OOPSLA, 2013)

A Safety-First Approach to Memory Models. - Abhayendra Singh; Satish Narayanasamy; Daniel Marino; Todd D. Millstein; Madanlal Musuvathi (IEEE Micro, 2013)

Automatic Atomicity Verification for Clients of Concurrent Data Structures. - Mohsen Lesani; Todd D. Millstein; Jens Palsberg (CAV, 2014)

Call by Meaning. - Hesam Samimi; Chris Deaton; Yoshiki Ohshima; Alessandro Warth; Todd D. Millstein (Onward!, 2014)

A General Approach to Network Configuration Analysis. - Ari Fogel; Stanley Fung; Luis Pedrosa; Meg Walraed-Sullivan; Ramesh Govindan; Ratul Mahajan; Todd D. Millstein (NSDI, 2015)

Analyzing Protocol Implementations for Interoperability. - Luis Pedrosa; Ari Fogel; Nupur Kothari; Ramesh Govindan; Ratul Mahajan; Todd D. Millstein (NSDI, 2015)

Checks and balances: constraint solving without surprises in object-constraint programming languages. - Tim Felgentreff; Todd D. Millstein; Alan Borning; Robert Hirschfeld (OOPSLA, 2015)

The Silently Shifting Semicolon. - Daniel Marino; Todd D. Millstein; Madanlal Musuvathi; Satish Narayanasamy; Abhayendra Singh (SNAPL, 2015)

Titian: Data Provenance Support in Spark. - Matteo Interlandi; Kshitij Shah; Sai Deep Tetali; Muhammad Ali Gulzar; Seunghyun Yoo; Miryung Kim; Todd D. Millstein; Tyson Condie (Proc. VLDB Endow., 2015)

Optimizing Interactive Development of Data-Intensive Applications. - Matteo Interlandi; Sai Deep Tetali; Muhammad Ali Gulzar; Joseph Noor; Tyson Condie; Miryung Kim; Todd D. Millstein (SoCC, 2016)

Interactive Debugging for Big Data Analytics. - Muhammad Ali Gulzar; Xueyuan Han; Matteo Interlandi; Shaghayegh Mardani; Sai Deep Tetali; Todd D. Millstein; Miryung Kim (HotCloud, 2016)

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 (ICSE, 2016)

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 (OSDI, 2016)

Data-driven precondition inference with learned features. - Saswat Padhi; Rahul Sharma 001; Todd D. Millstein (PLDI, 2016)

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (SIGCOMM, 2016)

Technical Perspective: Toward reliable programming for unreliable hardware. - Todd D. Millstein (Commun. ACM, 2016)

DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. - Daniel Marino; Abhayendra Singh; Todd D. Millstein; Madanlal Musuvathi; Satish Narayanasamy (ACM Trans. Program. Lang. Syst., 2016)

Network configuration synthesis with abstract topologies. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (PLDI, 2017)

Programming Distributed Control Planes: Invited Demo: Demo. - Ryan Beckett; Ratul Mahajan; Jitendra Padhye; Todd D. Millstein; David Walker 001 (SOSR, 2017)

Probabilistic Program Abstractions. - Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 2017)

Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. - Saswat Padhi; Todd D. Millstein (CoRR, 2017)

FlashProfile: Interactive Synthesis of Syntactic Profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (CoRR, 2017)

A volatile-by-default JVM for server applications. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (Proc. ACM Program. Lang., 2017)

Sound Abstraction and Decomposition of Probabilistic Programs. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (ICML, 2018)

FlashProfile: a framework for synthesizing data profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (Proc. ACM Program. Lang., 2018)

Adding data provenance support to Apache Spark. - Matteo Interlandi; Ari Ekmekji; Kshitij Shah; Muhammad Ali Gulzar; Sai Deep Tetali; Miryung Kim; Todd D. Millstein; Tyson Condie (VLDB J., 2018)

Overfitting in Synthesis: Theory and Practice. - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CAV (1), 2019)

Accelerating sequential consistency for Java with speculative compilation. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (PLDI, 2019)

Generating and Sampling Orbits for Lifted Probabilistic Inference. - Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 2019)

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (Comput. Commun. Rev., 2019)

Symbolic Exact Inference for Discrete Probabilistic Programs. - Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (CoRR, 2019)

Overfitting in Synthesis: Theory and Practice (Extended Version). - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CoRR, 2019)

Counterexample-Guided Learning of Monotonic Neural Networks. - Aishwarya Sivaraman; Golnoosh Farnadi; Todd D. Millstein; Guy Van den Broeck (NeurIPS, 2020)

Finding Network Misconfigurations by Automatic Template Inference. - Siva Kesava Reddy K.; Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; Yuval Tamir; George Varghese (NSDI, 2020)

Data-driven inference of representation invariants. - Anders Miltner; Saswat Padhi; Todd D. Millstein; David Walker 001 (PLDI, 2020)

GRooT: Proactive Verification of DNS Configurations. - Siva Kesava Reddy Kakarla; Ryan Beckett; Behnaz Arzani; Todd D. Millstein; George Varghese (SIGCOMM, 2020)

Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (CoRR, 2020)

Scaling exact inference for discrete probabilistic programs. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (Proc. ACM Program. Lang., 2020)

Logical abstractions for noisy variational Quantum algorithm simulation. - Yipeng Huang 001; Steven Holtzen; Todd D. Millstein; Guy Van den Broeck; Margaret Martonosi (ASPLOS, 2021)

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 (CAV (2), 2021)

How Complex is DNS? - Siva Kesava Reddy Kakarla; Ryan Beckett; Todd D. Millstein; George Varghese (HotNets, 2021)

Campion: debugging router configuration differences. - Alan Tang; Siva Kesava Reddy Kakarla; Ryan Beckett; Ennan Zhai; Matt Brown; Todd D. Millstein; Yuval Tamir; George Varghese (SIGCOMM, 2021)

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. - Yu-Hsi Cheng; Todd D. Millstein; Guy Van den Broeck; Steven Holtzen (CoRR, 2021)

Safe-by-default Concurrency for Modern Programming Languages. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (ACM Trans. Program. Lang. Syst., 2021)

Experiments for '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 (Zenodo, 2021)

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. - Siva Kesava Reddy Kakarla; Ryan Beckett; Todd D. Millstein; George Varghese (NSDI, 2022)

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Karthick Jayaraman; Todd D. Millstein; George Varghese (CoRR, 2022)

Data-driven lemma synthesis for interactive proofs. - Aishwarya Sivaraman; Alex Sanchez-Stern; Bretton Chen; Sorin Lerner; Todd D. Millstein (Proc. ACM Program. Lang., 2022)

What do LLMs need to Synthesize Correct Router Configurations? - Rajdeep Mondal; Alan Tang; Ryan Beckett; Todd D. Millstein; George Varghese (HotNets, 2023)

Lessons from the evolution of the Batfish configuration analysis tool. - Matt Brown; Ari Fogel; Daniel Halperin; Victor Heorhiadi; Ratul Mahajan; Todd D. Millstein (SIGCOMM, 2023)

Lightyear: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Steven Benaloh; Karthick Jayaraman; Tejas Patil; Todd D. Millstein; George Varghese (SIGCOMM, 2023)

Scaling integer arithmetic in probabilistic programs. - William X. Cao; Poorva Garg; Ryan Tjoa; Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 2023)

If Layering is useful, why not Sublayering? - Rathin Singha; Rishabh R. Iyer; Charles Liu; Caleb Terrill; Todd D. Millstein; Scott Shenker; George Varghese (HotNets, 2024)

MESSI: Behavioral Testing of BGP Implementations. - Rathin Singha; Rajdeep Mondal; Ryan Beckett; Siva Kesava Reddy Kakarla; Todd D. Millstein; George Varghese (NSDI, 2024)

Everything Is a Program (Even If It's Not) (Keynote). - Todd D. Millstein (SPLASH Companion, 2024)

Bit Blasting Probabilistic Programs. - Poorva Garg; Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (Proc. ACM Program. Lang., 2024)

LLM-Based Config Synthesis requires Disambiguation. - Rajdeep Mondal; Nikolaj S. Bjørner; Todd D. Millstein; Alan Tang; George Varghese (CoRR, 2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming. - Ryan Tjoa; Poorva Garg; Harrison Goldstein; Todd D. Millstein; Benjamin C. Pierce; Guy Van den Broeck (CoRR, 2025)