Thomas Ball

	2011
98		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
97		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: Formalizing hardware/software interface specifications. ASE 2011: 143-152
96		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
95		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
94		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
93		Thomas Ball, Vladimir Levin, Sriram K. Rajamani: A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011)
92		Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011)
	2010
91		Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
90		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
89		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
88		Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
87		Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
86		Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue: Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
	2009
85		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
84		Thomas Ball: A brief history of software - from Bell Labs to Microsoft Research. MSR 2009
	2008
83		Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball: Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
82		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
81		Grigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
80		Thomas Ball, Orna Kupferman: Vacuity in Testing. TAP 2008: 4-17
	2007
79		Thomas Ball, Orna Kupferman, Mooly Sagiv: Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503
78		Nachiappan Nagappan, Thomas Ball: Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM 2007: 364-373
77		Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
76		Thomas Ball, Orna Kupferman: Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328
75		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. Logical Methods in Computer Science 3(2): (2007)
	2006
74		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
73		Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: Multi-Version Program Analysis, 26. June - 1. July 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
72		Thomas Ball, Robert B. Jones: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
71		Thomas Ball: Automated Abstraction of Software. ATVA 2006: 8
70		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
69		Nachiappan Nagappan, Thomas Ball, Andreas Zeller: Mining metrics to predict component failures. ICSE 2006: 452-461
68		Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball: Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE 2006: 204-212
67		Nachiappan Nagappan, Thomas Ball, Brendan Murphy: Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE 2006: 62-74
66		Greta Yorsh, Thomas Ball, Mooly Sagiv: Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
65		Thomas Ball, Orna Kupferman: An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388
64		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures CoRR abs/cs/0612003: (2006)
63		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 Intelligent Systems 21(6): 71-81 (2006)
	2005
62		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
61		Thomas Ball, Orna Kupferman, Greta Yorsh: Abstraction for Falsification. CAV 2005: 67-81
60		Nachiappan Nagappan, Thomas Ball: Use of relative code churn measures to predict system defect density. ICSE 2005: 284-292
59		Nachiappan Nagappan, Thomas Ball: Static analysis tools as early indicators of pre-release defect density. ICSE 2005: 580-586
58		Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi: Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
57		Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
56		Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
55		Thomas Ball: The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE 2005: 42-48
54		Thomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
	2004
53		Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
52		Thomas Ball: A Theory of Predicate-Complete Test Coverage and Generation. FMCO 2004: 1-22
51		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
50		Benjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208
49		Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
48		Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
47		James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy: Righting Software. IEEE Software 21(3): 92-100 (2004)
	2003
46		Thomas Ball, Sriram K. Rajamani: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings Springer 2003
45		Thomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
44		Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
	2002
43		Thomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
42		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
41		Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
40		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)
	2001
39		Thomas Ball, Sriram K. Rajamani: The SLAM Toolkit. CAV 2001: 260-264
38		Thomas Ball, Sriram K. Rajamani: Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103
37		Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
36		Thomas Ball, Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
35		Thomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
34		Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
33		Thomas Ball, Hans-Juergen Boehm: SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. SIGPLAN Notices 36(4): 1-2 (2001)
	2000
32		Thomas Ball, Sriram K. Rajamani: Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130
31		Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor: Speech-enabled services using TelePortalTM software and VoiceXMLstar. Bell Labs Technical Journal 5(3): 98-111 (2000)
30		Thomas Ball, James R. Larus: Using Paths to Measure, Explain, and Enhance Program Behavior. IEEE Computer 33(7): 57-65 (2000)
29		Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White: State Generation and Automated Class Testing. Softw. Test., Verif. Reliab. 10(3): 149-170 (2000)
	1999
28		Thomas Ball: Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999 ACM 1999
27		Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
26		Thomas Ball: The Concept of Dynamic Analysis. ESEC / SIGSOFT FSE 1999: 216-234
25		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
24		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)
23		Thomas Ball: Paths between Imperative and Functional Programming. SIGPLAN Notices 34(2): 21-25 (1999)
	1998
22		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
21		Thomas Ball: On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA 1998: 134-142
20		Thomas Ball, Peter Mataga, Shmuel Sagiv: Edge Profiling versus Path Profiling: The Showdown. POPL 1998: 134-148
19		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)
	1997
18		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
17		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
16		Dean F. Jerding, John T. Stasko, Thomas Ball: Visualizing Interactions in Program Executions. ICSE 1997: 360-370
15		Glenn Ammons, Thomas Ball, James R. Larus: Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. PLDI 1997: 85-96
	1996
14		Thomas Ball, Fred Douglis: An Internet Difference Engine and its Applications. COMPCON 1996: 71-76
13		Thomas Ball, James R. Larus: Efficient Path Profiling. MICRO 1996: 46-57
12		Fred Douglis, Thomas Ball: Tracking and Viewing Changes on the Web. USENIX Annual Technical Conference 1996: 165-176
11		Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios: WebGUIDE: Querying and Navigating Changes in Web Repositories. Computer Networks 28(7-11): 1335-1344 (1996)
10		Thomas Ball, Stephen G. Eick: Software Visualization in the Large. IEEE Computer 29(4): 33-43 (1996)
	1995
9		Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus: Storm Watch: A Tool for Visualizing Memory System Protocols. SC 1995
	1994
8		Thomas Ball, Stephen G. Eick: Visualizing Program Slices. VL 1994: 288-295
7		Thomas Ball, James R. Larus: Optimally Profiling and Tracing Programs. ACM Trans. Program. Lang. Syst. 16(4): 1319-1360 (1994)
6		Thomas Ball: Efficient Counting Program Events with Support for On-Line Queries. ACM Trans. Program. Lang. Syst. 16(5): 1399-1410 (1994)
5		James R. Larus, Thomas Ball: Rewriting Executable Files to Measure Program Behavior. Softw., Pract. Exper. 24(2): 197-218 (1994)
	1993
