default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTodd D. Millstein
Person information
- affiliation: University of California, Los Angeles, USA
SPARQL queries 
🛈 Please note that only 73% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
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)- [c80]Rathin Singha, Rishabh R. Iyer, Charles Liu, Caleb Terrill, Todd D. Millstein, Scott Shenker, George Varghese:
If Layering is useful, why not Sublayering? HotNets 2024: 142-149 - [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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
