Search events for 'all'
Fully-Automatic Type Inference for Borrows with Lifetimes
OOPSLA People: William Brandon, Benjamin Driscoll, Frank Dai, Jonathan Ragan-Kelley, Mae Milano, Alex Aiken
… inference. We find that our system is able to eliminate almost all reference count …–100% on all benchmarks with reference count increments under the baseline. As result, we achieve a 1.48x geomean speedup overall on all benchmarks. …
Grammar Repair with Examples and Tree Automata
OOPSLA People: Yunjeong Lee, Gokul Rajiv, Ilya Sergey
… of the major challenges in defining a desired syntax is ruling out all possible … ways of resolving ambiguities all in a single TA, and (2) an efficient algorithm …
Mixed Choice in Asynchronous Multiparty Session Types
OOPSLA People: Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson
… We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state between distributed participants, but ensures all …
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
OOPSLA People: Zong Cao, Yuqiang Sun, Zhengzi Xu, Kaixuan Li, Yeqi Fu, Yiran Zhang, Ziqiao Kong, Yang Liu
… all potential vulnerable paths. After segmentation, deduplication, feasibility … with all unnecessary constraints removed, and three open-source detectors, which …
Diatom: Polylithic Binary Lifting with Data-flow Summaries and Type-aware IR Linking
OOPSLA People: Anshunkang Zhou, Charles Zhang
… could be greatly affected by the underlying binary lifting. However, all existing … “monolithic” design that performs all lifting stages on a single LLVM module, which …
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
OOPSLA People: Jonas Kastberg Hinrichsen, Iwan Quémerais, Lars Birkedal
… . All the results in the paper (both meta-theory and examples) have been formalised …
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
OOPSLA People: Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song
… -analysis tools, and large language models (LLMs), all of which remain …
Commuting Conversions and Join Points for Call-By-Push-Value
OOPSLA People: Jonathan Chan, Madi Gudin, Annabel Levy, Stephanie Weirich
… point constructs by Maurier et al. Our results are all mechanized in Lean 4. …
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
OOPSLA People: Yuchong Xie, Kaikai Zhang, Yu Liu, Rundong Yang, Ping Chen, Shuai Wang, Dongdong She
… cull_queue, AFLCmin and MinSet all suffer from poor seed diversity. AFL-Cmin … and compute a randomized subset of seed corpus as a set cover to cover all features …
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
OOPSLA People: Chenyan Liu, Yun Lin, Jiaxin Chang, Jiawei Liu, Binhang Qi, Bo Jiang, Zhiyong Huang, Jin Song Dong
… of all plausible editing flows. Second, benchmarking recommendation performance … that endows all models with mental-flow awareness regardless of design …
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
OOPSLA People: Gengyang Xu, Dongwei Xiao, Yiteng Peng, Shuai Wang
… performance. Results indicate that all SOTA agents achieve average scores between 0.44 …
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
OOPSLA People: Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Liangxin Liu, luojiushenzi , Xiaopeng Fu, Chiachih Wu, Haoyu Wang, Ying Gao, Yinliang Yue
… .
Our evaluation across all 11 major Ethereum clients reveals the pervasiveness …
Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages
OOPSLA People: Andrea Gilot, Tobias Wrigstad, Eva Darulova
… representative of `real-world’ code, but not in all.
We publish a dataset of 10 million …
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
OOPSLA People: Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
… sharing.
In this work, we propose a type system that uniformly treats all …
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
OOPSLA People: Hengchen Yuan, Jiefang Lin, August Shi
… . In particular, we target specific APIs within the Java Standard Library that all Java …
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
OOPSLA People: Wenbu Feng, Xiaohong Li, Ruitao Feng, Yao Zhang, Yuekang Li, Zhiping Zhou, Yunqian Wang, Yuqing Li
… vulnerabilities and all 23 unreachable ones in the CVE dataset. Within a 24-hour …
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
OOPSLA People: Zongrui Peng, Jingzhou Fu, Zhiyong Wu, Jie Liang, Xiangdong Huang, Dalong Shi, Yu Jiang
… these issues seriously and have already confirmed all of these vulnerabilities. Many …
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
OOPSLA People: Egor Namakonov, Justus Fasse, Bart Jacobs, Lars Birkedal, Amin Timany
… higher-order impredicative liveness specifications of program modules. All …
Metamorphic Testing for Infrastructure-as-Code Engines
OOPSLA People: David Spielmann, George Zakhour, Dominik Arnold, Matteo Biagiola, Roland Meier, Guido Salvaneschi
… in Pulumi. EMIaC also uncovers previously unknown issues in all three test suites …
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
OOPSLA People: Zhen Yan, Yuanliang Chen, Fuchen Ma, Zehong Yu, Dalong Shi, Yu Jiang
… BDBs, along with 4 hang bugs as additional findings. All discovered bugs have …
OBsmith: LLM-powered JavaScript Obfuscator Testing
OOPSLA People: Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
… that all components except our generic MRs contribute to at least one bug class …