VenueHilton Philadelphia at Penn's Landing
Room nameColumbus Ballroom A
Floor0
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 18 Jun

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

09:15 - 09:30
IntroductionMAPL at Columbus Ballroom A
Chair(s): Alvin Cheung University of Washington, Justin Gottschlich Intel Labs
09:30 - 10:30
Program AnalysisMAPL at Columbus Ballroom A
09:30
30m
Talk
Ariadne: Analysis for Machine Learning Programs
MAPL
Julian Dolby IBM Thomas J. Watson Research Center, Avraham Shinnar IBM Research, Allison Allain IBM Research, Jenna Reinen IBM Research
10:00
30m
Talk
Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection
MAPL
Hongfa Xue George Washington University, Guru Venkataramani George Washington University, Tian Lan George Washington University
11:00 - 12:00
11:00
30m
Talk
Obfuscation Resilient Search through Executable Classification
MAPL
Fang-Hsiang Su Columbia University, New York, Jonathan Bell George Mason University, Gail Kaiser Columbia University, New York, Baishakhi Ray Columbia University, New York
11:30
30m
Talk
Retrieval on source code: a neural code search
MAPL
Saksham Sachdev Facebook, Hongyu Li Rice University, Sifei Luan Facebook, Seohyun Kim Facebook, Koushik Sen University of California, Berkeley, Satish Chandra Facebook
16:10 - 16:40
Programming MethodologyMAPL at Columbus Ballroom A
16:10
30m
Talk
The Three Pillars of Machine Programming
MAPL
Justin Gottschlich Intel Labs, Armando Solar-Lezama MIT CSAIL, Nesime Tatbul Intel Labs and MIT, Michael Carbin MIT, Martin C. Rinard Massachusetts Institute of Technology, Regina Barzilay MIT, Saman Amarasinghe MIT, Joshua B. Tenenbaum MIT, Tim Mattson Intel, USA
16:40 - 17:00
Closing RemarksMAPL at Columbus Ballroom A
Chair(s): Alvin Cheung University of Washington, Justin Gottschlich Intel Labs
17:00 - 18:00
Poster SessionMAPL at Columbus Ballroom A

Tue 19 Jun

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

08:45 - 10:30
08:45
10m
Day opening
Introduction and Welcome
PLMW @ PLDI
Michael Carbin MIT, Milind Kulkarni Purdue University, Michelle Strout University of Arizona
08:55
20m
Social Event
Icebreaker
PLMW @ PLDI
Michelle Strout University of Arizona
09:15
45m
Talk
What Programming Language Researchers Do and How to Become One
PLMW @ PLDI
10:00
30m
Talk
Intermittent Computing Systems
PLMW @ PLDI
Brandon Lucia Carnegie Mellon University
11:00 - 12:15
Session BPLMW @ PLDI at Columbus Ballroom A
Chair(s): Milind Kulkarni Purdue University
11:00
45m
Talk
Crossing the Divide: Becoming a (Programming Languages) Researcher
PLMW @ PLDI
Alex Aiken Stanford University
11:45
30m
Talk
Program verification using abductive reasoning
PLMW @ PLDI
Işıl Dillig UT Austin
13:15 - 15:30
Session CPLMW @ PLDI at Columbus Ballroom A
Chair(s): Michelle Strout University of Arizona
13:15
75m
Other
Panel: "Charting your Path"
PLMW @ PLDI
Sara Achour MIT, Shoaib Kamil Adobe, Jennifer B. Sartor Vrije Universiteit Brussel, Zachary Tatlock University of Washington, Seattle
14:30
30m
Talk
Evaluating Evaluations
PLMW @ PLDI
Milind Kulkarni Purdue University
15:00
30m
Talk
The Importance of Communication
PLMW @ PLDI
16:00 - 17:15
Session DPLMW @ PLDI at Columbus Ballroom A
Chair(s): Milind Kulkarni Purdue University
16:00
60m
Poster
Poster Session
PLMW @ PLDI
Milind Kulkarni Purdue University, James Larus EPFL, Adrian Sampson Cornell University, Santosh Nagarakatte Rutgers University, USA, Eva Darulova MPI-SWS, Osbert Bastani Stanford University, Emery D. Berger University of Massachusetts, Amherst, Mayur Naik University of Pennsylvania, Joseph Devietti University of Pennsylvania, Sasa Misailovic University of Illinois at Urbana-Champaign, USA, John Wickerson Imperial College London, Xin Zhang Massachusetts Institute of Technology, USA, Sara Achour MIT, Michael Carbin MIT, Michelle Strout University of Arizona
17:00
15m
Day closing
Wrap up
PLMW @ PLDI
Michelle Strout University of Arizona, Michael Carbin MIT, Milind Kulkarni Purdue University

Mon 18 Jun

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

Tue 19 Jun

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Columbus Ballroom A