Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI

0 results

People (8 results)
Isil Dillig

Isil Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

small-avatar

Alexander Heinricher

Raytheon BBN Technologies

… Hi there!

I’m a software researcher and all-round Mad Scientist.

My current research interests include:

  • Allowing inexpert users to perform expert security tasks
  • Teaching computers to understand their own software
  • Using …
Pavel Panchekha

Pavel Panchekha

University of Utah

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

Events (33 results)

CoStar: A Verified ALL(*) Parser

PLDI When: Wed 23 Jun 2021 21:15 - 21:20Wed 23 Jun 2021 09:15 - 09:20 People: Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

… to terminate on all inputs, or they are not designed to be performant on grammars for real … with the Coq Proof Assistant and is based on the ALL(*) parsing algorithm. CoStar is sound and complete for all non-left-recursive grammars; it produces …

Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All

Invited Talks When: Fri 25 Jun 2021 15:00 - 16:00Sat 26 Jun 2021 03:00 - 04:00 People: Emina Torlak

… …

Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives

ARRAY 2021 When: Mon 21 Jun 2021 15:45 - 16:15 People: Wojciech Michal Pawlak, Marek Hlava, Martin Metaksov, Cosmin Oancea

… implementations, which utilize only the outer or all levels of parallelism, respectively …

Journey to null safety for Java at Facebook. An experience report.

Infer 2021 When: Mon 21 Jun 2021 09:00 - 09:40 People: Artem Pianykh, Mitya Lyubarskiy

… Static Analysis is a valuable tool to maintain and improve code correctness. At Facebook static analysis checkers are deployed at “diff-time” checking all changes and notifying developers about potential issues before they make …

News (1 results)

Congratulations to the authors of this year's PLDI Distinguished Papers! See the PLDI Track page for full details.

Author: Stephen N. Freund

… We’re please to announce this year’s Distinguished Papers. Congratulations to all of the authors for their excellent work. …

Attending Information (6 results)

Online

… such a success. Our virtual conference site is now publicly available for all … of all materials from the conference, including videos of talks and technical … for accessing all content and information about the event; a Slack workspace …

Registration

… there includes access to all three days of HOPL IV, all three days of PLDI, and all other colocated conferences, workshops, and tutorials. …

Sponsoring HOPL IV

… (for one) at an invitation-only reception (which will include all conference … will include all conference speakers)

Platinum ...) at an invitation-only reception (which will include all conference speakers ...

Registration

… ) | $125 | $150 | | Discounted | $10 | $10 | | | | |

  • All prices are in U.S. dollars. No VAT is charged.
  • Registration includes access to PLDI and all
Tracks (12 results)

Languages, Compilers, Tools and Theory of Embedded Systems

… for publication.

Accepted papers in all the categories will appear in the proceedings … a journal mode in addition to the usual conference mode. **All accepted full papers … Notification: 11:59pm 05/03/2021 (AOE)

General Info

The authors of all accepted …

PLMW@PLDI 2021

… a welcoming, inclusive, diverse environment that provides space for all … community.

PLMW values the physical and mental well-being of all members of the PL community. We condemn all kinds of harassment, including sexual harassment …

Papers

… links to the ACM Digital Library for all papers from prior HOPL conferences …#History-of-HOPL), which includes links to the ACM Digital Library for all papers …)] For this conference, all oral sessions were videotaped. The twelve papers at HOPL-III …

General (10 results)

LCTES 2021 Homepage

… LCTES 2021 Welcome to the website of the LCTES 2021 conference. We are working hard to fill the website with all related information. Please check back soon … hard to fill the website with all related information. Please check back soon! …

PLMW@PLDI 2021 Homepage

… fbe2a0c6-386d-4aba-93e8-cd5bb6e25a45 PLMW@PLDI 2021 Welcome to the website of the PLMW@PLDI 2021 conference. We are working hard to fill the website with all related information. Please check back soon! …

SOAP 2021 Homepage

… SOAP 2021 Welcome to the website of the SOAP 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 55aef970-1c59-405a-90da-e8d199b7a3c9 …