Thomas Ball
发表
Thomas Ball,
Susan Horwitz,
T. Ball,
1993,
AADEBUG.
James R. Larus,
Thomas W. Reps,
Thomas Ball,
1997,
ESEC '97/FSE-5.
Jonathan de Halleux,
Daan Leijen,
Nikhil Swamy,
2013,
PASTE '13.
Thomas Ball,
Robert B. Jones,
2006
.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2002
.
Jonathan de Halleux,
Thomas Ball,
R. Benjamin Shapiro,
2018,
CHI.
Satish Chandra,
Thomas W. Reps,
Thomas Ball,
1999,
ESEC/FSE-7.
Sagar Chaki,
Sriram K. Rajamani,
Thomas Ball,
2001,
TACAS.
Alan J. Hu,
Holger H. Hoos,
Thomas Ball,
2013,
2013 Formal Methods in Computer-Aided Design.
Daniel Hoffman,
Lee J. White,
Thomas Ball,
2000
.
Thomas Ball,
Kenneth C. Cox,
Glenn Bruns,
1999,
IEEE Trans. Software Eng..
Fred Douglis,
Thomas Ball,
1996,
COMPCON '96. Technologies for the Information Superhighway Digest of Papers.
Michael Benedikt,
Thomas Ball,
Kenneth C. Cox,
1997,
DSL.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000,
SPIN.
Jonathan de Halleux,
Steve Hodges,
Thomas Ball,
2019,
J. Syst. Archit..
James R. Larus,
Thomas Ball,
T. Ball,
1994,
Softw. Pract. Exp..
Sorin Lerner,
Westley Weimer,
Sriram K. Rajamani,
2002,
SAS.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2004,
TACAS.
Andreas Zeller,
Thomas Ball,
Stephan Diehl,
2006,
Multi-Version Program Analysis.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2019,
CHI Extended Abstracts.
Fei Xie,
Thomas Ball,
Vladimir Levin,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Andreas Podelski,
Sriram K. Rajamani,
Thomas Ball,
2001,
TACAS.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
James R. Larus,
Thomas Ball,
Trishul M. Chilimbi,
1995,
Proceedings of the IEEE/ACM SC95 Conference.
James R. Larus,
Thomas Ball,
T. Ball,
1992,
POPL '92.
Thomas Ball,
Hank P. Beelen,
1994,
Proceedings of NOMS '94 - IEEE Network Operations and Management Symposium.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2004,
CAV.
Sriram K. Rajamani,
Thomas Ball,
2002
.
Thomas Ball,
2014,
HILT.
Todd D. Millstein,
Sriram K. Rajamani,
Thomas Ball,
2005,
TOPL.
Mooly Sagiv,
Thomas Ball,
2011,
POPL 2011.
Shriram Krishnamurthi,
Thomas Ball,
Benjamin S. Lerner,
2015
.
Fei Xie,
Thomas Ball,
Vladimir Levin,
2011,
FASE.
Thomas Ball,
T. Ball,
2003
.
Thomas Ball,
Steve Hodges,
2016
.
James R. Larus,
Thomas Ball,
T. Ball,
1994,
TOPL.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2014,
MOBILESoft 2014.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2005,
CAV.
Hans-Juergen Boehm,
Thomas Ball,
2001,
SIGP.
Thomas Ball,
2005
.
Thomas Ball,
Chetan Bansal,
Rahul Kumar,
2016,
IFM.
Thomas Ball,
T. Ball,
1998,
ISSTA '98.
Shriram Krishnamurthi,
Thomas Ball,
Benjamin S. Lerner,
2015,
SNAPL.
Thomas Ball,
2014
.
Thomas Ball,
Peter Andrew Mataga,
Peter John Danielsen,
2000
.
Daniel Hoffman,
Lee J. White,
Frank Ruskey,
2000,
Softw. Test. Verification Reliab..
James R. Larus,
Thomas Ball,
2000,
Computer.
Thomas Ball,
T. Ball,
1999,
ESEC/FSE-7.
Sriram K. Rajamani,
Thomas Ball,
2001,
CAV.
Sue Sentance,
Steve Hodges,
Thomas Ball,
2020,
Computer.
Sebastian Burckhardt,
Daan Leijen,
Thomas Ball,
2011,
OOPSLA '11.
Andreas Podelski,
Sriram K. Rajamani,
Thomas Ball,
2001,
International Journal on Software Tools for Technology Transfer.
Nikolaj Bjørner,
Margus Veanes,
Thomas Ball,
2012,
SPIN.
Orna Kupferman,
Thomas Ball,
2008,
TAP.
James R. Larus,
Thomas Ball,
J. Larus,
1996,
Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2001,
PASTE '01.
Thomas Ball,
Shmuel Sagiv,
Peter Mataga,
1998,
POPL '98.
Thomas Ball,
Nachiappan Nagappan,
2005,
ICSE.
Thomas Ball,
T. Ball,
1993,
LOPL.
Frank S. de Boer,
Thomas Ball,
Jos C. M. Baeten,
2012,
Lecture Notes in Computer Science.
Thomas Ball,
Michael I. Schwartzbach,
2006,
PLDI 2006.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2018,
LCTES.
Tobias Nipkow,
Jürgen Giesl,
Reiner Hähnle,
2009,
Interaction versus Automation: The two Faces of Deduction.
Judith Bishop,
Thomas Ball,
Joe Finney,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Fei Xie,
Thomas Ball,
Vladimir Levin,
2010,
FASE.
Fred Douglis,
Thomas Ball,
1996
.
Jonathan de Halleux,
Judith Bishop,
Michael Braun,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Fred Douglis,
Thomas Ball,
1996,
USENIX Annual Technical Conference.
Thomas Ball,
Carlos Puchol,
Peter Andrew Mataga,
2000
.
Thomas Ball,
T. Ball,
2006,
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Orna Kupferman,
Thomas Ball,
2007,
VMCAI.
Thomas Ball,
T. Ball,
2004,
FMCO.
Nachiappan Nagappan,
Thomas Ball,
2005,
ICSE.
Thomas Ball,
2005,
VSTTE.
Sebastian Burckhardt,
Jonathan de Halleux,
Thomas Ball,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
James R. Larus,
Thomas Ball,
T. Ball,
1994
.
Nachiappan Nagappan,
Thomas Ball,
T. Ball,
2006
.
Fei Xie,
Thomas Ball,
Vladimir Levin,
2004,
TACAS.
Thomas Ball,
Stephen G. Eick,
T. Ball,
1996,
Computer.
Jonathan de Halleux,
Thomas Ball,
Michal Moskal,
2019,
MPLR.
Nachiappan Nagappan,
Thomas Zimmermann,
Andreas Zeller,
2007
.
Brendan Murphy,
Nachiappan Nagappan,
Thomas Ball,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Michael Schapira,
Nikolaj Bjørner,
Aaron Gember,
2014,
PLDI.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2004,
IFM.
Shuvendu K. Lahiri,
Thomas Ball,
Shaz Qadeer,
2010,
VSTTE.
Thomas Ball,
Benjamin G. Zorn,
T. Ball,
2015,
Commun. ACM.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2005,
Log. Methods Comput. Sci..
Thomas Ball,
Nachiappan Nagappan,
2011,
Making Software.
Thomas Ball,
Robert B. Jones,
2006,
CAV.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2013
.
Sriram K. Rajamani,
Thomas Ball,
2003
.
James R. Larus,
Robert DeLine,
Sriram K. Rajamani,
2004,
IEEE Software.
Thomas Ball,
Vladimir Levin,
Juncao Li,
2011
.
Fred Douglis,
Thomas Ball,
Yih-Farn Robin Chen,
1998,
World Wide Web.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2006,
EuroSys.
Tobias Nipkow,
Jürgen Giesl,
Reiner Hähnle,
2009,
Interaction versus Automation: The two Faces of Deduction.
Audris Mockus,
Thomas Ball,
Todd L. Graves,
2002,
IEEE Trans. Software Eng..
Thomas Ball,
Kenneth C. Cox,
Carlos Puchol,
1997,
Bell Labs Technical Journal.
Thomas Ball,
Francesco Logozzo,
T. Ball,
2012,
OOPSLA '12.
Thomas Ball,
Shmuel Sagiv,
Greta Yorsh,
2006,
ISSTA '06.
C. A. R. Hoare,
Cesare Tinelli,
Bernhard Beckert,
2006,
IEEE Intelligent Systems.
Thomas Ball,
Susan Horwitz,
1992
.
Audris Mockus,
Thomas Ball,
Todd L. Graves,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Thomas Ball,
2009,
MSR.
Thomas Ball,
Michael I. Schwartzbach,
2006,
PLDI.
Orna Kupferman,
Thomas Ball,
Shmuel Sagiv,
2007,
CAV.
Sebastian Burckhardt,
Ganesh Gopalakrishnan,
Judith Bishop,
2011,
SIGCSE.
Thomas Ball,
2018,
2018 IEEE International Conference on Software Architecture Companion (ICSA-C).
Thomas Ball,
2017,
ICSE-SEET.
Frank Tip,
Thomas Ball,
A. Michael Berman,
1998
.
Sebastian Burckhardt,
Thomas Ball,
Madan Musuvathi,
2010,
TACAS.
Radha Jagadeesan,
Peter J. Danielsen,
Thomas Ball,
2000,
Int. J. Speech Technol..
Thomas Ball,
2011
.
Sebastian Burckhardt,
Nikolai Tillmann,
Michal Moskal,
2014
.
Thomas Ball,
Rahul Kumar,
Vladimir Levin,
2010,
CAV.
Andreas Zeller,
David Notkin,
Stephan Diehl,
2005,
Multi-Version Program Analysis.
Thomas Ball,
Peter John Danielsen,
Kenneth G. Rehor,
2001
.
Michael D. Ernst,
Shuvendu K. Lahiri,
Thomas Ball,
2007,
29th International Conference on Software Engineering (ICSE'07).
Thomas Ball,
1999
.
James R. Larus,
Thomas Ball,
T. Ball,
1993,
PLDI '93.
Orna Kupferman,
Benjamin Aminof,
Thomas Ball,
2005,
LPAR.
Thomas Ball,
2006,
ATVA.
Thomas Ball,
Vladimir Levin,
Leonardo de Moura,
2010
.
Rupak Majumdar,
Todd D. Millstein,
Sriram K. Rajamani,
2001,
PLDI '01.
Thomas Ball,
Michael I. Schwartzbach,
2006
.
Hans-Juergen Boehm,
Thomas Ball,
2001
.
Sriram K. Rajamani,
Thomas Ball,
2003,
Lecture Notes in Computer Science.
Thomas Ball,
T. Reps,
2002,
APPIA-GULP-PRODE.
Jonathan de Halleux,
Judith Bishop,
Thomas Ball,
2017,
SIGCSE.
Andreas Zeller,
Nachiappan Nagappan,
Thomas Ball,
2006,
ICSE.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2001,
SPIN '01.
Nachiappan Nagappan,
Thomas Ball,
Gunnar Kudrjavets,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Thomas Ball,
2013
.
Todd Millstein,
Rupak Majumdar,
Sriram K. Rajamani,
2001,
PLDI '01.
James R. Larus,
Thomas Ball,
Trishul M. Chilimbi,
1995
.
Tobias Nipkow,
Jürgen Giesl,
Reiner Hähnle,
2009,
Interaction versus Automation: The two Faces of Deduction.
James R. Larus,
Thomas Ball,
1999
.
Shuvendu K. Lahiri,
Thomas Ball,
Madan Musuvathi,
2005,
LPAR.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
John Stasko,
Thomas Ball,
Dean Frederick Jerding,
1996
.
Andreas Zeller,
David Notkin,
Stephan Diehl,
2005,
Multi-Version Program Analysis.
Andreas Podelski,
Sriram K. Rajamani,
Thomas Ball,
2002,
TACAS.
Sriram K. Rajamani,
Thomas Ball,
2003
.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
Thomas Ball,
Gérard Basler,
Iulian Neamtiu,
2008,
OSDI.
George Candea,
Thomas Ball,
John Erickson,
2014,
USENIX Annual Technical Conference.
Thomas Ball,
M. Chechik,
D. Hoffman,
2004
.
Thomas Ball,
Jakub Daniel,
T. Ball,
2015,
Dependable Software Systems Engineering.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2014
.
Harvey Siy,
Thomas Ball,
Janice Kim,
1997
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2014
.
Thomas Ball,
T. Ball,
1993
.
Jonathan de Halleux,
Thomas Ball,
R. Benjamin Shapiro,
2018,
CHI.
Fred Douglis,
Thomas Ball,
Yih-Farn Robin Chen,
1996,
Comput. Networks.
Grigore Rosu,
Thomas Ball,
Feng Chen,
2008,
RV.
Nachiappan Nagappan,
Thomas Ball,
T. Ball,
2007,
First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007).
Ahmed Bouajjani,
Moshe Y. Vardi,
Thomas Ball,
2016,
Formal Methods Syst. Des..
John T. Stasko,
Thomas Ball,
Dean F. Jerding,
1997,
Proceedings of the (19th) International Conference on Software Engineering.
James R. Larus,
Thomas Ball,
Glenn Ammons,
1997,
PLDI '97.
Thomas Ball,
Stephen G. Eick,
T. Ball,
1994,
Proceedings of 1994 IEEE Symposium on Visual Languages.
Shuvendu K. Lahiri,
Thomas Ball,
Carlos Pacheco,
2008,
ISSTA '08.
Thomas Ball,
1999,
SIGP.
Sebastian Burckhardt,
Jonathan de Halleux,
Thomas Ball,
2011,
IEEE Software.
Steve Hodges,
Thomas Ball,
Michał Moskal,
2019,
SPLASH-E.
Thomas Ball,
T. Ball,
1994,
TOPL.
Peter J. Danielsen,
Thomas Ball,
Peter Mataga,
2000,
Bell Labs Tech. J..
Thomas Ball,
Rahul Kumar,
Vladimir Levin,
2010,
Formal Methods in Computer Aided Design.
Sumit Gulwani,
Dan Grossman,
Thomas Ball,
2012,
PLDI.
Fei Xie,
Thomas Ball,
Vladimir Levin,
2010,
CAV.
Thomas Ball,
Frank S. Boer,
Jos M. Baeten,
2012
.
Nachiappan Nagappan,
Thomas Ball,
2007,
ESEM 2007.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000
.
Orna Kupferman,
Thomas Ball,
Greta Yorsh,
2005,
CAV.
Orna Kupferman,
Thomas Ball,
T. Ball,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2002,
POPL '02.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2021,
FDG.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2021,
CHI.
Assessing the Relationship between Software Assertions and Code Quality : An Empirical Investigation
Nachiappan Nagappan,
Thomas Ball,
Gunnar Kudrjavets,
2006
.
Jonathan de Halleux,
Judith Bishop,
Jonathan Protzenko,
2016
.
Thomas Reps,
Thomas Ball,
Susan Horwitz,
1990
.
John T. Stasko,
Thomas Ball,
ExecutionsDean F. Jerding,
1996
.