List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Proving LTL Properties of Bitvector Programs and Decompiled Binaries | 2023-03-29 | Paper |
| Constraint-based relational verification (available as arXiv preprint) | 2022-03-25 | Paper |
| Decomposing data structure commutativity proofs with \(mn\)-differencing | 2021-10-18 | Paper |
| A fixpoint logic and dependent effects for temporal property verification Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Synthesizing precise and useful commutativity conditions Journal of Automated Reasoning | 2020-11-02 | Paper |
| Adding concurrency to smart contracts Distributed Computing | 2020-06-15 | Paper |
| Automatic generation of precise and useful commutativity conditions (available as arXiv preprint) | 2019-09-16 | Paper |
| Local temporal reasoning Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Brief announcement: Proust: a design space for highly-concurrent transactional data structures Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
| Using abstract interpretation to correct synchronization faults Lecture Notes in Computer Science | 2017-02-21 | Paper |
| Reducing crash recoverability to reachability Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Coarse-grained transactions Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Making prophecies with decision predicates Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Temporal property verification as a program analysis task Formal Methods in System Design | 2014-03-28 | Paper |
| Structural Counter Abstraction Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Research outcomes over time
This page was built for person: Eric Koskinen
