The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Ball: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Ball, James R. Larus
    Optimally Profiling and Tracing Programs. [Citation Graph (3, 0)][DBLP]
    POPL, 1992, pp:59-70 [Conf]
  2. Thomas Ball, Fred Douglis
    An Internet Difference Engine and its Applications. [Citation Graph (1, 0)][DBLP]
    COMPCON, 1996, pp:71-76 [Conf]
  3. Thomas Ball, Susan Horwitz
    Slicing Programs with Arbitrary Control-flow. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:206-222 [Conf]
  4. Thomas Ball
    Automated Abstraction of Software. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:8- [Conf]
  5. Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
    Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:457-461 [Conf]
  6. Thomas Ball, Orna Kupferman, Greta Yorsh
    Abstraction for Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:67-81 [Conf]
  7. Thomas Ball, Sriram K. Rajamani
    The SLAM Toolkit. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:260-264 [Conf]
  8. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    Predicate Abstraction via Symbolic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:24-38 [Conf]
  9. Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
    05261 Summary - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP]
    Multi-Version Program Analysis, 2005, pp:- [Conf]
  10. Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
    05261 Abstracts Collection - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP]
    Multi-Version Program Analysis, 2005, pp:- [Conf]
  11. David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor
    Experience with a Domain Specific Language for Form-based Services. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:37-50 [Conf]
  12. Thomas Ball
    The Concept of Dynamic Analysis. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:216-234 [Conf]
  13. Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
    Coping with Type Casts in C. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:180-198 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:432-449 [Conf]
  15. Thomas Ball
    A Theory of Predicate-Complete Test Coverage and Generation. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:1-22 [Conf]
  16. David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus
    Using Version Control Data to Evaluate the Impact of Software Tools. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:324-333 [Conf]
  17. Dean F. Jerding, John T. Stasko, Thomas Ball
    Visualizing Interactions in Program Executions. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:360-370 [Conf]
  18. Nachiappan Nagappan, Thomas Ball
    Use of relative code churn measures to predict system defect density. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:284-292 [Conf]
  19. Nachiappan Nagappan, Thomas Ball
    Static analysis tools as early indicators of pre-release defect density. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:580-586 [Conf]
  20. Nachiappan Nagappan, Thomas Ball, Andreas Zeller
    Mining metrics to predict component failures. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:452-461 [Conf]
  21. Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
    Feedback-Directed Random Test Generation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:75-84 [Conf]
  22. Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
    SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:1-20 [Conf]
  23. Nachiappan Nagappan, Thomas Ball, Brendan Murphy
    Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:62-74 [Conf]
  24. Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball
    Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:204-212 [Conf]
  25. Thomas Ball
    On the Limit of Control Flow Analysis for Regression Test Selection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:134-142 [Conf]
  26. Greta Yorsh, Thomas Ball, Mooly Sagiv
    Testing, abstraction, theorem proving: better together! [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:145-156 [Conf]
  27. Thomas Ball, Orna Kupferman
    An Abstraction-Refinement Framework for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:379-388 [Conf]
  28. Benjamin Aminof, Thomas Ball, Orna Kupferman
    Reasoning About Systems with Transition Fairness. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:194-208 [Conf]
  29. Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
    Zap: Automated Theorem Proving for Software Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:2-22 [Conf]
  30. Thomas Ball, James R. Larus
    Efficient Path Profiling. [Citation Graph (0, 0)][DBLP]
    MICRO, 1996, pp:46-57 [Conf]
  31. Thomas Ball, Sriram K. Rajamani
    Bebop: a path-sensitive interprocedural dataflow engine. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:97-103 [Conf]
  32. Thomas Ball, James R. Larus
    Branch Prediction For Free. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:300-313 [Conf]
  33. Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
    Automatic Predicate Abstraction of C Programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:203-213 [Conf]
  34. Glenn Ammons, Thomas Ball, James R. Larus
    Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:85-96 [Conf]
  35. Thomas Ball, Peter Mataga, Shmuel Sagiv
    Edge Profiling versus Path Profiling: The Showdown. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:134-148 [Conf]
  36. Thomas Ball, Mayur Naik, Sriram K. Rajamani
    From symptom to cause: localizing errors in counterexample traces. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:97-105 [Conf]
  37. Thomas Ball, Sriram K. Rajamani
    The SLAM project: debugging system software via static analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:1-3 [Conf]
  38. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
    Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:230-246 [Conf]
  39. Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus
    Storm Watch: A Tool for Visualizing Memory System Protocols. [Citation Graph (0, 0)][DBLP]
    SC, 1995, pp:- [Conf]
  40. Thomas Ball, Sriram K. Rajamani
    Bebop: A Symbolic Model Checker for Boolean Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:113-130 [Conf]
  41. Thomas Ball, Sriram K. Rajamani
    Automatically Validating Temporal Safety Properties of Interfaces. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:103-122 [Conf]
  42. Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
    Refining Approximations in Software Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:388-403 [Conf]
  43. Thomas Ball, Sagar Chaki, Sriram K. Rajamani
    Parameterized Verification of Multithreaded Software Libraries. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:158-173 [Conf]
  44. Thomas Ball, Vladimir Levin, Fei Xie
    Automatic Creation of Environment Models via Training. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:93-107 [Conf]
  45. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Boolean and Cartesian Abstraction for Model Checking C Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:268-283 [Conf]
  46. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Relative Completeness of Abstraction Refinement for Software Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:158-172 [Conf]
  47. Fred Douglis, Thomas Ball
    Tracking and Viewing Changes on the Web. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, 1996, pp:165-176 [Conf]
  48. Thomas Ball, Stephen G. Eick
    Visualizing Program Slices. [Citation Graph (0, 0)][DBLP]
    VL, 1994, pp:288-295 [Conf]
  49. 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2006, pp:73-85 [Conf]
  50. Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor
    Speech-enabled services using TelePortalTM software and VoiceXMLstar. [Citation Graph (0, 0)][DBLP]
    Bell Labs Technical Journal, 2000, v:5, n:3, pp:98-111 [Journal]
  51. Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios
    WebGUIDE: Querying and Navigating Changes in Web Repositories. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1996, v:28, n:7-11, pp:1335-1344 [Journal]
  52. Thomas Ball, Stephen G. Eick
    Software Visualization in the Large. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:33-43 [Journal]
  53. Thomas Ball, James R. Larus
    Using Paths to Measure, Explain, and Enhance Program Behavior. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:7, pp:57-65 [Journal]
  54. Thomas Ball
    What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. [Citation Graph (0, 0)][DBLP]
    LOPLAS, 1993, v:2, n:1-4, pp:1-16 [Journal]
  55. Thomas Ball
    Paths between Imperative and Functional Programming. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:2, pp:21-25 [Journal]
  56. Thomas Ball, Hans-Juergen Boehm
    SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:4, pp:1-2 [Journal]
  57. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
    Righting Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:3, pp:92-100 [Journal]
  58. James R. Larus, Thomas Ball
    Rewriting Executable Files to Measure Program Behavior. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1994, v:24, n:2, pp:197-218 [Journal]
  59. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Boolean and Cartesian abstraction for model checking C programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:49-58 [Journal]
  60. Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White
    State Generation and Automated Class Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:3, pp:149-170 [Journal]
  61. Thomas Ball
    Efficient Counting Program Events with Support for On-Line Queries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1399-1410 [Journal]
  62. Thomas Ball, James R. Larus
    Optimally Profiling and Tracing Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1319-1360 [Journal]
  63. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
    Polymorphic predicate abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:314-343 [Journal]
  64. David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox
    Mawl: A Domain-Specific Language for Form-Based Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:334-346 [Journal]
  65. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:7, pp:625-637 [Journal]
  66. Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios
    The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web. [Citation Graph (0, 0)][DBLP]
    World Wide Web, 1998, v:1, n:1, pp:27-44 [Journal]
  67. Thomas Ball, Orna Kupferman, Mooly Sagiv
    Leaping Loops in the Presence of Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:491-503 [Conf]
  68. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    Predicate Abstraction via Symbolic Decision Procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  69. Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. [Citation Graph (, )][DBLP]


  70. The Static Driver Verifier Research Platform. [Citation Graph (, )][DBLP]


  71. An Automata-Theoretic Approach to Hardware/Software Co-verification. [Citation Graph (, )][DBLP]


  72. Deconstructing concurrency heisenbugs. [Citation Graph (, )][DBLP]


  73. Finding errors in .net with feedback-directed random testing. [Citation Graph (, )][DBLP]


  74. A brief history of software - from Bell Labs to Microsoft Research. [Citation Graph (, )][DBLP]


  75. Finding and Reproducing Heisenbugs in Concurrent Programs. [Citation Graph (, )][DBLP]


  76. Preemption Sealing for Efficient Concurrency Testing. [Citation Graph (, )][DBLP]


  77. Better Under-Approximation of Programs by Hiding Variables. [Citation Graph (, )][DBLP]


  78. Vacuity in Testing. [Citation Graph (, )][DBLP]


  79. Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. [Citation Graph (, )][DBLP]


  80. Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. [Citation Graph (, )][DBLP]


  81. The Verified Software Challenge: A Call for a Holistic Approach to Reliability. [Citation Graph (, )][DBLP]


  82. Towards Scalable Modular Checking of User-Defined Properties. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002