0 results

People (7 results)
Işıl Dillig

Işıl Dillig

University of Texas at Austin

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

Pavel Panchekha

Pavel Panchekha

University of Utah

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

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… is a future of verification that is accessible to all programmers, not just to experts …

Events (43 results)

(PLDI 2021) CoStar: A Verified ALL(*) Parser

SIGPLAN Track When: Thu 16 Jun 2022 11:20 - 11:40 People: Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

… on all inputs.

In this work, we present CoStar, a verified parser … and is based on a purely functional adaptation of the ALL(*) parsing algorithm … without error on all inputs when applied to a non-left-recursive grammar …

All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP

PLDI When: Wed 15 Jun 2022 16:10 - 16:30Thu 16 Jun 2022 04:10 - 04:30 People: Yishen Chen, Charith Mendis, Saman Amarasinghe

… …

We Live in Interesting Times

ISMM 2022 When: Tue 14 Jun 2022 16:00 - 17:00Wed 15 Jun 2022 04:00 - 05:00 People: Steve Blackburn

… of McCarthy, Dijkstra, Knuth, Steele, and Liskov have all made important contributions … efficiency and security, a diversity of programming languages and above all

Multidimensional C++

ARRAY 2022 When: Mon 13 Jun 2022 09:00 - 10:00 People: Bryce Lelbach

… for Standard C++ that is portable to all platforms, from your smartwatch …

News (1 results)

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

Author: Dan Barowy

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

Attending Information (8 results)

Student Volunteers

… Sign up to be a Student Volunteer and help us make PLDI 2022 a unique experience for all attendants!

PLDI 2022 is pleased to offer a number of opportunities … if necessary. Volunteers from all timezones are welcome.

About Volunteering …


… PLDI 2022 takes COVID very seriously and will follow all the precautions recommended by the local San Diego County health authorities.

  • [SD County Mask Recommendation](https://www.sandiegocounty.gov/content/sdc/hhsa/programs/phs …

Virtual Attendance

… For those unable to attend in person, PLDI 2022 will have a hybrid virtual attendance option.

Virtual attendees will be able to attend talks, join in with the live Q&A, and attend selected social gatherings.

  • All talks …
Tracks (14 results)


… will be organized as a hybrid event. Most speakers and all panelists … to creating a welcoming, inclusive, diverse environment that provides space for all … the research community.

PLMW values the physical and mental well-being of all

Languages, Compilers, Tools and Theory of Embedded Systems

… . There is no limit on the page count for references. Each reference must list all … 9, 2022

General Info

The authors of all accepted LCTES papers …. Carefully think which badge(s) you want. - If making your code public is all

SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

… analysis community, * presentations of all accepted refereed papers … according to the two-column ACM proceedings format. Each reference must list all

General (10 results)

EGRAPHS 2022 Homepage

… EGRAPHS 2022 Welcome to the website of the EGRAPHS 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 80f50d79-80b7-4027-9736-6c6d021c3ff3 …

SOAP 2022 Homepage

… SOAP 2022 Welcome to the website of the SOAP 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 6bea789c-6ba1-41e1-8625-34c7b1b6fba3 …

LCTES 2022 Homepage

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