| Proving the Existence of Fair Paths in Infinite-State Systems
|
2021 |
Cimatti, Alessandro |
| Concurrent Correctness in Vector Space
|
2021 |
Peterson, Christina |
| Verification of Concurrent Programs Using Petri Net Unfoldings
|
2021 |
Dietsch, Daniel |
| GPURepair: Automated Repair of GPU Kernels
|
2021 |
Joshi, Saurabh |
| A Synchronous Effects Logic for Temporal Verification of Pure Esterel
|
2021 |
Song, Yahui |
| Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
|
2021 |
Bromberger, Martin |
| A Self-certifying Compilation Framework for WebAssembly
|
2021 |
Namjoshi, Kedar S. |
| Netter: Probabilistic, Stateful Network Models
|
2021 |
Zhang, Han |
| Model Checking Algorithms for Hyperproperties (Invited Paper)
|
2021 |
Finkbeiner, Bernd |
| Compositional Model Checking for Multi-properties
|
2021 |
Goudsmid, Ohad |
| Decomposing Data Structure Commutativity Proofs with m n-Differencing
|
2021 |
Koskinen, Eric |
| A Reduction Theorem for Randomized Distributed Algorithms Weak Adversaries
|
2021 |
Bertrand, Nathalie |
| Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
|
2021 |
Kamp, Marius |
| Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)
|
2021 |
Steffen, Bernhard |
| Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)
|
2021 |
Humenberger, Andreas |
| Eliminating Message Counters in Synchronous Threshold Automata
|
2021 |
Stoilkovska, Ilina |
| Twinning Automata and Regular Expressions for String Static Analysis
|
2021 |
Negrini, Luca |
| Runtime Abstract Interpretation for Numerical Accuracy and Robustness
|
2021 |
Védrine, Franck |
| Unbounded Procedure Summaries from Bounded Environments
|
2021 |
Pick, Lauren |
| Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
|
2021 |
Zhang, Hongce |
Tag hinzufügen