Write a Blog >>
HOPL IV
Sun 14 - Tue 16 June 2020
co-located with PLDI 2021

0 results

People (5 results)
Pavel Panchekha

Pavel Panchekha

… …

Talia Ringer

Talia Ringer

… …

Isil Dillig

Isil Dillig

University of Texas at Austin

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

Attending Information (1 results)

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 ...
Tracks (1 results)

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 (1 results)

HOPL IV Homepage

… 2020)  HOPL IV papers are now available

All 19 HOPL IV … of PACMPL.

All PACMPL papers—and therefore all HOPL IV papers—are published Open Access, thus making them freely …