default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Ball 0001

> Home > Persons

Person information

affiliation: Microsoft Research

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BallHDHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BallHDHM24
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal:
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8(PLDI): 692-715 (2024)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmobile/DevineHBMHDGFUHOK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmobile/DevineHBMHDGFUHOK24
James Devine, Steve Hodges, Thomas Ball, Michal Moskal, Peli de Halleux, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Matt Oppenheim, Paul Kos:
Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mob. Comput. Commun. 28(2): 38-43 (2024)
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/acmidc/HartleyRUFB0HDA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmidc/HartleyRUFB0HDA24
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal:
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. IDC 2024: 355-370
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/acmidc/BallF0RUESTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmidc/BallF0RUESTV24
Thomas Ball, Joe Finney, Steve Hodges, Elisa Rubegni, Lorraine Underwood, Jayne Everson, R. Benjamin Shapiro, Colby Tofel-Grehl, Rojin Vishkaie:
Imagining Inclusive Digital Maker Futures with the BBC micro: bit. IDC 2024: 1032-1034
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/Underwood00RHF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/Underwood00RHF24
Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney:
MicroCode: live, portable programming for children via robotics. UIST (Adjunct Volume) 2024: 81:1-81:3
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/wipsce/PalinF0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wipsce/PalinF0024
Kier Palin, Joe Finney, Steve Hodges, Thomas Ball:
MicroData: live visualisation & recording of micro: bit sensor data. WiPSCE 2024: 40:1-40:2
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-07638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-07638
Thomas Ball, Shuo Chen, Cormac Herley:
Can We Count on LLMs? The Fixed-Effect Fallacy and Claims of GPT-4 Capabilities. CoRR abs/2409.07638 (2024)
2023
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02393
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02393
Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi:
Symbolic Automata: ω-Regularity Modulo Theories. CoRR abs/2310.02393 (2023)
2022
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/imwut/DevineMHBHDGFUH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imwut/DevineMHBHDGFUH22
James Devine, Michal Moskal, Peli de Halleux, Thomas Ball, Steve Hodges, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim:
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(3): 110:1-110:30 (2022)
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/acmidc/DrugaBK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmidc/DrugaBK22
Stefania Druga, Thomas Ball, Amy J. Ko:
How families design and program games: a qualitative analysis of a 4-week online in-home study. IDC 2022: 237-252
2021
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedDFMHHBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedDFMHHBR21
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway:
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI 2021: 45:1-45:15
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/fdg/MoskalBCDHHKKNR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdg/MoskalBCDHHKKNR21
Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga:
Web-based Programming for Low-cost Gaming Handhelds. FDG 2021: 38:1-38:12
2020
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AustinBBDFHHMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AustinBBDFHHMS20
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale:
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63(3): 62-69 (2020)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/HodgesSFB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/HodgesSFB20
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball:
Physical Computing: A Key Element of Modern Computer Science Education. Computer 53(4): 20-30 (2020)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/BallKKZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/BallKKZ20
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga:
TileCode: Creation of Video Games on Gaming Handhelds. UIST 2020: 1182-1193

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsa/DevineFHMBH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/DevineFHMBH19
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98: 468-483 (2019)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedHMDFHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedHMDFHB19
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball:
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts 2019
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/BallHM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BallHM19
Thomas Ball, Peli de Halleux, Michal Moskal:
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR 2019: 105-116
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/BallCHHMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/BallCHHMR19
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell:
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E 2019: 7-12
2018
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/KellySHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/KellySHB18
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI 2018: 409
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/KellySHB18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/KellySHB18a
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts 2018
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/Ball18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/Ball18
Thomas Ball:
KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry. ICSA Companion 2018: 40
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBF18
Thomas Ball, Judith Bishop, Joe Finney:
Multi-platform computing for physical devices via MakeCode and CODAL. ICSE (Companion Volume) 2018: 552-553
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/DevineFHMBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/DevineFHMBH18
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES 2018: 19-30
2017
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Ball17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Ball17
Thomas Ball:
Physical computing for everyone. ICSE-SEET 2017: 3
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/BallBH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/BallBH17
Thomas Ball, Judith Bishop, Jonathan de Halleux:
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE 2017: 639
2016
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KwiatkowskaVBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KwiatkowskaVBB16
Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016)
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallPBMHBHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallPBMHBHR16
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley:
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) 2016: 637-640
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KumarBLDUB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KumarBLDUB16
Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal:
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM 2016: 523-536
2015
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BallZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BallZ15
Thomas Ball, Benjamin G. Zorn:
Teach foundational language principles. Commun. ACM 58(5): 30-31 (2015)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMPT15
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/BallD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/BallD15
Thomas Ball, Jakub Daniel:
Deconstructing Dynamic Symbolic Execution. Dependable Software Systems Engineering 2015: 26-41
[e10]
- view
- export record
  dblp key:
  - conf/snapl/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/2015
Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents]
2014
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TillmannMHBBB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TillmannMHBBB14
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BallBGIKSSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BallBGIKSSV14
Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky:
VeriCon: towards verifying controller programs in software-defined networks. PLDI 2014: 282-293
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Ball14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Ball14
Thomas Ball:
Correctness via compilation to logic: a decade of verification at microsoft research. HILT 2014: 69-70
[c74]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/KasikciBCEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/KasikciBCEM14
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi:
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX ATC 2014: 243-254
2013
[c73]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/BaylessVBHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BaylessVBHH13
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu:
Efficient modular SAT solving for IC3. FMCAD 2013: 149-156
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BallHSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BallHSL13
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen:
Increasing human-tool interaction via the web. PASTE 2013: 49-52
2012
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/BallMMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/BallMMR12
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47(4a): 37-47 (2012)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LogozzoB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LogozzoB12
Francesco Logozzo, Thomas Ball:
Modular and verified automatic program repair. OOPSLA 2012: 133-146
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PerelmanGBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PerelmanGBG12
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
Type-directed completion of partial expressions. PLDI 2012: 275-286
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BallBMMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BallBMMV12
Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes:
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/2012
Jos C. M. Baeten, Thomas Ball, Frank S. de Boer:
Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7604, Springer 2012, ISBN 978-3-642-33474-0 [contents]
2011
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BallLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BallLR11
Thomas Ball, Vladimir Levin, Sriram K. Rajamani:
A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BallBHMQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BallBHMQ11
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011)
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LiXBL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiXBL11
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin:
Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiXBLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiXBLM11
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
Formalizing hardware/software interface specifications. ASE 2011: 143-152
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BurckhardtLSYB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BurckhardtLSYB11
Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball:
Two for the price of one: a model for parallel and incremental computation. OOPSLA 2011: 427-444
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SadowskiBBBGMMQT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/oreilly/11/NagappanB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/oreilly/11/NagappanB11
Nachiappan Nagappan, Thomas Ball:
Evidence-Based Failure Prediction. Making Software 2011: 415-434
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/2011
Thomas Ball, Mooly Sagiv:
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. ACM 2011, ISBN 978-1-4503-0490-0 [contents]
2010
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BallBLKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallBLKL10
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg:
The Static Driver Verifier Research Platform. CAV 2010: 119-122
[c63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LiXBL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiXBL10
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin:
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LiXBLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiXBLM10
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
[c61]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/BallBKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BallBKL10
Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin:
SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BallBCMQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallBCMQ10
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BallHLQV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BallHLQV10
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMQ09
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/Ball09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/Ball09
Thomas Ball:
A brief history of software - from Bell Labs to Microsoft Research. MSR 2009
[e7]
- view
- export record
  dblp key:
  - conf/dagstuhl/2009P9411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2009P9411
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Dagstuhl Seminar Proceedings 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents]
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BallGHN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BallGHN09
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction 2009
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BallGHN09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BallGHN09a
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction 2009
2008
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PachecoLB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PachecoLB08
Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball:
Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
[c55]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/osdi/MusuvathiQBBNN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/MusuvathiQBBNN08
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/RosuCB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/RosuCB08
Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BallK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BallK08
Thomas Ball, Orna Kupferman:
Vacuity in Testing. TAP 2008: 4-17
2007
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/LahiriBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/LahiriBC07
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. Log. Methods Comput. Sci. 3(2) (2007)
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BallKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallKS07
Thomas Ball, Orna Kupferman, Mooly Sagiv:
Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/NagappanB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/NagappanB07
Nachiappan Nagappan, Thomas Ball:
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM 2007: 364-373
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PachecoLEB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PachecoLEB07
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball:
Feedback-Directed Random Test Generation. ICSE 2007: 75-84
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BallK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BallK07
Thomas Ball, Orna Kupferman:
Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328
2006
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/BeckertHHSGRTBR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Ball06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Ball06
Thomas Ball:
Automated Abstraction of Software. ATVA 2006: 8
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/BallBCLLMORU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/BallBCLLMORU06
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner:
Thorough static analysis of device drivers. EuroSys 2006: 73-85
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NagappanBZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NagappanBZ06
Nachiappan Nagappan, Thomas Ball, Andreas Zeller:
Mining metrics to predict component failures. ICSE 2006: 452-461
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/NagappanBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/NagappanBM06
Nachiappan Nagappan, Thomas Ball, Brendan Murphy:
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE 2006: 62-74
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/KudrjavetsNB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/KudrjavetsNB06
Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball:
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE 2006: 204-212
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YorshBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YorshBS06
Greta Yorsh, Thomas Ball, Mooly Sagiv:
Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BallK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BallK06
Thomas Ball, Orna Kupferman:
An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2006
Thomas Ball, Robert B. Jones:
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4144, Springer 2006, ISBN 3-540-37406-X [contents]
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2005P5261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5261
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2006
Michael I. Schwartzbach, Thomas Ball:
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. ACM 2006, ISBN 1-59593-320-4 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0612003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0612003
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CoRR abs/cs/0612003 (2006)
2005
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BallMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BallMR05
Thomas Ball, Todd D. Millstein, Sriram K. Rajamani:
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriBC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriBC05
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
[c40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BallKY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallKY05
Thomas Ball, Orna Kupferman, Greta Yorsh:
Abstraction for Falsification. CAV 2005: 67-81
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NagappanB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NagappanB05
Nachiappan Nagappan, Thomas Ball:
Use of relative code churn measures to predict system defect density. ICSE 2005: 284-292
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NagappanB05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NagappanB05a
Nachiappan Nagappan, Thomas Ball:
Static analysis tools as early indicators of pre-release defect density. ICSE 2005: 580-586
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BallLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BallLM05
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/Ball05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Ball05
Thomas Ball:
The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE 2005: 42-48
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BallDNZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BallDNZ05
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BallDNZ05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BallDNZ05a
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
2004
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/software/LarusBDDFPRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/LarusBDDFPRV04
James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy:
Righting Software. IEEE Softw. 21(3): 92-100 (2004)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BallCLZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallCLZ04
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang:
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Ball04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Ball04
Thomas Ball:
A Theory of Predicate-Complete Test Coverage and Generation. FMCO 2004: 1-22
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BallCLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BallCLR04
Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AminofBK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AminofBK04
Benjamin Aminof, Thomas Ball, Orna Kupferman:
Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallLX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallLX04
Thomas Ball, Vladimir Levin, Fei Xie:
Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallCDR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallCDR04
Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani:
Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
2003
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BallPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BallPR03
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5(1): 49-58 (2003)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BallNR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BallNR03
Thomas Ball, Mayur Naik, Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2003
Thomas Ball, Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2 [contents]
2002
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AtkinsBGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AtkinsBGM02
David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. IEEE Trans. Software Eng. 28(7): 625-637 (2002)
[c28]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - details & citations
- export record
  dblp key:
  - conf/agp/Ball02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Ball02
Thomas Ball:
Secrets of Software Model Checking. APPIA-GULP-PRODE 2002: 3
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BallR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BallR02
Thomas Ball, Sriram K. Rajamani:
The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AdamsBDLRSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AdamsBDLRSW02
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallPR02
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
2001
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/BallB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/BallB01
Thomas Ball, Hans-Juergen Boehm:
SIGPLANet - A Modest Proposal for SIGPLAN in the 21^st Century. ACM SIGPLAN Notices 36(4): 1-2 (2001)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BallR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallR01
Thomas Ball, Sriram K. Rajamani:
The SLAM Toolkit. CAV 2001: 260-264
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BallR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BallR01
Thomas Ball, Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BallMMR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BallMMR01
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BallR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BallR01
Thomas Ball, Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallCR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallCR01
Thomas Ball, Sagar Chaki, Sriram K. Rajamani:
Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallPR01
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
2000
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/bell/BallBDMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bell/BallBDMR00
Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor:
Speech-enabled services using TelePortal^TM software and VoiceXML^star. Bell Labs Tech. J. 5(3): 98-111 (2000)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BallL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BallL00
Thomas Ball, James R. Larus:
Using Paths to Measure, Explain, and Enhance Program Behavior. Computer 33(7): 57-65 (2000)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ijst/BallCDJJLMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijst/BallCDJJLMR00
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor:
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3(2): 93-108 (2000)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BallHRWW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BallHRWW00
Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White:
State Generation and Automated Class Testing. Softw. Test. Verification Reliab. 10(3): 149-170 (2000)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BallR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BallR00
Thomas Ball, Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Ball99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Ball99
Thomas Ball:
Paths between Imperative and Functional Programming. ACM SIGPLAN Notices 34(2): 21-25 (1999)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AtkinsBBC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AtkinsBBC99
David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox:
Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3): 334-346 (1999)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/SiffCBKR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/SiffCBKR99
Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps:
Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Ball99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Ball99
Thomas Ball:
The Concept of Dynamic Analysis. ESEC / SIGSOFT FSE 1999: 216-234
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AtkinsBGM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AtkinsBGM99
David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools. ICSE 1999: 324-333
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/dsl/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsl/1999
Thomas Ball:
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999. ACM 1999, ISBN 1-58113-255-7 [contents]
1998
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/www/DouglisBCK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/www/DouglisBCK98
Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios:
The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web. World Wide Web 1(1): 27-44 (1998)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Ball98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Ball98
Thomas Ball:
On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA 1998: 134-142
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BallMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BallMS98
Thomas Ball, Peter Mataga, Shmuel Sagiv:
Edge Profiling versus Path Profiling: The Showdown. POPL 1998: 134-148
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/1998
Thomas Ball, Frank Tip, A. Michael Berman:
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998. ACM 1998, ISBN 1-58113-055-4 [contents]
1997
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/bell/AtkinsBBBCLMPRR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bell/AtkinsBBBCLMPRR97
David L. Atkins, Thomas Ball, Thomas R. Baran, Michael Benedikt, Kenneth C. Cox, David A. Ladd, Peter A. Mataga, Carlos Puchol, J. Christopher Ramming, Kenneth Rehor, Curtis Tuckey:
Integrated web and telephone service creation. Bell Labs Tech. J. 2(1): 19-35 (1997)
[c12]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dsl/AtkinsBBBCMR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsl/AtkinsBBBCMR97
David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor:
Experience with a Domain Specific Language for Form-based Services. DSL 1997: 37-50
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/RepsBDL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/RepsBDL98
Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus:
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE 1997: 432-449
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JerdingSB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JerdingSB97
Dean F. Jerding, John T. Stasko, Thomas Ball:
Visualizing Interactions in Program Executions. ICSE 1997: 360-370
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AmmonsBL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AmmonsBL97
Glenn Ammons, Thomas Ball, James R. Larus:
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. PLDI 1997: 85-96
1996
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/DouglisBCK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/DouglisBCK96
Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios:
WebGUIDE: Querying and Navigating Changes in Web Repositories. Comput. Networks 28(7-11): 1335-1344 (1996)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BallE96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BallE96
Thomas Ball, Stephen G. Eick:
Software Visualization in the Large. Computer 29(4): 33-43 (1996)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/compcon/BallD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/BallD96
Thomas Ball, Fred Douglis:
An Internet Difference Engine and its Applications. COMPCON 1996: 71-76
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/BallL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/BallL96
Thomas Ball, James R. Larus:
Efficient Path Profiling. MICRO 1996: 46-57
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/usenix/DouglisB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/DouglisB96
Fred Douglis, Thomas Ball:
Tracking and Viewing Changes on the Web. USENIX ATC 1996: 165-176
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/ChilimbiBEL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/ChilimbiBEL95
Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus:
Storm Watch: A Tool for Visualizing Memory System Protocols. SC 1995: 38
1994
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/LarusB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/LarusB94
James R. Larus, Thomas Ball:
Rewriting Executable Files to Measure Program Behavior. Softw. Pract. Exp. 24(2): 197-218 (1994)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BallL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BallL94
Thomas Ball, James R. Larus:
Optimally Profiling and Tracing Programs. ACM Trans. Program. Lang. Syst. 16(4): 1319-1360 (1994)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Ball94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Ball94
Thomas Ball:
Efficient Counting Program Events with Support for On-Line Queries. ACM Trans. Program. Lang. Syst. 16(5): 1399-1410 (1994)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/BallE94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/BallE94
Thomas Ball, Stephen G. Eick:
Visualizing Program Slices. VL 1994: 288-295
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/loplas/Ball93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/loplas/Ball93
Thomas Ball:
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. LOPLAS 2(1-4): 1-16 (1993)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aadebug/BallH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/BallH93
Thomas Ball, Susan Horwitz:
Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BallL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BallL93
Thomas Ball, James R. Larus:
Branch Prediction For Free. PLDI 1993: 300-313
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BallL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BallL92
Thomas Ball, James R. Larus:
Optimally Profiling and Tracing Programs. POPL 1992: 59-70

Coauthor Index

see FAQ

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.