default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTodd D. Millstein
Person information
- affiliation: University of California, Los Angeles, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j22]Poorva Garg
, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
Bit Blasting Probabilistic Programs. Proc. ACM Program. Lang. 8(PLDI): 865-888 (2024)- [c79]Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese:
MESSI: Behavioral Testing of BGP Implementations. NSDI 2024 - 2023
- [c78]Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese:
What do LLMs need to Synthesize Correct Router Configurations? HotNets 2023: 189-195 - [c77]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: 94-107 - [c76]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: 122-135 - [c75]William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Scaling integer arithmetic in probabilistic programs. UAI 2023: 260-270 - [i16]Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese:
What do LLMs need to Synthesize Correct Router Configurations? CoRR abs/2307.04945 (2023) - [i15]William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Scaling Integer Arithmetic in Probabilistic Programs. CoRR abs/2307.13837 (2023) - [i14]Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
Bit Blasting Probabilistic Programs. CoRR abs/2312.05706 (2023) - 2022
- [j21]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): 505-531 (2022) - [c74]Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese:
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. NSDI 2022: 307-323 - [i13]Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese:
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR abs/2204.09635 (2022) - 2021
- [j20]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Safe-by-default Concurrency for Modern Programming Languages. ACM Trans. Program. Lang. Syst. 43(3): 10:1-10:50 (2021) - [c73]Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi:
Logical abstractions for noisy variational Quantum algorithm simulation. ASPLOS 2021: 456-472 - [c72]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: 577-601 - [c71]Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese:
How Complex is DNS? HotNets 2021: 116-122 - [c70]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: 748-761 - [d1]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'. Zenodo, 2021
- [i12]Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi:
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation. CoRR abs/2103.17226 (2021) - [i11]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 abs/2105.12326 (2021) - [i10]Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen:
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. CoRR abs/2110.10284 (2021) - 2020
- [j19]Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang. 4(OOPSLA): 140:1-140:31 (2020) - [c69]Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck:
Counterexample-Guided Learning of Monotonic Neural Networks. NeurIPS 2020 - [c68]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: 999-1013 - [c67]Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker:
Data-driven inference of representation invariants. PLDI 2020: 1-15 - [c66]Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese:
GRooT: Proactive Verification of DNS Configurations. SIGCOMM 2020: 310-328 - [i9]Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker:
Data-Driven Inference of Representation Invariants. CoRR abs/2003.12106 (2020) - [i8]Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. CoRR abs/2005.09089 (2020) - [i7]Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck:
Counterexample-Guided Learning of Monotonic Neural Networks. CoRR abs/2006.08852 (2020)
2010 – 2019
- 2019
- [j18]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): 104-106 (2019) - [c65]Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma:
Overfitting in Synthesis: Theory and Practice. CAV (1) 2019: 315-334 - [c64]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Accelerating sequential consistency for Java with speculative compilation. PLDI 2019: 16-30 - [c63]Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Generating and Sampling Orbits for Lifted Probabilistic Inference. UAI 2019: 985-994 - [i6]Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Generating and Sampling Orbits for Lifted Probabilistic Inference. CoRR abs/1903.04672 (2019) - [i5]Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Symbolic Exact Inference for Discrete Probabilistic Programs. CoRR abs/1904.02079 (2019) - [i4]Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma:
Overfitting in Synthesis: Theory and Practice (Extended Version). CoRR abs/1905.07457 (2019) - 2018
- [j17]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): 150:1-150:28 (2018) - [j16]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): 595-615 (2018) - [c62]Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
Sound Abstraction and Decomposition of Probabilistic Programs. ICML 2018: 2004-2013 - [e3]Todd D. Millstein:
32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. LIPIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-079-8 [contents] - 2017
- [j15]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
A volatile-by-default JVM for server applications. Proc. ACM Program. Lang. 1(OOPSLA): 49:1-49:25 (2017) - [c61]Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker:
Network configuration synthesis with abstract topologies. PLDI 2017: 437-451 - [c60]Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker:
Programming Distributed Control Planes: Invited Demo: Demo. SOSR 2017: 205-206 - [c59]Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Probabilistic Program Abstractions. UAI 2017 - [i3]Steven Holtzen, Todd D. Millstein, Guy Van den Broeck:
Probabilistic Program Abstractions. CoRR abs/1705.09970 (2017) - [i2]Saswat Padhi, Todd D. Millstein:
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. CoRR abs/1707.02029 (2017) - [i1]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR abs/1709.05725 (2017) - 2016
- [j14]Todd D. Millstein:
Technical Perspective: Toward reliable programming for unreliable hardware. Commun. ACM 59(8): 82 (2016) - [j13]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. ACM Trans. Program. Lang. Syst. 38(4): 16:1-16:40 (2016) - [c58]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: 510-522 - [c57]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 - [c56]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: 784-795 - [c55]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: 217-232 - [c54]Saswat Padhi, Rahul Sharma, Todd D. Millstein:
Data-driven precondition inference with learned features. PLDI 2016: 42-56 - [c53]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: 328-341 - 2015
- [j12]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): 216-227 (2015) - [c52]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: 469-483 - [c51]Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein:
Analyzing Protocol Implementations for Interoperability. NSDI 2015: 485-498 - [c50]Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld:
Checks and balances: constraint solving without surprises in object-constraint programming languages. OOPSLA 2015: 767-782 - [c49]Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh:
The Silently Shifting Semicolon. SNAPL 2015: 177-189 - 2014
- [c48]Mohsen Lesani, Todd D. Millstein, Jens Palsberg:
Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV 2014: 550-567 - [c47]Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein:
Call by Meaning. Onward! 2014: 11-28 - [e2]Andrew P. Black, Todd D. Millstein:
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. ACM 2014, ISBN 978-1-4503-2585-1 [contents] - 2013
- [j11]Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi:
A Safety-First Approach to Memory Models. IEEE Micro 33(3): 96-104 (2013) - [c46]Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein:
RERAN: timing- and touch-sensitive record and replay for Android. ICSE 2013: 72-81 - [c45]Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein:
Declarative mocking. ISSTA 2013: 246-256 - [c44]Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein:
MrCrypt: static analysis for secure cloud computations. OOPSLA 2013: 271-286 - 2012
- [j10]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47(4a): 37-47 (2012) - [c43]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: 3-14 - [c42]Jeffrey A. Vaughan, Todd D. Millstein:
Secure Information Flow for Concurrent Programs under Total Store Order. CSF 2012: 19-29 - [c41]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: 277-287 - [c40]Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi:
End-to-end sequential consistency. ISCA 2012: 524-535 - 2011
- [c39]Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi:
Efficient processor support for DRFx, a memory model with exceptions. ASPLOS 2011: 53-66 - [c38]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip:
Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138 - [c37]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip:
Refactoring towards the good parts of javascript. OOPSLA Companion 2011: 189-190 - [c36]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
A case for an SC-preserving compiler. PLDI 2011: 199-210 - [c35]Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi:
Finding protocol manipulation attacks. SIGCOMM 2011: 26-37 - 2010
- [j9]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): 4:1-4:37 (2010) - [c34]Hesam Samimi, Ei Darli Aung, Todd D. Millstein:
Falling Back on Executable Specifications. ECOOP 2010: 552-576 - [c33]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
DRFX: a simple and efficient memory model for concurrent programming languages. PLDI 2010: 351-362
2000 – 2009
- 2009
- [j8]Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth:
Expressive and modular predicate dispatch for Java. ACM Trans. Program. Lang. Syst. 31(2): 7:1-7:54 (2009) - [c32]Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein:
Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194 - [c31]Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein:
Towards concurrency refactoring for x10. PPoPP 2009: 303-304 - [c30]Daniel Marino, Todd D. Millstein:
A generic type-and-effect system. TLDI 2009: 39-50 - [e1]Thorsten Altenkirch, Todd D. Millstein:
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-330-3 [contents] - 2008
- [c29]Brian Chin, Todd D. Millstein:
An Extensible State Machine Pattern for Interactive Applications. ECOOP 2008: 566-591 - [c28]Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi:
Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets 2008: 31-36 - [c27]Nupur Kothari, Todd D. Millstein, Ramesh Govindan:
Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN 2008: 271-282 - [c26]Alessandro Warth, James R. Douglass, Todd D. Millstein:
Packrat parsers can support left recursion. PEPM 2008: 103-110 - 2007
- [c25]Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan:
Declarative failure recovery for sensor networks. AOSD 2007: 173-184 - [c24]Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein:
Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86 - [c23]Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein:
Tasks: language support for event-driven programming. PEPM 2007: 134-143 - [c22]Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan:
Reliable and efficient programming abstractions for wireless sensor networks. PLDI 2007: 200-210 - [p1]Jens Palsberg, Todd D. Millstein:
Type Systems: Advances and Applications. The Compiler Design Handbook, 2nd ed. 2007: 9 - 2006
- [j7]Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers:
MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28(3): 517-575 (2006) - [c21]Brian Chin, Todd D. Millstein:
Responders: Language Support for Interactive Applications. ECOOP 2006: 255-278 - [c20]Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg:
Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP 2006: 264-278 - [c19]Alessandro Warth, Milan Stanojevic, Todd D. Millstein:
Statically scoped object adaptation with expanders. OOPSLA 2006: 37-56 - [c18]Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein:
A framework for implementing pluggable type systems. OOPSLA 2006: 57-74 - [c17]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: 940-942 - 2005
- [j6]K. Rustan M. Leino, Todd D. Millstein, James B. Saxe:
Generating error traces from verification-condition counterexamples. Sci. Comput. Program. 55(1-3): 209-226 (2005) - [j5]Thomas Ball, Todd D. Millstein, Sriram K. Rajamani:
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) - [c16]Brian Chin, Shane Markstrum, Todd D. Millstein:
Semantic type qualifiers. PLDI 2005: 85-95 - [c15]Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers:
Automated soundness proofs for dataflow analyses and transformations via local rules. POPL 2005: 364-377 - 2004
- [j4]Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu:
Bounded similarity querying for time-series data. Inf. Comput. 194(2): 203-241 (2004) - [j3]Todd D. Millstein, Colin Bleckner, Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. 26(5): 836-889 (2004) - [c14]Todd D. Millstein:
Practical predicate dispatch. OOPSLA 2004: 345-364 - [c13]Sorin Lerner, Todd D. Millstein, Craig Chambers:
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. COCV@ETAPS 2004: 5-17 - 2003
- [j2]Todd D. Millstein, Alon Y. Halevy, Marc T. Friedman:
Query containment for data integration systems. J. Comput. Syst. Sci. 66(1): 20-39 (2003) - [c12]Todd D. Millstein:
Static Reasoning about Programs and Queries. PCK50 2003: 28-34 - [c11]Todd D. Millstein, Mark Reay, Craig Chambers:
Relaxed MultiJava: balancing extensibility and modular typechecking. OOPSLA 2003: 224-240 - [c10]Sorin Lerner, Todd D. Millstein, Craig Chambers:
Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231 - 2002
- [j1]Todd D. Millstein, Craig Chambers:
Modular Statically Typed Multimethods. Inf. Comput. 175(1): 76-118 (2002) - [c9]Todd D. Millstein, Colin Bleckner, Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions. ICFP 2002: 110-122 - 2001
- [c8]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213 - 2000
- [c7]Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein:
MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA 2000: 130-145 - [c6]Todd D. Millstein, Alon Y. Levy, Marc T. Friedman:
Query Containment for Data Integration Systems. PODS 2000: 67-75
1990 – 1999
- 1999
- [c5]Marc T. Friedman, Alon Y. Levy, Todd D. Millstein:
Navigational Plans For Data Integration. AAAI/IAAI 1999: 67-73 - [c4]Todd D. Millstein, Craig Chambers:
Modular Statically Typed Multimethods. ECOOP 1999: 279-303 - [c3]Marc T. Friedman, Alon Y. Levy, Todd D. Millstein:
Navigational Plans for Data Integration. Intelligent Information Integration 1999 - 1998
- [c2]Gary T. Leavens, Todd D. Millstein:
Multiple Dispatch as Dispatch on Tuples. OOPSLA 1998: 374-387 - 1997
- [c1]Michael D. Ernst, Todd D. Millstein, Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems. IJCAI 1997: 1169-1177