Filter
Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:00 - 09:00: BreakfastCatering at 301 Foyer
08:00 - 09:00
Other
Catering
09:00 - 09:15: Opening and IntroductionWAX at 105C
Chair(s): Ulya KarpuzcuUniversity of Minnesota, USA
09:00 - 09:15: OpeningSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
09:00 - 09:15
Day opening
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
09:00 - 10:30: Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart BeringerPrinceton University
09:00 - 09:45
Talk
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
09:45 - 10:30
Talk
DeepSpec
Andrew AppelPrinceton, Adam ChlipalaMassachusetts Institute of Technology, USA, Zhong ShaoYale University
09:00 - 10:00: Session 1ARRAY at 106C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
09:00 - 10:00
Talk
ARRAY
09:00 - 09:30: Chapel 101 (pre-workshop session)CHIUW at 212A
09:00 - 09:30
Talk
CHIUW
09:00 - 11:00: PPETPLDI Tutorials at 212B
09:00 - 11:00
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
09:00 - 11:00: DPAQLPLDI Tutorials at 212C
09:00 - 11:00
Tutorial
PLDI Tutorials
09:15 - 10:15: Keynote: Song Han, MITWAX at 105C
09:15 - 11:00: Performance and Optimizations for Program Analysis ToolsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
09:15 - 09:35
Talk
SOAP
09:35 - 09:55
Talk
SOAP
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
09:55 - 10:15
Talk
SOAP
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
10:15 - 11:35
Talk
SOAP
10:35 - 11:00
Other
SOAP
09:30 - 10:00: Welcome, State of the Chapel ProjectCHIUW at 212A
09:30 - 10:00
Talk
CHIUW
G: Benjamin RobbinsCray Inc., P: Brad ChamberlainCray Inc.
10:00 - 11:00: Session 2ARRAY at 106C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
10:00 - 10:30
Talk
ARRAY
A: Artjoms ŠinkarovsHeriot-Watt University, UK, A: Robert BerneckySnake Island Research, A: Sven-Bodo ScholzHeriot-Watt University
10:30 - 11:00
Talk
ARRAY
A: Erdal MutluPacific Northwest National Laboratory, A: Karol KowalskiPacific Northwest National Laboratory, A: Sriram KrishnamoorthyPacific Northwest National Laboratories
10:00 - 10:50: Chapel Implementation ImprovementsCHIUW at 212A
Chair(s): Michelle StroutUniversity of Arizona
10:00 - 10:25
Research paper
CHIUW
Akihiro HayashiRice University, USA, Sri Raj PaulGeorgia Institute of Technology, Vivek SarkarRice University, USA
10:25 - 10:50
Talk
CHIUW
Lydia DuncanCray Inc., David ItenCray Inc.
10:15 - 11:00: Talks 1WAX at 105C
10:15 - 10:25
Talk
WAX
Jesse MichelMassachusetts Institute of Technology, Sahil VermaIIT Kanpur, Benjamin ShermanMassachusetts Institute of Technology, USA, Michael CarbinMassachusetts Institute of Technology
10:25 - 10:35
Talk
WAX
10:35 - 10:45
Talk
WAX
Samuel Triest, Daniel Nikolov, Jannick RollandUniversity of Rochester, Yuhao ZhuUniversity of Rochester
10:30 - 11:00: Coffee BreakDeepSpec at 106B
11:00 - 12:30: Compiler VerificationDeepSpec at 106B
Chair(s): Zhong ShaoYale University
11:00 - 11:30
Talk
DeepSpec
Zoe ParaskevopoulouPrinceton University, Andrew AppelPrinceton
11:30 - 12:00
Talk
DeepSpec
Adam ChlipalaMassachusetts Institute of Technology, USA
12:00 - 12:30
Talk
DeepSpec
Yuting WangYale University
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:00 - 11:20
Coffee break
Catering
11:20 - 12:30: Talks 2WAX at 105C
11:20 - 11:30
Talk
WAX
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:30 - 12:00
Talk
WAX
Yipeng HuangPrinceton University
Link to publication Pre-print
12:00 - 12:30
Talk
WAX
Yongjoo ParkUniversity of Michigan
11:20 - 12:30: Industry TalksSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
11:20 - 12:30
Talk
SOAP
11:20 - 12:35: Chapel Performance and OptimizationsCHIUW at 212A
Chair(s): David G. WonnacottHaverford College
11:20 - 11:45
Talk
CHIUW
11:45 - 12:10
Research paper
CHIUW
Per FuchsVrije Universiteit (VU) Amsterdam, Pieter HijmaVrije Universiteit (VU) Amsterdam, Clemens GrelckUniversity of Amsterdam
12:10 - 12:35
Talk
CHIUW
Elliot RonaghanCray Inc., Ben HarshbargerCray Inc., Gregory TitusCray Inc., Michael FergusonCray Inc.
11:20 - 12:30: PPETPLDI Tutorials at 212B
11:20 - 12:30
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
11:20 - 12:30: DPAQLPLDI Tutorials at 212C
11:20 - 12:30
Tutorial
PLDI Tutorials
11:30 - 12:30: Session 3ARRAY at 106C
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark
11:30 - 12:00
Talk
ARRAY
A: Benjamin ChetiouiUniversity of Bergen, Norway, A: Lenore MullinSUNY Albany, USA, A: Ole Abusdal, A: Magne HaveraaenUniversity of Bergen, Norway, A: Jaakko JärviUniversity of Bergen, A: Sandra MaciàBarcelona Supercomputing Center
12:00 - 12:30
Talk
ARRAY
12:30 - 14:00: LunchCatering at 301A
13:30 - 14:30: DiscussionWAX at 105C
14:00 - 15:30: Session 3MAPL at 105A
14:00 - 14:45
Talk
MAPL
Jason Liu, Seohyun KimFacebook, Vijayaraghavan MuraliRice University, USA, Swarat ChaudhuriRice University, Satish ChandraFacebook
14:45 - 15:30
Talk
MAPL
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris CumminsUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh, Jeronimo CastrillonTU Dresden, Germany
14:00 - 15:30: Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
14:00 - 14:20
Talk
SOAP
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20 - 14:40
Talk
SOAP
14:40 - 15:00
Talk
SOAP
Pre-print
15:00 - 15:30
Talk
SOAP
14:00 - 15:30: Modular ReasoningDeepSpec at 106B
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
14:00 - 14:30
Talk
DeepSpec
Lennart BeringerPrinceton University, Andrew AppelPrinceton
14:30 - 15:00
Talk
DeepSpec
Mengqi LiuYale University
15:00 - 15:30
Talk
DeepSpec
Joonwon ChoiMassachusetts Institute of Technology, USA
14:00 - 15:30: Session 4ARRAY at 106C
Chair(s): Tze Meng LowCMU
14:00 - 14:30
Talk
ARRAY
Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
14:30 - 15:00
Talk
ARRAY
A: Justin SlepakNortheastern University, A: Olin ShiversNortheastern University, USA, A: Panagiotis ManoliosNortheastern University
15:00 - 15:30
Talk
ARRAY
Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Niels G. W. SerupDIKU, University of Copenhagen
14:00 - 15:00: Keynote Talk by Anshu Dubey (Argonne)CHIUW at 212A
Chair(s): Brad ChamberlainCray Inc.
14:00 - 15:00
Talk
CHIUW
K: Anshu DubeyArgonne National Laboratory
14:00 - 15:30: DRLTPLDI Tutorials at 212B
14:00 - 15:30
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
14:00 - 15:30: V8PLDI Tutorials at 212C
14:00 - 15:30
Tutorial
PLDI Tutorials
O: Steve BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle
15:00 - 15:25: Applications of ChapelCHIUW at 212A
Chair(s): Michael FergusonCray Inc.
15:00 - 15:25
Talk
CHIUW
15:30 - 16:00: Coffee BreakCatering at 301 Foyer
16:00 - 17:30: KeynoteMAPL at 105A
16:00 - 17:30
Talk
MAPL
Mayur NaikUniversity of Pennsylvania
16:00 - 17:40: Demos, Tributes and AwardsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
16:00 - 16:20
Other
SOAP
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
16:20 - 17:20
Talk
SOAP
Ben HermannPaderborn University, Andreas DannPaderborn University
17:20 - 17:40
Day closing
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
16:00 - 17:30: Interaction Trees and Algebraic Effects IDeepSpec at 106B
Chair(s): Andrew AppelPrinceton
16:00 - 16:20
Talk
DeepSpec
Steve ZdancewicUniversity of Pennsylvania
16:20 - 16:45
Talk
DeepSpec
William ManskyUniversity of Illinois at Chicago, Wolf Honore
16:45 - 17:30
Talk
DeepSpec
Daan LeijenMicrosoft Research, USA
16:00 - 17:30: Session 5ARRAY at 106C
Chair(s): Lenore MullinSUNY Albany, USA
16:00 - 16:30
Talk
ARRAY
A: Dejice Jacob, A: Jeremy SingerUniversity of Glasgow
16:30 - 17:00
Talk
ARRAY
A: Henrik BarthelsRWTH Aachen, A: Paolo BientinesiUmeå University
17:00 - 17:30
Talk
ARRAY
A: Martin KristienUniversity of Edinburgh, UK, A: Bruno BodinYale-NUS College, A: Michel SteuwerUniversity of Glasgow, A: Christophe DubachUniversity of Edinburgh
16:00 - 16:50: Applications of Chapel (continued)CHIUW at 212A
Chair(s): Michael FergusonCray Inc.
16:00 - 16:25
Talk
CHIUW
Louis JenkinsUniversity of Rochester, Marcin ZalewskiPacific Northwest National Laboratory
16:25 - 16:50
Talk
CHIUW
Benjamin AlbrechtCray Inc., Alex HeyeCray Inc., Benjamin RobbinsCray Inc.
16:00 - 17:30: DRLTPLDI Tutorials at 212B
16:00 - 17:30
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
16:00 - 17:35: V8PLDI Tutorials at 212C
16:00 - 17:35
Tutorial
PLDI Tutorials
O: Steve BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle
16:50 - 17:30: Lightning Talks and Flash DiscussionsCHIUW at 212A
Chair(s): Benjamin RobbinsCray Inc.
18:00 - 20:00: Social EventSOAP at TBD
18:00 - 20:00
Social Event
SOAP

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:00 - 09:00: BreakfastCatering at 301 Foyer
09:00 - 09:45: Keynote 1: Academic KeynoteLCTES at 105A
09:00 - 09:10
Talk
LCTES
Aviral ShrivastavaArizona State University
09:10 - 09:45
Talk
LCTES
K: Rajesh GuptaUC San Diego
09:00 - 09:30: IcebreakerPLMW @ PLDI at 105B
Chair(s): Milind KulkarniPurdue University
09:00 - 09:30
Other
PLMW @ PLDI
Milind KulkarniPurdue University
09:00 - 11:00: Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C
09:00 - 11:00
Tutorial
PLDI Tutorials
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
09:00 - 11:00: Scaling UpISMM at 106A
09:00 - 09:05
Day opening
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
09:05 - 09:45
Talk
ISMM
09:45 - 10:10
Talk
ISMM
Tung D. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
10:10 - 10:35
Talk
ISMM
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
10:35 - 11:00
Talk
ISMM
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
09:00 - 10:30: Interaction Trees and Algebraic Effects IIDeepSpec at 106B
Chair(s): Steve ZdancewicUniversity of Pennsylvania
09:00 - 09:45
Talk
DeepSpec
Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 - 10:30
Talk
DeepSpec
James McKinnaUniversity of Edinburgh
09:00 - 09:10: WelcomeDBPL at 106C
Chair(s): Alvin CheungUniversity of Washington, Kim NguyễnUniversity of Paris-Sud, France
09:00 - 10:00: SafeAsyncPLDI Tutorials at 212A
09:00 - 10:00
Tutorial
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
09:10 - 10:20: Invited Talk: Jeremy GibbonsDBPL at 106C
09:30 - 10:15: ISCA Mentoring TalkPLMW @ PLDI at 105B
09:30 - 10:15
Talk
PLMW @ PLDI
Jason MarsUniversity of Michigan
09:30 - 11:00: Session IDPA at 212B
Chair(s): Neville GrechUniversity of Athens
09:30 - 10:00
Talk
DPA
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
10:00 - 10:30
Talk
DPA
Christoph ReichenbachLund University
10:30 - 11:00
Talk
DPA
Michael ArntzeniusUniversity of Birmingham, UK
09:45 - 11:00: Session 1: Memory ManagementLCTES at 105A
Chair(s): Greg StittUniversity of Florida
09:45 - 10:00
Full-paper
LCTES
Asif Ali KhanTU Dresden, Germany, Norman A. RinkTU Dresden, Germany, Fazal HameedTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
10:00 - 10:15
Full-paper
LCTES
10:15 - 10:30
Full-paper
LCTES
Thomas Haywood DadzieHanyang University, Jiwon LeeHanyang University, Jihye KimKookmin University, Hyunok OhHanyang Univ
10:30 - 10:45
Full-paper
LCTES
Yejia DiEast China Normal University, Chongqing University, Liang ShiChongqing University, Shuo-Han ChenAcademia Sinica, Taipei, Jason XueCity University of Hong Kong, China, Edwin ShaChongqing University
10:45 - 11:00
Full-paper
LCTES
Chundong WangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design, Gunavaran BrihadiswarnUniversity of Moratuwa
10:00 - 11:00: SafeAsyncPLDI Tutorials at 212A
10:00 - 11:00
Tutorial
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
10:15 - 11:00: PL Mentoring TalkPLMW @ PLDI at 105B
Chair(s): Michelle StroutUniversity of Arizona
10:15 - 11:00
Talk
PLMW @ PLDI
Mary HallUniversity of Utah
10:20 - 11:00: Novel Data ApplicationsDBPL at 106C
10:20 - 10:40
Talk
DBPL
Nobutaka SuzukiUniversity of Tsukuba, Takuya OkadaUniversity of Tsukuba, Yeondae KwonThe University of Tokyo
10:40 - 11:00
Talk
DBPL
Darshana BalakrishnanUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA, Oliver KennedyUniversity at Buffalo
10:30 - 11:00: Coffee BreakDeepSpec at 106B
11:00 - 12:30: HW/SW Interface SpecificationsDeepSpec at 106B
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
11:00 - 11:45
Talk
DeepSpec
11:45 - 12:30
Talk
DeepSpec
Yatin ManerkarPrinceton University
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:20 - 12:35: Session 2: Architecture and CompilersLCTES at 105A
Chair(s): Na MengVirginia Tech
11:20 - 11:35
Full-paper
LCTES
Wanli ChangUniversity of York, Shuai ZhaoUniversity of York, Ran WeiUniversity of York, Andy WellingsUniversity of York, Alan BurnsUniversity of York
11:35 - 11:50
Full-paper
LCTES
Saad AhmedLUMS, Pakistan, Abu BakarNorthwestern University, US, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
11:50 - 12:05
Full-paper
LCTES
Xuesong SuUNSW Sydney, Hui WuUniversity of New South Wales, Australia, Jingling XueUNSW Sydney
12:05 - 12:20
Full-paper
LCTES
Vanchinathan VenkataramaniNational University of Singapore, Aditi KulkarniNational University of Singapore, Tulika MitraNational University of Singapore, Singapore, Li-Shiuan PehNational University of Singapore
12:20 - 12:35
Full-paper
LCTES
Saad AhmedLUMS, Pakistan, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
11:20 - 12:30: Panel: Charting Your PathPLMW @ PLDI at 105B
Chair(s): Michelle StroutUniversity of Arizona
11:20 - 12:30
Other
PLMW @ PLDI
Lisa Hsu, Adrian SampsonCornell University, Caroline TrippelPrinceton University, Benjamin ZornMicrosoft Research, Emma ToschUniversity of Massachusetts, Amherst
11:20 - 12:30: Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C
11:20 - 12:30
Tutorial
PLDI Tutorials
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
11:20 - 12:35: ExoticaISMM at 106A
11:20 - 11:45
Talk
ISMM
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
11:45 - 12:10
Talk
ISMM
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
12:10 - 12:35
Talk
ISMM
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
11:20 - 12:20: Graphs and StreamsDBPL at 106C
11:20 - 11:40
Talk
DBPL
Mohammad Amin FarvardinPSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo, Khalid BelhajjamePSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani
11:40 - 12:00
Talk
DBPL
Lars KrollKTH Royal Institute of Technology, Sweden, Klas SegeljaktKTH, Paris CarboneKTH, Sweden, Christian SchulteKTH Royal Institute of Technology, Sweden, Seif Haridi
Pre-print Media Attached
12:00 - 12:20
Talk
DBPL
Ruby TahboubPurdue University, Xilun WuPurdue University, Gregory Essertel, Tiark RompfPurdue University
11:20 - 12:30: SafeAsyncPLDI Tutorials at 212A
11:20 - 12:30
Tutorial
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
11:30 - 12:30: Session IIDPA at 212B
Chair(s): Max SchaeferGitHub
11:30 - 12:00
Talk
DPA
Vineeth KashyapGrammaTech, Inc.
12:00 - 12:30
Talk
DPA
Neville GrechUniversity of Athens
12:30 - 14:00: LunchCatering at 301A
14:00 - 14:45: Keynote 2: Industry KeynoteLCTES at 105A
14:00 - 14:10
Talk
LCTES
Jian-Jia ChenTU Dortmund University
14:10 - 14:45
Industry talk
LCTES
K: Jack WeastIntel, USA
14:00 - 15:30: PL Research TopicsPLMW @ PLDI at 105B
Chair(s): Milind KulkarniPurdue University
14:00 - 14:30
Talk
PLMW @ PLDI
Adrian SampsonCornell University
Link to publication
14:30 - 15:00
Talk
PLMW @ PLDI
Cindy Rubio-GonzálezUniversity of California, Davis
15:00 - 15:30
Talk
PLMW @ PLDI
Alastair DonaldsonGoogle and Imperial College London
14:00 - 15:40: MechanicsISMM at 106A
14:00 - 14:50
Talk
ISMM
Shan LuUniversity of Chicago
14:50 - 15:15
Talk
ISMM
15:15 - 15:40
Talk
ISMM
Ricardo LeiteUniversity of Porto, Ricardo RochaUniversity of Porto, Portugal
14:00 - 15:15: Verifying All the ThingsDeepSpec at 106B
Chair(s): Zhong ShaoYale University
14:00 - 14:45
Talk
DeepSpec
Ben LaurieGoogle Research
14:45 - 15:15
Talk
DeepSpec
Jérémie KoenigYale University
14:00 - 15:10: Invited Talk: Işıl DilligDBPL at 106C
14:00 - 15:30: SafeAsyncPLDI Tutorials at 212A
14:00 - 15:30
Tutorial
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
14:00 - 15:30: Session IIIDPA at 212B
Chair(s): Max SchaeferGitHub
14:00 - 14:30
Talk
DPA
Mistral ContrastinUniversity of Cambridge, UK
14:30 - 15:00
Talk
DPA
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
15:00 - 15:30
Talk
DPA
Thomas GilrayThe University of Alabama at Birmingham
14:45 - 15:30: Session 3: ApplicationsLCTES at 105A
Chair(s): Wanli ChangUniversity of York
14:45 - 15:00
Full-paper
LCTES
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher Ré, Philip LevisStanford University
15:00 - 15:15
Full-paper
LCTES
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
15:15 - 15:30
Full-paper
LCTES
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational University of Singapore
15:10 - 15:30: Semantics and Analysis (part 1)DBPL at 106C
15:10 - 15:30
Talk
DBPL
Filip MurlakUniversity of Warsaw, Jan PosiadałaNodes and Edges, Paweł SusickiNodes and Edges
15:15 - 15:45: Coffee BreakDeepSpec at 106B
15:30 - 16:00: Coffee BreakCatering at 301 Foyer
15:45 - 16:45: Coinduction and TestingDeepSpec at 106B
Chair(s): Lennart BeringerPrinceton University
15:45 - 16:15
Talk
DeepSpec
Chung-Kil HurSeoul National University
16:15 - 16:45
Talk
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania
16:00 - 16:45: Session 4: Benchmarking and In-progress WorksLCTES at 105A
Chair(s): Hyunok OhHanyang Univ
16:00 - 16:15
Full-paper
LCTES
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
16:15 - 16:20
Short-paper
LCTES
Greg StittUniversity of Florida, David CampbellUniversity of Florida
16:20 - 16:25
Short-paper
LCTES
Andrea MaioliPolitecnico di Milano, Italy, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences
16:25 - 16:30
Short-paper
LCTES
16:30 - 16:35
Short-paper
LCTES
Yongseung YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
16:35 - 16:40
Short-paper
LCTES
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech
16:00 - 17:00: Research Career OptionsPLMW @ PLDI at 105B
Chair(s): Calvin LinUniversity of Texas, Austin
16:00 - 16:30
Talk
PLMW @ PLDI
Kathleen FisherTufts University, USA
Link to publication
16:30 - 17:00
Talk
PLMW @ PLDI
Todd MytkowiczMicrosoft Research
16:00 - 17:15: Mechanics / Message PassingISMM at 106A
16:00 - 16:25
Talk
ISMM
Paul Lietar, Theodore ButlerDrexel University, USA, Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Matthew ParkinsonMicrosoft Research, UK, Alex ShamisMicrosoft Research / Imperial College London, Christoph M. WintersteigerMicrosoft Research, UK, David ChisnallUniversity of Cambridge
16:25 - 16:50
Talk
ISMM
Steve BlackburnAustralian National University
16:50 - 17:14
Talk
ISMM
Koichi SasadaCookpad, Japan
Link to publication DOI
17:14 - 17:15
Day closing
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
16:00 - 16:40: Semantics and Analysis (part 2)DBPL at 106C
16:00 - 16:20
Talk
DBPL
Stefan FehrenbachUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
16:20 - 16:40
Talk
DBPL
Wilmer RicciottiUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
16:00 - 17:30: SafeAsyncPLDI Tutorials at 212A
16:00 - 17:30
Tutorial
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
16:00 - 17:00: Session IVDPA at 212B
Chair(s): Neville GrechUniversity of Athens
16:00 - 16:30
Talk
DPA
Mukund RaghothamanUniversity of Pennsylvania, USA
16:30 - 17:00
Talk
DPA
16:40 - 17:00: Concluding remarksDBPL at 106C
16:45 - 17:15: Poster SessionLCTES at 105A
17:15 - 18:15: Yoshua Bengio, Geoffrey Hinton, and Yann LeCun, The Turing LecturePLDI Research Papers at Symphony Hall

