OOPSLA People: Ori Roth, Yossi Gil

… . Our designs support all regular and deterministic context-free API protocols …

OOPSLA People: Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun

… problem: finding the globally minimal program is usually infeasible. Thus all … transformations in all existing program reducers including SPRs are not diverse enough … the state-of-the-art languageagnostic program reducer Perses in size in all …

OOPSLA People: Shaohua Li, Zhendong Su

… Coverage-guided fuzzing is one of the most effective approaches for discovering software defects and vulnerabilities. It executes all mutated tests from seed inputs to expose coverage-increasing tests. However, executing all mutated tests …

OOPSLA People: Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit Jitendra Motwani

… imperative programs with real variables, i.e. imperative programs in which all … and not at all applicable to this use-case.

In contrast, our main contribution …

OOPSLA People: Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena

… of a given program, but not necessarily for all parts of it. We propose a new …%$ translation accuracy and so it outperforms all existing translators (both handcrafted …

OOPSLA People: Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf

… % to 21% of all pointers). …

OOPSLA People: Jie Zhou, John Criswell, Michael Hicks

… solutions retrofit temporal memory safety to C, but they all either incur high …

OOPSLA People: Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu

… if it is not only effective for reducing iterations but also efficient. However, all …

OOPSLA People: Ike Mulder, Robbert Krebbers

… to all these logics, and the use of novel abduction and transformer hints …

OOPSLA People: Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar

… and expression holes. In both cases, this requires reasoning conservatively about all …