Eric Koskinen
From MaRDI portal
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
