Todd D. Millstein

According to our database, Todd D. Millstein authored at least 106 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Bit Blasting Probabilistic Programs.

Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proc. ACM Program. Lang., 2024

MESSI: Behavioral Testing of BGP Implementations.

Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

If Layering is useful, why not Sublayering?

Rathin Singha, Rishabh R. Iyer, Charles Liu, Caleb Terrill, Todd D. Millstein, Scott Shenker, George Varghese

Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

2023

Scaling integer arithmetic in probabilistic programs.

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Uncertainty in Artificial Intelligence, 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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Lessons from the evolution of the Batfish configuration analysis tool.

Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

What do LLMs need to Synthesize Correct Router Configurations?

Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

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

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese

CoRR, 2022

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers.

Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

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

Dataset, April, 2021

Safe-by-default Concurrency for Modern Programming Languages.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

ACM Trans. Program. Lang. Syst., 2021

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs.

Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen

CoRR, 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

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

How Complex is DNS?

Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Logical abstractions for noisy variational Quantum algorithm simulation.

Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Scaling exact inference for discrete probabilistic programs.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proc. ACM Program. Lang., 2020

Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

CoRR, 2020

GRooT: Proactive Verification of DNS Configurations.

Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

Data-driven inference of representation invariants.

Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Counterexample-Guided Learning of Monotonic Neural Networks.

Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Overfitting in Synthesis: Theory and Practice (Extended Version).

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

CoRR, 2019

Symbolic Exact Inference for Discrete Probabilistic Programs.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

CoRR, 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

Comput. Commun. Rev., 2019

Generating and Sampling Orbits for Lifted Probabilistic Inference.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

Accelerating sequential consistency for Java with speculative compilation.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Overfitting in Synthesis: Theory and Practice.

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

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

FlashProfile: a framework for synthesizing data profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

Proc. ACM Program. Lang., 2018

Sound Abstraction and Decomposition of Probabilistic Programs.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

A volatile-by-default JVM for server applications.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

Proc. ACM Program. Lang., 2017

FlashProfile: Interactive Synthesis of Syntactic Profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

CoRR, 2017

Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.

Saswat Padhi, Todd D. Millstein

CoRR, 2017

Probabilistic Program Abstractions.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Programming Distributed Control Planes: Invited Demo: Demo.

Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker

Proceedings of the Symposium on SDN Research, 2017

Network configuration synthesis with abstract topologies.

Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

DRF<i>x</i>: 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

Technical Perspective: Toward reliable programming for unreliable hardware.

Todd D. Millstein

Commun. ACM, 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

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Data-driven precondition inference with learned features.

Saswat Padhi, Rahul Sharma, Todd D. Millstein

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 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

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 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

Proceedings of the 38th International Conference on Software Engineering, 2016

Interactive Debugging for Big Data Analytics.

Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim

Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

Optimizing Interactive Development of Data-Intensive Applications.

Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

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

The Silently Shifting Semicolon.

Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Checks and balances: constraint solving without surprises in object-constraint programming languages.

Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Analyzing Protocol Implementations for Interoperability.

Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

A General Approach to Network Configuration Analysis.

Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Call by Meaning.

Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein

Proceedings of the Onward! 2014, 2014

Automatic Atomicity Verification for Clients of Concurrent Data Structures.

Mohsen Lesani, Todd D. Millstein, Jens Palsberg

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

A Safety-First Approach to Memory Models.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

IEEE Micro, 2013

MrCrypt: static analysis for secure cloud computations.

Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Declarative mocking.

Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein

Proceedings of the International Symposium on Software Testing and Analysis, 2013

RERAN: timing- and touch-sensitive record and replay for Android.

Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Automatic predicate abstraction of C programs.

Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani

ACM SIGPLAN Notices, 2012

End-to-end sequential consistency.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 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

Proceedings of the 34th International Conference on Software Engineering, 2012

Secure Information Flow for Concurrent Programs under Total Store Order.

Jeffrey A. Vaughan, Todd D. Millstein

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

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

Proceedings of the SPSM'12, 2012

2011

Finding protocol manipulation attacks.

Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

