Wissenschaftliche Publikationen
Zeitschriftenartikel (20)
1.
Zeitschriftenartikel
2 (POPL), 38, S. 1 - 23 (2018)
Parametricity Versus the Universal Type. Proceedings of the ACM on Programming Languages 2.
Zeitschriftenartikel
55 (2), S. 153 - 189 (2018)
Reachability Analysis of Reversal-bounded Automata on Series–parallel Graphs. Acta Informatica 3.
Zeitschriftenartikel
2 (OOPSLA), 131, S. 1 - 25 (2018)
Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages 4.
Zeitschriftenartikel
46 (6), S. 1157 - 1183 (2018)
GPS+: Reasoning About Fences and Relaxed Atomics. International Journal of Parallel Programming 5.
Zeitschriftenartikel
2 (POPL), 66, S. 1 - 34 (2018)
RustBelt: Securing the Foundations of the Rust Programming Language. Proceedings of the ACM on Programming Languages 6.
Zeitschriftenartikel
28, E20 (2018)
Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic. Journal of Functional Programming 7.
Zeitschriftenartikel
2 (ICFP), 78 (2018)
Mtac2:Typed Tactics for Backward Reasoning in Coq. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
2 (POPL), 17, S. 1 - 32 (2018)
Effective Stateless Model Checking for C/C++ Concurrency. Proceedings of the ACM on Programming Languages 9.
Zeitschriftenartikel
2 (ICFP), 77 (2018)
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic. Proceedings of the ACM on Programming Languages 10.
Zeitschriftenartikel
14 (4), 20, S. 1 - 21 (2018)
Model Checking Flat Freeze LTL on One-Counter Automata. Logical Methods in Computer Science 11.
Zeitschriftenartikel
2, 2 (2018)
Reconciling High-Level Optimizations and Low-Level Code in LLVM. Proceedings of the ACM on Programming Languages 12.
Zeitschriftenartikel
37 (11), S. 2381 - 2392 (2018)
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13.
Zeitschriftenartikel
62 (1), S. 192 - 246 (2018)
Knapsack in Graph Groups. Theory of Computing Systems 14.
Zeitschriftenartikel
35 (4), 11, S. 1 - 28 (2018)
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. ACM Transactions on Computer Systems 15.
Zeitschriftenartikel
2 (POPL), 46, S. 1 - 24 (2018)
Why is Random Testing Effective for Partition Tolerance Bugs? Proceedings of the ACM on Programming Languages 16.
Zeitschriftenartikel
19 (2), 10, S. 1 - 23 (2018)
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Transactions on Computational Logic 17.
Zeitschriftenartikel
2 (OOPSLA), 160, S. 1 - 28 (2018)
Randomized Testing of Distributed Systems with Probabilistic Guarantees. Proceedings of the ACM on Programming Languages 18.
Zeitschriftenartikel
2 (OOPSLA), 137, S. 1 - 27 (2018)
Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model. Proceedings of the ACM on Programming Languages 19.
Zeitschriftenartikel
2 (POPL), 36, S. 1 - 32 (2018)
Monadic Refinements for Relational Cost Analysis. Proceedings of the ACM on Programming Languages 20.
Zeitschriftenartikel
51 (16), S. 277 - 282 (2018)
Concentration of Measure for Chance-Constrained Optimization. IFAC-PapersOnLine