Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
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. …

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

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

Andrei Alexandrescu

Andrei Alexandrescu

The D Language Foundation

… Romanian-born Computer Scientist Andrei Alexandrescu is an expert in a broad range of topics including software systems design and implementation, programming language design, library design, all aspects of the C++ and D programming …

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

… by thousands of students from all over the world. …

Jidong Zhai

Jidong Zhai

Tsinghua University

… challenges at SC, ISC, and ASC. In 2015 and 2018, the team led by him swept all

Albert M. K. Cheng

Albert M. K. Cheng

University of Houston

… at age 25, all from The University of Texas at Austin, where he held a GTE …