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. …

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 …

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 …

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 …

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 …

OOPSLA People: Jonathan Chan, Madi Gudin, Annabel Levy, Stephanie Weirich

… point constructs by Maurier et al. Our results are all mechanized in Lean 4. …

OOPSLA People: Jonas Kastberg Hinrichsen, Iwan Quémerais, Lars Birkedal

… . All the results in the paper (both meta-theory and examples) have been formalised …

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 …

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 …

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 …

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 …

OOPSLA People: Gengyang Xu, Dongwei Xiao, Yiteng Peng, Shuai Wang

… performance. Results indicate that all SOTA agents achieve average scores between 0.44 …

OOPSLA People: Hengchen Yuan, Jiefang Lin, August Shi

… . In particular, we target specific APIs within the Java Standard Library that all Java …

OOPSLA People: Egor Namakonov, Justus Fasse, Bart Jacobs, Lars Birkedal, Amin Timany

… higher-order impredicative liveness specifications of program modules. All …

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 …

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 …

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 …

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 …

OOPSLA People: Andrea Gilot, Tobias Wrigstad, Eva Darulova

… representative of `real-world’ code, but not in all.

We publish a dataset of 10 million …

OOPSLA People: Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf

… sharing.

In this work, we propose a type system that uniformly treats all …

OOPSLA People: Shan Jiang, Chenguang Zhu, Sarfraz Khurshid

… that all components except our generic MRs contribute to at least one bug class …