Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Ownership Guided C to Rust Translation.

Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang.

In: Enea, C., Lal, A. (eds) Computer Aided Verification. CAV 2023. Lecture Notes in Computer Science, vol 13966. 2023

Foundations of Persistent Programming.

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

Blockchain Superoptimizer.

Julian Nagele and Maria A Schett.

Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2019, 166-180. 2019

Distributed Protocol Combinators.

Kristoffer J. A. Andersen and Ilya Sergey.

In: Alferes, J., Johansson, M. (eds) Practical Aspects of Declarative Languages. PADL 2019. Lecture Notes in Computer Science, vol 11372. 2019

Go to Top