A case for an SC-preserving compiler.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Refactoring towards the good parts of javascript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Tool-supported refactoring for JavaScript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Efficient processor support for DRFx, a memory model with exceptions.

Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

JavaCOP: Declarative pluggable types for java.

Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble

ACM Trans. Program. Lang. Syst., 2010

DRFX: a simple and efficient memory model for concurrent programming languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Falling Back on Executable Specifications.

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

Proceedings of the ECOOP 2010, 2010

2009

Expressive and modular predicate dispatch for Java.

Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth

ACM Trans. Program. Lang. Syst., 2009

A generic type-and-effect system.

Daniel Marino, Todd D. Millstein

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Towards concurrency refactoring for x10.

Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Fine-Grained Access Control with Object-Sensitive Roles.

Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein

Proceedings of the ECOOP 2009, 2009

2008

Packrat parsers can support left recursion.

Alessandro Warth, James R. Douglass, Todd D. Millstein

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Deriving State Machines from TinyOS Programs Using Symbolic Execution.

Nupur Kothari, Todd D. Millstein, Ramesh Govindan

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Can You Fool Me? Towards Automatically Checking Protocol Gullibility.

Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

An Extensible State Machine Pattern for Interactive Applications.

Brian Chin, Todd D. Millstein

Proceedings of the ECOOP 2008, 2008

2007

Reliable and efficient programming abstractions for wireless sensor networks.

Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Tasks: language support for event-driven programming.

Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Enforcing and validating user-defined programming disciplines.

Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Declarative failure recovery for sensor networks.

Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

Type Systems: Advances and Applications.

Jens Palsberg, Todd D. Millstein

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

MultiJava: Design rationale, compiler implementation, and applications.

Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers

ACM Trans. Program. Lang. Syst., 2006

Statically scoped object adaptation with expanders.

Alessandro Warth, Milan Stanojevic, Todd D. Millstein

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A framework for implementing pluggable type systems.

Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inference of User-Defined Type Qualifiers and Qualifier Rules.

Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg

Proceedings of the Programming Languages and Systems, 2006

Responders: Language Support for Interactive Applications.

Brian Chin, Todd D. Millstein

Proceedings of the ECOOP 2006, 2006

2005

Polymorphic predicate abstraction.

Thomas Ball, Todd D. Millstein, Sriram K. Rajamani

ACM Trans. Program. Lang. Syst., 2005

Generating error traces from verification-condition counterexamples.

K. Rustan M. Leino, Todd D. Millstein, James B. Saxe

Sci. Comput. Program., 2005

Automated soundness proofs for dataflow analyses and transformations via local rules.

Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Semantic type qualifiers.

Brian Chin, Shane Markstrum, Todd D. Millstein

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

2004

Modular typechecking for hierarchically extensible datatypes and functions.

Todd D. Millstein, Colin Bleckner, Craig Chambers

ACM Trans. Program. Lang. Syst., 2004

Bounded similarity querying for time-series data.

Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu

Inf. Comput., 2004

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.

Sorin Lerner, Todd D. Millstein, Craig Chambers

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Practical predicate dispatch.

Todd D. Millstein

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Query containment for data integration systems.

Todd D. Millstein, Alon Y. Halevy, Marc T. Friedman

J. Comput. Syst. Sci., 2003

Automatically proving the correctness of compiler optimizations.

Sorin Lerner, Todd D. Millstein, Craig Chambers

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Relaxed MultiJava: balancing extensibility and modular typechecking.

Todd D. Millstein, Mark Reay, Craig Chambers

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Static Reasoning about Programs and Queries.

Todd D. Millstein

Proceedings of the PCK50, 2003

2002

Modular Statically Typed Multimethods.

Todd D. Millstein, Craig Chambers

Inf. Comput., 2002

2000

MultiJava: modular open classes and symmetric multiple dispatch for Java.

Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999

Navigational Plans For Data Integration.

Marc T. Friedman, Alon Y. Levy, Todd D. Millstein

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Multiple Dispatch as Dispatch on Tuples.

Gary T. Leavens, Todd D. Millstein

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

Automatic SAT-Compilation of Planning Problems.

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997