SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference

0 results

People (17 results)
Isil Dillig

Isil Dillig

… …

Juri Di Rocco

Juri Di Rocco

… …

Jordi Cabot

Jordi Cabot

… …

Events (62 results)

Miniaturize All States!

REBASE People: Mathieu Boespflug

… Like science, software is in reproducibility crisis. All too often, “steps to reproduce” in bug reports don’t work or are too long and complicated. They shouldn’t be necessary to begin with. Fleets of servers suffer from constant …

Modular and distributed IDE

SLE People: Fabien Coulon, Alex Auvolat, Benoit Combemale, Yerom-David Bromberg, François Taïni, Olivier Barais, Noël Plouzeau

… that provides language services like auto completion, go to definition, find all … experience with the IDE. The monolithic distribution of all language services … client-server architecture, we explore in this paper the modularization of all

Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata

SLE People: Christoff Rossouw, Bernd Fischer

… that generates positive test cases by covering all edges between pairs of directly … over all edges stemming from shift/reduce and reduce/reduce conflicts, using …

Asterisk: Secure Programming Language for Smart Contracts (Student Talk)

Scala People: Mohammadreza Ashouri

… by Asterisk are cross-platform in the sense that a compiled contract runs on all

Attending Information (5 results)

Students

… . In return, student volunteers receive free registration and access to all

Code of conduct

… for registration and all conference activities. Special circumstances may …/policy-against-discrimination-and-harassment). We expect all the participants … or opportunity for participation at the conference and all associated events …

Sponsoring

… , and Applications: Software for Humanity. SPLASH embraces all aspects of software … minorities and to people from all origins, everyone is encouraged to join and benefit …; supporting mirroring to make SPLASH 2020 inclusive of all persons regardless …

Tracks (40 results)

DLS

… for researchers and practitioners to share research and experience on all … and practitioners to share research and experience on all aspects on dynamic languages … 10, 2020

All deadlines are 23:59 AoE (UTC-12h).

**AUTHORS TAKE NOTE …

VMIL 2020

… and perspectives, covering all areas relevant to the workshop’s theme. Aspects …, all paper types are considered for publication in the ACM Digital Library, except … is: https://vmil20.hotcrp.com/

All deadlines are Anywhere on Earth (AoE), i.e. …

SySEPL 2020

… submissions, and a panel discussion, where all participants are invited to share … include references. All paper and notes submissions will be reviewed by 3 … the workshop. We will encourage all participants to submit at least a 2-pages …

General (28 results)

COP Homepage

… COP-20 Welcome to the website of the COP-20 conference. We are working hard to fill the website with all related information. Please check back soon! be9f34ac-bdac-4fbc-9971-0e1356df9054 …

GPCE 2020 Homepage

… GPCE 2020 Welcome to the website of the GPCE 2020 conference. We are working hard to fill the website with all related information. Please check back soon … to fill the website with all related information. Please check back soon …

SLE 2020 Homepage

… SLE 2020 Welcome to the website of the SLE 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 72ebb113-23bb-4f30-ba74-b07519fc99a9 …