SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

0 results

People (5 results)
Işil Dillig

Işil Dillig

… …

Juri Di Rocco

Juri Di Rocco

… …

Jordi Cabot

Jordi Cabot

… …

Events (9 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 …

Attending Information (2 results)

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 …

Tracks (28 results)

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 …

General (18 results)

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 …