Mon 24 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:00 - 09:00: BreakfastCatering at 301 Foyer
08:30 - 08:45: Welcome!PLDI Research Papers at 224AB
08:30 - 08:45: Welcome!PLDI Research Papers at 229AB
08:45 - 09:45: Language Design IPLDI Research Papers at 224AB
Chair(s): Benjamin ZornMicrosoft Research
08:45 - 09:05
Talk
PLDI Research Papers
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Mike RaineyIndiana University, USA, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University
DOI Authorizer link Pre-print Media Attached
09:05 - 09:25
Talk
PLDI Research Papers
Daniel J. FremontUniversity of California at Berkeley, USA, Tommaso DreossiUniversity of California at Berkeley, Shromona GhoshUniversity of California at Berkeley, USA, Xiangyu YueUniversity of California at Berkeley, USA, Alberto L. Sangiovanni-VincentelliUniversity of California at Berkeley, USA, Sanjit SeshiaUC Berkeley
Media Attached
09:25 - 09:45
Talk
PLDI Research Papers
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
08:45 - 09:45: Concurrency IPLDI Research Papers at 229AB
Chair(s): Alastair DonaldsonGoogle and Imperial College London
08:45 - 09:05
Talk
PLDI Research Papers
Christopher PulteUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University
Media Attached
09:05 - 09:25
Talk
PLDI Research Papers
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI Pre-print Media Attached
09:25 - 09:45
Talk
PLDI Research Papers
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
10:00 - 11:00: Language Design IIPLDI Research Papers at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
10:00 - 10:20
Talk
PLDI Research Papers
Roshan DathathriUniversity of Texas at Austin, USA, Olli Saarikivi, Hao ChenMicrosoft Research, Kim LaineMicrosoft Research, n.n., Kristin LauterMicrosoft Research, n.n., Saeed MalekiMicrosoft Research, Madan MusuvathiMicrosoft Research, Todd MytkowiczMicrosoft Research
DOI Pre-print Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Sunjay CauligiUniversity of California, San Diego, Gary Soeller, Brian JohannesmeyerUniversity of California at San Diego, USA, Fraser BrownStanford University, Riad S. WahbyStanford University, USA, John RennerUniversity of California, San Diego, Benjamin GregoireINRIA, Gilles BartheIMDEA Software Institute, Ranjit JhalaUniversity of California, San Diego, Deian StefanUniversity of California San Diego
Media Attached
10:00 - 11:00: Concurrency IIPLDI Research Papers at 229AB
Chair(s): Dan GrossmanUniversity of Washington
10:00 - 10:20
Talk
PLDI Research Papers
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS), Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Hanru JiangUniversity of Science and Technology of China, Hongjin LiangNanjing University, China, Siyang XiaoUniversity of Science and Technology of China, China, Junpeng ZhaUniversity of Science and Technology of China, China, Xinyu FengNanjing University
Pre-print Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Ori LahavTel Aviv University, Roy MargalitTel Aviv University, Israel
Pre-print
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:20 - 12:30: Plenary Talk by James E. SmithPLDI Research Papers at Symphony Hall
12:30 - 14:00: SIGPLAN Awards LunchPLDI Research Papers at 120D
14:00 - 15:30: Probabilistic ProgrammingPLDI Research Papers at 224AB
Chair(s): Martin HirzelIBM Research
14:00 - 14:20
Talk
PLDI Research Papers
Steffen SmolkaCornell University, Praveen KumarCornell University, David M. KahnCarnegie Mellon University, USA, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI Pre-print Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Peixin WangShanghai Jiao Tong University, Hongfei FuIST Austria, Amir Kafshdar GoharshadyIST Austria, Krishnendu ChatterjeeIST Austria, Xudong QinEast China Normal University, China, Wenjun ShiEast China Normal University, China
Media Attached
14:40 - 15:00
Talk
PLDI Research Papers
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansinghkaMIT
Media Attached
15:00 - 15:20
Talk
PLDI Research Papers
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
14:00 - 15:30: SynthesisPLDI Research Papers at 229AB
Chair(s): Nuno P. LopesMicrosoft Research
14:00 - 14:20
Talk
PLDI Research Papers
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
DOI Media Attached
14:40 - 15:00
Talk
PLDI Research Papers
Yuepeng WangUniversity of Texas at Austin, James DongUniversity of Texas at Austin, USA, Rushi ShahUT Austin, Isil DilligUT Austin
Media Attached
15:00 - 15:20
Talk
PLDI Research Papers
Arun IyerMicrosoft Research, India, Manohar JonnalageddaInpher Inc., Switzerland, Suresh ParthasarathyMicrosoft Research, India, Arjun RadhakrishnaMicrosoft, Sriram RajamaniMicrosoft Research
Media Attached
15:30 - 16:00: Coffee BreakCatering at 301 Foyer
16:00 - 17:00: ParsingPLDI Research Papers at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
16:00 - 16:20
Talk
PLDI Research Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
Link to publication DOI Pre-print
16:40 - 17:00
Talk
PLDI Research Papers
Giovanni CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached
16:00 - 17:00: Memory ManagementPLDI Research Papers at 229AB
Chair(s): Erez PetrankTechnion
16:00 - 16:20
Talk
PLDI Research Papers
Thomas ShullUniversity of Illinois at Urbana-Champaign, Jian HuangUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Bobby PowersUniversity of Massachusetts, Amherst, David TenchUniversity of Massachusetts at Amherst, USA, Emery BergerUniversity of Massachusetts, Amherst, Andrew McGregor
Pre-print Media Attached
16:40 - 17:00
Talk
PLDI Research Papers
Chenxi WangUCLA, Huimin CuiInstitute of Computing Technology, Chinese Academy of Sciences, Ting CaoMicrosoft Research, John ZigmanUniversity of Sydney, Australia, Haris Volos, Onur MutluETH Zurich, Fang LvInstitute of Computing Technology, Chinese Academy of Sciences, Xiaobing FengICT CAS, Guoqing Harry XuUCLA
Pre-print Media Attached
17:30 - 19:00: Student Research Competition (SRC) Session and ReceptionPLDI Research Papers at 301 Foyer

