Search for 'all'
0 results
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 … the state-of-the-art language-agnostic 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 …
User-Customizable Transpilation of Scripting Languages
OOPSLA People: Bo Wang, Aashish Kolluri, Ivica Nikolić, 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 …
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 …
Information for Students
… , student volunteers receive:
- Access to all workshops, tutorials and the main conference.
- Daily lunches and coffee breaks.
- Access to all social events …
Sponsoring
… , and Applications: Software for Humanity. SPLASH embraces all aspects of software … and to people from all origins, everyone is encouraged to join and benefit from …; supporting mirroring to make SPLASH 2020 inclusive of all persons regardless …
SLE (Software Language Engineering) 2023
… to the engineering of languages for all and everything.
Like its predecessors, the 16th … in implicit ways.
All submissions must be in PDF format. The submission website … that violate this policy will be rejected.
Reviewing Process
All …
FTSCS 2023
… in Russia or Belarus.
All submissions must be original, unpublished …/proceedings-template using the “sigplan” option.
Publication:
All … therefore cannot accept papers with affiliation in Russia or Belarus.
All …
Managed Programming Languages and Runtimes (Copied Content)
… novel results in all aspects of managed programming languages and runtime … for presenting and discussing novel results in all aspects of managed programming … in the \documentclass command). All submissions should be in PDF format.
Using the Word template …
ST30 Homepage
… ST30 Welcome to the website of the ST30 conference. We are working hard to fill the website with all related information. Please check back soon! d7d2009c-a35e-46b1-b59f-8154a211e1f1 …
MPLR 2023 Homepage
… MPLR 2023 Welcome to the website of the MPLR 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 4f6812c0-106a-4d01-87e8-c04b9b9a8aa9 bff529db-ed0d-4097-9224-19903580e584 …
GPCE 2023 Homepage
… GPCE 2023 Welcome to the website of the GPCE 2023 conference. We are working hard to fill the website with all related information. Please check back soon! d3f7999b-efa2-4c55-8ccc-afbb370c6ab4 …