Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

0 results

People (6 results)
Gábor Márton

Gábor Márton

Ericsson Ltd

… Gábor Márton is a passionate software developer who is interested in all kind of new software technologies. He received his PhD at the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd …

Isil Dillig

Isil Dillig

University of Texas at Austin, USA

… and an NSF CAREER award, and, prior to joining UT, she got all her degrees (BS, MS …

Pavel Panchekha

Pavel Panchekha

University of Utah

… programming language techniques to meet challenges from all areas of computer science. …

Events (33 results)

Technical talk: Neural Methods for Programming Language Processing

PLMW@PLDI 2020 When: Mon 15 Jun 2020 07:00 - 08:00 People: Eran Yahav

… This talk will provide a survey of neural methods for programming-language processing (PLP), starting from basic background all the way to recent results.

We will cover a number of challenging PLP tasks and a wide range of neural …

Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research

PLMW@PLDI 2020 When: Mon 15 Jun 2020 08:00 - 09:00 People: Alastair Donaldson

… Ever had your paper rejected because your idea is “not exactly earth shattering”? Ever got close to a deadline before realising that Foo et al. actually did all this in the 1980s? Ever find you’re taking immense pleasure …

Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis

Infer Practitioners 2020 When: Tue 16 Jun 2020 07:00 - 07:45 People: Tomas Fiedor, Dominik Harmim, Vladimir Marcin, Ondřej Pavela, Adam Rogalewicz, Tomas Vojnar

… at automatically deriving conservative complexity bounds. All of the plugins are under …

Learning Quantitative Representation Synthesis

MAPL When: Tue 16 Jun 2020 16:00 - 16:30 People: Mayur Patil, Farzin Houshmand, Mohsen Lesani

… predictor of all workloads across all platforms. We present a novel approach …

News (1 results)

"This is Still PLDI" song!

Author: Alastair Donaldson

… Check out the song we recorded - thanks to all the performers!

...
Attending Information (1 results)

Statement on Current Events from the PLDI 2020 General Chair

… , welcoming and inclusive to all minority groups, specifically including Black … to at all times. If you observe or are subject to inappropriate behaviour, please …

Tracks (13 results)

PLMW@PLDI 2020

… , and especially the Black members of our community. To make matters worse, all … lives matter. Diversity of all kinds has always been PLMW’s goal. It’s also … of anti-racism and provides space for all to thrive and breathe.

We would like …

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 …

LCTES 2020

LCTES 2020 is going virtual due to COVID-19 pandemic

LCTES decided not to have real-time Q&A Zoom/Slack communication. Instead, all LCTES talk videos … conference mode. **All accepted full papers will be invited to be published …

General (10 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 …