СТ |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft |
2004 |
Ball T., Cook B., Levin V., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
СТ |
Automatic Creation of Environment Models via Training |
2004 |
Ball T., Levin V., Xie F. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
СТ |
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis |
2002 |
Adams S., Ball T., Das M., Lerner S., Rajamani S. K., Seigle M., Weimer W. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
СТ |
Relative Completeness of Abstraction Refinement for Software Model Checking |
2002 |
Ball T., Podelsi A., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
СТ |
Automatically Validating Temporal Safety Properties of Interfaces |
2001 |
Ball T., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
14.06.2001 |
СТ |
Boolean and Cartesian Abstraction for Model Checking C Programs |
2001 |
Ball T., Podelski A., Rajamani S. K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
СТ |
Bebop: A Symbolic Model Checker for Boolean Programs |
2000 |
Ball T., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
СТ |
MAWL: A Domain-Specific Language for Form-Based Services |
1999 |
Atkins D. L., Ball T., Bruns G., Cox K. |
|
|
|
IEEE Trans. on Software Engineering |
29.10.1999 |
СТ |
Coping with Type Casts in C |
1999 |
Siff M., Chandra S., Ball T., Kuchithapadam K., Reps T. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
СТ |
The Concept of Dynamic Analysis |
1999 |
Ball T. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
СТ |
Paths between Imperative and Functional Programming |
1999 |
Ball T. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
СТ |
On the Limit of Control Flow Analysis for Regression Test Selection |
1998 |
Ball T. |
|
|
|
Software Engineering Notes |
30.07.1998 |
СТ |
Edge Profiling versus Path Profiling: The Showdown |
1998 |
Ball T., Mataga P., Sagiv M. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem |
1997 |
Reps T., Ball T., Das M., Larus J. |
|
|
|
Lecture Notes in Computer Science |
07.10.1997 |
СТ |
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling |
1997 |
Ammons G., Ball T., Larus J. R. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
СТ |
Optimally Profiling and Tracing Programs |
1994 |
Ball T., Larus J. R. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
СТ |
Slicing Programs with Arbitrary Control-Flow |
1993 |
Ball T., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |