Search events for 'all'
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Tool Demonstrations When: Wed 18 Sep 2024 16:34 - 16:47 People: Yunqi Liu, Wei Song
… \textsf{\textsc{FunRedisp}} is a function dispatch refactoring tool to reduce the overall invocation gas consumption of Solidity smart contracts. It initially extracts all external functions in a contract at the source code level. After …
Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Tool Demonstrations When: Wed 18 Sep 2024 13:42 - 13:55 People: Alexander Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval
… includes all shared memory access and synchronization events. The IntelliJ IDEA …
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Tool Demonstrations When: Wed 18 Sep 2024 14:34 - 14:47 People: Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shreya Mathews, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo
… platform-specific, which means that they cannot support all Wasm features. They may …
FixCheck: A Tool for Improving Patch Correctness Analysis
Tool Demonstrations When: Wed 18 Sep 2024 15:55 - 16:08 People: Facundo Molina, Juan Manuel Copia, Alessandra Gorla
… Patch correctness assessment aims at effectively detecting overfitted patches, i.e., patches that causes all tests to pass but do not actually fix the bug. Although several automated techniques for assessing patch correctness have …
Java Bytecode Normalization for Code Similarity Analysis
Technical Papers When: Wed 18 Sep 2024 11:00 - 11:15 People: Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
… optimizations and transforms all classes of compilation difference … version may cause differences in 46% of all resulting bytecode files …
Constrictor: Immutability as a Design Concept
Technical Papers When: Tue 17 Sep 2024 11:30 - 11:45 People: Elad Kinsbruner, Shachar Itzhaky, Hila Peleg
… , even if some of the internal state does change. If all methods of a class …
Mutation-based Lifted Repair of Software Product Lines
Technical Papers When: Tue 17 Sep 2024 14:00 - 14:15 People: Aleksandar S. Dimovski
… are all minimal repairs in the form of minimal number of (feature and program …
Pure methods for roDOT
Technical Papers When: Mon 16 Sep 2024 14:45 - 15:00 People: Vlastimil Dort, Yufeng Li, Ondřej Lhoták, Pavel Parizek
… about safe transformations of roDOT programs. All proofs are mechanized in Coq. …
Learning Gradual Typing Performance
Technical Papers When: Tue 17 Sep 2024 16:15 - 16:30 People: Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He
… generated from each benchmark, the predicted times for all other instances …