Scott D. Stoller

IEEE Trans. Software Eng., 2006

Optimistic synchronization-based state-space reduction.

[BibT_eX]

[DOI]

Ernie Cohen

Formal Methods Syst. Des., 2006

Accurate and efficient runtime detection of atomicity errors in concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Efficient type inference for secure information flow.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

Querying Complex Graphs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.

[BibT_eX]

[DOI]

Rahul Agarwal

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2005

Optimizing aggregate array computations in loops.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Foreword.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Automated Analysis of Fault-Tolerance in Distributed Systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Preface.

[BibT_eX]

[DOI]

Byron Cook

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Static analysis of atomicity for programs with non-blocking synchronization.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Automated type-based analysis of data races and atomicity.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Incrementalization across object abstraction.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Implementing incrementalization across object abstraction.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Optimized run-time race detection and atomicity checking using partial discovered types.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.

[BibT_eX]

[DOI]

Rahul Agarwal

Proceedings of the Hardware and Software Verification and Testing, 2005

2004

Type Inference for Parameterized Race-Free Java.

[BibT_eX]

[DOI]

Rahul Agarwal

Proceedings of the Verification, 2004

Parametric regular path queries.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Eliminating dead code on recursive data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2003

Dynamic Programming via Static Incrementalization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2003

Run-Time Analysis for Atomicity.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Run-time Verification, 2003

SoftMC 2003: Workshop on Software Model Checking.

[BibT_eX]

[DOI]

Byron Cook

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Optimized Live Heap Bound Analysis.

[BibT_eX]

[DOI]

Leena Unnikrishnan

Proceedings of the Verification, 2003

Optimizing Ackermann's function by incrementalization.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools .

[BibT_eX]

[DOI]

Klaus Havelund

Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Model-checking multi-threaded distributed Java programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2002

Testing Concurrent Java Programs using Randomized Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification 2002, 2002

Program optimization using indexed and recursive data structures.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Domain partitioning for open reactive systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

A Bound on Attacks on Authentication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

Strengthening invariants for efficient computation.

[BibT_eX]

[DOI]

Tim Teitelbaum

Sci. Comput. Program., 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

Transformations for Model Checking Distributed Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

Solving Regular Tree Grammar Based Constraints.

[BibT_eX]

[DOI]

Ning Li

Proceedings of the Static Analysis, 8th International Symposium, 2001

A Bound on Attacks on Payment Protocols.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.

[BibT_eX]

[DOI]

Leena Unnikrishnan

Proceedings of The Workshop on Languages, 2001

Automated Software Engineering Using Concurrent Class Machines.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Leader Election in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

Detecting Global Predicates in Distributed Systems with Clocks.

[BibT_eX]

[DOI]

Distributed Comput., 2000

From Recursion to Iteration: What are the Optimizations?

[BibT_eX]

[DOI]

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.

[BibT_eX]

[DOI]

Leena Unnikrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

ETAPS '99 - Conference Report.

[BibT_eX]

ACM SIGPLAN Notices, 1999

Lower and Upper Bounds for Attacks on Authentication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

1998

Static Caching for Incremental Computation.

[BibT_eX]

[DOI]

Tim Teitelbaum

ACM Trans. Program. Lang. Syst., 1998

Loop Optimization for Aggregate Array Computations.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

Automated Stream-Based Analysis of Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Efficient Symbolic Detection of Global Properties in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A Method and Tool for Analyzing Faulty-Tolerance in Systems.

[BibT_eX]

PhD thesis, 1997

1996

Cryptographic support for fault-tolerant distributed computing.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Discovering Auxiliary Information for Incremental Computation.

[BibT_eX]

[DOI]

Tim Teitelbaum

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Verifying Programs That Use Causally-Ordered Message-Passing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1995

Faster Possibility Detection by Combining Two Approaches.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Storage Replication and Layout in Video-on-Demand Servers.

[BibT_eX]

[DOI]

John DeTreville

Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995

1994

Addendum to "Proof Rules for Flush Channels".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.

[BibT_eX]

[DOI]

Douglas J. Howe