Tue 25 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:00 - 09:00: BreakfastCatering at 301 Foyer
08:30 - 09:30: Type Systems IPLDI Research Papers at 224AB
Chair(s): Ranjit JhalaUniversity of California, San Diego
08:30 - 08:50
Talk
PLDI Research Papers
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
08:50 - 09:10
Talk
PLDI Research Papers
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
09:10 - 09:30
Talk
PLDI Research Papers
Ezgi ÇiçekFacebook London, Weihao QuUniversity at Buffalo, SUNY, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems
Media Attached
08:30 - 09:30: Parallelism and Super Computing IPLDI Research Papers at 228AB
Chair(s): Veselin RaychevDeepCode AG
08:30 - 08:50
Talk
PLDI Research Papers
Tanvir Ahmed KhanUniversity of Michigan, USA, Yifan ZhaoUniversity of Michigan, USA, Gilles PokamIntel Corporation, Barzan MozafariUniversity of Michigan, USA, Baris KasikciUniversity of Michigan, USA
Media Attached
08:50 - 09:10
Talk
PLDI Research Papers
Martin KongBrookhaven National Laboratory, Louis-Noël PouchetColorado State University
Media Attached
09:10 - 09:30
Talk
PLDI Research Papers
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
08:30 - 09:30: Bug Finding & Testing IPLDI Research Papers at 229AB
Chair(s): Cindy Rubio-GonzálezUniversity of California, Davis
08:30 - 08:50
Talk
PLDI Research Papers
William T. HallahanYale University, Anton XueYale University, Maxwell Troy BlandUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California, San Diego, Ruzica PiskacYale University, USA
Media Attached
08:50 - 09:10
Talk
PLDI Research Papers
Blake Loring, Duncan MitchellRoyal Holloway, University of London, Johannes KinderBundeswehr University Munich
Media Attached
09:10 - 09:30
Talk
PLDI Research Papers
Zhoulai FuIT University of Copenhagen, Denmark, Zhendong SuETH Zurich
10:00 - 11:00: Type Systems IIPLDI Research Papers at 224AB
Chair(s): Jeffrey S. FosterTufts University
10:00 - 10:20
Talk
PLDI Research Papers
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
10:20 - 10:40
Talk
PLDI Research Papers
Yuxin Wang, Zeyu DingPennsylvania State University, USA, Guanhong WangPennsylvania State University, USA, Daniel KiferDept. of Computer Science and Engineering, Penn State University, Danfeng ZhangPennsylvania State University
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
10:00 - 11:00: Parallelism and Super Computing IIPLDI Research Papers at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
10:00 - 10:20
Talk
PLDI Research Papers
Mahdi Soltan MohammadiUniversity of Arizona, Eddie C. DavisBoise State University, USA, Mary HallUniversity of Utah, Maryam Mehri DehnaviUniversity of Toronto, Payal NandyUniversity of Utah, USA, Catherine R. M. OlschanowskyBoise State University, USA, Anand VenkatUniversity of Utah, Tomofumi Yuki, Kazem CheshmiUniversity of Toronto, Michelle StroutUniversity of Arizona
Link to publication DOI Pre-print Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noël PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
10:00 - 11:00: Bug Finding & Testing IIPLDI Research Papers at 229AB
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
10:00 - 10:20
Talk
PLDI Research Papers
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Michaël MeraCISPA, Germany, Alexander KampmannCISPA Helmholtz Center for Information Security, Matthias HöscheleCISPA, Germany, Andreas ZellerSaarland University
Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Kihong HeoUniversity of Pennsylvania, USA, Mukund RaghothamanUniversity of Pennsylvania, USA, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Christopher LidburyImperial College London, Alastair DonaldsonGoogle and Imperial College London
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:20 - 12:30: Plenary TalkPLDI Research Papers at Symphony Hall
12:30 - 14:00: LunchPLDI Research Papers at 301
14:00 - 15:30: Reasoning and Optimizing ML ModelsPLDI Research Papers at 224AB
Chair(s): Martin MaasGoogle
14:00 - 14:20
Talk
PLDI Research Papers
He ZhuRutgers University, USA, Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
14:40 - 15:00
Talk
PLDI Research Papers
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
Media Attached File Attached
15:00 - 15:20
Talk
PLDI Research Papers
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
14:00 - 15:30: Learning SpecificationsPLDI Research Papers at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
14:00 - 14:20
Talk
PLDI Research Papers
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:40 - 15:00
Talk
PLDI Research Papers
Angello Astorga, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Shambwaditya Saha, Shiyu WangUniversity of Illinois at Urbana-Champaign, USA, Tao XieUniversity of Illinois at Urbana-Champaign, USA
15:00 - 15:20
Talk
PLDI Research Papers
Ton Chanh LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
14:00 - 15:30: Static AnalysisPLDI Research Papers at 229AB
Chair(s): Martin RinardMassachusetts Institute of Technology
14:00 - 14:20
Talk
PLDI Research Papers
Meng WuVirginia Tech, Chao WangUSC
Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Tobias GysiETH Zurich, Switzerland, Tobias GrosserETH Zurich, Laurin BrandnerETH Zurich, Switzerland, Torsten HoeflerETH Zurich
Media Attached
14:40 - 15:00
Talk
PLDI Research Papers
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Ryan R. NewtonIndiana University, Milind KulkarniPurdue University
Media Attached
15:00 - 15:20
Talk
PLDI Research Papers
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland, USA
Media Attached
15:30 - 16:00: Coffee BreakCatering at 301 Foyer
16:00 - 17:00: PerformancePLDI Research Papers at 224AB
Chair(s): Ting CaoMicrosoft Research
16:00 - 16:20
Talk
PLDI Research Papers
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
16:40 - 17:00
Talk
PLDI Research Papers
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached
16:00 - 16:40: Type Systems IIIPLDI Research Papers at 228AB
Chair(s): Satish ChandraFacebook
16:00 - 16:20
Talk
PLDI Research Papers
Reuben N. S. RoweUniversity of Kent, Hugo FéréeUniversity of Kent, UK, Simon Thompson, Scott OwensUniversity of Kent, UK
Link to publication DOI Pre-print
16:20 - 16:40
Talk
PLDI Research Papers
Milod KazerounianUniversity of Maryland, College Park, Sankha Narayan GuriaUniversity of Maryland, College Park, Niki VazouIMDEA Software Institute, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland, USA
Media Attached
16:00 - 17:00: Dynamics: Analysis and CompilationPLDI Research Papers at 229AB
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
16:00 - 16:20
Talk
PLDI Research Papers
David Mitchel PerryPurdue University, Dohyeong KimPurdue University, Roopsha SamantaPurdue University, Xiangyu ZhangPurdue University
Pre-print Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Timotej KapusImperial College London, Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London
Link to publication Pre-print Media Attached
16:40 - 17:00
Talk
PLDI Research Papers
Jiho ChoiUniversity of Illinois at Urbana-Champaign, Thomas ShullUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
16:40 - 17:15: Student Research Competition TalksPLDI Research Papers at 228AB
17:30 - 19:00: PLDI Chairs report & SIGPLAN Business meetingPLDI Research Papers at 120B

