researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

todddmillstein

Statistics

Publications: 33
Edited: 0

Aliases

Millstein, Todd D.
Todd D. Millstein
Millstein, T. D.
Millstein
T. D. Millstein

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Todd D. Millstein's Profile

Publications

Unidentified Publications

Publications with a 'Todd D. Millstein' as author, editor, or advisor:

A Safety-First Approach to Memory ModelsAbhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi. micro, 33(3):96-104, 2013. [doi]
Data-driven lemma synthesis for interactive proofsAishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein. PACMPL, 6(OOPSLA2):505-531, 2022. [doi]
Optimizing Interactive Development of Data-Intensive ApplicationsMatteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein. CLOUD 2016: 510-522 [doi]
Accelerating sequential consistency for Java with speculative compilationLun Liu, Todd D. Millstein, Madanlal Musuvathi. PLDI 2019: 16-30 [doi]
How Complex is DNS?Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese. hotnets 2021: 116-122 [doi]
Logical abstractions for noisy variational Quantum algorithm simulationYipeng Huang 0001, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi. asplos 2021: 456-472 [doi]
Network configuration synthesis with abstract topologiesRyan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker. PLDI 2017: 437-451 [doi]
Modular Statically Typed MultimethodsTodd D. Millstein, Craig Chambers. iandc, 175(1):76-118, 2002. [doi]
Probabilistic Program AbstractionsSteven Holtzen, Todd D. Millstein, Guy Van den Broeck. uai 2017: [doi]
Tool-supported refactoring for JavaScriptAsger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip. OOPSLA 2011: 119-138 [doi]
SCALE: Automatically Finding RFC Compliance Bugs in DNS NameserversSiva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese. NSDI 2022: 307-323 [doi]
Data-driven precondition inference with learned featuresSaswat Padhi, Rahul Sharma, Todd D. Millstein. PLDI 2016: 42-56 [doi]
Generating and Sampling Orbits for Lifted Probabilistic InferenceSteven Holtzen, Todd D. Millstein, Guy Van den Broeck. uai 2018: 356 [doi]
Type Systems: Advances and ApplicationsJens Palsberg, Todd D. Millstein. In The Compiler Design Handbook, 2nd ed.. pages 9, 2007.
x: An Understandable, High Performance, and Flexible Memory Model for Concurrent LanguagesDaniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy. TOPLAS, 38(4):16, 2016. [doi]
Overfitting in Synthesis: Theory and PracticeSaswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma 0001. cav 2019: 315-334 [doi]
Analyzing Protocol Implementations for InteroperabilityLuis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein. NSDI 2015: 485-498 [doi]
Secure Information Flow for Concurrent Programs under Total Store OrderJeffrey A. Vaughan, Todd D. Millstein. csfw 2012: 19-29 [doi]
Efficient processor support for DRFx, a memory model with exceptionsAbhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi. asplos 2011: 53-66 [doi]
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, 2014Andrew P. Black, Todd D. Millstein, editors, ACM, 2014. [doi]
Automatic Atomicity Verification for Clients of Concurrent Data StructuresMohsen Lesani, Todd D. Millstein, Jens Palsberg. cav 2014: 550-567 [doi]
Scaling exact inference for discrete probabilistic programsSteven Holtzen, Guy Van den Broeck, Todd D. Millstein. PACMPL, 4(OOPSLA), 2020. [doi]
Query containment for data integration systemsTodd D. Millstein, Alon Y. Halevy, Marc Friedman. jcss, 66(1):20-39, 2003. [doi]
Campion: debugging router configuration differencesAlan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese. sigcomm 2021: 748-761 [doi]
Cobalt: A Language for Writing Provably-Sound Compiler OptimizationsSorin Lerner, Todd D. Millstein, Craig Chambers. ENTCS, 132(1):5-17, 2005. [doi]
Counterexample-Guided Learning of Monotonic Neural NetworksAishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck. nips 2020: [doi]
Data-driven inference of representation invariantsAnders Miltner, Saswat Padhi, Todd D. Millstein, David Walker. PLDI 2020: 1-15 [doi]
Automatic predicate abstraction of C programsThomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani. SIGPLAN, 47(4a):37-47, 2012. [doi]
Technical Perspective: Toward reliable programming for unreliable hardwareTodd D. Millstein. CACM, 59(8):82, 2016. [doi]
Safe-by-default Concurrency for Modern Programming LanguagesLun Liu 0002, Todd D. Millstein, Madanlal Musuvathi. TOPLAS, 43(3), 2021. [doi]
Relaxed MultiJava: balancing extensibility and modular typecheckingTodd D. Millstein, Mark Reay, Craig Chambers. OOPSLA 2003: 224-240 [doi]
DRFX: a simple and efficient memory model for concurrent programming languagesDaniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy. PLDI 2010: 351-362 [doi]
Call by MeaningHesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein. OOPSLA 2014: 11-28 [doi]
Adding data provenance support to Apache SparkMatteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie. vldb, 27(5):595-615, 2018. [doi]
Refactoring towards the good parts of javascriptAsger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip. OOPSLA 2011: 189-190 [doi]
MultiJava: Design rationale, compiler implementation, and applicationsCurtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers. TOPLAS, 28(3):517-575, 2006. [doi]
End-to-end sequential consistencyAbhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi. isca 2012: 524-535 [doi]
Titian: Data Provenance Support in SparkMatteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie. pvldb, 9(3):216-227, 2015. [doi]
Scaling integer arithmetic in probabilistic programsWilliam X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck. uai 2023: 260-270 [doi]
Efficient Network Reachability Analysis Using a Succinct Control Plane RepresentationSeyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese. osdi 2016: 217-232 [doi]
The Silently Shifting SemicolonDaniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh. SNAPL 2015: 177-189 [doi]
MESSI: Behavioral Testing of BGP ImplementationsRathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese. NSDI 2024: [doi]
A General Approach to Network Configuration AnalysisAri Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein. NSDI 2015: 469-483 [doi]
32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The NetherlandsTodd D. Millstein, editor, Volume 109 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Interactive Debugging for Big Data AnalyticsMuhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim. hotcloud 2016: [doi]
A generic type-and-effect systemDaniel Marino, Todd D. Millstein. tldi 2009: 39-50 [doi]
Checks and balances: constraint solving without surprises in object-constraint programming languagesTim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld. OOPSLA 2015: 767-782 [doi]
Model Checking Finite-Horizon Markov Chains with Probabilistic InferenceSteven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck. cav 2021: 577-601 [doi]
A case for an SC-preserving compilerDaniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy. PLDI 2011: 199-210 [doi]
Sound Abstraction and Decomposition of Probabilistic ProgramsSteven Holtzen, Guy Van den Broeck, Todd D. Millstein. icml 2018: 2004-2013 [doi]
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009Thorsten Altenkirch, Todd D. Millstein, editors, ACM, 2009.
BigDebug: debugging primitives for interactive big data processing in sparkMuhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim. ICSE 2016: 784-795 [doi]
Programming Distributed Control Planes: Invited Demo: DemoRyan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker. sosr 2017: 205-206 [doi]
MrCrypt: static analysis for secure cloud computationsSai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein. OOPSLA 2013: 271-286 [doi]
Fine-Grained Access Control with Object-Sensitive RolesJeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein. ECOOP 2009: 173-194 [doi]
Declarative mockingHesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein. ISSTA 2013: 246-256 [doi]
GRooT: Proactive Verification of DNS ConfigurationsSiva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese. sigcomm 2020: 310-328 [doi]
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level ConfigurationsRyan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker. sigcomm 2016: 328-341 [doi]
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programmingRyan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker. ccr, 49(5):104-106, 2019. [doi]
FlashProfile: a framework for synthesizing data profilesSaswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein. PACMPL, 2(OOPSLA), 2018. [doi]
Automated repair of HTML generation errors in PHP applications using string constraint solvingHesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren. ICSE 2012: 277-287 [doi]
Lightyear: Using Modularity to Scale BGP Control Plane VerificationAlan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese. sigcomm 2023: 94-107 [doi]
Lessons from the evolution of the Batfish configuration analysis toolMatt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein. sigcomm 2023: 122-135 [doi]
A volatile-by-default JVM for server applicationsLun Liu, Todd D. Millstein, Madanlal Musuvathi. PACMPL, 1(OOPSLA), 2017. [doi]
Dr. Android and Mr. Hide: fine-grained permissions in android applicationsJinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein. ccs 2012: 3-14 [doi]
Can You Fool Me? Towards Automatically Checking Protocol GullibilityMilan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi. hotnets 2008: 31-36 [doi]
Falling Back on Executable SpecificationsHesam Samimi, Ei Darli Aung, Todd D. Millstein. ECOOP 2010: 552-576 [doi]
Finding protocol manipulation attacksNupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi. sigcomm 2011: 26-37 [doi]
RERAN: timing- and touch-sensitive record and replay for AndroidLorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein. ICSE 2013: 72-81 [doi]
What do LLMs need to Synthesize Correct Router Configurations?Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese. hotnets 2023: 189-195 [doi]
Finding Network Misconfigurations by Automatic Template InferenceSiva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese. NSDI 2020: 999-1013 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL