PLDI 2020
Mon 15 - Sat 20 June 2020

0 results

People (2 results)
Isil Dillig

Isil Dillig

… …

Pavel Panchekha

Pavel Panchekha

… …

Events (4 results)

Gillian: Parametric Symbolic Execution for All

PLDI Research Papers People: José Fragoso Santos, Petar Maksimović, Sacha-Elie Ayoun, Philippa Gardner

… …

Static Analysis of Enterprise Applications: Haven't We Solved This Problem Yet?

PLDI Research Papers People: Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis

… that are woefully incomplete and vastly imprecise, when at all scalable … technique identifies domain-specific concepts underlying all enterprise …

LLHD: A Multi-Level Intermediate Representation for Hardware Description Languages

PLDI Research Papers People: Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini

… -integrated research prototype is capable of representing all levels of the IR …

Declarative Language Definition with Spoofax

Tutorials People: Eelco Visser

… of name resolution queries in order to ensure that all information is collected …

Tracks (12 results)

Ally Skills@PLDI2020 (Cancelled)

… in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LGBTQ folks, parents, caregivers of all sorts, and people …, followed by group-based discussion of several scenarios. All are welcome. Hope …

ARRAY 2020 (Cancelled)

… from all domains: imperative or declarative; object-oriented or functional … categories: full papers and extended abstracts. All submissions should be formatted …

PLMW@PLDI 2020

… Mentoring Platinum: $5,000 All of the benefits of PLMW Gold Mentoring …

General (9 results)

PLMW@PLDI 2020 Homepage

… PLMW@PLDI 2020 Welcome to the website of the PLMW@PLDI 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 5e26df5d-6577-4c98-8b30-82cf0dbf28ef …

LCTES 2020 Homepage

… LCTES 2020 Welcome to the website of the LCTES 2020 conference. We are working hard to fill the website with all related information. Please check back soon! a6750cb5-97f8-4037-ba7b-9425c3891e4d …

REMS-DeepSpec 2020 Homepage

… DeepSpec 2020 Welcome to the website of the DeepSpec 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 89dd83de-19a9-4dca-9df4-612a5420315b …