Maria Anna Schett

11 papers A* 1B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Foundational Verification of Smart Contracts through Verified Compilation.
CoRR
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria Anna Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
2022 J jnl
Super-optimization of Smart Contracts.
ACM Trans. Softw. Eng. Methodol.
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett
2021 A* conf
Embedding a Deterministic BFT Protocol in a Block DAG.
PODC
Maria Anna Schett, George Danezis
2021 J jnl
Embedding a Deterministic BFT Protocol in a Block DAG.
CoRR
Maria Anna Schett, George Danezis
2020 J jnl
Blockchain Superoptimizer.
CoRR
Julian Nagele, Maria Anna Schett
2020 — conf
Populating the Peephole Optimizer of a Smart Contract Compiler.
FMBC@CAV
Maria Anna Schett, Julian Nagele
2020 — conf
Synthesis of Super-Optimized Smart Contracts Using Max-SMT.
CAV (1)
Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
2019 J jnl
Deconstructing Stellar Consensus (Extended Version).
CoRR
Álvaro García-Pérez, Maria Anna Schett
2019 B conf
Deconstructing Stellar Consensus.
OPODIS
Álvaro García-Pérez, Maria Anna Schett
2016 — conf
Knowledge Analytics For Workplace Learning.
LWDA
Maria Anna Schett, Stefan Thalmann, Ronald K. Maier
2016 — conf
Kruskal's Tree Theorem for Acyclic Term Graphs.
TERMGRAPH
Georg Moser, Maria Anna Schett