| Relational Synthesis for Pattern Matching
|
2020 |
Kosarev, Dmitry |
| Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
|
2020 |
Liu, Xiaotong |
| A Counterexample-Guided Debugger for Non-recursive Datalog
|
2020 |
Tran, Van-Dang |
| A Set-Based Context Model for Program Analysis
|
2020 |
Fachinetti, Leandro |
| Certified Semantics for Relational Programming
|
2020 |
Rozplokhas, Dmitry |
| Algebraic and Coalgebraic Perspectives on Interaction Laws
|
2020 |
Uustalu, Tarmo |
| Banyan: Coordination-Free Distributed Transactions over Mergeable Types
|
2020 |
Dubey, Shashank Shekhar |
| A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
|
2020 |
Chen, Yu-Fang |
| P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
|
2020 |
Rosa, Andrea |
| Formal Verification of Atomicity Requirements for Smart Contracts
|
2020 |
Han, Ning |
| Declarative Stream Runtime Verification (hLola)
|
2020 |
Ceresa, Martín |
| Neural Networks, Secure by Construction: An Exploration of Refinement Types
|
2020 |
Kokke, Wen |
| Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
|
2020 |
Bravetti, Mario |
| An Abstract Machine for Strong Call by Value
|
2020 |
Biernacka, Matgorzata |
| Parameterized Synthesis with Safety Properties
|
2020 |
Markgraf, Oliver |
| A New Refinement Type System for Automated vHFL; Validity Checking
|
2020 |
Katsura, Hiroyuki |
| Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
|
2020 |
Mackay, Julian |
| Stack-Driven Program Generation of WebAssembly
|
2020 |
Perényi, Árpád |
| REFINITY to Model and Prove Program Transformation Rules
|
2020 |
Steinhöfel, Dominic |
Tag hinzufügen