| Publication | Date of Publication | Type |
|---|
| When you have a fuzzer, everything looks like a reachability problem | 2026-07-10 | Paper |
| Artifact for "Challenges in Empirically Testing Memory Persistency Models" | 2023-12-23 | Dataset |
| The next 7000 programming languages | 2022-02-16 | Paper |
| GPU schedulers: how fair is fair enough? | 2021-08-04 | Paper |
Dynamic race detection for C++11
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Overhauling SC atomics in C11 and OpenCL
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Overhauling SC atomics in C11 and OpenCL
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Vector symmetry reduction
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Extending symmetry reduction techniques to a realistic model of computation
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
A sound and complete abstraction for reasoning about parallel prefix sums
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Counterexample-guided abstraction refinement for symmetric concurrent programs
Formal Methods in System Design | 2014-03-28 | Paper |
| \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models | 2013-10-02 | Paper |
| Finding symmetry in models of concurrent systems by static channel diagram analysis | 2013-09-26 | Paper |
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Programming Languages and Systems | 2013-08-05 | Paper |
Automatic analysis of DMA races using model checking and k-induction
Formal Methods in System Design | 2012-03-09 | Paper |
Strengthening induction-based race checking with lightweight static analysis
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Type inference and strong static type checking for Promela
Science of Computer Programming | 2010-08-26 | Paper |
On the constructive orbit problem
Annals of Mathematics and Artificial Intelligence | 2010-06-16 | Paper |
Automatic symmetry detection for Promela
Journal of Automated Reasoning | 2009-11-25 | Paper |
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Efficient Approximate Verification of Promela Models Via Symmetry Markers
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
A template-based approach for the generation of abstractable and reducible models of featured networks
Computer Networks | 2006-12-14 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