Wed 26 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:00 - 09:00: BreakfastCatering at 301 Foyer
08:30 - 09:30: Systems IPLDI Research Papers at 224AB
Chair(s): Xinyu FengNanjing University
08:30 - 08:50
Talk
PLDI Research Papers
Chao WangIRIF, Université Paris Diderot, France, Constantin EneaUniversité Paris Diderot, Suha Orhun MutluergilIRIF, France / University Paris Diderot, France / CNRS, France, Gustavo PetriArm Ltd
Media Attached
08:50 - 09:10
Talk
PLDI Research Papers
Guangpu LiUniversity of Chicago, USA, Haopeng LiuUniversity of Chicago, Xianglan ChenUniversity of Science and Technology of China, China, Haryadi S. GunawiUniversity of Chicago, USA, Shan LuUniversity of Chicago
Media Attached
09:10 - 09:30
Talk
PLDI Research Papers
Nikos VasilakisUniversity of Pennsylvania, USA, Ben KarelUniversity of Pennsylvania, USA, Yash PalkhiwalaUniversity of Pennsylvania, USA, John SonchackUniversity of Pennsylvania, USA, André DeHonUniversity of Pennsylvania, USA, Jonathan M. SmithUniversity of Pennsylvania, USA
Media Attached
08:30 - 09:30: Verification IPLDI Research Papers at 229AB
Chair(s): Chung-Kil HurSeoul National University
08:30 - 08:50
Talk
PLDI Research Papers
Berkeley ChurchillStanford University, Oded PadonStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
Media Attached
08:50 - 09:10
Talk
PLDI Research Papers
Andreas LööwChalmers University of Technology, Ramana KumarDeepMind, Yong Kiam TanCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Oskar AbrahamssonChalmers University of Technology, Sweden, Anthony FoxUniversity of Cambridge, UK
DOI Pre-print Media Attached
09:10 - 09:30
Talk
PLDI Research Papers
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
DOI Pre-print Media Attached
10:00 - 11:00: Systems IIPLDI Research Papers at 224AB
Chair(s): James LarusEPFL
10:00 - 10:20
Talk
PLDI Research Papers
Elazar GershuniTel Aviv University, Nadav Amit, Arie GurfinkelUniversity of Waterloo, Nina NarodytskaVMWare Research, Jorge A. NavasSRI International, Noam RinetzkyTel Aviv University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
10:00 - 11:00: Verification IIPLDI Research Papers at 229AB
Chair(s): Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
10:00 - 10:20
Talk
PLDI Research Papers
Parosh Aziz AbdullaUppsala University, Sweden, Jatin AroraIIT Bombay, India, Mohamed Faouzi AtigUppsala University, Shankaranarayanan KrishnaIIT Bombay, India
10:20 - 10:40
Talk
PLDI Research Papers
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Daejun ParkUniversity of Illinois at Urbana-Champaign, Theodoros KasampalisUniversity of Illinois at Urbana-Champaign, USA, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Li ZhouDepartment of Computer Science and Technology, Tsinghua University, Nengkun YuUniversity of Technology Sydney, Australia, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.
Media Attached
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:20 - 12:30: Plenary TalkPLDI Research Papers at Symphony Hall

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
105A
105B
105C
106A
106B
106C
212A
212B
301
301 Foyer
301A
50 W Jefferson St #240, Phoenix, AZ 85003 (not in the convention center)
Symphony Hall

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
105A
12:00 - 12:30
105C
106A
106B
106C
212A
09:00 - 09:30
212B
212C
301 Foyer
11:00 - 11:20
TBD

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
105A
105B