Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephen N. Freund
The Roadrunner Dynamic Analysis Framework for Concurrent Programs
Exploiting Purity for Atomicity
Related publications
Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Cutoff Detection in Parameterized Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ordering Optimisations for Concurrent Logic Programs
Synthesis of Concurrent Programs
Teaching Mathematics and Computer Science
On Sequentializing Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
