Search events for 'all'
Fluent APIs in Functional Languages
OOPSLA People: Ori Roth, Yossi Gil
… . Our designs support all regular and deterministic context-free API protocols …
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
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 …
Accelerating Fuzzing through Prefix-guided Execution
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 …
Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs
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 …
User-Customizable Transpilation of Scripting Languages
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 …
Aliasing Limits on Translating C to Safe Rust
OOPSLA People: Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
… % to 21% of all pointers). …
Fat Pointers for Temporal Memory Safety of C
OOPSLA People: Jie Zhou, John Criswell, Michael Hicks
… solutions retrofit temporal memory safety to C, but they all either incur high …
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
OOPSLA People: Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
… if it is not only effective for reducing iterations but also efficient. However, all …
Proof Automation for Linearizability in Separation Logic
OOPSLA People: Ike Mulder, Robbert Krebbers
… to all these logics, and the use of novel abduction and transformer hints …
Live Pattern Matching with Typed Holes
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 …