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

0 results

People (5 results)
Juri Di Rocco

Juri Di Rocco

… …

Isil Dillig

Isil Dillig

… …

Michel Steuwer

Michel Steuwer

… …

Events (16 results)

TLA+ model checking made symbolic

OOPSLA People: Igor Konnov, Jure Kukovec, Thanh-Hai Tran

… TLA+ is a language for formal specification of all kinds of computer systems … a first symbolic model checker for TLA+. Like TLC, it assumes that all specification parameters are fixed and all states are finite structures. Unlike TLC, our model …

Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping

OOPSLA People: Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, Fernando Magno Quintão Pereira

… . We have compared our algorithm against five other qubit allocators, all

Formal Foundations of Serverless Computing

OOPSLA People: Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha

… platform, AWS Lambda, and similar abstractions are now available on all major …_\lambda$ models all the low-level details that serverless functions can observe …

Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency

OOPSLA People: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos (Kostis) Sagonas

… equivalence can be coarsened but still cover all program crashes and assertion … on all programs that we have tried. This is achieved by a novel test that checks …

Attending Information (1 results)

Students

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

Tracks (26 results)

DLS 2019

… researchers and practitioners to share research results and general experience on all … and practitioners to share research and experience on all aspects on dynamic …: August 28, 2019

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

**AUTHORS TAKE NOTE …

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 … will not be penalized if reviewers are able to infer their identities in implicit ways.

All …://sle19.hotcrp.com/).

Reviewing Process

All submitted papers will be reviewed …

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 …