research
∙
10/22/2021
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification
Unification and antiunification are essential algorithms used by symboli...
research
∙
08/21/2020
DApp for Rating
Lots of existing web applications include a component for rating interne...
research
∙
05/27/2020
Certifying Findel Derivatives for Blockchain
Derivatives are a special type of financial contracts used to hedge risk...
research
∙
09/12/2019
A Formal Semantics of Findel in Coq (Short Paper)
We present the first formal semantics of Findel - a DSL for specifying f...
research
∙
03/22/2019
Using SMT Solvers to Validate Models for AI Problems
Artificial Intelligence problems, ranging form planning/scheduling up to...
research
∙
11/07/2018
Unification in Matching Logic - Extended Version
Matching Logic is a framework for specifying programming language semant...
research
∙
11/07/2018