Todd D. Millstein

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 53

Top Venues

CoRR

NSDI

SIGCOMM

Proc. ACM Program. Lang.

Publications

Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
MESSI: Behavioral Testing of BGP Implementations. NSDI (2024)
Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Bit Blasting Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Bit Blasting Probabilistic Programs. CoRR (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling Integer Arithmetic in Probabilistic Programs. CoRR (2023)
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification. SIGCOMM (2023)
Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein
Lessons from the evolution of the Batfish configuration analysis tool. SIGCOMM (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? HotNets (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling integer arithmetic in probabilistic programs. UAI (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? CoRR (2023)
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR (2022)
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
Data-driven lemma synthesis for interactive proofs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. NSDI (2022)
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
Logical abstractions for noisy variational Quantum algorithm simulation. ASPLOS (2021)
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
Campion: debugging router configuration differences. SIGCOMM (2021)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) (2021)
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation. CoRR (2021)
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
How Complex is DNS? HotNets (2021)
Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. CoRR (2021)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
Safe-by-default Concurrency for Modern Programming Languages. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR (2021)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-Driven Inference of Representation Invariants. CoRR (2020)
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese
GRooT: Proactive Verification of DNS Configurations. SIGCOMM (2020)
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
Counterexample-Guided Learning of Monotonic Neural Networks. NeurIPS (2020)
Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
Finding Network Misconfigurations by Automatic Template Inference. NSDI (2020)
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
Counterexample-Guided Learning of Monotonic Neural Networks. CoRR (2020)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-driven inference of representation invariants. PLDI (2020)
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. CoRR (2020)
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Symbolic Exact Inference for Discrete Probabilistic Programs. CoRR (2019)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
Overfitting in Synthesis: Theory and Practice. CAV (1) (2019)
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Generating and Sampling Orbits for Lifted Probabilistic Inference. UAI (2019)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
Accelerating sequential consistency for Java with speculative compilation. PLDI (2019)
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Generating and Sampling Orbits for Lifted Probabilistic Inference. CoRR (2019)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
Overfitting in Synthesis: Theory and Practice (Extended Version). CoRR (2019)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. 49 (5) (2019)
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Sound Abstraction and Decomposition of Probabilistic Programs. ICML (2018)
Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie
Adding data provenance support to Apache Spark. VLDB J. 27 (5) (2018)
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Probabilistic Program Abstractions. CoRR (2017)
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Probabilistic Program Abstractions. UAI (2017)
Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
Programming Distributed Control Planes: Invited Demo: Demo. SOSR (2017)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
A volatile-by-default JVM for server applications. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Saswat Padhi, Todd D. Millstein
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. CoRR (2017)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Network configuration synthesis with abstract topologies. PLDI (2017)
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR (2017)
Todd D. Millstein
Technical Perspective: Toward reliable programming for unreliable hardware. Commun. ACM 59 (8) (2016)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim
Interactive Debugging for Big Data Analytics. HotCloud (2016)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM (2016)
Saswat Padhi, Rahul Sharma, Todd D. Millstein
Data-driven precondition inference with learned features. PLDI (2016)
Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein
Optimizing Interactive Development of Data-Intensive Applications. SoCC (2016)
Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim
BigDebug: debugging primitives for interactive big data processing in spark. ICSE (2016)
Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. OSDI (2016)
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
A General Approach to Network Configuration Analysis. NSDI (2015)
Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie
Titian: Data Provenance Support in Spark. Proc. VLDB Endow. 9 (3) (2015)
Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld
Checks and balances: constraint solving without surprises in object-constraint programming languages. OOPSLA (2015)
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
The Silently Shifting Semicolon. SNAPL (2015)
Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
Analyzing Protocol Implementations for Interoperability. NSDI (2015)
Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein
Call by Meaning. Onward! (2014)
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV (2014)
Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
MrCrypt: static analysis for secure cloud computations. OOPSLA (2013)
Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein
RERAN: timing- and touch-sensitive record and replay for Android. ICSE (2013)
Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein
Declarative mocking. ISSTA (2013)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
A Safety-First Approach to Memory Models. IEEE Micro 33 (3) (2013)
Jeffrey A. Vaughan, Todd D. Millstein
Secure Information Flow for Concurrent Programs under Total Store Order. CSF (2012)
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47 (4a) (2012)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
End-to-end sequential consistency. ISCA (2012)
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE (2012)
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS (2012)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Tool-supported refactoring for JavaScript. OOPSLA (2011)
Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
Finding protocol manipulation attacks. SIGCOMM (2011)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Refactoring towards the good parts of javascript. OOPSLA Companion (2011)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
A case for an SC-preserving compiler. PLDI (2011)
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
Efficient processor support for DRFx, a memory model with exceptions. ASPLOS (2011)
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble
JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32 (2) (2010)
Hesam Samimi, Ei Darli Aung, Todd D. Millstein
Falling Back on Executable Specifications. ECOOP (2010)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
DRFX: a simple and efficient memory model for concurrent programming languages. PLDI (2010)
Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein
Towards concurrency refactoring for x10. PPOPP (2009)
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
Fine-Grained Access Control with Object-Sensitive Roles. ECOOP (2009)
Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth
Expressive and modular predicate dispatch for Java. ACM Trans. Program. Lang. Syst. 31 (2) (2009)
Daniel Marino, Todd D. Millstein
A generic type-and-effect system. TLDI (2009)
Nupur Kothari, Todd D. Millstein, Ramesh Govindan
Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN (2008)
Brian Chin, Todd D. Millstein
An Extensible State Machine Pattern for Interactive Applications. ECOOP (2008)
Alessandro Warth, James R. Douglass, Todd D. Millstein
Packrat parsers can support left recursion. PEPM (2008)
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi
Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets (2008)
Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein
Enforcing and validating user-defined programming disciplines. PASTE (2007)
Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan
Declarative failure recovery for sensor networks. AOSD (2007)
Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan
Reliable and efficient programming abstractions for wireless sensor networks. PLDI (2007)
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
Tasks: language support for event-driven programming. PEPM (2007)
Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein
A framework for implementing pluggable type systems. OOPSLA (2006)
Alessandro Warth, Milan Stanojevic, Todd D. Millstein
Statically scoped object adaptation with expanders. OOPSLA (2006)
Brian Chin, Todd D. Millstein
Responders: Language Support for Interactive Applications. ECOOP (2006)
Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP (2006)
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
Young guns/object orientation: the next generation. OOPSLA Companion (2006)
Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28 (3) (2006)
Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Brian Chin, Shane Markstrum, Todd D. Millstein
Semantic type qualifiers. PLDI (2005)
K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
Generating error traces from verification-condition counterexamples. Sci. Comput. Program. 55 (1-3) (2005)
Sorin Lerner, Todd D. Millstein, Craig Chambers
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
Automated soundness proofs for dataflow analyses and transformations via local rules. POPL (2005)

Todd D. Millstein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Todd D. Millstein