Search for 'all'
0 results
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 …
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 …
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 …
Equity, Diversity and Inclusion
… environment for all.
We expect all participants in ACM activities to abide by this policy in all venues, including ancillary events and unofficial social …/policy-against-discrimination-and-harassment.
All participants will have to agree …
Visa Support Letters
… to 10 business days to receive it. All requests are handled in the order …
Code of Conduct
… AITO’s mission is to provide a safe environment for all conference attendees. AITO rejects harassment for any reason or in any form, including but not limited to email, voice mail, chat rooms, Internet use, text messages, pictures, images …
Technical Papers
… and experiences in all topics related to programming languages, software … orientation, but now including all practical and theoretical investigations …
Artifact Evaluation
… 23 AoE. By this point, all the artefact metadata (such as software/hardware … appropriate evidence of verification and validation. In particular, *all … that significantly exceeds minimal functionality. That is, they have all the qualities …
ECOOP 2024 Homepage
… ECOOP 2024 ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages …