Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
PLDI 2021 (series) / HOPL IV (series) / Online /

Room information: MAPS

VenueOnline
Room nameMAPS
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

10:45 - 12:00
KeynoteMAPS at MAPS
10:45
15m
Day opening
Opening Remarks
MAPS
Işıl Dillig University of Texas at Austin, Roopsha Samanta Purdue University
11:00
60m
Keynote
Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond
MAPS
Koushik Sen University of California, Berkeley
13:30 - 14:30
Session AMAPS at MAPS
13:30
30m
Talk
Generating Bug-Fixes Using Pretrained Transformers
MAPS
Dawn Drain Microsoft, Chen Wu Microsoft, China, Alexey Svyatkovskiy Microsoft, Neel Sundaresan Microsoft Corporation
14:00
30m
Talk
Learning to Make Compiler Optimizations More Effective
MAPS
Rahim Mammadli Technical University of Darmstadt, Marija Selakovic TU Darmstadt, Germany, Felix Wolf Technical University of Darmstadt, Michael Pradel University of Stuttgart
15:15 - 16:15
Session BMAPS at MAPS
15:15
60m
Talk
Engineering Uncertain Computations
MAPS
Michael Carbin Massachusetts Institute of Technology
16:45 - 19:15
Session CMAPS at MAPS
16:45
60m
Talk
Machine Learning for Autotuning Production Machine Learning Compilers
MAPS
Phitchaya Mangpo Phothilimthana Google
17:45
30m
Talk
Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
MAPS
Gus Henry Smith University of Washington, Andrew Liu University of Washington, Steven Lyubomirsky University of Washington, USA, Scott Davidson University of Washington, Joseph McMahan University of Washington, Michael Bedford Taylor University of Washington, Luis Ceze University of Washington, Zachary Tatlock University of Washington, Seattle
18:15
30m
Talk
ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures
MAPS
Niranjan Hasabnis Intel Labs, Justin Gottschlich Intel Labs / Penn
18:45
30m
Talk
Predictive Data Locality Optimization for Higher-Order Tensor Computations
MAPS
Tharindu Patabandi University of Utah, Anand Venkat , Abhishek Kulkarni Intel, Pushkar Ratnalikar Intel Labs, Mary Hall University of Utah, Justin Gottschlich Intel Labs / Penn
19:45 - 21:00
Session DMAPS at MAPS
19:45
60m
Talk
Interactively Exploring Code Using Query-by-Example
MAPS
Mukund Raghothaman University of Southern California
20:45
15m
Day closing
Closing remarks
MAPS
Justin Gottschlich Intel Labs / Penn

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
MAPS

MAPS

Keynote

MAPS

Session A

MAPS

Session B

MAPS

Session C

MAPS

Session D

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
MAPS
MAPS
Opening Remarks
10:45 - 11:00
MAPS
Automated Test Generation: A Journey from Symbolic Execution to Smart F ...
11:00 - 12:00
MAPS
Generating Bug-Fixes Using Pretrained Transformers
13:30 - 14:00
MAPS
Learning to Make Compiler Optimizations More Effective
14:00 - 14:30
MAPS
Engineering Uncertain Computations
15:15 - 16:15
MAPS
Machine Learning for Autotuning Production Machine Learning Compilers
16:45 - 17:45
MAPS
Pure, Low-Level Tensor Program Rewriting via Access Patterns (Represent ...
17:45 - 18:15
MAPS
ControlFlag: A Self-supervised Idiosyncratic PatternDetection System fo ...
18:15 - 18:45
MAPS
Predictive Data Locality Optimization for Higher-Order Tensor Computations
18:45 - 19:15
MAPS
Interactively Exploring Code Using Query-by-Example
19:45 - 20:45
MAPS
Closing remarks
20:45 - 21:00