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

0 results

People (8 results)
Juri Di Rocco

Juri Di Rocco

Università di L'Aquila

… research team with Alfonso Pierantonio and Davide Di Ruscio. I am interested in all

Isil Dillig

Isil Dillig

University of Texas Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Jordi Cabot

Jordi Cabot

ICREA - UOC

… the rigorous use of software models and engineering principles in all software …

Events (52 results)

Predicting All Data Race Pairs for a Specific Schedule

MPLR 2019 When: Mon 21 Oct 2019 16:00 - 16:30 People: Martin Sulzmann, Kai Stadtmüller

… …

Automatic Identification of Standard Template Algorithms in Raw Loops

AI-SEPS When: Tue 22 Oct 2019 09:25 - 09:40 People: Yannic Fischler, Jan-Patrick Lehr, Christian Bischof, Matthäus Magnus Kiehn

… roughly 50% false positives, all of which a human can easily identify. …

“It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant

AI-SEPS When: Tue 22 Oct 2019 09:00 - 09:25 People: Aleksandr Maramzin, Christos Vasiladiotis, Roberto Castañeda Lozano, Murray Cole, Björn Franke

… with a ranking of all loops in a program based on their overall merit. For each loop …

Towards Gradual Checking of Reference Capabilities

VMIL 2019 When: Tue 22 Oct 2019 12:00 - 12:15 People: Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

… .

Unfortunately, reference capability languages are an all-in or nothing game, i.e., all the types must be annotated with reference capabilities. In this work …

Attending Information (3 results)

Local information

… . (There’s a 30-euro 5-day package ticket for the Acropolis + all other open archaeological … nearby sights (and nearly all Athens sights are a short walk or metro ride away …

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 are Open …) registration grants you access to all sessions, lunch and Happy … to all sessions, lunch and Happy Hour on any two of these days …

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 …