default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Todd D. Millstein
@article{DBLP:journals/pacmpl/GargHBM24,
author = {Poorva Garg and
Steven Holtzen and
Guy Van den Broeck and
Todd D. Millstein},
title = {Bit Blasting Probabilistic Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {865--888},
year = {2024},
url = {https://doi.org/10.1145/3656412},
doi = {10.1145/3656412},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GargHBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/SinghaMBKMV24,
author = {Rathin Singha and
Rajdeep Mondal and
Ryan Beckett and
Siva Kesava Reddy Kakarla and
Todd D. Millstein and
George Varghese},
editor = {Laurent Vanbever and
Irene Zhang},
title = {{MESSI:} Behavioral Testing of {BGP} Implementations},
booktitle = {21st {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2024, Santa Clara, CA, April 15-17, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/nsdi24/presentation/singha},
timestamp = {Fri, 19 Apr 2024 11:29:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/SinghaMBKMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/MondalTBMV23,
author = {Rajdeep Mondal and
Alan Tang and
Ryan Beckett and
Todd D. Millstein and
George Varghese},
title = {What do LLMs need to Synthesize Correct Router Configurations?},
booktitle = {Proceedings of the 22nd {ACM} Workshop on Hot Topics in Networks,
HotNets 2023, Cambridge, MA, USA, November 28-29, 2023},
pages = {189--195},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3626111.3628194},
doi = {10.1145/3626111.3628194},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/MondalTBMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/TangBBJPMV23,
author = {Alan Tang and
Ryan Beckett and
Steven Benaloh and
Karthick Jayaraman and
Tejas Patil and
Todd D. Millstein and
George Varghese},
editor = {Henning Schulzrinne and
Vishal Misra and
Eddie Kohler and
David A. Maltz},
title = {Lightyear: Using Modularity to Scale {BGP} Control Plane Verification},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2023 Conference, {ACM} {SIGCOMM}
2023, New York, NY, USA, 10-14 September 2023},
pages = {94--107},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3603269.3604842},
doi = {10.1145/3603269.3604842},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/TangBBJPMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BrownFHHMM23,
author = {Matt Brown and
Ari Fogel and
Daniel Halperin and
Victor Heorhiadi and
Ratul Mahajan and
Todd D. Millstein},
editor = {Henning Schulzrinne and
Vishal Misra and
Eddie Kohler and
David A. Maltz},
title = {Lessons from the evolution of the Batfish configuration analysis tool},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2023 Conference, {ACM} {SIGCOMM}
2023, New York, NY, USA, 10-14 September 2023},
pages = {122--135},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3603269.3604866},
doi = {10.1145/3603269.3604866},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BrownFHHMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/CaoGTHMB23,
author = {William X. Cao and
Poorva Garg and
Ryan Tjoa and
Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
editor = {Robin J. Evans and
Ilya Shpitser},
title = {Scaling integer arithmetic in probabilistic programs},
booktitle = {Uncertainty in Artificial Intelligence, {UAI} 2023, July 31 - 4 August
2023, Pittsburgh, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {216},
pages = {260--270},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v216/cao23b.html},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/CaoGTHMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04945,
author = {Rajdeep Mondal and
Alan Tang and
Ryan Beckett and
Todd D. Millstein and
George Varghese},
title = {What do LLMs need to Synthesize Correct Router Configurations?},
journal = {CoRR},
volume = {abs/2307.04945},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04945},
doi = {10.48550/ARXIV.2307.04945},
eprinttype = {arXiv},
eprint = {2307.04945},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13837,
author = {William X. Cao and
Poorva Garg and
Ryan Tjoa and
Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
title = {Scaling Integer Arithmetic in Probabilistic Programs},
journal = {CoRR},
volume = {abs/2307.13837},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13837},
doi = {10.48550/ARXIV.2307.13837},
eprinttype = {arXiv},
eprint = {2307.13837},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-05706,
author = {Poorva Garg and
Steven Holtzen and
Guy Van den Broeck and
Todd D. Millstein},
title = {Bit Blasting Probabilistic Programs},
journal = {CoRR},
volume = {abs/2312.05706},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.05706},
doi = {10.48550/ARXIV.2312.05706},
eprinttype = {arXiv},
eprint = {2312.05706},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-05706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SivaramanSCLM22,
author = {Aishwarya Sivaraman and
Alex Sanchez{-}Stern and
Bretton Chen and
Sorin Lerner and
Todd D. Millstein},
title = {Data-driven lemma synthesis for interactive proofs},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {505--531},
year = {2022},
url = {https://doi.org/10.1145/3563306},
doi = {10.1145/3563306},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SivaramanSCLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/KakarlaBMV22,
author = {Siva Kesava Reddy Kakarla and
Ryan Beckett and
Todd D. Millstein and
George Varghese},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {{SCALE:} Automatically Finding {RFC} Compliance Bugs in {DNS} Nameservers},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {307--323},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/kakarla},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/KakarlaBMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09635,
author = {Alan Tang and
Ryan Beckett and
Karthick Jayaraman and
Todd D. Millstein and
George Varghese},
title = {{LIGHTYEAR:} Using Modularity to Scale {BGP} Control Plane Verification},
journal = {CoRR},
volume = {abs/2204.09635},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09635},
doi = {10.48550/ARXIV.2204.09635},
eprinttype = {arXiv},
eprint = {2204.09635},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuMM21,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
title = {Safe-by-default Concurrency for Modern Programming Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {3},
pages = {10:1--10:50},
year = {2021},
url = {https://doi.org/10.1145/3462206},
doi = {10.1145/3462206},
timestamp = {Fri, 01 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LiuMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/0001HMBM21,
author = {Yipeng Huang and
Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck and
Margaret Martonosi},
editor = {Tim Sherwood and
Emery D. Berger and
Christos Kozyrakis},
title = {Logical abstractions for noisy variational Quantum algorithm simulation},
booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Virtual Event,
USA, April 19-23, 2021},
pages = {456--472},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3445814.3446750},
doi = {10.1145/3445814.3446750},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/0001HMBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HoltzenJVMSB20,
author = {Steven Holtzen and
Sebastian Junges and
Marcell Vazquez{-}Chanlatte and
Todd D. Millstein and
Sanjit A. Seshia and
Guy Van den Broeck},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {577--601},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_27},
doi = {10.1007/978-3-030-81688-9\_27},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HoltzenJVMSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/KakarlaBMV21,
author = {Siva Kesava Reddy Kakarla and
Ryan Beckett and
Todd D. Millstein and
George Varghese},
title = {How Complex is DNS?},
booktitle = {HotNets '21: The 20th {ACM} Workshop on Hot Topics in Networks, Virtual
Event, United Kingdom, November 10-12, 2021},
pages = {116--122},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3484266.3487369},
doi = {10.1145/3484266.3487369},
timestamp = {Mon, 08 Nov 2021 10:29:11 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/KakarlaBMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/TangKBZBMTV21,
author = {Alan Tang and
Siva Kesava Reddy Kakarla and
Ryan Beckett and
Ennan Zhai and
Matt Brown and
Todd D. Millstein and
Yuval Tamir and
George Varghese},
editor = {Fernando A. Kuipers and
Matthew C. Caesar},
title = {Campion: debugging router configuration differences},
booktitle = {{ACM} {SIGCOMM} 2021 Conference, Virtual Event, USA, August 23-27,
2021},
pages = {748--761},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452296.3472925},
doi = {10.1145/3452296.3472925},
timestamp = {Wed, 11 Aug 2021 15:37:52 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/TangKBZBMTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HoltzenJVMSB21,
author = {Steven Holtzen and
Sebastian Junges and
Marcell Vazquez{-}Chanlatte and
Todd D. Millstein and
Sanjit A. Seshia and
Guy Van den Broeck},
title = {Experiments for 'Model Checking Finite-Horizon Markov Chains with
Probabilistic Inference' (Version 1)},
publisher = {Zenodo},
year = {2021},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.4726264}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.4726264},
doi = {10.5281/ZENODO.4726264},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HoltzenJVMSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-17226,
author = {Yipeng Huang and
Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck and
Margaret Martonosi},
title = {Logical Abstractions for Noisy Variational Quantum Algorithm Simulation},
journal = {CoRR},
volume = {abs/2103.17226},
year = {2021},
url = {https://arxiv.org/abs/2103.17226},
eprinttype = {arXiv},
eprint = {2103.17226},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-17226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-12326,
author = {Steven Holtzen and
Sebastian Junges and
Marcell Vazquez{-}Chanlatte and
Todd D. Millstein and
Sanjit A. Seshia and
Guy Van den Broeck},
title = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference},
journal = {CoRR},
volume = {abs/2105.12326},
year = {2021},
url = {https://arxiv.org/abs/2105.12326},
eprinttype = {arXiv},
eprint = {2105.12326},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-12326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10284,
author = {Yu{-}Hsi Cheng and
Todd D. Millstein and
Guy Van den Broeck and
Steven Holtzen},
title = {flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic
Programs},
journal = {CoRR},
volume = {abs/2110.10284},
year = {2021},
url = {https://arxiv.org/abs/2110.10284},
eprinttype = {arXiv},
eprint = {2110.10284},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-10284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HoltzenBM20,
author = {Steven Holtzen and
Guy Van den Broeck and
Todd D. Millstein},
title = {Scaling exact inference for discrete probabilistic programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {140:1--140:31},
year = {2020},
url = {https://doi.org/10.1145/3428208},
doi = {10.1145/3428208},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HoltzenBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SivaramanFMB20,
author = {Aishwarya Sivaraman and
Golnoosh Farnadi and
Todd D. Millstein and
Guy Van den Broeck},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Counterexample-Guided Learning of Monotonic Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/8ab70731b1553f17c11a3bbc87e0b605-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/SivaramanFMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/KTBJMTV20,
author = {Siva Kesava Reddy K. and
Alan Tang and
Ryan Beckett and
Karthick Jayaraman and
Todd D. Millstein and
Yuval Tamir and
George Varghese},
editor = {Ranjita Bhagwan and
George Porter},
title = {Finding Network Misconfigurations by Automatic Template Inference},
booktitle = {17th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2020, Santa Clara, CA, USA, February 25-27, 2020},
pages = {999--1013},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/nsdi20/presentation/kakarla},
timestamp = {Tue, 02 Feb 2021 08:04:59 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/KTBJMTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MiltnerPMW20,
author = {Anders Miltner and
Saswat Padhi and
Todd D. Millstein and
David Walker},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Data-driven inference of representation invariants},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1--15},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385967},
doi = {10.1145/3385412.3385967},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MiltnerPMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KakarlaBAMV20,
author = {Siva Kesava Reddy Kakarla and
Ryan Beckett and
Behnaz Arzani and
Todd D. Millstein and
George Varghese},
editor = {Henning Schulzrinne and
Vishal Misra},
title = {GRooT: Proactive Verification of {DNS} Configurations},
booktitle = {{SIGCOMM} '20: Proceedings of the 2020 Annual conference of the {ACM}
Special Interest Group on Data Communication on the applications,
technologies, architectures, and protocols for computer communication,
Virtual Event, USA, August 10-14, 2020},
pages = {310--328},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387514.3405871},
doi = {10.1145/3387514.3405871},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/KakarlaBAMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-12106,
author = {Anders Miltner and
Saswat Padhi and
Todd D. Millstein and
David Walker},
title = {Data-Driven Inference of Representation Invariants},
journal = {CoRR},
volume = {abs/2003.12106},
year = {2020},
url = {https://arxiv.org/abs/2003.12106},
eprinttype = {arXiv},
eprint = {2003.12106},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-12106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09089,
author = {Steven Holtzen and
Guy Van den Broeck and
Todd D. Millstein},
title = {Dice: Compiling Discrete Probabilistic Programs for Scalable Inference},
journal = {CoRR},
volume = {abs/2005.09089},
year = {2020},
url = {https://arxiv.org/abs/2005.09089},
eprinttype = {arXiv},
eprint = {2005.09089},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08852,
author = {Aishwarya Sivaraman and
Golnoosh Farnadi and
Todd D. Millstein and
Guy Van den Broeck},
title = {Counterexample-Guided Learning of Monotonic Neural Networks},
journal = {CoRR},
volume = {abs/2006.08852},
year = {2020},
url = {https://arxiv.org/abs/2006.08852},
eprinttype = {arXiv},
eprint = {2006.08852},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/BeckettMMPW19,
author = {Ryan Beckett and
Ratul Mahajan and
Todd D. Millstein and
Jitendra Padhye and
David Walker},
title = {Don't mind the gap: Bridging network-wide objectives and device-level
configurations: brief reflections on abstractions for network programming},
journal = {Comput. Commun. Rev.},
volume = {49},
number = {5},
pages = {104--106},
year = {2019},
url = {https://doi.org/10.1145/3371934.3371965},
doi = {10.1145/3371934.3371965},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/BeckettMMPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PadhiMN019,
author = {Saswat Padhi and
Todd D. Millstein and
Aditya V. Nori and
Rahul Sharma},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Overfitting in Synthesis: Theory and Practice},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {315--334},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_17},
doi = {10.1007/978-3-030-25540-4\_17},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PadhiMN019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuMM19,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Accelerating sequential consistency for Java with speculative compilation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {16--30},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314611},
doi = {10.1145/3314221.3314611},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HoltzenMB19,
author = {Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
editor = {Amir Globerson and
Ricardo Silva},
title = {Generating and Sampling Orbits for Lifted Probabilistic Inference},
booktitle = {Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2019, Tel Aviv, Israel, July 22-25, 2019},
series = {Proceedings of Machine Learning Research},
volume = {115},
pages = {985--994},
publisher = {{AUAI} Press},
year = {2019},
url = {http://proceedings.mlr.press/v115/holtzen20a.html},
timestamp = {Tue, 15 Dec 2020 17:40:18 +0100},
biburl = {https://dblp.org/rec/conf/uai/HoltzenMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04672,
author = {Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
title = {Generating and Sampling Orbits for Lifted Probabilistic Inference},
journal = {CoRR},
volume = {abs/1903.04672},
year = {2019},
url = {http://arxiv.org/abs/1903.04672},
eprinttype = {arXiv},
eprint = {1903.04672},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02079,
author = {Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
title = {Symbolic Exact Inference for Discrete Probabilistic Programs},
journal = {CoRR},
volume = {abs/1904.02079},
year = {2019},
url = {http://arxiv.org/abs/1904.02079},
eprinttype = {arXiv},
eprint = {1904.02079},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07457,
author = {Saswat Padhi and
Todd D. Millstein and
Aditya V. Nori and
Rahul Sharma},
title = {Overfitting in Synthesis: Theory and Practice (Extended Version)},
journal = {CoRR},
volume = {abs/1905.07457},
year = {2019},
url = {http://arxiv.org/abs/1905.07457},
eprinttype = {arXiv},
eprint = {1905.07457},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadhiJPPGM18,
author = {Saswat Padhi and
Prateek Jain and
Daniel Perelman and
Oleksandr Polozov and
Sumit Gulwani and
Todd D. Millstein},
title = {FlashProfile: a framework for synthesizing data profiles},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {150:1--150:28},
year = {2018},
url = {https://doi.org/10.1145/3276520},
doi = {10.1145/3276520},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadhiJPPGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/InterlandiESGTK18,
author = {Matteo Interlandi and
Ari Ekmekji and
Kshitij Shah and
Muhammad Ali Gulzar and
Sai Deep Tetali and
Miryung Kim and
Todd D. Millstein and
Tyson Condie},
title = {Adding data provenance support to Apache Spark},
journal = {{VLDB} J.},
volume = {27},
number = {5},
pages = {595--615},
year = {2018},
url = {https://doi.org/10.1007/s00778-017-0474-5},
doi = {10.1007/S00778-017-0474-5},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/InterlandiESGTK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HoltzenBM18,
author = {Steven Holtzen and
Guy Van den Broeck and
Todd D. Millstein},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Sound Abstraction and Decomposition of Probabilistic Programs},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {2004--2013},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/holtzen18a.html},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/HoltzenBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2018,
editor = {Todd D. Millstein},
title = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-079-8},
isbn = {978-3-95977-079-8},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuMM17,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
title = {A volatile-by-default {JVM} for server applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {49:1--49:25},
year = {2017},
url = {https://doi.org/10.1145/3133873},
doi = {10.1145/3133873},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiuMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BeckettMMPW17,
author = {Ryan Beckett and
Ratul Mahajan and
Todd D. Millstein and
Jitendra Padhye and
David Walker},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Network configuration synthesis with abstract topologies},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {437--451},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062367},
doi = {10.1145/3062341.3062367},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BeckettMMPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/BeckettMPMW17,
author = {Ryan Beckett and
Ratul Mahajan and
Jitendra Padhye and
Todd D. Millstein and
David Walker},
title = {Programming Distributed Control Planes: Invited Demo: Demo},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2017, Santa
Clara, CA, USA, April 3-4, 2017},
pages = {205--206},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3050220.3063774},
doi = {10.1145/3050220.3063774},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosr/BeckettMPMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HoltzenMB17,
author = {Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
editor = {Gal Elidan and
Kristian Kersting and
Alexander Ihler},
title = {Probabilistic Program Abstractions},
booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
publisher = {{AUAI} Press},
year = {2017},
url = {http://auai.org/uai2017/proceedings/papers/281.pdf},
timestamp = {Mon, 05 Dec 2022 15:54:38 +0100},
biburl = {https://dblp.org/rec/conf/uai/HoltzenMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoltzenMB17,
author = {Steven Holtzen and
Todd D. Millstein and
Guy Van den Broeck},
title = {Probabilistic Program Abstractions},
journal = {CoRR},
volume = {abs/1705.09970},
year = {2017},
url = {http://arxiv.org/abs/1705.09970},
eprinttype = {arXiv},
eprint = {1705.09970},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoltzenMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PadhiM17,
author = {Saswat Padhi and
Todd D. Millstein},
title = {Data-Driven Loop Invariant Inference with Automatic Feature Synthesis},
journal = {CoRR},
volume = {abs/1707.02029},
year = {2017},
url = {http://arxiv.org/abs/1707.02029},
eprinttype = {arXiv},
eprint = {1707.02029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PadhiM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05725,
author = {Saswat Padhi and
Prateek Jain and
Daniel Perelman and
Oleksandr Polozov and
Sumit Gulwani and
Todd D. Millstein},
title = {FlashProfile: Interactive Synthesis of Syntactic Profiles},
journal = {CoRR},
volume = {abs/1709.05725},
year = {2017},
url = {http://arxiv.org/abs/1709.05725},
eprinttype = {arXiv},
eprint = {1709.05725},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Millstein16,
author = {Todd D. Millstein},
title = {Technical Perspective: Toward reliable programming for unreliable
hardware},
journal = {Commun. {ACM}},
volume = {59},
number = {8},
pages = {82},
year = {2016},
url = {https://doi.org/10.1145/2961890},
doi = {10.1145/2961890},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Millstein16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MarinoSMMN16,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
title = {DRF\emph{x}: An Understandable, High Performance, and Flexible Memory
Model for Concurrent Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {4},
pages = {16:1--16:40},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2925988},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/MarinoSMMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/InterlandiTGNCK16,
author = {Matteo Interlandi and
Sai Deep Tetali and
Muhammad Ali Gulzar and
Joseph Noor and
Tyson Condie and
Miryung Kim and
Todd D. Millstein},
editor = {Marcos K. Aguilera and
Brian Cooper and
Yanlei Diao},
title = {Optimizing Interactive Development of Data-Intensive Applications},
booktitle = {Proceedings of the Seventh {ACM} Symposium on Cloud Computing, Santa
Clara, CA, USA, October 5-7, 2016},
pages = {510--522},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2987550.2987565},
doi = {10.1145/2987550.2987565},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cloud/InterlandiTGNCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/GulzarHIMTMK16,
author = {Muhammad Ali Gulzar and
Xueyuan Han and
Matteo Interlandi and
Shaghayegh Mardani and
Sai Deep Tetali and
Todd D. Millstein and
Miryung Kim},
editor = {Austin Clements and
Tyson Condie},
title = {Interactive Debugging for Big Data Analytics},
booktitle = {8th {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud 2016,
Denver, CO, USA, June 20-21, 2016},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/hotcloud16/workshop-program/presentation/gulzar},
timestamp = {Tue, 09 Feb 2021 08:31:40 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/GulzarHIMTMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GulzarIYTCMK16,
author = {Muhammad Ali Gulzar and
Matteo Interlandi and
Seunghyun Yoo and
Sai Deep Tetali and
Tyson Condie and
Todd D. Millstein and
Miryung Kim},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {BigDebug: debugging primitives for interactive big data processing
in spark},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {784--795},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884813},
doi = {10.1145/2884781.2884813},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GulzarIYTCMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/FayazSFMMSV16,
author = {Seyed Kaveh Fayaz and
Tushar Sharma and
Ari Fogel and
Ratul Mahajan and
Todd D. Millstein and
Vyas Sekar and
George Varghese},
editor = {Kimberly Keeton and
Timothy Roscoe},
title = {Efficient Network Reachability Analysis Using a Succinct Control Plane
Representation},
booktitle = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
pages = {217--232},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/fayaz},
timestamp = {Tue, 02 Feb 2021 08:06:02 +0100},
biburl = {https://dblp.org/rec/conf/osdi/FayazSFMMSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PadhiSM16,
author = {Saswat Padhi and
Rahul Sharma and
Todd D. Millstein},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Data-driven precondition inference with learned features},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {42--56},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908099},
doi = {10.1145/2908080.2908099},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PadhiSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BeckettMMPW16,
author = {Ryan Beckett and
Ratul Mahajan and
Todd D. Millstein and
Jitendra Padhye and
David Walker},
editor = {Marinho P. Barcellos and
Jon Crowcroft and
Amin Vahdat and
Sachin Katti},
title = {Don't Mind the Gap: Bridging Network-wide Objectives and Device-level
Configurations},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2016 Conference, Florianopolis,
Brazil, August 22-26, 2016},
pages = {328--341},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934872.2934909},
doi = {10.1145/2934872.2934909},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BeckettMMPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/InterlandiSTGYK15,
author = {Matteo Interlandi and
Kshitij Shah and
Sai Deep Tetali and
Muhammad Ali Gulzar and
Seunghyun Yoo and
Miryung Kim and
Todd D. Millstein and
Tyson Condie},
title = {Titian: Data Provenance Support in Spark},
journal = {Proc. {VLDB} Endow.},
volume = {9},
number = {3},
pages = {216--227},
year = {2015},
url = {http://www.vldb.org/pvldb/vol9/p216-interlandi.pdf},
doi = {10.14778/2850583.2850595},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/InterlandiSTGYK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FogelFPWGMM15,
author = {Ari Fogel and
Stanley Fung and
Luis Pedrosa and
Meg Walraed{-}Sullivan and
Ramesh Govindan and
Ratul Mahajan and
Todd D. Millstein},
title = {A General Approach to Network Configuration Analysis},
booktitle = {12th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 15, Oakland, CA, USA, May 4-6, 2015},
pages = {469--483},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/fogel},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/FogelFPWGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/PedrosaFKGMM15,
author = {Luis Pedrosa and
Ari Fogel and
Nupur Kothari and
Ramesh Govindan and
Ratul Mahajan and
Todd D. Millstein},
title = {Analyzing Protocol Implementations for Interoperability},
booktitle = {12th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 15, Oakland, CA, USA, May 4-6, 2015},
pages = {485--498},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/pedrosa},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/PedrosaFKGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FelgentreffMBH15,
author = {Tim Felgentreff and
Todd D. Millstein and
Alan Borning and
Robert Hirschfeld},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Checks and balances: constraint solving without surprises in object-constraint
programming languages},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {767--782},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814311},
doi = {10.1145/2814270.2814311},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FelgentreffMBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/MarinoMMNS15,
author = {Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy and
Abhayendra Singh},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Silently Shifting Semicolon},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {177--189},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.177},
doi = {10.4230/LIPICS.SNAPL.2015.177},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/snapl/MarinoMMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LesaniMP14,
author = {Mohsen Lesani and
Todd D. Millstein and
Jens Palsberg},
editor = {Armin Biere and
Roderick Bloem},
title = {Automatic Atomicity Verification for Clients of Concurrent Data Structures},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {550--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_37},
doi = {10.1007/978-3-319-08867-9\_37},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/LesaniMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SamimiDOWM14,
author = {Hesam Samimi and
Chris Deaton and
Yoshiki Ohshima and
Alessandro Warth and
Todd D. Millstein},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {Call by Meaning},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {11--28},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661152},
doi = {10.1145/2661136.2661152},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SamimiDOWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014,
editor = {Andrew P. Black and
Todd D. Millstein},
title = {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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193},
doi = {10.1145/2660193},
isbn = {978-1-4503-2585-1},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/SinghNMMM13,
author = {Abhayendra Singh and
Satish Narayanasamy and
Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi},
title = {A Safety-First Approach to Memory Models},
journal = {{IEEE} Micro},
volume = {33},
number = {3},
pages = {96--104},
year = {2013},
url = {https://doi.org/10.1109/MM.2013.50},
doi = {10.1109/MM.2013.50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/SinghNMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GomezNAM13,
author = {Lorenzo Gomez and
Iulian Neamtiu and
Tanzirul Azim and
Todd D. Millstein},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {{RERAN:} timing- and touch-sensitive record and replay for Android},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606553},
doi = {10.1109/ICSE.2013.6606553},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GomezNAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SamimiHFM13,
author = {Hesam Samimi and
Rebecca Hicks and
Ari Fogel and
Todd D. Millstein},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Declarative mocking},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {246--256},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483790},
doi = {10.1145/2483760.2483790},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/SamimiHFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TetaliLMM13,
author = {Sai Deep Tetali and
Mohsen Lesani and
Rupak Majumdar and
Todd D. Millstein},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {MrCrypt: static analysis for secure cloud computations},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {271--286},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509554},
doi = {10.1145/2509136.2509554},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TetaliLMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BallMMR12,
author = {Thomas Ball and
Rupak Majumdar and
Todd D. Millstein and
Sriram K. Rajamani},
title = {Automatic predicate abstraction of {C} programs},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {37--47},
year = {2012},
url = {https://doi.org/10.1145/2442776.2442783},
doi = {10.1145/2442776.2442783},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BallMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/JeonMVFRFM12,
author = {Jinseong Jeon and
Kristopher K. Micinski and
Jeffrey A. Vaughan and
Ari Fogel and
Nikhilesh Reddy and
Jeffrey S. Foster and
Todd D. Millstein},
editor = {Ting Yu and
William Enck and
Xuxian Jiang},
title = {Dr. Android and Mr. Hide: fine-grained permissions in android applications},
booktitle = {SPSM'12, Proceedings of the Workshop on Security and Privacy in Smartphones
and Mobile Devices, Co-located with {CCS} 2012, October 19, 2012,
Raleigh, NC, {USA}},
pages = {3--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2381934.2381938},
doi = {10.1145/2381934.2381938},
timestamp = {Tue, 12 Apr 2022 13:28:49 +0200},
biburl = {https://dblp.org/rec/conf/ccs/JeonMVFRFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/VaughanM12,
author = {Jeffrey A. Vaughan and
Todd D. Millstein},
editor = {Stephen Chong},
title = {Secure Information Flow for Concurrent Programs under Total Store
Order},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {19--29},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.20},
doi = {10.1109/CSF.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/VaughanM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SamirniSAMTH12,
author = {Hesam Samimi and
Max Sch{\"{a}}fer and
Shay Artzi and
Todd D. Millstein and
Frank Tip and
Laurie J. Hendren},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Automated repair of {HTML} generation errors in {PHP} applications
using string constraint solving},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {277--287},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227186},
doi = {10.1109/ICSE.2012.6227186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SamirniSAMTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SinghNMMM12,
author = {Abhayendra Singh and
Satish Narayanasamy and
Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi},
title = {End-to-end sequential consistency},
booktitle = {39th International Symposium on Computer Architecture {(ISCA} 2012),
June 9-13, 2012, Portland, OR, {USA}},
pages = {524--535},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCA.2012.6237045},
doi = {10.1109/ISCA.2012.6237045},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/SinghNMMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SinghMNMM11,
author = {Abhayendra Singh and
Daniel Marino and
Satish Narayanasamy and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Efficient processor support for DRFx, a memory model with exceptions},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {53--66},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950375},
doi = {10.1145/1950365.1950375},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/SinghMNMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FeldthausMMST11,
author = {Asger Feldthaus and
Todd D. Millstein and
Anders M{\o}ller and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Tool-supported refactoring for JavaScript},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {119--138},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048078},
doi = {10.1145/2048066.2048078},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FeldthausMMST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FeldthausMMST11a,
author = {Asger Feldthaus and
Todd D. Millstein and
Anders M{\o}ller and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Refactoring towards the good parts of javascript},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {189--190},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048200},
doi = {10.1145/2048147.2048200},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FeldthausMMST11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoSMMN11,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Mary W. Hall and
David A. Padua},
title = {A case for an SC-preserving compiler},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {199--210},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993522},
doi = {10.1145/1993498.1993522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoSMMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KothariMMGM11,
author = {Nupur Kothari and
Ratul Mahajan and
Todd D. Millstein and
Ramesh Govindan and
Madanlal Musuvathi},
editor = {Srinivasan Keshav and
J{\"{o}}rg Liebeherr and
John W. Byers and
Jeffrey C. Mogul},
title = {Finding protocol manipulation attacks},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2011 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communications,
Toronto, ON, Canada, August 15-19, 2011},
pages = {26--37},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2018436.2018440},
doi = {10.1145/2018436.2018440},
timestamp = {Fri, 12 Mar 2021 14:14:34 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/KothariMMGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MarkstrumMEMAN10,
author = {Shane Markstrum and
Daniel Marino and
Matthew Esquivel and
Todd D. Millstein and
Chris Andreae and
James Noble},
title = {JavaCOP: Declarative pluggable types for java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {2},
pages = {4:1--4:37},
year = {2010},
url = {https://doi.org/10.1145/1667048.1667049},
doi = {10.1145/1667048.1667049},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MarkstrumMEMAN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SamimiAM10,
author = {Hesam Samimi and
Ei Darli Aung and
Todd D. Millstein},
editor = {Theo D'Hondt},
title = {Falling Back on Executable Specifications},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {552--576},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_26},
doi = {10.1007/978-3-642-14107-2\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SamimiAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoSMMN10,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Benjamin G. Zorn and
Alex Aiken},
title = {{DRFX:} a simple and efficient memory model for concurrent programming
languages},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {351--362},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806636},
doi = {10.1145/1806596.1806636},
timestamp = {Mon, 22 Jul 2024 10:17:08 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoSMMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MillsteinFRW09,
author = {Todd D. Millstein and
Christopher Frost and
Jason Ryder and
Alessandro Warth},
title = {Expressive and modular predicate dispatch for Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {2},
pages = {7:1--7:54},
year = {2009},
url = {https://doi.org/10.1145/1462166.1462168},
doi = {10.1145/1462166.1462168},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/MillsteinFRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FischerMMM09,
author = {Jeffrey Fischer and
Daniel Marino and
Rupak Majumdar and
Todd D. Millstein},
editor = {Sophia Drossopoulou},
title = {Fine-Grained Access Control with Object-Sensitive Roles},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {173--194},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_9},
doi = {10.1007/978-3-642-03013-0\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FischerMMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MarkstrumFM09,
author = {Shane Markstrum and
Robert M. Fuhrer and
Todd D. Millstein},
editor = {Daniel A. Reed and
Vivek Sarkar},
title = {Towards concurrency refactoring for x10},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2009, Raleigh, NC, USA,
February 14-18, 2009},
pages = {303--304},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1504176.1504226},
doi = {10.1145/1504176.1504226},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/MarkstrumFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/MarinoM09,
author = {Daniel Marino and
Todd D. Millstein},
editor = {Andrew Kennedy and
Amal Ahmed},
title = {A generic type-and-effect system},
booktitle = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Savannah, GA, USA,
January 24, 2009},
pages = {39--50},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481861.1481868},
doi = {10.1145/1481861.1481868},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/tldi/MarinoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2009,
editor = {Thorsten Altenkirch and
Todd D. Millstein},
title = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-330-3},
timestamp = {Thu, 28 Jan 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ChinM08,
author = {Brian Chin and
Todd D. Millstein},
editor = {Jan Vitek},
title = {An Extensible State Machine Pattern for Interactive Applications},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {566--591},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_24},
doi = {10.1007/978-3-540-70592-5\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ChinM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/StanojevicMMM08,
author = {Milan Stanojevic and
Ratul Mahajan and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Carey L. Williamson and
David G. Andersen and
Steve D. Gribble},
title = {Can You Fool Me? Towards Automatically Checking Protocol Gullibility},
booktitle = {7th {ACM} Workshop on Hot Topics in Networks - HotNets-VII, Calgary,
Alberta, Canada, October 6-7, 2008},
pages = {31--36},
publisher = {{ACM} {SIGCOMM}},
year = {2008},
url = {http://conferences.sigcomm.org/hotnets/2008/papers/6.pdf},
timestamp = {Wed, 07 Oct 2020 15:24:17 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/StanojevicMMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/KothariMG08,
author = {Nupur Kothari and
Todd D. Millstein and
Ramesh Govindan},
title = {Deriving State Machines from TinyOS Programs Using Symbolic Execution},
booktitle = {Proceedings of the 7th International Conference on Information Processing
in Sensor Networks, {IPSN} 2008, St. Louis, Missouri, USA, April 22-24,
2008},
pages = {271--282},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/IPSN.2008.62},
doi = {10.1109/IPSN.2008.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/KothariMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WarthDM08,
author = {Alessandro Warth and
James R. Douglass and
Todd D. Millstein},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Packrat parsers can support left recursion},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {103--110},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328424},
doi = {10.1145/1328408.1328424},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/WarthDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/GummadiKMG07,
author = {Ramakrishna Gummadi and
Nupur Kothari and
Todd D. Millstein and
Ramesh Govindan},
editor = {Brian M. Barry and
Oege de Moor},
title = {Declarative failure recovery for sensor networks},
booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented
Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {208},
pages = {173--184},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1218563.1218583},
doi = {10.1145/1218563.1218583},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/GummadiKMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChinMMM07,
author = {Brian Chin and
Daniel Marino and
Shane Markstrum and
Todd D. Millstein},
editor = {Manuvir Das and
Dan Grossman},
title = {Enforcing and validating user-defined programming disciplines},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {85--86},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251550},
doi = {10.1145/1251535.1251550},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChinMMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FischerMM07,
author = {Jeffrey Fischer and
Rupak Majumdar and
Todd D. Millstein},
editor = {G. Ramalingam and
Eelco Visser},
title = {Tasks: language support for event-driven programming},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {134--143},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244403},
doi = {10.1145/1244381.1244403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FischerMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KothariGMG07,
author = {Nupur Kothari and
Ramakrishna Gummadi and
Todd D. Millstein and
Ramesh Govindan},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Reliable and efficient programming abstractions for wireless sensor
networks},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {200--210},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250757},
doi = {10.1145/1250734.1250757},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KothariGMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2007/PalsbergM07,
author = {Jens Palsberg and
Todd D. Millstein},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Type Systems: Advances and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation,
Second Edition},
pages = {9},
publisher = {{CRC} Press},
year = {2007},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2007/PalsbergM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CliftonMLC06,
author = {Curtis Clifton and
Todd D. Millstein and
Gary T. Leavens and
Craig Chambers},
title = {MultiJava: Design rationale, compiler implementation, and applications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {3},
pages = {517--575},
year = {2006},
url = {https://doi.org/10.1145/1133651.1133655},
doi = {10.1145/1133651.1133655},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CliftonMLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ChinM06,
author = {Brian Chin and
Todd D. Millstein},
editor = {Dave Thomas},
title = {Responders: Language Support for Interactive Applications},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {255--278},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_17},
doi = {10.1007/11785477\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ChinM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChinMMP06,
author = {Brian Chin and
Shane Markstrum and
Todd D. Millstein and
Jens Palsberg},
editor = {Peter Sestoft},
title = {Inference of User-Defined Type Qualifiers and Qualifier Rules},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {264--278},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_18},
doi = {10.1007/11693024\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChinMMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WarthSM06,
author = {Alessandro Warth and
Milan Stanojevic and
Todd D. Millstein},
editor = {Peri L. Tarr and
William R. Cook},
title = {Statically scoped object adaptation with expanders},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {37--56},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167477},
doi = {10.1145/1167473.1167477},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WarthSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndreaeNMM06,
author = {Chris Andreae and
James Noble and
Shane Markstrum and
Todd D. Millstein},
editor = {Peri L. Tarr and
William R. Cook},
title = {A framework for implementing pluggable type systems},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {57--74},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167479},
doi = {10.1145/1167473.1167479},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AndreaeNMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OverbeyFAABGKMMPV06,
author = {Jeffrey Overbey and
Brian Foote and
Paul Adamczyk and
Jonathan Aldrich and
Elisa L. A. Baniassad and
Christian Grothoff and
Arvind Krishna and
Sean McDirmid and
Todd D. Millstein and
Alex Potanin and
Mandana Vaziri},
editor = {Peri L. Tarr and
William R. Cook},
title = {Young guns/object orientation: the next generation},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {940--942},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176751},
doi = {10.1145/1176617.1176751},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/OverbeyFAABGKMMPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeinoMS05,
author = {K. Rustan M. Leino and
Todd D. Millstein and
James B. Saxe},
title = {Generating error traces from verification-condition counterexamples},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {209--226},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.016},
doi = {10.1016/J.SCICO.2004.05.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeinoMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BallMR05,
author = {Thomas Ball and
Todd D. Millstein and
Sriram K. Rajamani},
title = {Polymorphic predicate abstraction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {314--343},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057391},
doi = {10.1145/1057387.1057391},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BallMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChinMM05,
author = {Brian Chin and
Shane Markstrum and
Todd D. Millstein},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Semantic type qualifiers},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {85--95},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065022},
doi = {10.1145/1065010.1065022},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChinMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LernerMRC05,
author = {Sorin Lerner and
Todd D. Millstein and
Erika Rice and
Craig Chambers},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Automated soundness proofs for dataflow analyses and transformations
via local rules},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {364--377},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040335},
doi = {10.1145/1040305.1040335},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LernerMRC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GoldinMK04,
author = {Dina Q. Goldin and
Todd D. Millstein and
Ayferi Kutlu},
title = {Bounded similarity querying for time-series data},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {203--241},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.07.001},
doi = {10.1016/J.IC.2004.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GoldinMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MillsteinBC04,
author = {Todd D. Millstein and
Colin Bleckner and
Craig Chambers},
title = {Modular typechecking for hierarchically extensible datatypes and functions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {5},
pages = {836--889},
year = {2004},
url = {https://doi.org/10.1145/1018203.1018207},
doi = {10.1145/1018203.1018207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MillsteinBC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Millstein04,
author = {Todd D. Millstein},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Practical predicate dispatch},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {345--364},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1029006},
doi = {10.1145/1028976.1029006},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Millstein04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LernerMC05,
author = {Sorin Lerner and
Todd D. Millstein and
Craig Chambers},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Cobalt: {A} Language for Writing Provably-Sound Compiler Optimizations},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {5--17},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.022},
doi = {10.1016/J.ENTCS.2005.03.022},
timestamp = {Tue, 13 Dec 2022 10:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LernerMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MillsteinHF03,
author = {Todd D. Millstein and
Alon Y. Halevy and
Marc T. Friedman},
title = {Query containment for data integration systems},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {1},
pages = {20--39},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(02)00028-4},
doi = {10.1016/S0022-0000(02)00028-4},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MillsteinHF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Millstein03,
author = {Todd D. Millstein},
editor = {Dina Q. Goldin and
Alexander A. Shvartsman and
Scott A. Smolka and
Jeffrey Scott Vitter and
Stanley B. Zdonik},
title = {Static Reasoning about Programs and Queries},
booktitle = {{PCK50} - Principles of Computing {\&} Knowledge, Paris C. Kanellakis
Memorial Workshop, San Diego, California, USA, June 8th, 2003},
pages = {28--34},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/778348.778354},
doi = {10.1145/778348.778354},
timestamp = {Thu, 17 Feb 2022 16:43:16 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Millstein03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MillsteinRC03,
author = {Todd D. Millstein and
Mark Reay and
Craig Chambers},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Relaxed MultiJava: balancing extensibility and modular typechecking},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {224--240},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949325},
doi = {10.1145/949305.949325},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MillsteinRC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LernerMC03,
author = {Sorin Lerner and
Todd D. Millstein and
Craig Chambers},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Automatically proving the correctness of compiler optimizations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {220--231},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781156},
doi = {10.1145/781131.781156},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LernerMC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MillsteinC02,
author = {Todd D. Millstein and
Craig Chambers},
title = {Modular Statically Typed Multimethods},
journal = {Inf. Comput.},
volume = {175},
number = {1},
pages = {76--118},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3103},
doi = {10.1006/INCO.2002.3103},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MillsteinC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MillsteinBC02,
author = {Todd D. Millstein and
Colin Bleckner and
Craig Chambers},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {Modular typechecking for hierarchically extensible datatypes and functions},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {110--122},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581489},
doi = {10.1145/581478.581489},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MillsteinBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BallMMR01,
author = {Thomas Ball and
Rupak Majumdar and
Todd D. Millstein and
Sriram K. Rajamani},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Automatic Predicate Abstraction of {C} Programs},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {203--213},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378846},
doi = {10.1145/378795.378846},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallMMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CliftonLCM00,
author = {Curtis Clifton and
Gary T. Leavens and
Craig Chambers and
Todd D. Millstein},
editor = {Mary Beth Rosson and
Doug Lea},
title = {MultiJava: modular open classes and symmetric multiple dispatch for
Java},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {130--145},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353181},
doi = {10.1145/353171.353181},
timestamp = {Wed, 30 Mar 2022 13:58:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CliftonLCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MillsteinLF00,
author = {Todd D. Millstein and
Alon Y. Levy and
Marc T. Friedman},
editor = {Victor Vianu and
Georg Gottlob},
title = {Query Containment for Data Integration Systems},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {67--75},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335208},
doi = {10.1145/335168.335208},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/MillsteinLF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FriedmanLM99,
author = {Marc T. Friedman and
Alon Y. Levy and
Todd D. Millstein},
editor = {Jim Hendler and
Devika Subramanian},
title = {Navigational Plans For Data Integration},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {67--73},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-010.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FriedmanLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MillsteinC99,
author = {Todd D. Millstein and
Craig Chambers},
editor = {Rachid Guerraoui},
title = {Modular Statically Typed Multimethods},
booktitle = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1628},
pages = {279--303},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48743-3\_13},
doi = {10.1007/3-540-48743-3\_13},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MillsteinC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FriedmanLM99,
author = {Marc T. Friedman and
Alon Y. Levy and
Todd D. Millstein},
title = {Navigational Plans for Data Integration},
booktitle = {Proceedings of the {IJCAI-99} Workshop on Intelligent Information
Integration, Held on July 31, 1999 in conjunction with the Sixteenth
International Joint Conference on Artificial Intelligence City Conference
Center, Stockholm, Sweden},
series = {{CEUR} Workshop Proceedings},
volume = {23},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-23/friedman-ijcai99-iii.ps},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FriedmanLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeavensM98,
author = {Gary T. Leavens and
Todd D. Millstein},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Multiple Dispatch as Dispatch on Tuples},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {374--387},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286977},
doi = {10.1145/286936.286977},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LeavensM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErnstMW97,
author = {Michael D. Ernst and
Todd D. Millstein and
Daniel S. Weld},
title = {Automatic SAT-Compilation of Planning Problems},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {1169--1177},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-2/Papers/055.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErnstMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-05 21:12 CEST 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:
