Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI'17 and ECOOP'17

0 results

People (5 results)
Isil Dillig

Isil Dillig

… …

Jordi Cabot

Jordi Cabot

… …

Laurie Hendren

Laurie Hendren

… …

Events (15 results)

Graal: High Performance Compilation for Managed Languages

Tutorials When: Fri 23 Jun 2017 09:00 - 12:00 People: Christian Wimmer

… VM or the V8 JavaScript VM optimize your code, you will get all your questions …-level Java code * Compiler intrinsics: use all your hardware instructions with Graal …

Instruction Punning: Lightweight Instrumentation for x86-64

Research Papers People: Buddhika Chamith De Alwis Kahawitage don, Luke Dalessandro, Bo Joel Svensson, Ryan R. Newton

… activation/deactivation costs that are cheaper than a system call, even when all

Skeletal Program Enumeration for Rigorous Compiler Testing

Research Papers People: Qirun Zhang, Chengnian Sun, Zhendong Su

… skeleton P and a set of variables V , enumerate a set of programs P exhibiting all … and variable set, offering a level of guarantee absent from all existing compiler … is a novel algorithm for computing the canonical (and smallest) set of all non-α …

Network Configuration Synthesis with Abstract Topologies

Research Papers People: Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

… algorithms operate entirely on abstract topologies and guarantee correctness for all its …

Tracks (9 results)

SOAP 2017

… talks by leading members of the program analysis community, presentations of all … according to the two-column ACM proceedings format. Each reference must list all

First Workshop on Incremental Computing

… of the submission – they will most likely not be. All submissions should …

Research Papers

… and cloud scales

All papers must be submitted on-line in Portable Document Format (PDF … that violate the above guidelines will be rejected by the Program Chair.

All ….", as with discussion of all related work. Where necessary for flow, authors may add …

Homepage (9 results)

PLMW 2017 Homepage

… Programming Languages Mentoring Workshop@PLDI 2017 Welcome to the website of the Programming Languages Mentoring Workshop@PLDI 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …

ISMM 2017 Homepage

… …

LCTES 2017 Homepage

… and their reproduction, and confirmation

All accepted papers …