Todd D. Millstein

129 papers A* 29A 23B 1C 2Misc 10Journal 42Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	LLM-Based Config Synthesis requires Disambiguation. CoRR Rajdeep Mondal, Nikolaj S. Bjørner, Todd D. Millstein, Alan Tang, George Varghese
2025	J	`jnl`	Synthesizing Implication Lemmas for Interactive Theorem Proving. Proc. ACM Program. Lang. Ana Brendel, Aishwarya Sivaraman, Todd D. Millstein
2025	Misc	`conf`	Tackling Ambiguity in User Intent for LLM-based Network Configuration Synthesis. HotNets Rajdeep Mondal, Nikolaj S. Bjørner, Todd D. Millstein, Alan Tang, George Varghese
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. CoRR Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. Proc. ACM Program. Lang. Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2024	J	`jnl`	Bit Blasting Probabilistic Programs. Proc. ACM Program. Lang. Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2024	—	`conf`	Everything Is a Program (Even If It's Not) (Keynote). SPLASH Companion Todd D. Millstein
2024	Misc	`conf`	If Layering is useful, why not Sublayering? HotNets Rathin Singha, Rishabh R. Iyer, Charles Liu, Caleb Terrill, Todd D. Millstein, Scott Shenker, George Varghese
2024	Misc	`conf`	MESSI: Behavioral Testing of BGP Implementations. NSDI Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
2023	J	`jnl`	Bit Blasting Probabilistic Programs. CoRR Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2023	A*	`conf`	Lessons from the evolution of the Batfish configuration analysis tool. SIGCOMM Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein
2023	A*	`conf`	Lightyear: Using Modularity to Scale BGP Control Plane Verification. SIGCOMM Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
2023	J	`jnl`	Scaling Integer Arithmetic in Probabilistic Programs. CoRR William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2023	A	`conf`	Scaling integer arithmetic in probabilistic programs. UAI William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2023	Misc	`conf`	What do LLMs need to Synthesize Correct Router Configurations? HotNets Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
2023	J	`jnl`	What do LLMs need to Synthesize Correct Router Configurations? CoRR Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
2022	J	`jnl`	Data-driven lemma synthesis for interactive proofs. Proc. ACM Program. Lang. Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
2022	J	`jnl`	LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
2022	Misc	`conf`	SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. NSDI Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
2021	A*	`conf`	Campion: debugging router configuration differences. SIGCOMM Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
2021	Misc	`conf`	How Complex is DNS? HotNets Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
2021	J	`jnl`	Logical Abstractions for Noisy Variational Quantum Algorithm Simulation. CoRR Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
2021	A*	`conf`	Logical abstractions for noisy variational Quantum algorithm simulation. ASPLOS Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
2021	—	`conf`	Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021	J	`jnl`	Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021	J	`jnl`	Safe-by-default Concurrency for Modern Programming Languages. ACM Trans. Program. Lang. Syst. Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2021	J	`jnl`	flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. CoRR Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen
2020	A*	`conf`	Counterexample-Guided Learning of Monotonic Neural Networks. NeurIPS Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
2020	J	`jnl`	Counterexample-Guided Learning of Monotonic Neural Networks. CoRR Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
2020	J	`jnl`	Data-Driven Inference of Representation Invariants. CoRR Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020	A*	`conf`	Data-driven inference of representation invariants. PLDI Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020	J	`jnl`	Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. CoRR Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2020	Misc	`conf`	Finding Network Misconfigurations by Automatic Template Inference. NSDI Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
2020	A*	`conf`	GRooT: Proactive Verification of DNS Configurations. SIGCOMM Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese
2020	J	`jnl`	Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang. Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2019	A*	`conf`	Accelerating sequential consistency for Java with speculative compilation. PLDI Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2019	J	`jnl`	Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2019	A	`conf`	Generating and Sampling Orbits for Lifted Probabilistic Inference. UAI Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2019	J	`jnl`	Generating and Sampling Orbits for Lifted Probabilistic Inference. CoRR Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2019	J	`jnl`	Overfitting in Synthesis: Theory and Practice (Extended Version). CoRR Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019	—	`conf`	Overfitting in Synthesis: Theory and Practice. CAV (1) Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019	J	`jnl`	Symbolic Exact Inference for Discrete Probabilistic Programs. CoRR Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2018	A	`ed.`	32nd European Conference on Object-Oriented Programming, ECOOP 2018, Amsterdam, The Netherlands, July 16-21, 2018 ECOOP Todd D. Millstein
2018	J	`jnl`	Adding data provenance support to Apache Spark. VLDB J. Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie
2018	J	`jnl`	FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2018	A*	`conf`	Sound Abstraction and Decomposition of Probabilistic Programs. ICML Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2017	J	`jnl`	A volatile-by-default JVM for server applications. Proc. ACM Program. Lang. Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2017	J	`jnl`	Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. CoRR Saswat Padhi, Todd D. Millstein
2017	J	`jnl`	FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2017	A*	`conf`	Network configuration synthesis with abstract topologies. PLDI Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2017	A	`conf`	Probabilistic Program Abstractions. UAI Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2017	J	`jnl`	Probabilistic Program Abstractions. CoRR Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2017	—	`conf`	Programming Distributed Control Planes: Invited Demo: Demo. SOSR Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
2016	A*	`conf`	BigDebug: debugging primitives for interactive big data processing in spark. ICSE Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim
2016	J	`jnl`	DRF ACM Trans. Program. Lang. Syst. Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2016	A*	`conf`	Data-driven precondition inference with learned features. PLDI Saswat Padhi, Rahul Sharma, Todd D. Millstein
2016	A*	`conf`	Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2016	A*	`conf`	Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. OSDI Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese
2016	—	`conf`	Interactive Debugging for Big Data Analytics. HotCloud Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim
2016	—	`conf`	Optimizing Interactive Development of Data-Intensive Applications. SoCC Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein
2016	J	`jnl`	Technical Perspective: Toward reliable programming for unreliable hardware. Commun. ACM Todd D. Millstein
2015	Misc	`conf`	A General Approach to Network Configuration Analysis. NSDI Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
2015	Misc	`conf`	Analyzing Protocol Implementations for Interoperability. NSDI Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
2015	A	`conf`	Checks and balances: constraint solving without surprises in object-constraint programming languages. OOPSLA Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld
2015	—	`conf`	The Silently Shifting Semicolon. SNAPL Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
2015	J	`jnl`	Titian: Data Provenance Support in Spark. Proc. VLDB Endow. Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie
2014	A*	`conf`	Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV Mohsen Lesani, Todd D. Millstein, Jens Palsberg
2014	—	`conf`	Call by Meaning. Onward! Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein
2014	A	`ed.`	Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014 OOPSLA Andrew P. Black, Todd D. Millstein
2013	J	`jnl`	A Safety-First Approach to Memory Models. IEEE Micro Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2013	A	`conf`	Declarative mocking. ISSTA Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein
2013	A	`conf`	MrCrypt: static analysis for secure cloud computations. OOPSLA Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
2013	A*	`conf`	RERAN: timing- and touch-sensitive record and replay for Android. ICSE Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein
2012	A*	`conf`	Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
2012	J	`jnl`	Automatic predicate abstraction of C programs. ACM SIGPLAN Notices Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2012	—	`conf`	Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
2012	A*	`conf`	End-to-end sequential consistency. ISCA Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2012	A	`conf`	Secure Information Flow for Concurrent Programs under Total Store Order. CSF Jeffrey A. Vaughan, Todd D. Millstein
2011	A*	`conf`	A case for an SC-preserving compiler. PLDI Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2011	A*	`conf`	Efficient processor support for DRFx, a memory model with exceptions. ASPLOS Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
2011	A*	`conf`	Finding protocol manipulation attacks. SIGCOMM Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
2011	—	`conf`	Refactoring towards the good parts of javascript. OOPSLA Companion Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
2011	A	`conf`	Tool-supported refactoring for JavaScript. OOPSLA Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
2010	A*	`conf`	DRFX: a simple and efficient memory model for concurrent programming languages. PLDI Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2010	A	`conf`	Falling Back on Executable Specifications. ECOOP Hesam Samimi, Ei Darli Aung, Todd D. Millstein
2010	J	`jnl`	JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble
2009	—	`conf`	A generic type-and-effect system. TLDI Daniel Marino, Todd D. Millstein
2009	J	`jnl`	Expressive and modular predicate dispatch for Java. ACM Trans. Program. Lang. Syst. Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth
2009	A	`conf`	Fine-Grained Access Control with Object-Sensitive Roles. ECOOP Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
2009	—	`ed.`	Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 PLPV Thorsten Altenkirch, Todd D. Millstein
2009	B	`conf`	Towards concurrency refactoring for x10. PPoPP Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein
2008	A	`conf`	An Extensible State Machine Pattern for Interactive Applications. ECOOP Brian Chin, Todd D. Millstein
2008	Misc	`conf`	Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi
2008	—	`conf`	Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN Nupur Kothari, Todd D. Millstein, Ramesh Govindan
2008	C	`conf`	Packrat parsers can support left recursion. PEPM Alessandro Warth, James R. Douglass, Todd D. Millstein
2007	—	`conf`	Declarative failure recovery for sensor networks. AOSD Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan
2007	—	`conf`	Enforcing and validating user-defined programming disciplines. PASTE Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein
2007	A*	`conf`	Reliable and efficient programming abstractions for wireless sensor networks. PLDI Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan
2007	C	`conf`	Tasks: language support for event-driven programming. PEPM Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
2007	—	`ch.`	Type Systems: Advances and Applications. The Compiler Design Handbook, 2nd ed. Jens Palsberg, Todd D. Millstein
2006	A	`conf`	A framework for implementing pluggable type systems. OOPSLA Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein
2006	A	`conf`	Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
2006	J	`jnl`	MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
2006	A	`conf`	Responders: Language Support for Interactive Applications. ECOOP Brian Chin, Todd D. Millstein
2006	A	`conf`	Statically scoped object adaptation with expanders. OOPSLA Alessandro Warth, Milan Stanojevic, Todd D. Millstein
2006	—	`conf`	Young guns/object orientation: the next generation. OOPSLA Companion 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
2005	A*	`conf`	Automated soundness proofs for dataflow analyses and transformations via local rules. POPL Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
2005	J	`jnl`	Generating error traces from verification-condition counterexamples. Sci. Comput. Program. K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
2005	A*	`conf`	Kairos: a macro-programming system for wireless sensor networks. SOSP Ramakrishna Gummadi, Nupur Kothari, Ramesh Govindan, Todd D. Millstein
2005	J	`jnl`	Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
2005	A*	`conf`	Semantic type qualifiers. PLDI Brian Chin, Shane Markstrum, Todd D. Millstein
2004	J	`jnl`	Bounded similarity querying for time-series data. Inf. Comput. Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu
2004	—	`conf`	Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. COCV Sorin Lerner, Todd D. Millstein, Craig Chambers
2004	J	`jnl`	Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. Todd D. Millstein, Colin Bleckner, Craig Chambers
2004	A	`conf`	Practical predicate dispatch. OOPSLA Todd D. Millstein
2003	A*	`conf`	Automatically proving the correctness of compiler optimizations. PLDI Sorin Lerner, Todd D. Millstein, Craig Chambers
2003	J	`jnl`	Query containment for data integration systems. J. Comput. Syst. Sci. Todd D. Millstein, Alon Y. Halevy, Marc T. Friedman
2003	A	`conf`	Relaxed MultiJava: balancing extensibility and modular typechecking. OOPSLA Todd D. Millstein, Mark Reay, Craig Chambers
2003	—	`conf`	Static Reasoning about Programs and Queries. PCK50 Todd D. Millstein
2002	J	`jnl`	Modular Statically Typed Multimethods. Inf. Comput. Todd D. Millstein, Craig Chambers
2002	A	`conf`	Modular typechecking for hierarchically extensible datatypes and functions. ICFP Todd D. Millstein, Colin Bleckner, Craig Chambers
2001	A*	`conf`	Automatic Predicate Abstraction of C Programs. PLDI Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2000	A	`conf`	MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein
2000	A*	`conf`	Query Containment for Data Integration Systems. PODS Todd D. Millstein, Alon Y. Levy, Marc T. Friedman
1999	A	`conf`	Modular Statically Typed Multimethods. ECOOP Todd D. Millstein, Craig Chambers
1999	—	`conf`	Navigational Plans For Data Integration. AAAI/IAAI Marc T. Friedman, Alon Y. Levy, Todd D. Millstein
1999	—	`conf`	Navigational Plans for Data Integration. Intelligent Information Integration Marc T. Friedman, Alon Y. Levy, Todd D. Millstein
1998	A	`conf`	Multiple Dispatch as Dispatch on Tuples. OOPSLA Gary T. Leavens, Todd D. Millstein
1997	—	`conf`	Automatic SAT-Compilation of Planning Problems. IJCAI Michael D. Ernst, Todd D. Millstein, Daniel S. Weld