Search for 'all'
0 results
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 …
Işıl 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
University of Utah
… programming language techniques to meet challenges from all areas of computer science. …
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 F. 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, Tomáš 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 …
"This is Still PLDI" song!
Author: Alastair F. Donaldson
… Check out the song we recorded - thanks to all the performers!
...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 …
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 …
Infer Practitioners 2020 Homepage
… Infer 2020 Welcome to the website of the Infer 2020 conference. We are working hard to fill the website with all related information. Please check back soon! d13fb085-f64f-4976-b4f5-226310ff009a …
MAPL 2020 Homepage
… MAPL 2020 Welcome to the website of the MAPL 2020 conference. We are working hard to fill the website with all related information. Please check back soon! be259c3a-0835-42bd-9bf5-829feeeafa43 …
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 …