Maria Anna Schett

According to our database, Maria Anna Schett authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Foundational Verification of Smart Contracts through Verified Compilation.

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria Anna Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao

CoRR, 2024

2022

Super-optimization of Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett

ACM Trans. Softw. Eng. Methodol., 2022

2021

Embedding a Deterministic BFT Protocol in a Block DAG.

Maria Anna Schett, George Danezis

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Blockchain Superoptimizer.

Julian Nagele, Maria Anna Schett

CoRR, 2020

Populating the Peephole Optimizer of a Smart Contract Compiler.

Maria Anna Schett, Julian Nagele

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

Synthesis of Super-Optimized Smart Contracts Using Max-SMT.

Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Deconstructing Stellar Consensus (Extended Version).

Álvaro García-Pérez, Maria Anna Schett

CoRR, 2019

Deconstructing Stellar Consensus.

Álvaro García-Pérez, Maria Anna Schett

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

2016

Kruskal's Tree Theorem for Acyclic Term Graphs.

Georg Moser, Maria Anna Schett

Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

Knowledge Analytics For Workplace Learning.

Maria Anna Schett, Stefan Thalmann, Ronald K. Maier

Proceedings of the Conference "Lernen, 2016