Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021

0 results

People (8 results)
Isil Dillig

Isil 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. …

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 …
Events (7 results)

programmingLanguage as Language;

Papers When: Mon 21 Jun 2021 18:15 - 19:15 People: James Noble, Robert Biddle

… , programming languages are “human” languages above all.

Programming languages adopt …, and documents of all kinds. Language supports both cognitive and affective processes …

S, R and Data Science.

Papers When: Sun 20 Jun 2021 15:15 - 16:15 People: John Chambers

… ). These characteristics were all transferred to R and remain central to its …

Verilog HDL and its ancestors and descendants

Papers When: Tue 22 Jun 2021 10:45 - 11:45 People: Peter Flake, Phil Moorby, Steve Golson, Arturo Salz, Simon Davidmann

all over the world.

One of the most influential HDLs of that era was HILO …, gate-level, and switch-level constructs were all supported

Further improvements … product Logic Compiler (soon renamed Design Compiler). All the pieces were now …

JavaScript: The First 20 Years

Papers When: Sun 20 Jun 2021 19:45 - 21:00 People: Allen Wirfs-Brock, Brendan Eich

… requires a common specification that all implementations must support. From its … while struggling with finding an effective process for accomplishing that goal. All

Attending Information (2 results)

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 ...
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

… conference registration there includes access to all three days of HOPL IV, all three days of PLDI, and all other colocated conferences, workshops, and tutorials …)  HOPL IV papers are now available

[All 19 HOPL IV papers …