4		Thomas Ball, Susan Horwitz: Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222
3		Thomas Ball, James R. Larus: Branch Prediction For Free. PLDI 1993: 300-313
2		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)
	1992
1		Thomas Ball, James R. Larus: Optimally Profiling and Tracing Programs. POPL 1992: 59-70

Coauthor Index

1	Stephen Adams	[42]
2	Benjamin Aminof	[50]
3	Glenn Ammons	[15]
4	David L. Atkins	[18] [24] [25] [40]
5	Gérard Basler	[82]
6	Bernhard Beckert	[63]
7	Michael Benedikt	[18]
8	A. Michael Berman	[22]
9	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[94]
10	Hans-Juergen Boehm	[33]
11	Veta Bonnewell	[31]
12	Ella Bounimova	[70] [88] [91]
13	Glenn Bruns	[18] [24]
14	Sebastian Burckhardt	[85] [87] [92] [94] [95]
15	Sagar Chaki	[35]
16	Satish Chandra	[27]
17	Feng Chen	[81]
18	Yih-Farn Robin Chen (Yih-Farn Chen)	[11] [19]
19	Trishul M. Chilimbi	[9]
20	Byron Cook	[49] [51] [53] [62] [64] [70] [75]
21	Katherine E. Coons	[87]
22	Kenneth C. Cox	[18] [24]
23	Peter J. Danielsen	[31]
24	Manuvir Das	[17] [42] [47]
25	Satyaki Das	[49]
26	Robert DeLine	[47]
27	Stephan Diehl	[56] [57] [73]
28	Fred Douglis	[11] [12] [14] [19]
29	Stephen G. Eick	[8] [9] [10]
30	Michael D. Ernst	[77]
31	Manuel Fähndrich	[47]
32	Ganesh Gopalakrishnan	[94]
33	Todd L. Graves	[25] [40]
34	Cordell Green	[63]
35	Brian Hackett	[86]
36	Reiner Hähnle	[63]
37	Jonathan de Halleux	[85]
38	Peli de Halleux	[92]
39	C. A. R. Hoare (Tony Hoare)	[63]
40	Daniel Hoffman	[29]
41	Susan Horwitz	[4]
42	Dean F. Jerding	[16]
43	Robert B. Jones	[72]
44	Eleftherios Koutsofios	[11] [19]
45	Gunnar Kudrjavets	[68]
46	Rahul Kumar	[88] [91]
47	Krishna Kunchithapadam	[27]
48	Orna Kupferman	[50] [61] [65] [76] [79] [80]
49	Shuvendu K. Lahiri	[53] [58] [62] [64] [75] [77] [83] [86]
50	James R. Larus	[1] [3] [5] [7] [9] [13] [15] [17] [30] [47]
51	Daan Leijen	[95]
52	Sorin Lerner	[42]
53	Vladimir Levin	[48] [51] [70] [88] [89] [90] [91] [93] [96] [97]
54	Juncao Li	[89] [90] [96] [97]
55	Jakob Lichtenberg	[70] [91]
56	Rupak Majumdar	[37]
57	Peter Mataga	[18] [20] [31]
58	Joseph Mayo	[94]
59	Con McGarvey	[70] [89] [97]
60	Todd D. Millstein	[37] [54]
61	Audris Mockus	[25] [40]
62	Brendan Murphy	[67]
63	Madan Musuvathi	[92]
64	Madanlal Musuvathi	[58] [82] [85] [87] [94]
65	Nachiappan Nagappan	[59] [60] [67] [68] [69] [78]
66	Mayur Naik	[45]
67	Piramanayagam Arumuga Nainar	[82]
68	Iulian Neamtiu	[82]
69	David Notkin	[56] [57] [73]
70	Bohus Ondrusek	[70]
71	Carlos Pacheco	[77] [83]
72	Jonathan D. Pincus	[47]
73	Andreas Podelski	[34] [41] [44]
74	Shaz Qadeer	[82] [85] [86] [87] [92] [94]
75	Sriram K. Rajamani	[32] [34] [35] [36] [37] [38] [39] [41] [42] [43] [44] [45] [46] [47] [49] [51] [54] [63] [70] [93]
76	Silvio Ranise	[63]
77	Kenneth Rehor	[18] [31]
78	Thomas W. Reps	[17] [27]
79	Grigore Rosu	[81]
80	Frank Ruskey	[29]
81	Caitlin Sadowski	[94] [95]
82	Shmuel Sagiv (Mooly Sagiv)	[20] [66] [79] [98]
83	Michael I. Schwartzbach	[74]
84	Mark Seigle	[42]
85	Michael Siff	[27]
86	Douglas R. Smith	[63]
87	John T. Stasko	[16]
88	Cesare Tinelli	[63]
89	Frank Tip	[22]
90	Stephen Toub	[94]
91	Abdullah Ustuner	[70]
92	Julien Vanegue	[86]
93	Ramanathan Venkatapathy	[47]
94	Richard Webber	[29]
95	Westley Weimer	[42]
96	Lee J. White	[29]
97	Fei Xie	[48] [89] [90] [96] [97]
98	Jaeheon Yi	[95]
99	Greta Yorsh	[61] [66]
100	Andreas Zeller	[56] [57] [69] [73]
101	Lintao Zhang	[53]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page