Thomas Ball - RankMe

151 papers A* 32A 19B 13C 3Misc 3Journal 37Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Symbolic Automata: Omega-Regularity Modulo Theories. Proc. ACM Program. Lang. Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
2024	J	`jnl`	Can We Count on LLMs? The Fixed-Effect Fallacy and Claims of GPT-4 Capabilities. CoRR Thomas Ball, Shuo Chen, Cormac Herley
2024	J	`jnl`	Can We Count on LLMs? The Fixed-Effect Fallacy and Claims of GPT-4 Capabilities. Trans. Mach. Learn. Res. Thomas Ball, Shuo Chen, Cormac Herley
2024	Misc	`conf`	Imagining Inclusive Digital Maker Futures with the BBC micro: bit. IDC Thomas Ball, Joe Finney, Steve Hodges, Elisa Rubegni, Lorraine Underwood, Jayne Everson, R. Benjamin Shapiro, Colby Tofel-Grehl, Rojin Vishkaie
2024	J	`jnl`	Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
2024	Misc	`conf`	Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. IDC Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal
2024	—	`conf`	MicroCode: live, portable programming for children via robotics. UIST (Adjunct Volume) Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney
2024	—	`conf`	MicroData: live visualisation & recording of micro: bit sensor data. WiPSCE Kier Palin, Joe Finney, Steve Hodges, Thomas Ball
2024	J	`jnl`	Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mob. Comput. Commun. 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
2023	J	`jnl`	Symbolic Automata: ω-Regularity Modulo Theories. CoRR Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
2022	Misc	`conf`	How families design and program games: a qualitative analysis of a 4-week online in-home study. IDC Stefania Druga, Thomas Ball, Amy J. Ko
2022	J	`jnl`	Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 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
2021	A*	`conf`	Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
2021	C	`conf`	Web-based Programming for Low-cost Gaming Handhelds. FDG 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
2020	J	`jnl`	Physical Computing: A Key Element of Modern Computer Science Education. Computer Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
2020	J	`jnl`	The BBC micro: bit: from the U.K. to the world. Commun. ACM Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
2020	A*	`conf`	TileCode: Creation of Video Games on Gaming Handhelds. UIST Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
2019	J	`jnl`	MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
2019	—	`conf`	MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
2019	—	`conf`	Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
2019	C	`conf`	Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR Thomas Ball, Peli de Halleux, Michal Moskal
2018	A*	`conf`	ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
2018	—	`conf`	ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
2018	—	`conf`	KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry. ICSA Companion Thomas Ball
2018	B	`conf`	MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
2018	—	`conf`	Multi-platform computing for physical devices via MakeCode and CODAL. ICSE (Companion Volume) Thomas Ball, Judith Bishop, Joe Finney
2017	—	`conf`	Physical computing for everyone. ICSE-SEET Thomas Ball
2017	A	`conf`	The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE Thomas Ball, Judith Bishop, Jonathan de Halleux
2016	J	`jnl`	2014 CAV award announcement. Formal Methods Syst. Des. Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball
2016	B	`conf`	CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
2016	—	`conf`	Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
2015	—	`ed.`	1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015 SNAPL Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015	—	`conf`	Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
2015	—	`ch.`	Deconstructing Dynamic Symbolic Execution. Dependable Software Systems Engineering Thomas Ball, Jakub Daniel
2015	J	`jnl`	Teach foundational language principles. Commun. ACM Thomas Ball, Benjamin G. Zorn
2014	—	`conf`	Correctness via compilation to logic: a decade of verification at microsoft research. HILT Thomas Ball
2014	—	`conf`	Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX ATC Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
2014	—	`conf`	TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
2014	A*	`conf`	VeriCon: towards verifying controller programs in software-defined networks. PLDI Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
2013	B	`conf`	Efficient modular SAT solving for IC3. FMCAD Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
2013	—	`conf`	Increasing human-tool interaction via the web. PASTE Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen
2012	J	`jnl`	Automatic predicate abstraction of C programs. ACM SIGPLAN Notices Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2012	—	`conf`	Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes
2012	A	`conf`	Modular and verified automatic program repair. OOPSLA Francesco Logozzo, Thomas Ball
2012	—	`ed.`	Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings IFIP TCS Jos C. M. Baeten, Thomas Ball, Frank S. de Boer
2012	A*	`conf`	Type-directed completion of partial expressions. PLDI Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
2011	J	`jnl`	A decade of software model checking with SLAM. Commun. ACM Thomas Ball, Vladimir Levin, Sriram K. Rajamani
2011	—	`ch.`	Evidence-Based Failure Prediction. Making Software Nachiappan Nagappan, Thomas Ball
2011	A*	`conf`	Formalizing hardware/software interface specifications. ASE Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
2011	B	`conf`	Model Checking Büchi Pushdown Systems. FASE Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
2011	A	`conf`	Practical parallel and concurrent programming. SIGCSE Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
2011	J	`jnl`	Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
2011	A*	`ed.`	Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 POPL Thomas Ball, Mooly Sagiv
2011	A	`conf`	Two for the price of one: a model for parallel and incremental computation. OOPSLA Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball
2010	B	`conf`	An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
2010	A*	`conf`	Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
2010	A	`conf`	Preemption Sealing for Efficient Concurrency Testing. TACAS Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
2010	B	`conf`	SLAM2: Static driver verification with under 4% false alarms. FMCAD Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin
2010	A*	`conf`	The Static Driver Verifier Research Platform. CAV Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
2010	—	`conf`	Towards Scalable Modular Checking of User-Defined Properties. VSTTE Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
2009	—	`conf`	09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2009	—	`conf`	09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2009	A	`conf`	A brief history of software - from Bell Labs to Microsoft Research. MSR Thomas Ball
2009	—	`conf`	Deconstructing concurrency heisenbugs. ICSE Companion Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
2009	—	`ed.`	Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2008	A*	`conf`	Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
2008	A	`conf`	Finding errors in .net with feedback-directed random testing. ISSTA Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball
2008	B	`conf`	Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV Grigore Rosu, Feng Chen, Thomas Ball
2008	C	`conf`	Vacuity in Testing. TAP Thomas Ball, Orna Kupferman
2007	B	`conf`	Better Under-Approximation of Programs by Hiding Variables. VMCAI Thomas Ball, Orna Kupferman
2007	A*	`conf`	Feedback-Directed Random Test Generation. ICSE Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
2007	A*	`conf`	Leaping Loops in the Presence of Abstraction. CAV Thomas Ball, Orna Kupferman, Mooly Sagiv
2007	J	`jnl`	Predicate Abstraction via Symbolic Decision Procedures. Log. Methods Comput. Sci. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2007	A	`conf`	Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM Nachiappan Nagappan, Thomas Ball
2006	A*	`conf`	An Abstraction-Refinement Framework for Multi-Agent Systems. LICS Thomas Ball, Orna Kupferman
2006	A	`conf`	Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball
2006	B	`conf`	Automated Abstraction of Software. ATVA Thomas Ball
2006	A*	`ed.`	Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings CAV Thomas Ball, Robert B. Jones
2006	J	`jnl`	Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006	A*	`conf`	Mining metrics to predict component failures. ICSE Nachiappan Nagappan, Thomas Ball, Andreas Zeller
2006	—	`ed.`	Multi-Version Program Analysis, 26. June - 1. July 2005 Multi-Version Program Analysis Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
2006	J	`jnl`	Predicate Abstraction via Symbolic Decision Procedures CoRR Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2006	A*	`ed.`	Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 PLDI Michael I. Schwartzbach, Thomas Ball
2006	A	`conf`	Testing, abstraction, theorem proving: better together! ISSTA Greta Yorsh, Thomas Ball, Mooly Sagiv
2006	A	`conf`	Thorough static analysis of device drivers. EuroSys Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
2006	A	`conf`	Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE Nachiappan Nagappan, Thomas Ball, Brendan Murphy
2005	—	`conf`	05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
2005	—	`conf`	05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
2005	A*	`conf`	Abstraction for Falsification. CAV Thomas Ball, Orna Kupferman, Greta Yorsh
2005	J	`jnl`	Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
2005	A*	`conf`	Predicate Abstraction via Symbolic Decision Procedures. CAV Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2005	A*	`conf`	Static analysis tools as early indicators of pre-release defect density. ICSE Nachiappan Nagappan, Thomas Ball
2005	—	`conf`	The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE Thomas Ball
2005	A*	`conf`	Use of relative code churn measures to predict system defect density. ICSE Nachiappan Nagappan, Thomas Ball
2005	B	`conf`	Zap: Automated Theorem Proving for Software Analysis. LPAR Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
2004	—	`conf`	A Theory of Predicate-Complete Test Coverage and Generation. FMCO Thomas Ball
2004	A	`conf`	Automatic Creation of Environment Models via Training. TACAS Thomas Ball, Vladimir Levin, Fei Xie
2004	B	`conf`	Reasoning About Systems with Transition Fairness. LPAR Benjamin Aminof, Thomas Ball, Orna Kupferman
2004	A	`conf`	Refining Approximations in Software Predicate Abstraction. TACAS Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
2004	J	`jnl`	Righting Software. IEEE Softw. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
2004	B	`conf`	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
2004	A*	`conf`	Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
2003	J	`jnl`	Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2003	A*	`conf`	From symptom to cause: localizing errors in counterexample traces. POPL Thomas Ball, Mayur Naik, Sriram K. Rajamani
2003	—	`ed.`	Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings SPIN Thomas Ball, Sriram K. Rajamani
2002	A	`conf`	Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2002	—	`conf`	Secrets of Software Model Checking. APPIA-GULP-PRODE Thomas Ball
2002	B	`conf`	Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
2002	A*	`conf`	The SLAM project: debugging system software via static analysis. POPL Thomas Ball, Sriram K. Rajamani
2002	J	`jnl`	Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. IEEE Trans. Software Eng. David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus
2001	A*	`conf`	Automatic Predicate Abstraction of C Programs. PLDI Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2001	—	`conf`	Automatically Validating Temporal Safety Properties of Interfaces. SPIN Thomas Ball, Sriram K. Rajamani
2001	—	`conf`	Bebop: a path-sensitive interprocedural dataflow engine. PASTE Thomas Ball, Sriram K. Rajamani
2001	A	`conf`	Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2001	A	`conf`	Parameterized Verification of Multithreaded Software Libraries. TACAS Thomas Ball, Sagar Chaki, Sriram K. Rajamani
2001	J	`jnl`	SIGPLANet - A Modest Proposal for SIGPLAN in the 21 ACM SIGPLAN Notices Thomas Ball, Hans-Juergen Boehm
2001	A*	`conf`	The SLAM Toolkit. CAV Thomas Ball, Sriram K. Rajamani
2000	—	`conf`	Bebop: A Symbolic Model Checker for Boolean Programs. SPIN Thomas Ball, Sriram K. Rajamani
2000	J	`jnl`	Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
2000	J	`jnl`	Speech-enabled services using TelePortal Bell Labs Tech. J. Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor
2000	J	`jnl`	State Generation and Automated Class Testing. Softw. Test. Verification Reliab. Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White
2000	J	`jnl`	Using Paths to Measure, Explain, and Enhance Program Behavior. Computer Thomas Ball, James R. Larus
1999	—	`conf`	Coping with Type Casts in C. ESEC / SIGSOFT FSE Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
1999	J	`jnl`	Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox
1999	J	`jnl`	Paths between Imperative and Functional Programming. ACM SIGPLAN Notices Thomas Ball
1999	—	`ed.`	Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999 DSL Thomas Ball
1999	—	`conf`	The Concept of Dynamic Analysis. ESEC / SIGSOFT FSE Thomas Ball
1999	A*	`conf`	Using Version Control Data to Evaluate the Impact of Software Tools. ICSE David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus
1998	A*	`conf`	Edge Profiling versus Path Profiling: The Showdown. POPL Thomas Ball, Peter Mataga, Shmuel Sagiv
1998	A	`conf`	On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA Thomas Ball
1998	—	`ed.`	Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 PASTE Thomas Ball, Frank Tip, A. Michael Berman
1998	J	`jnl`	The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web. World Wide Web Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios
1997	—	`conf`	Experience with a Domain Specific Language for Form-based Services. DSL David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor
1997	A*	`conf`	Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. PLDI Glenn Ammons, Thomas Ball, James R. Larus
1997	J	`jnl`	Integrated web and telephone service creation. Bell Labs Tech. J. 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
1997	—	`conf`	The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus
1997	A*	`conf`	Visualizing Interactions in Program Executions. ICSE Dean F. Jerding, John T. Stasko, Thomas Ball
1996	—	`conf`	An Internet Difference Engine and its Applications. COMPCON Thomas Ball, Fred Douglis
1996	A*	`conf`	Efficient Path Profiling. MICRO Thomas Ball, James R. Larus
1996	J	`jnl`	Software Visualization in the Large. Computer Thomas Ball, Stephen G. Eick
1996	—	`conf`	Tracking and Viewing Changes on the Web. USENIX ATC Fred Douglis, Thomas Ball
1996	J	`jnl`	WebGUIDE: Querying and Navigating Changes in Web Repositories. Comput. Networks Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios
1995	A	`conf`	Storm Watch: A Tool for Visualizing Memory System Protocols. SC Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus
1994	J	`jnl`	Efficient Counting Program Events with Support for On-Line Queries. ACM Trans. Program. Lang. Syst. Thomas Ball
1994	J	`jnl`	Optimally Profiling and Tracing Programs. ACM Trans. Program. Lang. Syst. Thomas Ball, James R. Larus
1994	J	`jnl`	Rewriting Executable Files to Measure Program Behavior. Softw. Pract. Exp. James R. Larus, Thomas Ball
1994	—	`conf`	Visualizing Program Slices. VL Thomas Ball, Stephen G. Eick
1993	A*	`conf`	Branch Prediction For Free. PLDI Thomas Ball, James R. Larus
1993	—	`conf`	Slicing Programs with Arbitrary Control-flow. AADEBUG Thomas Ball, Susan Horwitz
1993	J	`jnl`	What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. LOPLAS Thomas Ball
1992	A*	`conf`	Optimally Profiling and Tracing Programs. POPL Thomas Ball, James R. Larus