Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings

Veröffentlicht 2014

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers

Veröffentlicht 2013

Certified Abstract Cost Analysis

von Albert, Elvira
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

A Max-SMT Superoptimizer for EVM handling Memory and Storage

von Albert, Elvira
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Synthesis of Super-Optimized Smart Contracts Using Max-SMT

von Albert, Elvira
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Lower-Bound Synthesis Using Loop Specialization and Max-SMT

von Albert, Elvira
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

von Albert, Elvira
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Inferring Needless Write Memory Accesses on Ethereum Bytecode

von Albert, Elvira
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Distilling Constraints in Zero-Knowledge Protocols

von Albert, Elvira
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Selected and extended papers from partial evaluation and program manipulation 2013 : [... ACM SIGPLAN Workshop on ... PEPM]

Veröffentlicht 2014

Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

von Albert, Elvira
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Formal techniques for distributed objects, components, and systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Confe...

Veröffentlicht 2016

Selected and extended papers from the International Symposium on Principles and Practice of Declarative Programming 2015

Veröffentlicht 2017

Selected and extended papers from partial evaluation and program manipulation 2013 : [papers presented at the 2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipula...

Veröffentlicht 2014