9 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of OxfordGB5 papers
- The University of Texas at AustinUS3 papers
- University of California San DiegoUS2 papers
- Forschungszentrum JülichDE1 paper
- Fujitsu (Japan)JP1 paper
- Integrated Software (United States)US1 paper
- Intel (United Kingdom)GB1 paper
- Northeastern UniversityUS1 paper
- Technische Universität BerlinDE1 paper
- Universidad del NoresteMX1 paper
- University of WyomingUS1 paper
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio, Eric McCarthy
Yul is an intermediate language used in the compilation of the Solidity programming language for Ethereum smart contracts. The compiler applies customizable sequences of transforma…
cs.LO2025
A Proof of the Schröder-Bernstein Theorem in ACL2
Grant Jurgensen
The Schröder-Bernstein theorem states that, for any two sets P and Q, if there exists an injection from P to Q and an injection from Q to P, then there must exist a bijection betwe…