Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

0 results

People (7 results)
Juri Di Rocco

Juri Di Rocco

… …

Isil Dillig

Isil Dillig

… …

Jordi Cabot

Jordi Cabot

… …

Events (33 results)

50K-C: A Dataset of Compilable, and Compiled, Java Projects

NJR 2019 People: Rohan Achar

… We provide a repository of 50,000 compilable Java projects. Each project in this dataset comes with references to all the dependencies required to compile it, the resulting bytecode, and the scripts with which the projects were built …

Efficient Fail-Fast Dynamic Subtype Checking

VMIL 2019 People: Rohan Padhye, Koushik Sen

… combines the type identifiers of all its transitive supertypes. At run-time …

Modal Assertions for Actor Correctness

AGERE 2019 When: Tue 22 Oct 2019 11:00 - 11:30 People: Colin Gordon

… each others’ rely-guarantee relations explicitly.

We find that almost all

Language-independent Development Environment Support For Dynamic Runtimes

DLS 2019 When: Sun 20 Oct 2019 11:30 - 12:00 People: Daniel Stolpe, Tim Felgentreff, Christian Humer, Fabio Niephaus, Robert Hirschfeld

… available automatically to all language implementations on the Truffle framework …

Attending Information (2 results)

Students

… receive free registration and access to all sessions. See the [Student Volunteer …

Registration

… to cover those costs to ensure that all articles published in PACMPL …, or Tuesday) registration grants you access to all sessions, lunch … access to all sessions, lunch and Happy Hour on any two …

Tracks (26 results)

Managed Programming Languages and Runtimes

… 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 …

SLE 2019

… of languages for all and everything.

Like its predecessors, the 12th edition … to infer their identities in implicit ways.

All submissions must be in PDF …/).

Reviewing Process

All submitted papers will be reviewed by at least …

DLS 2019

… …

General (16 results)

AI-SEPS 2019 Homepage

… AI-SEPS 2019 Welcome to the website of the AI-SEPS 2019 conference. We are working hard to fill the website with all related information. Please check back soon! fa432284-af42-4614-a94e-5a9f99c22864 …

IC 2019 Homepage

… Incremental Computing 2019 Welcome to the website of the Incremental Computing 2019 conference. We are working hard to fill the website with all related information. Please check back soon! dd5f1078-6e1c-4b9f-8da3-426cb3953925 …

REBLS 2019 Homepage

… REBLS 2019 Welcome to the website of the REBLS 2019 conference. We are working hard to fill the website with all related information. Please check back soon! b99de58b-0ba8-4413-acfe-24520154c5d6 …