Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Ball
@article{DBLP:journals/corr/abs-2310-02393,
author = {Margus Veanes and
Thomas Ball and
Gabriel Ebner and
Olli Saarikivi},
title = {Symbolic Automata: {\(\omega\)}-Regularity Modulo Theories},
journal = {CoRR},
volume = {abs/2310.02393},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02393},
doi = {10.48550/ARXIV.2310.02393},
eprinttype = {arXiv},
eprint = {2310.02393},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imwut/DevineMHBHDGFUH22,
author = {James Devine and
Michal Moskal and
Peli de Halleux and
Thomas Ball and
Steve Hodges and
Gabriele D'Amone and
David Gakure and
Joe Finney and
Lorraine Underwood and
Kobi Hartley and
Paul Kos and
Matt Oppenheim},
title = {Plug-and-play Physical Computing with Jacdac},
journal = {Proc. {ACM} Interact. Mob. Wearable Ubiquitous Technol.},
volume = {6},
number = {3},
pages = {110:1--110:30},
year = {2022},
url = {https://doi.org/10.1145/3550317},
doi = {10.1145/3550317},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imwut/DevineMHBHDGFUH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/DrugaBK22,
author = {Stefania Druga and
Thomas Ball and
Amy J. Ko},
title = {How families design and program games: a qualitative analysis of a
4-week online in-home study},
booktitle = {{IDC} '22: Interaction Design and Children, Braga, Portugal, June
27 - 30, 2022},
pages = {237--252},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501712.3529724},
doi = {10.1145/3501712.3529724},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acmidc/DrugaBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/SeyedDFMHHBR21,
author = {Teddy Seyed and
James Devine and
Joe Finney and
Michal Moskal and
Peli de Halleux and
Steve Hodges and
Thomas Ball and
Asta Roseway},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi and
Pernille Bj{\o}rn and
Steven Mark Drucker},
title = {Rethinking the Runway: Using Avant-Garde Fashion To Design a System
for Wearables},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama, Japan, May 8-13, 2021},
pages = {45:1--45:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411764.3445643},
doi = {10.1145/3411764.3445643},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/SeyedDFMHHBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdg/MoskalBCDHHKKNR21,
author = {Michal Moskal and
Thomas Ball and
Abhijith Chatra and
James Devine and
Peli de Halleux and
Steve Hodges and
Shannon Kao and
Richard Knoll and
Galen Nickel and
Jacqueline Russell and
Joey Wunderlich and
Daryl Zuniga},
editor = {Allan Fowler and
Johanna Pirker and
Alessandro Canossa and
Ali Arya and
Casper Harteveld},
title = {Web-based Programming for Low-cost Gaming Handhelds},
booktitle = {FDG'21: The 16th International Conference on the Foundations of Digital
Games 2021, Montreal, QC, Canada, August 3-6, 2021},
pages = {38:1--38:12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472538.3472572},
doi = {10.1145/3472538.3472572},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdg/MoskalBCDHHKKNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AustinBBDFHHMS20,
author = {Jonny Austin and
Howard Baker and
Thomas Ball and
James Devine and
Joe Finney and
Peli de Halleux and
Steve Hodges and
Michal Moskal and
Gareth Stockdale},
title = {The {BBC} micro: bit: from the {U.K.} to the world},
journal = {Commun. {ACM}},
volume = {63},
number = {3},
pages = {62--69},
year = {2020},
url = {https://doi.org/10.1145/3368856},
doi = {10.1145/3368856},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AustinBBDFHHMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HodgesSFB20,
author = {Steve Hodges and
Sue Sentance and
Joe Finney and
Thomas Ball},
title = {Physical Computing: {A} Key Element of Modern Computer Science Education},
journal = {Computer},
volume = {53},
number = {4},
pages = {20--30},
year = {2020},
url = {https://doi.org/10.1109/MC.2019.2935058},
doi = {10.1109/MC.2019.2935058},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/HodgesSFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/BallKKZ20,
author = {Thomas Ball and
Shannon Kao and
Richard Knoll and
Daryl Zuniga},
editor = {Shamsi T. Iqbal and
Karon E. MacLean and
Fanny Chevalier and
Stefanie Mueller},
title = {TileCode: Creation of Video Games on Gaming Handhelds},
booktitle = {{UIST} '20: The 33rd Annual {ACM} Symposium on User Interface Software
and Technology, Virtual Event, USA, October 20-23, 2020},
pages = {1182--1193},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379337.3415839},
doi = {10.1145/3379337.3415839},
timestamp = {Sun, 18 Oct 2020 18:16:54 +0200},
biburl = {https://dblp.org/rec/conf/uist/BallKKZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DevineFHMBH19,
author = {James Devine and
Joe Finney and
Peli de Halleux and
Michal Moskal and
Thomas Ball and
Steve Hodges},
title = {MakeCode and {CODAL:} Intuitive and efficient embedded systems programming
for education},
journal = {J. Syst. Archit.},
volume = {98},
pages = {468--483},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.05.005},
doi = {10.1016/J.SYSARC.2019.05.005},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/DevineFHMBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/SeyedHMDFHB19,
author = {Teddy Seyed and
Peli de Halleux and
Michal Moskal and
James Devine and
Joe Finney and
Steve Hodges and
Thomas Ball},
editor = {Regan L. Mandryk and
Stephen A. Brewster and
Mark Hancock and
Geraldine Fitzpatrick and
Anna L. Cox and
Vassilis Kostakos and
Mark Perry},
title = {MakerArcade: Using Gaming and Physical Computing for Playful Making,
Learning, and Creativity},
booktitle = {Extended Abstracts of the 2019 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290607.3312809},
doi = {10.1145/3290607.3312809},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/SeyedHMDFHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/BallHM19,
author = {Thomas Ball and
Peli de Halleux and
Michal Moskal},
editor = {Antony L. Hosking and
Irene Finocchi},
title = {Static TypeScript: an implementation of a static compiler for the
TypeScript language},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Managed Programming Languages and Runtimes, {MPLR} 2019, Athens, Greece,
October 21-22, 2019},
pages = {105--116},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357390.3361032},
doi = {10.1145/3357390.3361032},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BallHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splash/BallCHHMR19,
author = {Thomas Ball and
Abhijith Chatra and
Peli de Halleux and
Steve Hodges and
Michal Moskal and
Jacqueline Russell},
editor = {Elisa L. A. Baniassad},
title = {Microsoft MakeCode: embedded programming for education, in blocks
and TypeScript},
booktitle = {{SPLASH-E} '19 - Proceedings of the 2019 {ACM} {SIGPLAN} Workshop
on SPLASH-E, Athens, Greece, October 25, 2019},
pages = {7--12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358711.3361630},
doi = {10.1145/3358711.3361630},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splash/BallCHHMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KellySHB18,
author = {Annie Kelly and
R. Benjamin Shapiro and
Jonathan de Halleux and
Thomas Ball},
editor = {Regan L. Mandryk and
Mark Hancock and
Mark Perry and
Anna L. Cox},
title = {ARcadia: {A} Rapid Prototyping Platform for Real-time Tangible Interfaces},
booktitle = {Proceedings of the 2018 {CHI} Conference on Human Factors in Computing
Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26, 2018},
pages = {409},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3173574.3173983},
doi = {10.1145/3173574.3173983},
timestamp = {Fri, 12 Mar 2021 15:28:42 +0100},
biburl = {https://dblp.org/rec/conf/chi/KellySHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KellySHB18a,
author = {Annie Kelly and
R. Benjamin Shapiro and
Jonathan de Halleux and
Thomas Ball},
editor = {Regan L. Mandryk and
Mark Hancock and
Mark Perry and
Anna L. Cox},
title = {ARcadia: {A} Rapid Prototyping Platform for Real-time Tangible Interfaces},
booktitle = {Extended Abstracts of the 2018 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26,
2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3170427.3186535},
doi = {10.1145/3170427.3186535},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KellySHB18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/Ball18,
author = {Thomas Ball},
title = {{KEYNOTE.} Push, Pull, Partner: {A} Few Models for Working with Industry},
booktitle = {2018 {IEEE} International Conference on Software Architecture Companion,
{ICSA} Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSA-C.2018.00016},
doi = {10.1109/ICSA-C.2018.00016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/Ball18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBF18,
author = {Thomas Ball and
Judith Bishop and
Joe Finney},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Multi-platform computing for physical devices via MakeCode and {CODAL}},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {552--553},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183463},
doi = {10.1145/3183440.3183463},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BallBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/DevineFHMBH18,
author = {James Devine and
Joe Finney and
Peli de Halleux and
Michal Moskal and
Thomas Ball and
Steve Hodges},
editor = {Zheng Zhang and
Christophe Dubach},
title = {MakeCode and {CODAL:} intuitive and efficient embedded systems programming
for education},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, {LCTES} 2018,
Philadelphia, PA, USA, June 19-20, 2018},
pages = {19--30},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3211332.3211335},
doi = {10.1145/3211332.3211335},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/DevineFHMBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Ball17,
author = {Thomas Ball},
title = {Physical computing for everyone},
booktitle = {39th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering Education and Training Track, {ICSE-SEET} 2017,
Buenos Aires, Argentina, May 20-28, 2017},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-SEET.2017.31},
doi = {10.1109/ICSE-SEET.2017.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Ball17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BallBH17,
author = {Thomas Ball and
Judith Bishop and
Jonathan de Halleux},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {The Micro: bit: Hands-on Computing for the New Generation (Abstract
Only)},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {639},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3022381},
doi = {10.1145/3017680.3022381},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BallBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KwiatkowskaVBB16,
author = {Marta Kwiatkowska and
Moshe Y. Vardi and
Ahmed Bouajjani and
Thomas Ball},
title = {2014 {CAV} award announcement},
journal = {Formal Methods Syst. Des.},
volume = {48},
number = {3},
pages = {149--151},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0244-9},
doi = {10.1007/S10703-016-0244-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KwiatkowskaVBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallPBMHBHR16,
author = {Thomas Ball and
Jonathan Protzenko and
Judith Bishop and
Michal Moskal and
Jonathan de Halleux and
Michael Braun and
Steve Hodges and
Clare Riley},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Microsoft touch develop and the {BBC} micro: bit},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {637--640},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889179},
doi = {10.1145/2889160.2889179},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallPBMHBHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KumarBLDUB16,
author = {Rahul Kumar and
Thomas Ball and
Jakob Lichtenberg and
Nate Deisinger and
Apoorv Upreti and
Chetan Bansal},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {CloudSDV Enabling Static Driver Verifier Using Microsoft Azure},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {523--536},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_33},
doi = {10.1007/978-3-319-33693-0\_33},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KumarBLDUB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BallZ15,
author = {Thomas Ball and
Benjamin G. Zorn},
title = {Teach foundational language principles},
journal = {Commun. {ACM}},
volume = {58},
number = {5},
pages = {30--31},
year = {2015},
url = {https://doi.org/10.1145/2663342},
doi = {10.1145/2663342},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BallZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMPT15,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Michal Moskal and
Jonathan Protzenko and
Nikolai Tillmann},
editor = {Aharon Abadi and
Danny Dig and
Yael Dubinsky},
title = {Beyond Open Source: The Touch Develop Cloud-Based Integrated Development
Environment},
booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
pages = {83--93},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileSoft.2015.20},
doi = {10.1109/MOBILESOFT.2015.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallBHMPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/BallD15,
author = {Thomas Ball and
Jakub Daniel},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Deconstructing Dynamic Symbolic Execution},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {26--41},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-26},
doi = {10.3233/978-1-61499-495-4-26},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/BallD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
isbn = {978-3-939897-80-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannMHBBB14,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Sebastian Burckhardt and
Thomas Ball and
Judith Bishop},
editor = {Tiziana Catarci and
Aharon Abadi and
Anthony I. Wasserman},
title = {TouchDevelop: create rich mobile apps on touch devices (tutorial)},
booktitle = {Proceedings of the 1st International Conference on Mobile Software
Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
2014},
pages = {1--2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593902.2593903},
doi = {10.1145/2593902.2593903},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TillmannMHBBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BallBGIKSSV14,
author = {Thomas Ball and
Nikolaj S. Bj{\o}rner and
Aaron Gember and
Shachar Itzhaky and
Aleksandr Karbyshev and
Mooly Sagiv and
Michael Schapira and
Asaf Valadarsky},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {VeriCon: towards verifying controller programs in software-defined
networks},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {282--293},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594317},
doi = {10.1145/2594291.2594317},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallBGIKSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Ball14,
author = {Thomas Ball},
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Correctness via compilation to logic: a decade of verification at
microsoft research},
booktitle = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
pages = {69--70},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171.2663189},
doi = {10.1145/2663171.2663189},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Ball14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KasikciBCEM14,
author = {Baris Kasikci and
Thomas Ball and
George Candea and
John Erickson and
Madanlal Musuvathi},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {Efficient Tracing of Cold Code via Bias-Free Sampling},
booktitle = {2014 {USENIX} Annual Technical Conference, {USENIX} {ATC} '14, Philadelphia,
PA, USA, June 19-20, 2014},
pages = {243--254},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci},
timestamp = {Mon, 01 Feb 2021 08:43:38 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KasikciBCEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BaylessVBHH13,
author = {Sam Bayless and
Celina G. Val and
Thomas Ball and
Holger H. Hoos and
Alan J. Hu},
title = {Efficient modular {SAT} solving for {IC3}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {149--156},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679404/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BaylessVBHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BallHSL13,
author = {Thomas Ball and
Peli de Halleux and
Nikhil Swamy and
Daan Leijen},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Increasing human-tool interaction via the web},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {49--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462031},
doi = {10.1145/2462029.2462031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BallHSL13.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 = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BallMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LogozzoB12,
author = {Francesco Logozzo and
Thomas Ball},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Modular and verified automatic program repair},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {133--146},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384626},
doi = {10.1145/2384616.2384626},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LogozzoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGBG12,
author = {Daniel Perelman and
Sumit Gulwani and
Thomas Ball and
Dan Grossman},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Type-directed completion of partial expressions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {275--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254098},
doi = {10.1145/2254064.2254098},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PerelmanGBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BallBMMV12,
author = {Thomas Ball and
Nikolaj S. Bj{\o}rner and
Leonardo Mendon{\c{c}}a de Moura and
Kenneth L. McMillan and
Margus Veanes},
editor = {Alastair F. Donaldson and
David Parker},
title = {Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata
and Polynomials},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {1--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_1},
doi = {10.1007/978-3-642-31759-0\_1},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BallBMMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2012,
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7},
doi = {10.1007/978-3-642-33475-7},
isbn = {978-3-642-33474-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BallLR11,
author = {Thomas Ball and
Vladimir Levin and
Sriram K. Rajamani},
title = {A decade of software model checking with {SLAM}},
journal = {Commun. {ACM}},
volume = {54},
number = {7},
pages = {68--76},
year = {2011},
url = {https://doi.org/10.1145/1965724.1965743},
doi = {10.1145/1965724.1965743},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BallLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BallBHMQ11,
author = {Thomas Ball and
Sebastian Burckhardt and
Peli de Halleux and
Madan Musuvathi and
Shaz Qadeer},
title = {Predictable and Progressive Testing of Multithreaded Code},
journal = {{IEEE} Softw.},
volume = {28},
number = {3},
pages = {75--83},
year = {2011},
url = {https://doi.org/10.1109/MS.2010.64},
doi = {10.1109/MS.2010.64},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BallBHMQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiXBL11,
author = {Juncao Li and
Fei Xie and
Thomas Ball and
Vladimir Levin},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Model Checking B{\"{u}}chi Pushdown Systems},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {141--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_11},
doi = {10.1007/978-3-642-19811-3\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiXBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiXBLM11,
author = {Juncao Li and
Fei Xie and
Thomas Ball and
Vladimir Levin and
Con McGarvey},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Formalizing hardware/software interface specifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100048},
doi = {10.1109/ASE.2011.6100048},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiXBLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BurckhardtLSYB11,
author = {Sebastian Burckhardt and
Daan Leijen and
Caitlin Sadowski and
Jaeheon Yi and
Thomas Ball},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Two for the price of one: a model for parallel and incremental computation},
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 = {427--444},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048101},
doi = {10.1145/2048066.2048101},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BurckhardtLSYB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SadowskiBBBGMMQT11,
author = {Caitlin Sadowski and
Thomas Ball and
Judith Bishop and
Sebastian Burckhardt and
Ganesh Gopalakrishnan and
Joseph Mayo and
Madanlal Musuvathi and
Shaz Qadeer and
Stephen Toub},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Practical parallel and concurrent programming},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {189--194},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953222},
doi = {10.1145/1953163.1953222},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/oreilly/11/NagappanB11,
author = {Nachiappan Nagappan and
Thomas Ball},
editor = {Andy Oram and
Greg Wilson},
title = {Evidence-Based Failure Prediction},
booktitle = {Making Software - What Really Works, and Why We Believe It},
series = {Theory in practice},
pages = {415--434},
publisher = {O'Reilly},
year = {2011},
timestamp = {Thu, 14 May 2020 15:40:03 +0200},
biburl = {https://dblp.org/rec/books/oreilly/11/NagappanB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
editor = {Thomas Ball and
Mooly Sagiv},
title = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385},
doi = {10.1145/1926385},
isbn = {978-1-4503-0490-0},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallBLKL10,
author = {Thomas Ball and
Ella Bounimova and
Vladimir Levin and
Rahul Kumar and
Jakob Lichtenberg},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {The Static Driver Verifier Research Platform},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {119--122},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_11},
doi = {10.1007/978-3-642-14295-6\_11},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BallBLKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiXBL10,
author = {Juncao Li and
Fei Xie and
Thomas Ball and
Vladimir Levin},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Efficient Reachability Analysis of B{\"{u}}chi Pushdown Systems
for Hardware/Software Co-verification},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {339--353},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_30},
doi = {10.1007/978-3-642-14295-6\_30},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiXBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiXBLM10,
author = {Juncao Li and
Fei Xie and
Thomas Ball and
Vladimir Levin and
Con McGarvey},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {An Automata-Theoretic Approach to Hardware/Software Co-verification},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {248--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_18},
doi = {10.1007/978-3-642-12029-9\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiXBLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BallBKL10,
author = {Thomas Ball and
Ella Bounimova and
Rahul Kumar and
Vladimir Levin},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {{SLAM2:} Static driver verification with under 4{\%} false alarms},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {35--42},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770931/},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BallBKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallBCMQ10,
author = {Thomas Ball and
Sebastian Burckhardt and
Katherine E. Coons and
Madanlal Musuvathi and
Shaz Qadeer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Preemption Sealing for Efficient Concurrency Testing},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {420--434},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_35},
doi = {10.1007/978-3-642-12002-2\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallBCMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BallHLQV10,
author = {Thomas Ball and
Brian Hackett and
Shuvendu K. Lahiri and
Shaz Qadeer and
Julien Vanegue},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Towards Scalable Modular Checking of User-Defined Properties},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {1--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_1},
doi = {10.1007/978-3-642-15057-9\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BallHLQV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMQ09,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Madanlal Musuvathi and
Shaz Qadeer},
title = {Deconstructing concurrency heisenbugs},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {403--404},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071033},
doi = {10.1109/ICSE-COMPANION.2009.5071033},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallBHMQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/Ball09,
author = {Thomas Ball},
editor = {Michael W. Godfrey and
Jim Whitehead},
title = {A brief history of software - from Bell Labs to Microsoft Research},
booktitle = {Proceedings of the 6th International Working Conference on Mining
Software Repositories, {MSR} 2009 (Co-located with ICSE), Vancouver,
BC, Canada, May 16-17, 2009, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MSR.2009.5069474},
doi = {10.1109/MSR.2009.5069474},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/Ball09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9411,
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09411/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BallGHN09,
author = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {09411 Abstracts Collection - Interaction versus Automation: The two
Faces of Deduction},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2503/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BallGHN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BallGHN09a,
author = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {09411 Executive Summary - Interaction versus Automation: The two Faces
of Deductions},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2421/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BallGHN09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PachecoLB08,
author = {Carlos Pacheco and
Shuvendu K. Lahiri and
Thomas Ball},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Finding errors in .net with feedback-directed random testing},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {87--96},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390643},
doi = {10.1145/1390630.1390643},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/PachecoLB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MusuvathiQBBNN08,
author = {Madanlal Musuvathi and
Shaz Qadeer and
Thomas Ball and
G{\'{e}}rard Basler and
Piramanayagam Arumuga Nainar and
Iulian Neamtiu},
editor = {Richard Draves and
Robbert van Renesse},
title = {Finding and Reproducing Heisenbugs in Concurrent Programs},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {267--280},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/musuvathi/musuvathi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/MusuvathiQBBNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RosuCB08,
author = {Grigore Rosu and
Feng Chen and
Thomas Ball},
editor = {Martin Leucker},
title = {Synthesizing Monitors for Safety Properties: This Time with Calls
and Returns},
booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
Hungary, March 30, 2008. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5289},
pages = {51--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89247-2\_4},
doi = {10.1007/978-3-540-89247-2\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/RosuCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BallK08,
author = {Thomas Ball and
Orna Kupferman},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Vacuity in Testing},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {4--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_2},
doi = {10.1007/978-3-540-79124-9\_2},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/BallK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LahiriBC07,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
title = {Predicate Abstraction via Symbolic Decision Procedures},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {2},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(2:1)2007},
doi = {10.2168/LMCS-3(2:1)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LahiriBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallKS07,
author = {Thomas Ball and
Orna Kupferman and
Mooly Sagiv},
editor = {Werner Damm and
Holger Hermanns},
title = {Leaping Loops in the Presence of Abstraction},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {491--503},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_50},
doi = {10.1007/978-3-540-73368-3\_50},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/NagappanB07,
author = {Nachiappan Nagappan and
Thomas Ball},
title = {Using Software Dependencies and Churn Metrics to Predict Field Failures:
An Empirical Case Study},
booktitle = {Proceedings of the First International Symposium on Empirical Software
Engineering and Measurement, {ESEM} 2007, September 20-21, 2007, Madrid,
Spain},
pages = {364--373},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ESEM.2007.13},
doi = {10.1109/ESEM.2007.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/NagappanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PachecoLEB07,
author = {Carlos Pacheco and
Shuvendu K. Lahiri and
Michael D. Ernst and
Thomas Ball},
title = {Feedback-Directed Random Test Generation},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.37},
doi = {10.1109/ICSE.2007.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PachecoLEB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BallK07,
author = {Thomas Ball and
Orna Kupferman},
editor = {Byron Cook and
Andreas Podelski},
title = {Better Under-Approximation of Programs by Hiding Variables},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {314--328},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_23},
doi = {10.1007/978-3-540-69738-1\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BallK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BeckertHHSGRTBR06,
author = {Bernhard Beckert and
Tony Hoare and
Reiner H{\"{a}}hnle and
Douglas R. Smith and
Cordell Green and
Silvio Ranise and
Cesare Tinelli and
Thomas Ball and
Sriram K. Rajamani},
title = {Intelligent Systems and Formal Methods in Software Engineering},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {6},
pages = {71--81},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.117},
doi = {10.1109/MIS.2006.117},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Ball06,
author = {Thomas Ball},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Automated Abstraction of Software},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {8},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_3},
doi = {10.1007/11901914\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Ball06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BallBCLLMORU06,
author = {Thomas Ball and
Ella Bounimova and
Byron Cook and
Vladimir Levin and
Jakob Lichtenberg and
Con McGarvey and
Bohus Ondrusek and
Sriram K. Rajamani and
Abdullah Ustuner},
editor = {Yolande Berbers and
Willy Zwaenepoel},
title = {Thorough static analysis of device drivers},
booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
18-21, 2006},
pages = {73--85},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217935.1217943},
doi = {10.1145/1217935.1217943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BallBCLLMORU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NagappanBZ06,
author = {Nachiappan Nagappan and
Thomas Ball and
Andreas Zeller},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Mining metrics to predict component failures},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {452--461},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134349},
doi = {10.1145/1134285.1134349},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NagappanBZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NagappanBM06,
author = {Nachiappan Nagappan and
Thomas Ball and
Brendan Murphy},
title = {Using Historical In-Process and Product Metrics for Early Estimation
of Software Failures},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {62--74},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.50},
doi = {10.1109/ISSRE.2006.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/NagappanBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KudrjavetsNB06,
author = {Gunnar Kudrjavets and
Nachiappan Nagappan and
Thomas Ball},
title = {Assessing the Relationship between Software Assertions and Faults:
An Empirical Investigation},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {204--212},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.14},
doi = {10.1109/ISSRE.2006.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KudrjavetsNB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YorshBS06,
author = {Greta Yorsh and
Thomas Ball and
Mooly Sagiv},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Testing, abstraction, theorem proving: better together!},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {145--156},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146255},
doi = {10.1145/1146238.1146255},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/YorshBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BallK06,
author = {Thomas Ball and
Orna Kupferman},
title = {An Abstraction-Refinement Framework for Multi-Agent Systems},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.10},
doi = {10.1109/LICS.2006.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BallK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2006,
editor = {Thomas Ball and
Robert B. Jones},
title = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963},
doi = {10.1007/11817963},
isbn = {3-540-37406-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5261,
editor = {Thomas Ball and
Stephan Diehl and
David Notkin and
Andreas Zeller},
title = {Multi-Version Program Analysis, 26. June - 1. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05261},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05261/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2006,
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981},
doi = {10.1145/1133981},
isbn = {1-59593-320-4},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612003,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
title = {Predicate Abstraction via Symbolic Decision Procedures},
journal = {CoRR},
volume = {abs/cs/0612003},
year = {2006},
url = {http://arxiv.org/abs/cs/0612003},
eprinttype = {arXiv},
eprint = {cs/0612003},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0612003.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, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BallMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriBC05,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Predicate Abstraction via Symbolic Decision Procedures},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {24--38},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_5},
doi = {10.1007/11513988\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallKY05,
author = {Thomas Ball and
Orna Kupferman and
Greta Yorsh},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Abstraction for Falsification},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {67--81},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_8},
doi = {10.1007/11513988\_8},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallKY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NagappanB05,
author = {Nachiappan Nagappan and
Thomas Ball},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Use of relative code churn measures to predict system defect density},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {284--292},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062514},
doi = {10.1145/1062455.1062514},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NagappanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NagappanB05a,
author = {Nachiappan Nagappan and
Thomas Ball},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Static analysis tools as early indicators of pre-release defect density},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {580--586},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062558},
doi = {10.1145/1062455.1062558},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NagappanB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BallLM05,
author = {Thomas Ball and
Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Zap: Automated Theorem Proving for Software Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {2--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_2},
doi = {10.1007/11591191\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BallLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Ball05,
author = {Thomas Ball},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {The Verified Software Challenge: {A} Call for a Holistic Approach
to Reliability},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {42--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_5},
doi = {10.1007/978-3-540-69149-5\_5},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Ball05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BallDNZ05,
author = {Thomas Ball and
Stephan Diehl and
David Notkin and
Andreas Zeller},
editor = {Thomas Ball and
Stephan Diehl and
David Notkin and
Andreas Zeller},
title = {05261 Summary - Multi-Version Program Analysis},
booktitle = {Multi-Version Program Analysis, 26. June - 1. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05261},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/559},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BallDNZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BallDNZ05a,
author = {Thomas Ball and
Stephan Diehl and
David Notkin and
Andreas Zeller},
editor = {Thomas Ball and
Stephan Diehl and
David Notkin and
Andreas Zeller},
title = {05261 Abstracts Collection - Multi-Version Program Analysis},
booktitle = {Multi-Version Program Analysis, 26. June - 1. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05261},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/560},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BallDNZ05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LarusBDDFPRV04,
author = {James R. Larus and
Thomas Ball and
Manuvir Das and
Robert DeLine and
Manuel F{\"{a}}hndrich and
Jonathan D. Pincus and
Sriram K. Rajamani and
Ramanathan Venkatapathy},
title = {Righting Software},
journal = {{IEEE} Softw.},
volume = {21},
number = {3},
pages = {92--100},
year = {2004},
url = {https://doi.org/10.1109/MS.2004.1293079},
doi = {10.1109/MS.2004.1293079},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LarusBDDFPRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallCLZ04,
author = {Thomas Ball and
Byron Cook and
Shuvendu K. Lahiri and
Lintao Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {457--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_36},
doi = {10.1007/978-3-540-27813-9\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallCLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Ball04,
author = {Thomas Ball},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Theory of Predicate-Complete Test Coverage and Generation},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {1--22},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_1},
doi = {10.1007/11561163\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Ball04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BallCLR04,
author = {Thomas Ball and
Byron Cook and
Vladimir Levin and
Sriram K. Rajamani},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {{SLAM} and Static Driver Verifier: Technology Transfer of Formal Methods
inside Microsoft},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {1--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_1},
doi = {10.1007/978-3-540-24756-2\_1},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BallCLR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AminofBK04,
author = {Benjamin Aminof and
Thomas Ball and
Orna Kupferman},
editor = {Franz Baader and
Andrei Voronkov},
title = {Reasoning About Systems with Transition Fairness},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {194--208},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_14},
doi = {10.1007/978-3-540-32275-7\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AminofBK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallLX04,
author = {Thomas Ball and
Vladimir Levin and
Fei Xie},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Automatic Creation of Environment Models via Training},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {93--107},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_7},
doi = {10.1007/978-3-540-24730-2\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallLX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallCDR04,
author = {Thomas Ball and
Byron Cook and
Satyaki Das and
Sriram K. Rajamani},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Refining Approximations in Software Predicate Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {388--403},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_30},
doi = {10.1007/978-3-540-24730-2\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallCDR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BallPR03,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
title = {Boolean and Cartesian abstraction for model checking {C} programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {49--58},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0095-0},
doi = {10.1007/S10009-002-0095-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BallPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallNR03,
author = {Thomas Ball and
Mayur Naik and
Sriram K. Rajamani},
editor = {Alex Aiken and
Greg Morrisett},
title = {From symptom to cause: localizing errors in counterexample traces},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {97--105},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604140},
doi = {10.1145/604131.604140},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/BallNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2},
doi = {10.1007/3-540-44829-2},
isbn = {3-540-40117-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AtkinsBGM02,
author = {David L. Atkins and
Thomas Ball and
Todd L. Graves and
Audris Mockus},
title = {Using Version Control Data to Evaluate the Impact of Software Tools:
{A} Case Study of the Version Editor},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {7},
pages = {625--637},
year = {2002},
url = {https://doi.org/10.1109/TSE.2002.1019478},
doi = {10.1109/TSE.2002.1019478},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AtkinsBGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Ball02,
author = {Thomas Ball},
editor = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o{-}Carballo},
title = {Secrets of Software Model Checking},
booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
pages = {3},
publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
de Madrid},
year = {2002},
url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_intro.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Ball02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallR02,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {John Launchbury and
John C. Mitchell},
title = {The {SLAM} project: debugging system software via static analysis},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {1--3},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503274},
doi = {10.1145/503272.503274},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/BallR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AdamsBDLRSW02,
author = {Stephen Adams and
Thomas Ball and
Manuvir Das and
Sorin Lerner and
Sriram K. Rajamani and
Mark Seigle and
Westley Weimer},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {230--246},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_18},
doi = {10.1007/3-540-45789-5\_18},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AdamsBDLRSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallPR02,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Relative Completeness of Abstraction Refinement for Software Model
Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {158--172},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_12},
doi = {10.1007/3-540-46002-0\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BallB01,
author = {Thomas Ball and
Hans{-}Juergen Boehm},
title = {SIGPLANet - {A} Modest Proposal for {SIGPLAN} in the 21\({}^{\mbox{st}}\)
Century},
journal = {{ACM} {SIGPLAN} Notices},
volume = {36},
number = {4},
pages = {1--2},
year = {2001},
url = {https://doi.org/10.1145/375431.375432},
doi = {10.1145/375431.375432},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BallB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallR01,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {The {SLAM} Toolkit},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {260--264},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_25},
doi = {10.1007/3-540-44585-4\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BallR01,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {John Field and
Gregor Snelting},
title = {Bebop: a path-sensitive interprocedural dataflow engine},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah,
USA, June 18-19, 2001},
pages = {97--103},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379690},
doi = {10.1145/379605.379690},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BallR01.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 = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallMMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BallR01,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {Matthew B. Dwyer},
title = {Automatically Validating Temporal Safety Properties of Interfaces},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {103--122},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_7},
doi = {10.1007/3-540-45139-0\_7},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/BallR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallCR01,
author = {Thomas Ball and
Sagar Chaki and
Sriram K. Rajamani},
editor = {Tiziana Margaria and
Wang Yi},
title = {Parameterized Verification of Multithreaded Software Libraries},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {158--173},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_12},
doi = {10.1007/3-540-45319-9\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallCR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallPR01,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
editor = {Tiziana Margaria and
Wang Yi},
title = {Boolean and Cartesian Abstraction for Model Checking {C} Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {268--283},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_19},
doi = {10.1007/3-540-45319-9\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/BallBDMR00,
author = {Thomas Ball and
Veta Bonnewell and
Peter J. Danielsen and
Peter Mataga and
Kenneth Rehor},
title = {Speech-enabled services using TelePortal\({}^{\mbox{TM}}\) software
and VoiceXML\({}^{\mbox{star}}\)},
journal = {Bell Labs Tech. J.},
volume = {5},
number = {3},
pages = {98--111},
year = {2000},
url = {https://doi.org/10.1002/bltj.2238},
doi = {10.1002/BLTJ.2238},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/BallBDMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BallL00,
author = {Thomas Ball and
James R. Larus},
title = {Using Paths to Measure, Explain, and Enhance Program Behavior},
journal = {Computer},
volume = {33},
number = {7},
pages = {57--65},
year = {2000},
url = {https://doi.org/10.1109/2.869371},
doi = {10.1109/2.869371},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BallL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijst/BallCDJJLMR00,
author = {Thomas Ball and
Christopher Colby and
Peter J. Danielsen and
Lalita Jategaonkar Jagadeesan and
Radha Jagadeesan and
Konstantin L{\"{a}}ufer and
Peter Mataga and
Kenneth Rehor},
title = {Sisl: Several Interfaces, Single Logic},
journal = {Int. J. Speech Technol.},
volume = {3},
number = {2},
pages = {93--108},
year = {2000},
url = {https://doi.org/10.1023/A\%3A1009645414233},
doi = {10.1023/A\%3A1009645414233},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijst/BallCDJJLMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BallHRWW00,
author = {Thomas Ball and
Daniel Hoffman and
Frank Ruskey and
Richard Webber and
Lee J. White},
title = {State Generation and Automated Class Testing},
journal = {Softw. Test. Verification Reliab.},
volume = {10},
number = {3},
pages = {149--170},
year = {2000},
url = {https://doi.org/10.1002/1099-1689(200009)10:3\&\#60;149::AID-STVR206\&\#62;3.0.CO;2-T},
doi = {10.1002/1099-1689(200009)10:3\&\#60;149::AID-STVR206\&\#62;3.0.CO;2-T},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BallHRWW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BallR00,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {Bebop: {A} Symbolic Model Checker for Boolean Programs},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {113--130},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_7},
doi = {10.1007/10722468\_7},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BallR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Ball99,
author = {Thomas Ball},
title = {Paths between Imperative and Functional Programming},
journal = {{ACM} {SIGPLAN} Notices},
volume = {34},
number = {2},
pages = {21--25},
year = {1999},
url = {https://doi.org/10.1145/307903.307910},
doi = {10.1145/307903.307910},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Ball99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AtkinsBBC99,
author = {David L. Atkins and
Thomas Ball and
Glenn Bruns and
Kenneth C. Cox},
title = {Mawl: {A} Domain-Specific Language for Form-Based Services},
journal = {{IEEE} Trans. Software Eng.},
volume = {25},
number = {3},
pages = {334--346},
year = {1999},
url = {https://doi.org/10.1109/32.798323},
doi = {10.1109/32.798323},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AtkinsBBC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/SiffCBKR99,
author = {Michael Siff and
Satish Chandra and
Thomas Ball and
Krishna Kunchithapadam and
Thomas W. Reps},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Coping with Type Casts in {C}},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {180--198},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_12},
doi = {10.1007/3-540-48166-4\_12},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/SiffCBKR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Ball99,
author = {Thomas Ball},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {The Concept of Dynamic Analysis},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {216--234},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_14},
doi = {10.1007/3-540-48166-4\_14},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/Ball99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtkinsBGM99,
author = {David L. Atkins and
Thomas Ball and
Todd L. Graves and
Audris Mockus},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Using Version Control Data to Evaluate the Impact of Software Tools},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {324--333},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302649},
doi = {10.1145/302405.302649},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AtkinsBGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsl/1999,
editor = {Thomas Ball},
title = {Proceedings of the Second Conference on Domain-Specific Languages
{(DSL} '99), Austin, Texas, USA, October 3-5, 1999},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/331960},
doi = {10.1145/331960},
isbn = {1-58113-255-7},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsl/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/DouglisBCK98,
author = {Fred Douglis and
Thomas Ball and
Yih{-}Farn Chen and
Eleftherios Koutsofios},
title = {The AT{\&}T Internet Difference Engine: Tracking and Viewing Changes
on the Web},
journal = {World Wide Web},
volume = {1},
number = {1},
pages = {27--44},
year = {1998},
url = {https://doi.org/10.1023/A:1019243126596},
doi = {10.1023/A:1019243126596},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/www/DouglisBCK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Ball98,
author = {Thomas Ball},
editor = {Mary Lou Soffa and
Michal Young and
Will Tracz},
title = {On the Limit of Control Flow Analysis for Regression Test Selection},
booktitle = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
March 2-5, 1998},
pages = {134--142},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/271771.271802},
doi = {10.1145/271771.271802},
timestamp = {Mon, 31 Jan 2022 15:15:10 +0100},
biburl = {https://dblp.org/rec/conf/issta/Ball98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallMS98,
author = {Thomas Ball and
Peter Mataga and
Shmuel Sagiv},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Edge Profiling versus Path Profiling: The Showdown},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {134--148},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268958},
doi = {10.1145/268946.268958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BallMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/1998,
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631},
doi = {10.1145/277631},
isbn = {1-58113-055-4},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/AtkinsBBBCLMPRR97,
author = {David L. Atkins and
Thomas Ball and
Thomas R. Baran and
Michael Benedikt and
Kenneth C. Cox and
David A. Ladd and
Peter A. Mataga and
Carlos Puchol and
J. Christopher Ramming and
Kenneth Rehor and
Curtis Tuckey},
title = {Integrated web and telephone service creation},
journal = {Bell Labs Tech. J.},
volume = {2},
number = {1},
pages = {19--35},
year = {1997},
url = {https://doi.org/10.1002/bltj.2029},
doi = {10.1002/BLTJ.2029},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/AtkinsBBBCLMPRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/AtkinsBBBCMR97,
author = {David L. Atkins and
Thomas Ball and
Michael Benedikt and
Glenn Bruns and
Kenneth C. Cox and
Peter Mataga and
Kenneth Rehor},
editor = {Chris Ramming},
title = {Experience with a Domain Specific Language for Form-based Services},
booktitle = {Proceedings of the Conference on Domain-Specific Languages, DSL'97,
Santa Barbara, California, USA, October 15-17, 1997},
pages = {37--50},
publisher = {{USENIX}},
year = {1997},
url = {http://www.usenix.org/publications/library/proceedings/dsl97/atkins.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsl/AtkinsBBBCMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/RepsBDL98,
author = {Thomas W. Reps and
Thomas Ball and
Manuvir Das and
James R. Larus},
editor = {Mehdi Jazayeri and
Helmut Schauer},
title = {The Use of Program Profiling for Software Maintenance with Applications
to the Year 2000 Problem},
booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
Foundations of Software Engineering, Zurich, Switzerland, September
22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1301},
pages = {432--449},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63531-9\_29},
doi = {10.1007/3-540-63531-9\_29},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/RepsBDL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JerdingSB97,
author = {Dean F. Jerding and
John T. Stasko and
Thomas Ball},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Visualizing Interactions in Program Executions},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {360--370},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253356},
doi = {10.1145/253228.253356},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JerdingSB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AmmonsBL97,
author = {Glenn Ammons and
Thomas Ball and
James R. Larus},
editor = {Marina C. Chen and
Ron K. Cytron and
A. Michael Berman},
title = {Exploiting Hardware Performance Counters with Flow and Context Sensitive
Profiling},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
1997},
pages = {85--96},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258915.258924},
doi = {10.1145/258915.258924},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AmmonsBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/DouglisBCK96,
author = {Fred Douglis and
Thomas Ball and
Yih{-}Farn Chen and
Eleftherios Koutsofios},
title = {WebGUIDE: Querying and Navigating Changes in Web Repositories},
journal = {Comput. Networks},
volume = {28},
number = {7-11},
pages = {1335--1344},
year = {1996},
url = {https://doi.org/10.1016/0169-7552(96)00059-1},
doi = {10.1016/0169-7552(96)00059-1},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/DouglisBCK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BallE96,
author = {Thomas Ball and
Stephen G. Eick},
title = {Software Visualization in the Large},
journal = {Computer},
volume = {29},
number = {4},
pages = {33--43},
year = {1996},
url = {https://doi.org/10.1109/2.488299},
doi = {10.1109/2.488299},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BallE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/BallD96,
author = {Thomas Ball and
Fred Douglis},
title = {An Internet Difference Engine and its Applications},
booktitle = {Forty-First {IEEE} Computer Society International Conference: Technologies
for the Information Superhighway, {COMPCON} 1996, Santa Clara, California,
USA, February 25-28, 1996, Digest of Papers},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CMPCON.1996.501751},
doi = {10.1109/CMPCON.1996.501751},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compcon/BallD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/BallL96,
author = {Thomas Ball and
James R. Larus},
editor = {Stephen W. Melvin and
Steve Beaty},
title = {Efficient Path Profiling},
booktitle = {Proceedings of the 29th Annual {IEEE/ACM} International Symposium
on Microarchitecture, {MICRO} 29, Paris, France, December 2-4, 1996},
pages = {46--57},
publisher = {{ACM/IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/MICRO.1996.566449},
doi = {10.1109/MICRO.1996.566449},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/BallL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/DouglisB96,
author = {Fred Douglis and
Thomas Ball},
title = {Tracking and Viewing Changes on the Web},
booktitle = {Proceedings of the {USENIX} Annual Technical Conference, San Diego,
California, USA, January 22-26, 1996},
pages = {165--176},
publisher = {{USENIX} Association},
year = {1996},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/usenix/DouglisB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/ChilimbiBEL95,
author = {Trishul M. Chilimbi and
Thomas Ball and
Stephen G. Eick and
James R. Larus},
editor = {Sidney Karin},
title = {Storm Watch: {A} Tool for Visualizing Memory System Protocols},
booktitle = {Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8,
1995},
pages = {38},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224170.224287},
doi = {10.1145/224170.224287},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/ChilimbiBEL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LarusB94,
author = {James R. Larus and
Thomas Ball},
title = {Rewriting Executable Files to Measure Program Behavior},
journal = {Softw. Pract. Exp.},
volume = {24},
number = {2},
pages = {197--218},
year = {1994},
url = {https://doi.org/10.1002/spe.4380240204},
doi = {10.1002/SPE.4380240204},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LarusB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BallL94,
author = {Thomas Ball and
James R. Larus},
title = {Optimally Profiling and Tracing Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1319--1360},
year = {1994},
url = {https://doi.org/10.1145/183432.183527},
doi = {10.1145/183432.183527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BallL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ball94,
author = {Thomas Ball},
title = {Efficient Counting Program Events with Support for On-Line Queries},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1399--1410},
year = {1994},
url = {https://doi.org/10.1145/186025.186027},
doi = {10.1145/186025.186027},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ball94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/BeelenB94,
author = {Hank P. Beelen and
Thomas Ball},
title = {End-to-end Service Survivability- Study Methodology Root Cause Analysis
Solution Alternatives},
booktitle = {Proceedings of {NOMS} '94, {IEEE} Network Operations and Management
Symposium, Hyatt Orlando, Kissimee, Florida, USA, February 14-17,1
994},
pages = {655--670},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/NOMS.1994.644161},
doi = {10.1109/NOMS.1994.644161},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/noms/BeelenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BallE94,
author = {Thomas Ball and
Stephen G. Eick},
editor = {Allen L. Ambler and
Takayuki Dan Kimura},
title = {Visualizing Program Slices},
booktitle = {Proceedings {IEEE} Symposium on Visual Languages, St. Louis, Missouri,
USA, October 4-7, 1994},
pages = {288--295},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/VL.1994.363606},
doi = {10.1109/VL.1994.363606},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BallE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Ball93,
author = {Thomas Ball},
title = {What's In a Region? Or Computing Control Dependence Regions In Near-Linear
Time for Reducible Control Flow},
journal = {{LOPLAS}},
volume = {2},
number = {1-4},
pages = {1--16},
year = {1993},
url = {https://doi.org/10.1145/176454.176456},
doi = {10.1145/176454.176456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/loplas/Ball93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BallH93,
author = {Thomas Ball and
Susan Horwitz},
editor = {Peter Fritszon},
title = {Slicing Programs with Arbitrary Control-flow},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {206--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019410},
doi = {10.1007/BFB0019410},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BallH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BallL93,
author = {Thomas Ball and
James R. Larus},
editor = {Robert Cartwright},
title = {Branch Prediction For Free},
booktitle = {Proceedings of the {ACM} SIGPLAN'93 Conference on Programming Language
Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June
23-25, 1993},
pages = {300--313},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/155090.155119},
doi = {10.1145/155090.155119},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallL92,
author = {Thomas Ball and
James R. Larus},
editor = {Ravi Sethi},
title = {Optimally Profiling and Tracing Programs},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {59--70},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143180},
doi = {10.1145/143165.143180},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BallL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-21 17:47 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:
