Cited By
View all- Albert EGarcia de la Banda MHernández-Cerezo AIgnatiev ARubio AStuckey P(2024)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT TechniquesProceedings of the ACM on Programming Languages10.1145/36564358:PLDI(1437-1462)Online publication date: 20-Jun-2024
- Pailoor SWang YDillig I(2024)Semantic Code Refactoring for Abstract Data TypesProceedings of the ACM on Programming Languages10.1145/36328708:POPL(816-847)Online publication date: 5-Jan-2024
- Štaka M(2024)Code Optimization Strategies for Reducing Gas Costs in a Smart Contract Student Paper2024 23rd International Symposium INFOTEH-JAHORINA (INFOTEH)10.1109/INFOTEH60418.2024.10496035(1-6)Online publication date: 20-Mar-2024
- Show More Cited By