Thomas Ball
Microsoft Research
http://research.microsoft.com/~tball/
Margus Veanes
Thomas Ball
Gabriel Ebner
Olli Saarikivi
Symbolic Automata: ω-Regularity Modulo Theories.
2023
abs/2310.02393
CoRR
https://doi.org/10.48550/arXiv.2310.02393
db/journals/corr/corr2310.html#abs-2310-02393
James Devine
Michal Moskal
Peli de Halleux
Thomas Ball
Steve Hodges 0001
Gabriele D'Amone
David Gakure
Joe Finney
Lorraine Underwood
Kobi Hartley
Paul Kos
Matt Oppenheim
Plug-and-play Physical Computing with Jacdac.
110:1-110:30
2022
6
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
3
https://doi.org/10.1145/3550317
https://www.wikidata.org/entity/Q114070916
db/journals/imwut/imwut6.html#DevineMHBHDGFUH22
Stefania Druga
Thomas Ball
Amy J. Ko
How families design and program games: a qualitative analysis of a 4-week online in-home study.
237-252
2022
IDC
https://doi.org/10.1145/3501712.3529724
conf/acmidc/2022
db/conf/acmidc/idc2022.html#DrugaBK22
Teddy Seyed
James Devine
Joe Finney
Michal Moskal
Peli de Halleux
Steve Hodges 0001
Thomas Ball
Asta Roseway
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables.
45:1-45:15
2021
CHI
https://doi.org/10.1145/3411764.3445643
conf/chi/2021
db/conf/chi/chi2021.html#SeyedDFMHHBR21
Michal Moskal
Thomas Ball
Abhijith Chatra
James Devine
Peli de Halleux
Steve Hodges 0001
Shannon Kao
Richard Knoll
Galen Nickel
Jacqueline Russell
Joey Wunderlich
Daryl Zuniga
Web-based Programming for Low-cost Gaming Handhelds.
38:1-38:12
2021
FDG
https://doi.org/10.1145/3472538.3472572
conf/fdg/2021
db/conf/fdg/fdg2021.html#MoskalBCDHHKKNR21
Jonny Austin
Howard Baker
Thomas Ball
James Devine
Joe Finney
Peli de Halleux
Steve Hodges 0001
Michal Moskal
Gareth Stockdale
The BBC micro: bit: from the U.K. to the world.
62-69
2020
63
Commun. ACM
3
https://doi.org/10.1145/3368856
db/journals/cacm/cacm63.html#AustinBBDFHHMS20
Steve Hodges 0001
Sue Sentance
Joe Finney
Thomas Ball
Physical Computing: A Key Element of Modern Computer Science Education.
20-30
2020
53
Computer
4
https://doi.org/10.1109/MC.2019.2935058
db/journals/computer/computer53.html#HodgesSFB20
Thomas Ball
Shannon Kao
Richard Knoll
Daryl Zuniga
TileCode: Creation of Video Games on Gaming Handhelds.
1182-1193
2020
UIST
https://doi.org/10.1145/3379337.3415839
conf/uist/2020
db/conf/uist/uist2020.html#BallKKZ20
James Devine
Joe Finney
Peli de Halleux
Michal Moskal
Thomas Ball
Steve Hodges 0001
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.
468-483
2019
98
J. Syst. Archit.
https://doi.org/10.1016/j.sysarc.2019.05.005
db/journals/jsa/jsa98.html#DevineFHMBH19
Teddy Seyed
Peli de Halleux
Michal Moskal
James Devine
Joe Finney
Steve Hodges 0001
Thomas Ball
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity.
2019
CHI Extended Abstracts
https://doi.org/10.1145/3290607.3312809
conf/chi/2019a
db/conf/chi/chi2019a.html#SeyedHMDFHB19
Thomas Ball
Peli de Halleux
Michal Moskal
Static TypeScript: an implementation of a static compiler for the TypeScript language.
105-116
2019
MPLR
https://doi.org/10.1145/3357390.3361032
conf/pppj/2019
db/conf/pppj/mplr2019.html#BallHM19
Thomas Ball
Abhijith Chatra
Peli de Halleux
Steve Hodges 0001
Michal Moskal
Jacqueline Russell
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.
7-12
2019
SPLASH-E
https://doi.org/10.1145/3358711.3361630
conf/splash/2019e
db/conf/splash/splash2019e.html#BallCHHMR19
Annie Kelly
R. Benjamin Shapiro
Jonathan de Halleux
Thomas Ball
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces.
409
2018
CHI
https://doi.org/10.1145/3173574.3173983
conf/chi/2018
db/conf/chi/chi2018.html#KellySHB18
Annie Kelly
R. Benjamin Shapiro
Jonathan de Halleux
Thomas Ball
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces.
2018
CHI Extended Abstracts
https://doi.org/10.1145/3170427.3186535
conf/chi/2018a
db/conf/chi/chi2018a.html#KellySHB18a
Thomas Ball
KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry.
40
2018
ICSA Companion
https://doi.org/10.1109/ICSA-C.2018.00016
https://doi.ieeecomputersociety.org/10.1109/ICSA-C.2018.00016
conf/icsa/2018c
db/conf/icsa/icsa2018c.html#Ball18
Thomas Ball
Judith Bishop
Joe Finney
Multi-platform computing for physical devices via MakeCode and CODAL.
552-553
2018
ICSE (Companion Volume)
https://doi.org/10.1145/3183440.3183463
https://ieeexplore.ieee.org/document/8449658
conf/icse/2018c
db/conf/icse/icse2018c.html#BallBF18
James Devine
Joe Finney
Peli de Halleux
Michal Moskal
Thomas Ball
Steve Hodges 0001
MakeCode and CODAL: intuitive and efficient embedded systems programming for education.
19-30
2018
LCTES
https://doi.org/10.1145/3211332.3211335
https://doi.org/10.1145/3299710.3211335
conf/lctrts/2018
db/conf/lctrts/lctes2018.html#DevineFHMBH18
Thomas Ball
Physical computing for everyone.
3
2017
ICSE-SEET
https://doi.org/10.1109/ICSE-SEET.2017.31
https://doi.ieeecomputersociety.org/10.1109/ICSE-SEET.2017.31
conf/icse/2017seet
db/conf/icse/icse2017seet.html#Ball17
Thomas Ball
Judith Bishop
Jonathan de Halleux
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only).
639
2017
SIGCSE
https://doi.org/10.1145/3017680.3022381
conf/sigcse/2017
db/conf/sigcse/sigcse2017.html#BallBH17
Marta Kwiatkowska
Moshe Y. Vardi
Ahmed Bouajjani
Thomas Ball
2014 CAV award announcement.
149-151
2016
48
Formal Methods Syst. Des.
3
https://doi.org/10.1007/s10703-016-0244-9
db/journals/fmsd/fmsd48.html#KwiatkowskaVBB16
Thomas Ball
Jonathan Protzenko
Judith Bishop
Michal Moskal
Jonathan de Halleux
Michael Braun
Steve Hodges 0001
Clare Riley
Microsoft touch develop and the BBC micro: bit.
637-640
2016
ICSE (Companion Volume)
https://doi.org/10.1145/2889160.2889179
https://ieeexplore.ieee.org/document/7883359/
conf/icse/2016c
db/conf/icse/icse2016c.html#BallPBMHBHR16
Rahul Kumar 0002
Thomas Ball
Jakob Lichtenberg
Nate Deisinger
Apoorv Upreti
Chetan Bansal
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.
523-536
2016
IFM
https://doi.org/10.1007/978-3-319-33693-0_33
conf/ifm/2016
db/conf/ifm/ifm2016.html#KumarBLDUB16
Thomas Ball
Benjamin G. Zorn
Teach foundational language principles.
30-31
2015
58
Commun. ACM
5
https://doi.org/10.1145/2663342
db/journals/cacm/cacm58.html#BallZ15
Thomas Ball
Sebastian Burckhardt
Jonathan de Halleux
Michal Moskal
Jonathan Protzenko
Nikolai Tillmann
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
83-93
2015
MOBILESoft
https://doi.org/10.1109/MobileSoft.2015.20
https://doi.ieeecomputersociety.org/10.1109/MobileSoft.2015.20
http://dl.acm.org/citation.cfm?id=2825057
conf/icse/2015mobilesoft
db/conf/icse/mobilesoft2015.html#BallBHMPT15
Thomas Ball
Jakub Daniel
Deconstructing Dynamic Symbolic Execution.
26-41
2015
Dependable Software Systems Engineering
https://doi.org/10.3233/978-1-61499-495-4-26
series/natosec/40
db/series/natosec/natosec40.html#BallD15
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
SNAPL
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
LIPIcs
32
2015
978-3-939897-80-4
http://www.dagstuhl.de/dagpub/978-3-939897-80-4
db/conf/snapl/snapl2015.html
Nikolai Tillmann
Michal Moskal
Jonathan de Halleux
Sebastian Burckhardt
Thomas Ball
Judith Bishop
TouchDevelop: create rich mobile apps on touch devices (tutorial).
1-2
2014
MOBILESoft
https://doi.org/10.1145/2593902.2593903
conf/icse/2014mobilesoft
db/conf/icse/mobilesoft2014.html#TillmannMHBBB14
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.
282-293
2014
PLDI
https://doi.org/10.1145/2594291.2594317
https://doi.org/10.1145/2666356.2594317
conf/pldi/2014
db/conf/pldi/pldi2014.html#BallBGIKSSV14
Thomas Ball
Correctness via compilation to logic: a decade of verification at microsoft research.
69-70
2014
HILT
https://doi.org/10.1145/2663171.2663189
conf/sigada/2014
db/conf/sigada/hilt2014.html#Ball14
Baris Kasikci
Thomas Ball
George Candea
John Erickson
Madanlal Musuvathi
Efficient Tracing of Cold Code via Bias-Free Sampling.
243-254
2014
USENIX Annual Technical Conference
https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci
conf/usenix/2014
db/conf/usenix/usenix2014.html#KasikciBCEM14
Sam Bayless
Celina G. Val
Thomas Ball
Holger H. Hoos
Alan J. Hu
Efficient modular SAT solving for IC3.
149-156
2013
FMCAD
https://ieeexplore.ieee.org/document/6679404/
conf/fmcad/2013
db/conf/fmcad/fmcad2013.html#BaylessVBHH13
Thomas Ball
Peli de Halleux
Nikhil Swamy
Daan Leijen
Increasing human-tool interaction via the web.
49-52
2013
conf/paste/2013
PASTE
https://doi.org/10.1145/2462029.2462031
db/conf/paste/paste2013.html#BallHSL13
Thomas Ball
Rupak Majumdar
Todd D. Millstein
Sriram K. Rajamani
Automatic predicate abstraction of C programs.
37-47
2012
47
ACM SIGPLAN Notices
4a
https://doi.org/10.1145/2442776.2442783
db/journals/sigplan/sigplan47.html#BallMMR12
Francesco Logozzo
Thomas Ball
Modular and verified automatic program repair.
133-146
2012
OOPSLA
https://doi.org/10.1145/2384616.2384626
https://doi.org/10.1145/2398857.2384626
conf/oopsla/2012
db/conf/oopsla/oopsla2012.html#LogozzoB12
Daniel Perelman
Sumit Gulwani
Thomas Ball
Dan Grossman
Type-directed completion of partial expressions.
275-286
2012
PLDI
https://doi.org/10.1145/2254064.2254098
https://doi.org/10.1145/2345156.2254098
conf/pldi/2012
db/conf/pldi/pldi2012.html#PerelmanGBG12
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.
1-6
2012
SPIN
https://doi.org/10.1007/978-3-642-31759-0_1
conf/spin/2012
db/conf/spin/spin2012.html#BallBMMV12
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
7604
2012
Springer
Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-642-33475-7
978-3-642-33474-0
IFIP TCS
db/conf/ifipTCS/ifipTCS2012.html
Thomas Ball
Vladimir Levin
Sriram K. Rajamani
A decade of software model checking with SLAM.
68-76
2011
54
Commun. ACM
7
https://doi.org/10.1145/1965724.1965743
db/journals/cacm/cacm54.html#BallLR11
Thomas Ball
Sebastian Burckhardt
Peli de Halleux
Madan Musuvathi
Shaz Qadeer
Predictable and Progressive Testing of Multithreaded Code.
75-83
2011
28
IEEE Softw.
3
https://doi.org/10.1109/MS.2010.64
http://doi.ieeecomputersociety.org/10.1109/MS.2010.64
db/journals/software/software28.html#BallBHMQ11
Juncao Li
Fei Xie
Thomas Ball
Vladimir Levin
Model Checking Büchi Pushdown Systems.
141-155
2011
FASE
https://doi.org/10.1007/978-3-642-19811-3_11
conf/fase/2011
db/conf/fase/fase2011.html#LiXBL11
Juncao Li
Fei Xie
Thomas Ball
Vladimir Levin
Con McGarvey
Formalizing hardware/software interface specifications.
143-152
2011
ASE
https://doi.org/10.1109/ASE.2011.6100048
https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100048
conf/kbse/2011
db/conf/kbse/ase2011.html#LiXBLM11
Sebastian Burckhardt
Daan Leijen
Caitlin Sadowski
Jaeheon Yi
Thomas Ball
Two for the price of one: a model for parallel and incremental computation.
427-444
2011
OOPSLA
https://doi.org/10.1145/2048066.2048101
https://doi.org/10.1145/2076021.2048101
conf/oopsla/2011
db/conf/oopsla/oopsla2011.html#BurckhardtLSYB11
Caitlin Sadowski
Thomas Ball
Judith Bishop
Sebastian Burckhardt
Ganesh Gopalakrishnan
Joseph Mayo
Madanlal Musuvathi
Shaz Qadeer
Stephen Toub
Practical parallel and concurrent programming.
189-194
2011
SIGCSE
https://doi.org/10.1145/1953163.1953222
conf/sigcse/2011
db/conf/sigcse/sigcse2011.html#SadowskiBBBGMMQT11
Nachiappan Nagappan
Thomas Ball
Evidence-Based Failure Prediction.
415-434
2011
Making Software
books/oreilly/11/OW2011
db/books/collections/OW2011.html#NagappanB11
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
POPL
ACM
2011
978-1-4503-0490-0
https://doi.org/10.1145/1926385
https://doi.org/10.1145/1925844
db/conf/popl/popl2011.html
Thomas Ball
Ella Bounimova
Vladimir Levin
Rahul Kumar 0002
Jakob Lichtenberg
The Static Driver Verifier Research Platform.
119-122
2010
CAV
https://doi.org/10.1007/978-3-642-14295-6_11
conf/cav/2010
db/conf/cav/cav2010.html#BallBLKL10
Juncao Li
Fei Xie
Thomas Ball
Vladimir Levin
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
339-353
2010
CAV
https://doi.org/10.1007/978-3-642-14295-6_30
conf/cav/2010
db/conf/cav/cav2010.html#LiXBL10
Juncao Li
Fei Xie
Thomas Ball
Vladimir Levin
Con McGarvey
An Automata-Theoretic Approach to Hardware/Software Co-verification.
248-262
2010
FASE
https://doi.org/10.1007/978-3-642-12029-9_18
conf/fase/2010
db/conf/fase/fase2010.html#LiXBLM10
Thomas Ball
Ella Bounimova
Rahul Kumar 0002
Vladimir Levin
SLAM2: Static driver verification with under 4% false alarms.
35-42
2010
FMCAD
https://ieeexplore.ieee.org/document/5770931/
conf/fmcad/2010
db/conf/fmcad/fmcad2010.html#BallBKL10
Thomas Ball
Sebastian Burckhardt
Katherine E. Coons
Madanlal Musuvathi
Shaz Qadeer
Preemption Sealing for Efficient Concurrency Testing.
420-434
2010
TACAS
https://doi.org/10.1007/978-3-642-12002-2_35
conf/tacas/2010
db/conf/tacas/tacas2010.html#BallBCMQ10
Thomas Ball
Brian Hackett
Shuvendu K. Lahiri
Shaz Qadeer
Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties.
1-24
2010
VSTTE
https://doi.org/10.1007/978-3-642-15057-9_1
conf/vstte/2010
db/conf/vstte/vstte2010.html#BallHLQV10
Thomas Ball
Sebastian Burckhardt
Jonathan de Halleux
Madanlal Musuvathi
Shaz Qadeer
Deconstructing concurrency heisenbugs.
403-404
2009
ICSE Companion
https://doi.org/10.1109/ICSE-COMPANION.2009.5071033
https://doi.ieeecomputersociety.org/10.1109/ICSE-COMPANION.2009.5071033
conf/icse/2009c
db/conf/icse/icse2009c.html#BallBHMQ09
Thomas Ball
A brief history of software - from Bell Labs to Microsoft Research.
2009
MSR
https://doi.org/10.1109/MSR.2009.5069474
https://doi.ieeecomputersociety.org/10.1109/MSR.2009.5069474
conf/msr/2009
db/conf/msr/msr2009.html#Ball09
Thomas Ball
Jürgen Giesl
Reiner Hähnle
Tobias Nipkow
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
Interaction versus Automation: The two Faces of Deduction
09411
2009
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P9411.html
http://drops.dagstuhl.de/portals/09411/
Thomas Ball
Jürgen Giesl
Reiner Hähnle
Tobias Nipkow
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
2009
Interaction versus Automation: The two Faces of Deduction
http://drops.dagstuhl.de/opus/volltexte/2010/2503/
conf/dagstuhl/2009P9411
db/conf/dagstuhl/P9411.html#BallGHN09
Thomas Ball
Jürgen Giesl
Reiner Hähnle
Tobias Nipkow
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions.
2009
Interaction versus Automation: The two Faces of Deduction
http://drops.dagstuhl.de/opus/volltexte/2010/2421/
conf/dagstuhl/2009P9411
db/conf/dagstuhl/P9411.html#BallGHN09a
Carlos Pacheco
Shuvendu K. Lahiri
Thomas Ball
Finding errors in .net with feedback-directed random testing.
87-96
2008
ISSTA
https://doi.org/10.1145/1390630.1390643
conf/issta/2008
db/conf/issta/issta2008.html#PachecoLB08
Madanlal Musuvathi
Shaz Qadeer
Thomas Ball
Gérard Basler
Piramanayagam Arumuga Nainar
Iulian Neamtiu
Finding and Reproducing Heisenbugs in Concurrent Programs.
267-280
2008
OSDI
http://www.usenix.org/events/osdi08/tech/full_papers/musuvathi/musuvathi.pdf
conf/osdi/2008
db/conf/osdi/osdi2008.html#MusuvathiQBBNN08
Grigore Rosu
Feng Chen 0006
Thomas Ball
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.
51-68
2008
RV
https://doi.org/10.1007/978-3-540-89247-2_4
conf/rv/2008
db/conf/rv/rv2008.html#RosuCB08
Thomas Ball
Orna Kupferman
Vacuity in Testing.
4-17
2008
TAP
https://doi.org/10.1007/978-3-540-79124-9_2
conf/tap/2008
db/conf/tap/tap2008.html#BallK08
Shuvendu K. Lahiri
Thomas Ball
Byron Cook
Predicate Abstraction via Symbolic Decision Procedures.
2007
3
Log. Methods Comput. Sci.
2
https://doi.org/10.2168/LMCS-3(2:1)2007
db/journals/lmcs/lmcs3.html#LahiriBC07
Thomas Ball
Orna Kupferman
Mooly Sagiv
Leaping Loops in the Presence of Abstraction.
491-503
2007
conf/cav/2007
CAV
https://doi.org/10.1007/978-3-540-73368-3_50
db/conf/cav/cav2007.html#BallKS07
Nachiappan Nagappan
Thomas Ball
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study.
364-373
2007
conf/esem/2007
ESEM
db/conf/esem/esem2007.html#NagappanB07
https://doi.org/10.1109/ESEM.2007.13
https://doi.ieeecomputersociety.org/10.1109/ESEM.2007.13
Carlos Pacheco
Shuvendu K. Lahiri
Michael D. Ernst
Thomas Ball
Feedback-Directed Random Test Generation.
75-84
2007
conf/icse/2007
ICSE
https://doi.org/10.1109/ICSE.2007.37
https://doi.ieeecomputersociety.org/10.1109/ICSE.2007.37
http://dl.acm.org/citation.cfm?id=1248841
db/conf/icse/icse2007.html#PachecoLEB07
Thomas Ball
Orna Kupferman
Better Under-Approximation of Programs by Hiding Variables.
314-328
2007
conf/vmcai/2007
VMCAI
https://doi.org/10.1007/978-3-540-69738-1_23
db/conf/vmcai/vmcai2007.html#BallK07
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.
71-81
2006
21
IEEE Intell. Syst.
6
https://doi.org/10.1109/MIS.2006.117
http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117
db/journals/expert/expert21.html#BeckertHHSGRTBR06
Thomas Ball
Automated Abstraction of Software.
8
2006
conf/atva/2006
ATVA
https://doi.org/10.1007/11901914_3
db/conf/atva/atva2006.html#Ball06
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.
73-85
2006
conf/eurosys/2006
EuroSys
https://doi.org/10.1145/1217935.1217943
db/conf/eurosys/eurosys2006.html#BallBCLLMORU06
Nachiappan Nagappan
Thomas Ball
Andreas Zeller
Mining metrics to predict component failures.
452-461
2006
conf/icse/2006
ICSE
https://doi.org/10.1145/1134285.1134349
db/conf/icse/icse2006.html#NagappanBZ06
Nachiappan Nagappan
Thomas Ball
Brendan Murphy
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures.
62-74
2006
conf/issre/2006
ISSRE
https://doi.org/10.1109/ISSRE.2006.50
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.50
db/conf/issre/issre2006.html#NagappanBM06
Gunnar Kudrjavets
Nachiappan Nagappan
Thomas Ball
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.
204-212
2006
conf/issre/2006
ISSRE
https://doi.org/10.1109/ISSRE.2006.14
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.14
db/conf/issre/issre2006.html#KudrjavetsNB06
Greta Yorsh
Thomas Ball
Mooly Sagiv
Testing, abstraction, theorem proving: better together!
145-156
2006
conf/issta/2006
ISSTA
https://doi.org/10.1145/1146238.1146255
db/conf/issta/issta2006.html#YorshBS06
Thomas Ball
Orna Kupferman
An Abstraction-Refinement Framework for Multi-Agent Systems.
379-388
2006
conf/lics/2006
LICS
https://doi.org/10.1109/LICS.2006.10
https://doi.ieeecomputersociety.org/10.1109/LICS.2006.10
db/conf/lics/lics2006.html#BallK06
Thomas Ball
Robert B. Jones
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
4144
2006
3-540-37406-X
CAV
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/11817963
db/conf/cav/cav2006.html
Multi-Version Program Analysis, 26. June - 1. July 2005
Multi-Version Program Analysis
Thomas Ball
Stephan Diehl 0001
David Notkin
Andreas Zeller
05261
2006
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P5261.html
http://drops.dagstuhl.de/portals/05261/
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
PLDI
ACM
2006
1-59593-320-4
https://doi.org/10.1145/1133981
https://doi.org/10.1145/1133255
db/conf/pldi/pldi2006.html
Shuvendu K. Lahiri
Thomas Ball
Byron Cook
Predicate Abstraction via Symbolic Decision Procedures
http://arxiv.org/abs/cs/0612003
2006
CoRR
abs/cs/0612003
db/journals/corr/corr0612.html#abs-cs-0612003
Thomas Ball
Todd D. Millstein
Sriram K. Rajamani
Polymorphic predicate abstraction.
314-343
2005
27
ACM Trans. Program. Lang. Syst.
2
https://doi.org/10.1145/1057387.1057391
db/journals/toplas/toplas27.html#BallMR05
Shuvendu K. Lahiri
Thomas Ball
Byron Cook
Predicate Abstraction via Symbolic Decision Procedures.
24-38
2005
conf/cav/2005
CAV
https://doi.org/10.1007/11513988_5
db/conf/cav/cav2005.html#LahiriBC05
Thomas Ball
Orna Kupferman
Greta Yorsh
Abstraction for Falsification.
67-81
2005
conf/cav/2005
CAV
https://doi.org/10.1007/11513988_8
db/conf/cav/cav2005.html#BallKY05
Nachiappan Nagappan
Thomas Ball
Use of relative code churn measures to predict system defect density.
284-292
2005
conf/icse/2005
ICSE
https://doi.org/10.1145/1062455.1062514
https://doi.org/10.1109/ICSE.2005.1553571
https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553571
db/conf/icse/icse2005.html#NagappanB05
Nachiappan Nagappan
Thomas Ball
Static analysis tools as early indicators of pre-release defect density.
580-586
2005
conf/icse/2005
ICSE
https://doi.org/10.1145/1062455.1062558
https://doi.org/10.1109/ICSE.2005.1553604
https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553604
db/conf/icse/icse2005.html#NagappanB05a
Thomas Ball
Shuvendu K. Lahiri
Madanlal Musuvathi
Zap: Automated Theorem Proving for Software Analysis.
2-22
2005
conf/lpar/2005
LPAR
https://doi.org/10.1007/11591191_2
db/conf/lpar/lpar2005.html#BallLM05
Thomas Ball
The Verified Software Challenge: A Call for a Holistic Approach to Reliability.
42-48
2005
VSTTE
https://doi.org/10.1007/978-3-540-69149-5_5
conf/vstte/2005
db/conf/vstte/vstte2005.html#Ball05
Thomas Ball
Stephan Diehl 0001
David Notkin
Andreas Zeller
05261 Summary - Multi-Version Program Analysis.
2005
conf/dagstuhl/2005P5261
Multi-Version Program Analysis
http://drops.dagstuhl.de/opus/volltexte/2006/559
db/conf/dagstuhl/P5261.html#BallDNZ05
Thomas Ball
Stephan Diehl 0001
David Notkin
Andreas Zeller
05261 Abstracts Collection - Multi-Version Program Analysis.
2005
conf/dagstuhl/2005P5261
Multi-Version Program Analysis
http://drops.dagstuhl.de/opus/volltexte/2006/560
db/conf/dagstuhl/P5261.html#BallDNZ05a
James R. Larus
Thomas Ball
Manuvir Das
Robert DeLine
Manuel Fähndrich
Jonathan D. Pincus
Sriram K. Rajamani
Ramanathan Venkatapathy
Righting Software.
92-100
2004
21
IEEE Softw.
3
https://doi.org/10.1109/MS.2004.1293079
http://doi.ieeecomputersociety.org/10.1109/MS.2004.1293079
db/journals/software/software21.html#LarusBDDFPRV04
Thomas Ball
Byron Cook
Shuvendu K. Lahiri
Lintao Zhang
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.
457-461
https://doi.org/10.1007/978-3-540-27813-9_36
2004
conf/cav/2004
CAV
db/conf/cav/cav2004.html#BallCLZ04
Thomas Ball
A Theory of Predicate-Complete Test Coverage and Generation.
1-22
2004
conf/fmco/2004
FMCO
https://doi.org/10.1007/11561163_1
db/conf/fmco/fmco2004.html#Ball04
Thomas Ball
Byron Cook
Vladimir Levin
Sriram K. Rajamani
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
1-20
https://doi.org/10.1007/978-3-540-24756-2_1
2004
conf/ifm/2004
IFM
db/conf/ifm/ifm2004.html#BallCLR04
Benjamin Aminof
Thomas Ball
Orna Kupferman
Reasoning About Systems with Transition Fairness.
194-208
https://doi.org/10.1007/978-3-540-32275-7_14
2004
conf/lpar/2004
LPAR
db/conf/lpar/lpar2004.html#AminofBK04
Thomas Ball
Vladimir Levin
Fei Xie
Automatic Creation of Environment Models via Training.
93-107
https://doi.org/10.1007/978-3-540-24730-2_7
2004
conf/tacas/2004
TACAS
db/conf/tacas/tacas2004.html#BallLX04
Thomas Ball
Byron Cook
Satyaki Das
Sriram K. Rajamani
Refining Approximations in Software Predicate Abstraction.
388-403
https://doi.org/10.1007/978-3-540-24730-2_30
2004
conf/tacas/2004
TACAS
db/conf/tacas/tacas2004.html#BallCDR04
Thomas Ball
Andreas Podelski
Sriram K. Rajamani
Boolean and Cartesian abstraction for model checking C programs.
49-58
2003
5
Int. J. Softw. Tools Technol. Transf.
1
https://doi.org/10.1007/s10009-002-0095-0
db/journals/sttt/sttt5.html#BallPR03
Thomas Ball
Mayur Naik
Sriram K. Rajamani
From symptom to cause: localizing errors in counterexample traces.
97-105
2003
conf/popl/2003
POPL
https://doi.org/10.1145/604131.604140
https://doi.org/10.1145/640128.604140
db/conf/popl/popl2003.html#BallNR03
Thomas Ball
Sriram K. Rajamani
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
SPIN
Lecture Notes in Computer Science
2648
Springer
2003
3-540-40117-2
https://doi.org/10.1007/3-540-44829-2
db/conf/spin/spin2003.html
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.
625-637
2002
28
IEEE Trans. Software Eng.
7
https://doi.org/10.1109/TSE.2002.1019478
http://doi.ieeecomputersociety.org/10.1109/TSE.2002.1019478
db/journals/tse/tse28.html#AtkinsBGM02
Thomas Ball
Secrets of Software Model Checking.
3
2002
APPIA-GULP-PRODE
https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02_intro.pdf
conf/agp/2002
db/conf/agp/agp2002.html#Ball02
Thomas Ball
Sriram K. Rajamani
The SLAM project: debugging system software via static analysis.
1-3
2002
conf/popl/2002
POPL
https://doi.org/10.1145/503272.503274
https://doi.org/10.1145/565816.503274
db/conf/popl/popl2002.html#BallR02
Stephen Adams 0001
Thomas Ball
Manuvir Das
Sorin Lerner
Sriram K. Rajamani
Mark Seigle
Westley Weimer
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.
230-246
2002
conf/sas/2002
SAS
https://doi.org/10.1007/3-540-45789-5_18
db/conf/sas/sas2002.html#AdamsBDLRSW02
Thomas Ball
Andreas Podelski
Sriram K. Rajamani
Relative Completeness of Abstraction Refinement for Software Model Checking.
158-172
2002
conf/tacas/2002
TACAS
https://doi.org/10.1007/3-540-46002-0_12
db/conf/tacas/tacas2002.html#BallPR02
Thomas Ball
Hans-Juergen Boehm
SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century.
1-2
2001
36
ACM SIGPLAN Notices
4
db/journals/sigplan/sigplan36.html#BallB01
https://doi.org/10.1145/375431.375432
Thomas Ball
Sriram K. Rajamani
The SLAM Toolkit.
260-264
2001
conf/cav/2001
CAV
https://doi.org/10.1007/3-540-44585-4_25
db/conf/cav/cav2001.html#BallR01
Thomas Ball
Sriram K. Rajamani
Bebop: a path-sensitive interprocedural dataflow engine.
97-103
2001
conf/paste/2001
PASTE
https://doi.org/10.1145/379605.379690
db/conf/paste/paste2001.html#BallR01
Thomas Ball
Rupak Majumdar
Todd D. Millstein
Sriram K. Rajamani
Automatic Predicate Abstraction of C Programs.
203-213
2001
conf/pldi/2001
PLDI
db/conf/pldi/pldi2001.html#BallMMR01
https://doi.org/10.1145/378795.378846
https://doi.org/10.1145/381694.378846
Thomas Ball
Sriram K. Rajamani
Automatically Validating Temporal Safety Properties of Interfaces.
103-122
2001
conf/spin/2001
SPIN
https://doi.org/10.1007/3-540-45139-0_7
https://dl.acm.org/doi/10.5555/380921.380932
db/conf/spin/spin2001.html#BallR01
Thomas Ball
Sagar Chaki
Sriram K. Rajamani
Parameterized Verification of Multithreaded Software Libraries.
158-173
2001
conf/tacas/2001
TACAS
https://doi.org/10.1007/3-540-45319-9_12
db/conf/tacas/tacas2001.html#BallCR01
Thomas Ball
Andreas Podelski
Sriram K. Rajamani
Boolean and Cartesian Abstraction for Model Checking C Programs.
268-283
2001
conf/tacas/2001
TACAS
https://doi.org/10.1007/3-540-45319-9_19
db/conf/tacas/tacas2001.html#BallPR01
Thomas Ball
Veta Bonnewell
Peter J. Danielsen
Peter Mataga
Kenneth Rehor
Speech-enabled services using TelePortalTM software and VoiceXMLstar.
98-111
2000
5
Bell Labs Tech. J.
3
https://doi.org/10.1002/bltj.2238
db/journals/bell/bell5.html#BallBDMR00
Thomas Ball
James R. Larus
Using Paths to Measure, Explain, and Enhance Program Behavior.
57-65
2000
33
Computer
7
https://doi.org/10.1109/2.869371
http://doi.ieeecomputersociety.org/10.1109/2.869371
db/journals/computer/computer33.html#BallL00
Thomas Ball
Christopher Colby
Peter J. Danielsen
Lalita Jategaonkar Jagadeesan
Radha Jagadeesan
Konstantin Läufer
Peter Mataga
Kenneth Rehor
Sisl: Several Interfaces, Single Logic.
93-108
2000
3
Int. J. Speech Technol.
2
https://doi.org/10.1023/A%3A1009645414233
db/journals/ijst/ijst3.html#BallCDJJLMR00
Thomas Ball
Daniel Hoffman
Frank Ruskey
Richard Webber
Lee J. White
State Generation and Automated Class Testing.
149-170
2000
10
Softw. Test. Verification Reliab.
3
db/journals/stvr/stvr10.html#BallHRWW00
https://doi.org/10.1002/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T
Thomas Ball
Sriram K. Rajamani
Bebop: A Symbolic Model Checker for Boolean Programs.
113-130
2000
conf/spin/2000
SPIN
db/conf/spin/spin2000.html#BallR00
https://doi.org/10.1007/10722468_7
Thomas Ball
Paths between Imperative and Functional Programming.
21-25
1999
34
ACM SIGPLAN Notices
2
db/journals/sigplan/sigplan34.html#Ball99
https://doi.org/10.1145/307903.307910
David L. Atkins
Thomas Ball
Glenn Bruns
Kenneth C. Cox
Mawl: A Domain-Specific Language for Form-Based Services.
334-346
1999
25
IEEE Trans. Software Eng.
3
https://doi.org/10.1109/32.798323
http://doi.ieeecomputersociety.org/10.1109/32.798323
db/journals/tse/tse25.html#AtkinsBBC99
Michael Siff
Satish Chandra 0001
Thomas Ball
Krishna Kunchithapadam
Thomas W. Reps
Coping with Type Casts in C.
180-198
1999
conf/esec/1999
ESEC / SIGSOFT FSE
https://doi.org/10.1007/3-540-48166-4_12
https://doi.org/10.1145/318774.318942
db/conf/esec/esec99.html#SiffCBKR99
Thomas Ball
The Concept of Dynamic Analysis.
216-234
1999
conf/esec/1999
ESEC / SIGSOFT FSE
https://doi.org/10.1007/3-540-48166-4_14
https://doi.org/10.1145/318774.318944
db/conf/esec/esec99.html#Ball99
David L. Atkins
Thomas Ball
Todd L. Graves
Audris Mockus
Using Version Control Data to Evaluate the Impact of Software Tools.
324-333
1999
conf/icse/1999
ICSE
https://doi.org/10.1145/302405.302649
db/conf/icse/icse99.html#AtkinsBGM99
Thomas Ball
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999
DSL
ACM
1999
1-58113-255-7
https://doi.org/10.1145/331960
https://doi.org/10.1145/331963
db/conf/dsl/dsl1999.html
Fred Douglis
Thomas Ball
Yih-Farn Chen
Eleftherios Koutsofios
The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web.
27-44
1998
1
World Wide Web
1
db/journals/www/www1.html#DouglisBCK98
https://doi.org/10.1023/A:1019243126596
Thomas Ball
On the Limit of Control Flow Analysis for Regression Test Selection.
134-142
1998
conf/issta/1998
ISSTA
https://doi.org/10.1145/271771.271802
https://doi.org/10.1145/271775.271802
db/conf/issta/issta98.html#Ball98
Thomas Ball
Peter Mataga
Shmuel Sagiv
Edge Profiling versus Path Profiling: The Showdown.
134-148
1998
conf/popl/1998
POPL
https://doi.org/10.1145/268946.268958
db/conf/popl/popl98.html#BallMS98
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
PASTE
ACM
1998
1-58113-055-4
https://doi.org/10.1145/277631
https://doi.org/10.1145/277633
db/conf/paste/paste98.html
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.
19-35
1997
2
Bell Labs Tech. J.
1
https://doi.org/10.1002/bltj.2029
db/journals/bell/bell2.html#AtkinsBBBCLMPRR97
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.
37-50
1997
conf/dsl/1997
DSL
http://www.usenix.org/publications/library/proceedings/dsl97/atkins.html
db/conf/dsl/dsl1997.html#AtkinsBBBCMR97
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.
432-449
1997
conf/esec/1997
ESEC / SIGSOFT FSE
https://doi.org/10.1007/3-540-63531-9_29
https://doi.org/10.1145/267896.267925
https://www.wikidata.org/entity/Q111899392
db/conf/esec/esec97.html#RepsBDL98
Dean F. Jerding
John T. Stasko
Thomas Ball
Visualizing Interactions in Program Executions.
360-370
1997
conf/icse/1997
ICSE
https://doi.org/10.1145/253228.253356
db/conf/icse/icse97.html#JerdingSB97
Glenn Ammons
Thomas Ball
James R. Larus
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling.
85-96
1997
conf/pldi/1997
PLDI
db/conf/pldi/pldi97.html#AmmonsBL97
https://doi.org/10.1145/258915.258924
https://doi.org/10.1145/258916.258924
Fred Douglis
Thomas Ball
Yih-Farn Chen
Eleftherios Koutsofios
WebGUIDE: Querying and Navigating Changes in Web Repositories.
1335-1344
1996
28
Comput. Networks
7-11
db/journals/cn/cn28.html#DouglisBCK96
https://doi.org/10.1016/0169-7552(96)00059-1
Thomas Ball
Stephen G. Eick
Software Visualization in the Large.
33-43
1996
29
Computer
4
db/journals/computer/computer29.html#BallE96
https://doi.org/10.1109/2.488299
http://doi.ieeecomputersociety.org/10.1109/2.488299
Thomas Ball
Fred Douglis
An Internet Difference Engine and its Applications.
71-76
1996
conf/compcon/1996
COMPCON
db/conf/compcon/compcon96.html#BallD96
https://doi.org/10.1109/CMPCON.1996.501751
https://doi.ieeecomputersociety.org/10.1109/CMPCON.1996.501751
Thomas Ball
James R. Larus
Efficient Path Profiling.
46-57
1996
conf/micro/1996
MICRO
https://doi.org/10.1109/MICRO.1996.566449
https://doi.ieeecomputersociety.org/10.1109/MICRO.1996.566449
https://dl.acm.org/doi/10.5555/243846.243857
db/conf/micro/micro96.html#BallL96
Fred Douglis
Thomas Ball
Tracking and Viewing Changes on the Web.
165-176
1996
conf/usenix/1996
USENIX Annual Technical Conference
db/conf/usenix/usenix96.html#DouglisB96
Trishul M. Chilimbi
Thomas Ball
Stephen G. Eick
James R. Larus
Storm Watch: A Tool for Visualizing Memory System Protocols.
1995
conf/sc/1995
SC
https://doi.org/10.1145/224170.224287
https://doi.ieeecomputersociety.org/10.1109/SUPERC.1995.68
db/conf/sc/sc1995.html#ChilimbiBEL95
38
James R. Larus
Thomas Ball
Rewriting Executable Files to Measure Program Behavior.
197-218
1994
24
Softw. Pract. Exp.
2
db/journals/spe/spe24.html#LarusB94
https://doi.org/10.1002/spe.4380240204
Thomas Ball
James R. Larus
Optimally Profiling and Tracing Programs.
1319-1360
1994
16
ACM Trans. Program. Lang. Syst.
4
https://doi.org/10.1145/183432.183527
db/journals/toplas/toplas16.html#BallL94
Thomas Ball
Efficient Counting Program Events with Support for On-Line Queries.
1399-1410
1994
16
ACM Trans. Program. Lang. Syst.
5
https://doi.org/10.1145/186025.186027
db/journals/toplas/toplas16.html#Ball94
Hank P. Beelen
Thomas Ball
End-to-end Service Survivability- Study Methodology Root Cause Analysis Solution Alternatives.
655-670
1994
NOMS
https://doi.org/10.1109/NOMS.1994.644161
conf/noms/1994
db/conf/noms/noms1994.html#BeelenB94
Thomas Ball
Stephen G. Eick
Visualizing Program Slices.
288-295
1994
conf/vl/1994
VL
db/conf/vl/vl94.html#BallE94
https://doi.org/10.1109/VL.1994.363606
https://doi.ieeecomputersociety.org/10.1109/VL.1994.363606
Thomas Ball
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.
1-16
1993
2
LOPLAS
1-4
db/journals/loplas/loplas2.html#Ball93
https://doi.org/10.1145/176454.176456
Thomas Ball
Susan Horwitz
Slicing Programs with Arbitrary Control-flow.
206-222
1993
conf/aadebug/1993
AADEBUG
db/conf/aadebug/aadebug93.html#BallH93
https://doi.org/10.1007/BFb0019410
Thomas Ball
James R. Larus
Branch Prediction For Free.
300-313
1993
conf/pldi/1993
PLDI
db/conf/pldi/pldi93.html#BallL93
https://doi.org/10.1145/155090.155119
https://doi.org/10.1145/173262.155119
Thomas Ball
James R. Larus
Optimally Profiling and Tracing Programs.
59-70
1992
conf/popl/1992
POPL
db/conf/popl/popl92.html#BallL92
https://doi.org/10.1145/143165.143180
Stephen Adams 0001
Benjamin Aminof
Glenn Ammons
David L. Atkins
Jonny Austin
Jos C. M. Baeten
Howard Baker
Chetan Bansal
Thomas R. Baran
Gérard Basler
Sam Bayless
Bernhard Beckert
Hank P. Beelen
Michael Benedikt
A. Michael Berman
Judith Bishop
Nikolaj S. Bjørner
Rastislav Bodík
Hans-Juergen Boehm
Frank S. de Boer
Veta Bonnewell
Ahmed Bouajjani
Ella Bounimova
Michael Braun
Glenn Bruns
Sebastian Burckhardt
George Candea
Sagar Chaki
Satish Chandra 0001
Abhijith Chatra
Feng Chen 0006
Yih-Farn Robin ChenYih-Farn Chen
Trishul M. Chilimbi
Christopher Colby
Byron Cook
Katherine E. Coons
Kenneth C. Cox
Gabriele D'Amone
Jakub Daniel
Peter J. Danielsen
Manuvir Das
Satyaki Das
Nate Deisinger
Robert DeLine
James Devine
Stephan Diehl 0001
Fred Douglis
Stefania Druga
Gabriel Ebner
Stephen G. Eick
John Erickson
Michael D. Ernst
Manuel Fähndrich
Joe Finney
David Gakure
Aaron Gember
Jürgen Giesl
Ganesh Gopalakrishnan
Todd L. Graves
Cordell Green
Dan Grossman
Sumit Gulwani
Brian Hackett
Reiner Hähnle
Jonathan de HalleuxPeli de Halleux
Kobi Hartley
C. A. R. HoareTony Hoare
Steve Hodges 0001
Daniel Hoffman
Holger H. Hoos
Susan Horwitz
Alan J. Hu
Shachar Itzhaky
Lalita Jategaonkar Jagadeesan
Radha Jagadeesan
Dean F. Jerding
Robert B. Jones
Shannon Kao
Aleksandr Karbyshev
Baris Kasikci
Annie Kelly
Richard Knoll
Amy J. Ko
Paul Kos
Eleftherios Koutsofios
Shriram Krishnamurthi
Gunnar Kudrjavets
Rahul Kumar 0002
Krishna Kunchithapadam
Orna Kupferman
Marta Z. KwiatkowskaMarta Kwiatkowska
David A. Ladd
Shuvendu K. Lahiri
James R. Larus
Konstantin Läufer
Daan Leijen
Benjamin S. Lerner
Sorin Lerner
Vladimir Levin
Juncao Li
Jakob Lichtenberg
Francesco Logozzo
Rupak Majumdar
Peter MatagaPeter A. Mataga
Joseph Mayo
Con McGarvey
Kenneth L. McMillan
Todd D. Millstein
Audris Mockus
J. Gregory MorrisettGreg Morrisett
Michal Moskal
Leonardo Mendonça de Moura
Brendan Murphy
Madan MusuvathiMadanlal Musuvathi
Nachiappan Nagappan
Mayur Naik
Piramanayagam Arumuga Nainar
Iulian Neamtiu
Galen Nickel
Tobias Nipkow
David Notkin
Bohus Ondrusek
Matt Oppenheim
Carlos Pacheco
Daniel Perelman
Jonathan D. Pincus
Andreas Podelski
Jonathan Protzenko
Carlos Puchol
Shaz Qadeer
Sriram K. Rajamani
J. Christopher Ramming
Silvio Ranise
Kenneth Rehor
Thomas W. Reps
Clare Riley
Asta Roseway
Grigore Rosu
Frank Ruskey
Jacqueline Russell
Olli Saarikivi
Caitlin Sadowski
Shmuel SagivMooly Sagiv
Michael Schapira
Michael I. Schwartzbach
Mark Seigle
Sue Sentance
Teddy Seyed
R. Benjamin Shapiro
Michael Siff
Douglas R. Smith
John T. Stasko
Gareth Stockdale
Nikhil Swamy
Nikolai Tillmann
Cesare Tinelli
Frank Tip
Stephen Toub
Curtis Tuckey
Lorraine Underwood
Apoorv Upreti
Abdullah Ustuner
Celina G. Val
Asaf Valadarsky
Julien Vanegue
Moshe Y. Vardi
Margus Veanes
Ramanathan Venkatapathy
Richard Webber
Westley Weimer
Lee J. White
Joey Wunderlich
Fei Xie
Jaeheon Yi
Greta Yorsh
Andreas Zeller
Lintao Zhang
Benjamin G. Zorn
Daryl Zuniga