PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all welcome emphases in strong PLDI submissions.

PLDI 2019 will take place June 24-26, 2019 in Phoenix Arizona, USA.

Dates

Sun 23 Jun

pldi-2019-papers
17:15 - 18:15: PLDI Research Papers - Yoshua Bengio, Geoffrey Hinton, and Yann LeCun, The Turing Lecture at Symphony Hall
pldi-2019-papers

Mon 24 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at 224AB
pldi-2019-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at 229AB
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Concurrency I at 229AB
Chair(s): Alastair DonaldsonGoogle and Imperial College London
pldi-2019-papers08:45 - 09:05
Talk
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
pldi-2019-papers09:05 - 09:25
Talk
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI Pre-print Media Attached
pldi-2019-papers09:25 - 09:45
Talk
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
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Language Design I at 224AB
Chair(s): Benjamin ZornMicrosoft Research
pldi-2019-papers08:45 - 09:05
Talk
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
pldi-2019-papers09:05 - 09:25
Talk
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
pldi-2019-papers09:25 - 09:45
Talk
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Concurrency II at 229AB
Chair(s): Dan GrossmanUniversity of Washington
pldi-2019-papers10:00 - 10:20
Talk
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS), Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
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
pldi-2019-papers10:40 - 11:00
Talk
Ori LahavTel Aviv University, Roy MargalitTel Aviv University, Israel
Pre-print
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Language Design II at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
pldi-2019-papers10:00 - 10:20
Talk
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
pldi-2019-papers10:20 - 10:40
Talk
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
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
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk by James E. Smith at Symphony Hall
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - SIGPLAN Awards Lunch at 120D
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Probabilistic Programming at 224AB
Chair(s): Martin HirzelIBM Research
pldi-2019-papers14:00 - 14:20
Talk
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
pldi-2019-papers14:20 - 14:40
Talk
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
pldi-2019-papers14:40 - 15:00
Talk
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansinghkaMIT
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Synthesis at 229AB
Chair(s): Nuno P. LopesMicrosoft Research
pldi-2019-papers14:00 - 14:20
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
DOI Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Yuepeng WangUniversity of Texas at Austin, James DongUniversity of Texas at Austin, USA, Rushi ShahUT Austin, Isil DilligUT Austin
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Arun IyerMicrosoft Research, India, Manohar JonnalageddaInpher Inc., Switzerland, Suresh ParthasarathyMicrosoft Research, India, Arjun RadhakrishnaMicrosoft, Sriram RajamaniMicrosoft Research
Media Attached
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Memory Management at 229AB
Chair(s): Erez PetrankTechnion
pldi-2019-papers16:00 - 16:20
Talk
Thomas ShullUniversity of Illinois at Urbana-Champaign, Jian HuangUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Bobby PowersUniversity of Massachusetts, Amherst, David TenchUniversity of Massachusetts at Amherst, USA, Emery BergerUniversity of Massachusetts, Amherst, Andrew McGregor
Pre-print Media Attached
pldi-2019-papers16:40 - 17:00
Talk
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, Harry XuUCLA
Pre-print Media Attached
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Parsing at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
pldi-2019-papers16:00 - 16:20
Talk
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
Link to publication DOI Pre-print
pldi-2019-papers16:40 - 17:00
Talk
Giovanni CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached
pldi-2019-papers
17:30 - 19:00: PLDI Research Papers - Student Research Competition (SRC) Session and Reception at 301 Foyer

Tue 25 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Bug Finding & Testing I at 229AB
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis
pldi-2019-papers08:30 - 08:50
Talk
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
pldi-2019-papers08:50 - 09:10
Talk
Blake Loring, Duncan MitchellRoyal Holloway, University of London, Johannes KinderBundeswehr University Munich
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Zhoulai FuIT University of Copenhagen, Denmark, Zhendong SuETH Zurich
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Parallelism and Super Computing I at 228AB
Chair(s): Veselin RaychevDeepCode AG
pldi-2019-papers08:30 - 08:50
Talk
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
pldi-2019-papers08:50 - 09:10
Talk
Martin KongBrookhaven National Laboratory, Louis-Noel PouchetColorado State University
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Type Systems I at 224AB
Chair(s): Ranjit JhalaUniversity of California, San Diego
pldi-2019-papers08:30 - 08:50
Talk
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
pldi-2019-papers08:50 - 09:10
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
pldi-2019-papers09:10 - 09:30
Talk
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
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Bug Finding & Testing II at 229AB
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
pldi-2019-papers10:00 - 10:20
Talk
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
pldi-2019-papers10:20 - 10:40
Talk
Kihong HeoUniversity of Pennsylvania, USA, Mukund RaghothamanUniversity of Pennsylvania, USA, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Christopher LidburyImperial College London, Alastair DonaldsonGoogle and Imperial College London
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Parallelism and Super Computing II at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
pldi-2019-papers10:00 - 10:20
Talk
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
pldi-2019-papers10:20 - 10:40
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noel PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Type Systems II at 224AB
Chair(s): Jeffrey S. FosterTufts University
pldi-2019-papers10:00 - 10:20
Talk
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
pldi-2019-papers10:20 - 10:40
Talk
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
pldi-2019-papers10:40 - 11:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at Symphony Hall
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - Lunch at 301
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Learning Specifications at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
pldi-2019-papers14:00 - 14:20
Talk
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:40 - 15:00
Talk
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
pldi-2019-papers15:00 - 15:20
Talk
Ton Chanh LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Reasoning and Optimizing ML Models at 224AB
Chair(s): Martin MaasGoogle
pldi-2019-papers14:00 - 14:20
Talk
He ZhuGalois, Inc., Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
pldi-2019-papers14:40 - 15:00
Talk
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
Media Attached File Attached
pldi-2019-papers15:00 - 15:20
Talk
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Static Analysis at 229AB
Chair(s): Martin RinardMassachusetts Institute of Technology
pldi-2019-papers14:00 - 14:20
Talk
Meng WuVirginia Tech, Chao WangUSC
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Tobias GysiETH Zurich, Switzerland, Tobias GrosserETH Zurich, Laurin BrandnerETH Zurich, Switzerland, Torsten HoeflerETH Zurich
Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Ryan R. NewtonIndiana University, Milind KulkarniPurdue University
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland, USA
Media Attached
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Dynamics: Analysis and Compilation at 229AB
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
pldi-2019-papers16:00 - 16:20
Talk
David Mitchel PerryPurdue University, Dohyeong KimPurdue University, Roopsha SamantaPurdue University, Xiangyu ZhangPurdue University
Pre-print Media Attached
pldi-2019-papers16:20 - 16:40
Talk
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
pldi-2019-papers16:40 - 17:00
Talk
Jiho ChoiUniversity of Illinois at Urbana-Champaign, Thomas ShullUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Performance at 224AB
Chair(s): Ting CaoMicrosoft Research
pldi-2019-papers16:00 - 16:20
Talk
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
pldi-2019-papers16:40 - 17:00
Talk
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached
pldi-2019-papers
16:00 - 16:40: PLDI Research Papers - Type Systems III at 228AB
Chair(s): Satish ChandraFacebook
pldi-2019-papers16:00 - 16:20
Talk
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
pldi-2019-papers16:20 - 16:40
Talk
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
pldi-2019-papers
16:40 - 17:15: PLDI Research Papers - Student Research Competition Talks at 228AB
pldi-2019-papers
17:30 - 19:00: PLDI Research Papers - PLDI Chairs report & SIGPLAN Business meeting at 120B

Wed 26 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Systems I at 224AB
Chair(s): Xinyu FengNanjing University
pldi-2019-papers08:30 - 08:50
Talk
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
pldi-2019-papers08:50 - 09:10
Talk
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
pldi-2019-papers09:10 - 09:30
Talk
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
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Verification I at 229AB
Chair(s): Chung-Kil HurSeoul National University
pldi-2019-papers08:30 - 08:50
Talk
Berkeley ChurchillStanford University, Oded PadonStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
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
pldi-2019-papers09:10 - 09:30
Talk
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
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Systems II at 224AB
Chair(s): James LarusEPFL
pldi-2019-papers10:00 - 10:20
Talk
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
Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Verification II at 229AB
Chair(s): Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
pldi-2019-papers10:00 - 10:20
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Jatin AroraIIT Bombay, India, Mohamed Faouzi AtigUppsala University, Shankaranarayanan KrishnaIIT Bombay, India
pldi-2019-papers10:20 - 10:40
Talk
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Daejun ParkUniversity of Illinois at Urbana-Champaign, Theodoros KasampalisUniversity of Illinois at Urbana-Champaign, USA, Vikram AdveUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
pldi-2019-papers10:40 - 11:00
Talk
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
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at Symphony Hall

Call for Papers

PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all welcome emphases in strong PLDI submissions.

Authors of empirical papers are encouraged to consider the seven categories of the SIGPLAN Empirical Evaluation Guidelines when preparing their submissions.

Evaluation Criteria and Process

Reviewers will evaluate each contribution for its accuracy, significance, originality, and clarity. Submissions should be organized to communicate clearly to a broad programming-language audience as well as to experts on the paper’s topics. Papers should identify what has been accomplished and how it relates to previous work.

Deadlines and formatting requirements, detailed below, will be strictly enforced, with extremely rare extenuating circumstances considered at the discretion of the Program Chair.

In almost all cases, reviews will be performed by a subset of the Program Committee (PC), the External Program Committee (EPC), and the External Review Committee (ERC). Authors will have the opportunity to respond to initial reviews to correct and clarify technical concerns. The PC will make final accept/reject decisions except for papers with PC authors—such papers will have no PC reviewers and the EPC will make final decisions.

Authors may contact only the Program Chair about submitted papers during and after the review process. Contacting PC, EPC, or ERC members about submitted paper(s) is an ethical violation and may be grounds for summary rejection.

Double-Blind Reviewing

PLDI uses double-blind reviewing. This means that author names and affiliations must be omitted from the submission. Additionally, if the submission refers to prior work done by the authors, that reference should be made in third person. These are firm submission requirements. Any supplementary material must also be anonymized. If you have questions about making your paper double blind, please contact the Program Chair.

Submission Site Information

The submission site is https://pldi2019.hotcrp.com.

Authors can submit multiple times prior to the (firm!) deadline. The last legal submission will be reviewed. There is no abstract deadline. The submission site requires entering author names and affiliations, relevant topics, and potential conflicts. Addition or removal of authors after the submission deadline will need to be approved by the Program Chair (as this kind of change potentially undermines the goal of eliminating conflicts during paper assignment).

The submission deadline is 11:59PM November 16, 2018 anywhere on earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth

Declaring Conflicts

When submitting the paper, you will need to declare potential conflicts. Conflicts should be declared between an adviser and an advisee (e.g., Ph.D., post-doc). Other conflicts include institutional conflicts, financial conflicts of interest, friends or relatives, or any recent co-authors on papers and proposals (last 2 years).

Please do not declare spurious conflicts: such incorrect conflicts are especially harmful if the aim is to exclude potential reviewers, so spurious conflicts can be grounds for rejection. If you are unsure about a conflict, please consult the Program Chair.

Formatting Requirements

Papers should be formatted according to the two-column ACM proceedings format. Each paper should have no more than 12 pages, excluding bibliography, in 10pt font. There is no limit on the page count for references. Each reference must list all authors of the paper (do not use et al). The citations should be in numeric style, e.g., [52]. Submissions should be in PDF format and printable on US Letter and A4 sized paper. These requirements are all the same as in the previous year.

Papers that exceed the length requirement or deviate from the expected format will be rejected.

Make sure that figures and tables are legible, even after the paper is printed in gray-scale.

Appendices should not be part of the paper, but should be submitted as supplementary material. Supplementary material should also be anonymized, as described below. These requirements are also the same as last year.

As explained in more detail at http://www.sigplan.org/Resources/Author, LaTeX users should use the sigplan subformat of the acmart format by downloading acmart-sigplanproc.zip. Word users should use the acmart template for Word. These are the same files as last year, but different from previous years. Please note the following:

  • acmart-sigplanproc-template.tex has the correct defaults for PLDI 2019 submissions. Specifically, the first line should be \documentclass[sigplan,10pt,review,anonymous]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}. The default citation style is numeric.
  • Do not mess with the class file or settings to try to sneak in additional space. (Conversely, you may toggle the printccs and printacmref flags if you wish, but these changes will consume space.)
  • Do not use the PACMPL files or format; PLDI is not using them. However, the template files were designed to make migrating a paper from one format to the other as simple as possible.

Supplementary Material

Authors are free to provide supplementary material if that material supports the claims in the paper. Such material may include proofs, experimental results, and/or data sets. This material should be uploaded at the same time as the submission. Reviewers are not required to examine the supplementary material but may refer to it if they would like to find further evidence supporting the claims in the paper.

Plagiarism and Concurrent Work

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy: http://www.sigplan.org/Resources/Policies/Republication/. Authors should also be aware of the ACM Policy on Plagiarism: https://www.acm.org/publications/policies/plagiarism-overview. Concurrent submissions to other conferences, workshops, journals, or similar venues of publication are disallowed. Prior work must, as always, be cited and referred to in the third person even if it is the authors’ work, so as to preserve author anonymity. If you have further questions, contact the Program Chair.

Artifact Evaluation for Accepted Papers

The authors of accepted PLDI papers will be invited to submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how well the artifacts support the work described in the papers. This submission is voluntary but encouraged and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a badge printed on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Accepted Papers

Accepted papers will be made available (once the conference starts and for one month following) via 1-click download from the ACM Digital Library.

Publication Date

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous instances of PLDI. We are grateful to prior organizers for their work, which is reused here.

Accepted Papers

Title
Link to publication DOI Pre-print Media Attached
Media Attached
Link to publication DOI Pre-print
Media Attached
DOI Pre-print Media Attached
Media Attached
Media Attached
DOI Pre-print Media Attached
Media Attached
Media Attached
DOI Pre-print Media Attached
Link to publication DOI Pre-print
Media Attached
Link to publication DOI Media Attached
Media Attached
Link to publication Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Link to publication DOI
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
DOI Pre-print Media Attached
DOI Authorizer link Pre-print Media Attached
Pre-print Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Pre-print
Pre-print Media Attached
DOI Pre-print Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Media Attached
Link to publication DOI Pre-print Media Attached
Media Attached
Media Attached
Media Attached
Pre-print Media Attached
Media Attached
Media Attached
Pre-print Media Attached
DOI Media Attached
Media Attached
DOI Pre-print Media Attached
Pre-print
Media Attached File Attached

General

Q: Why are you using double-blind reviewing?

A: Studies have shown that a reviewer’s attitude toward a submission may be affected, even unconsciously, by the identity of the authors. We want reviewers to be able to approach each submission without any such, possibly involuntary, pre-judgment. Many computer-science conferences have embraced double-blind reviewing. PLDI has used it for several years now and doing so is stipulated in the Practices of PLDI.

Q: Do you really think blinding actually works? I suspect reviewers can often guess who the authors are anyway.

A: Authorship can be guessed correctly sometimes, but that does not eliminate the benefits of double-blind reviewing.

Q: Couldn’t blind submission create an injustice where a paper is inappropriately rejected based upon supposedly-prior work which was actually by the same authors and not previously published?

A: Reviewers are held accountable for their positions and are required to identify any supposed prior work that they believe undermines the novelty of the paper. Any assertion that ‘this has been done before’ by reviewers should be supported with concrete information. The author response mechanism exists in part to hold reviewers accountable for claims that may be incorrect.

For authors

Q: What exactly do I have to do to anonymize my paper?

A: Use common sense. Your job is not to make your identity undiscoverable but simply to make it possible for reviewers to evaluate your submission without having to know who you are. The specific guidelines stated in the call for papers are simple: omit authors’ names from your title page, and when you cite your own work, refer to it in the third person. For example, if your name is Smith and you have worked on amphibious type systems, instead of saying “We extend our earlier work on statically typed toads [Smith 2004],” you might say “We extend Smith’s [2004] earlier work on statically typed toads.” Also, be sure not to include any acknowledgements that would give away your identity. In general, you should aim to reduce the risk of accidental unblinding. For example, if your paper is the first to describe a system with a well-known name or codename, or you use a personally-identifiable naming convention for your work, then use a different name for your submission (which you may indicate has been changed for the purposes of double-blind reviewing). You should also avoid revealing the institutional affiliation of authors or at which the work was performed.

Q: I would like to provide supplementary material for consideration, e.g., the code of my implementation or proofs of theorems. How do I do this?

A: (see the next question also) On the submission site there will be an option to submit supplementary material along with your main paper. This supplementary material should also be anonymized – it may be viewed by reviewers during the review period, so it should adhere to the same double-blind guidelines.

Q: My submission is based on code available in a public repository. How do I deal with this?

A: Making your code publicly available is not incompatible with double-blind reviewing. You should do the following. First, cite the code in your paper, but remove the actual URL and, instead say “link to repository removed for double blind review” or similar. Second, if, when writing your author response, you believe reviewer access to your code would help, say so in your author response (without providing the URL), and send the URL to the Program Chair.

Q: I am building on my own past work on the WizWoz system. Do I need to rename this system in my paper for purposes of anonymity, so as to remove the implied connection between my authorship of past work on this system and my present submission?

A: Maybe. The core question is really whether the system is one that, once identified, automatically identifies the author(s) and/or the institution. If the system is widely available, and especially if it has a substantial body of contributors and has been out for a while, then these conditions may not hold (e.g., LLVM or HotSpot), because there would be considerable doubt about authorship. By contrast, a paper on a modification to a proprietary system (e.g., Visual C++, or a research project that has not open-sourced its code) implicitly reveals the identity of the authors or their institution. If naming your system essentially reveals your identity (or institution), then anonymize it. In your submission, point out that the system name has been anonymized. If you have any doubts, please contact the Program Chair.

Q: I am submitting a paper that extends my own work that previously appeared at a workshop. Should I anonymize any reference to that prior work?

A: No. But we recommend you do not use the same title for your PLDI submission, so that it is clearly distinguished from the prior paper. In general, there is rarely a good reason to anonymize a citation. One possibility is for work that is tightly related to the present submission and is also under review. When in doubt, contact the Program Chair.

Q: Am I allowed to post my (non-blinded) paper on my web page? Can I advertise the unblinded version of my paper on mailing lists or send it to colleagues? Can I give a talk about my work while it is under review? How do I handle social media? What about ArXiV?

A: We have developed guidelines, described here, to help everyone navigate in the same way the tension between the normal communication of scientific results, which double-blind reviewing should not impede, and actions that essentially force potential reviewers to learn the identity of the authors for a submission. Roughly speaking, you may [of course!] discuss work under submission, but you should not broadly advertise your work through media that is likely to reach your reviewers. We acknowledge there are gray areas and trade-offs – we cannot describe every possible scenario.

Things you may do:

  • Put your submission on your home page.
  • Discuss your work with anyone who is not on the review committees, or with people on the committees with whom you already have a conflict.
  • Present your work at professional meetings, job interviews, etc.
  • Submit work previously discussed at an informal workshop, previously posted on ArXiV or a similar site, previously submitted to a conference not using double-blind reviewing, etc.

Things you should not do:

  • Contact members of the review committees about your work, or deliberately present your work where you expect them to be.
  • Publicize your work on major mailing lists used by the community (because potential reviewers likely read these lists).
  • Publicize your work on social media if wide public [re-]propagation is common (e.g., Twitter) and therefore likely to reach potential reviewers. For example, on Facebook, a post with a broad privacy setting (public or all friends) saying, “Whew, PLDI paper in, time to sleep” is okay, but one describing the work or giving its title is not appropriate. Alternately, a post to a group including only the colleagues at your institution is fine.
  • Put your work on ArXiV after (or shortly before) the submission deadline (because potential reviewers may be subscribed to receive updates on recently posted papers, so this devolves to the mailing-list scenario). You may put your work on ArXiV around the deadline if you disable notifications before and during the review process.
  • Reviewers will not be asked to recuse themselves from reviewing your paper unless they feel you have gone out of your way to advertise your authorship information to them. If you are unsure about what constitutes “going out of your way”, please contact the Program Chair.

Q: Will the fact that PLDI is double-blind have an impact on handling conflicts-of interest?

A: Double-blind reviewing does not change the principle that reviewers should not review papers with which they have a conflict of interest, even if they do not immediately know who the authors are. Authors declare conflicts-of-interest when submitting their papers using the guidelines in the call-for-papers. Papers will not be assigned to reviewers who have a conflict.

For reviewers

Q: What should I do if I if I learn the authors’ identity? What should I do if a prospective PLDI author contacts me and asks to visit my institution?

A: If you feel that the authors’ actions are largely aimed at ensuring that potential reviewers know their identity, contact the Program Chair. Otherwise you should not treat double-blind reviewing differently from other reviewing. In particular, refrain from seeking out information on the authors’ identity, but if you discover it accidentally this will not automatically disqualify you as a reviewer. Use your best judgment.

Q: The authors have provided a URL to supplemental material. I would like to see the material but I worry they will snoop my IP address and learn my identity. What should I do?

A: Contact the Program Chair, who will download the material on your behalf and make it available to you.

Q: If I am assigned a paper for which I feel I am not an expert, how do I seek an outside review?

A: PC and ERC members should do their own reviews, not delegate them to someone else. If doing so is problematic for some papers, e.g., you don’t feel completely qualified, then consider the following options. First, submit a review for your paper that is as careful as possible, outlining areas where you think your knowledge is lacking. Assuming we have sufficient expert reviews, that could be the end of it: non-expert reviews are valuable too, since conference attendees are by-and-large not experts for any given paper. Second, the review form provides a mechanism for suggesting additional expert reviewers to the PC Chair, who may contact them if additional expertise is needed. Please do not contact outside reviewers yourself. As a last resort, if you feel like your review would be extremely uninformed and you’d rather not even submit a first cut, contact the Program Chair.

Q: How do we handle potential conflicts of interest since I cannot see the author names?

A: The conference review system will ask that you identify conflicts of interest when you get an account on the submission system. Feel free to also identify additional authors whose papers you feel you could not review fairly for reasons other than those given (e.g., strong personal friendship).

Q: How should I avoid learning the authors’ identity if I am using web-search in the process of performing my review?

A: You should make a good-faith effort not to find the authors’ identity during the review period, but if you inadvertently do so, this does not disqualify you from reviewing the paper. As part of the good-faith effort, do not use search engines with terms like the paper’s title or the name of a new system being discussed. If you need to search for related work you believe exists, do so after completing a preliminary review of the paper.


These guidelines are an evolution of guidelines originally created by Michael Hicks for POPL 2012, slightly modified for PLDI 2012 by Frank Tip, shortened by Keshav Pingali for PLDI 2014, modified slightly by Steve Blackburn for PLDI 2015, and then edited by Emery Berger for PLDI 2016, Dan Grossman for PLDI 2018, and finally by Kathleen Fisher for PLDI 2019.

Video Abstract Instructions

As in previous years, PLDI will have parallel tracks. This year, there will be 2 tracks on Monday, 3 on Tuesday, and 2 on Wednesday. Because PLDI is part of FCRC, there is no PLDI-specific one minute madness plenary session at the beginning of each day in which authors could present a 1-minute summary of their talk.

Instead, we are asking authors to prepare a 60 second video abstract for each paper. The video abstracts will allow attendees a greater opportunity to preview what they might expect in a given session and will provide authors with an additional opportunity to promote their work.

You are also encouraged to include a link to your abstract on the conference website (the site you’re looking at now) by providing a link via your paper’s profile (you can also upload slides and other such material).

You may find it helpful to view the top 10 video abstracts from PLDI 2015 to get an idea for how others have approached this.

Submission

Once your video is ready, please use this form to make it available to the PC chair no later than June 3, 2019 . Please carefully note the formatting requirements below and the requirement that your link be to a file, not an embedded video (such as youtube). The form is configured to allow you to edit it afterwards, so if your information changes any time before the deadline, please just go back and edit the form. You should feel free to update your video at any time until the deadline. Please contact the PC Chair if you have any questions or concerns.

Requirements

Content

  • Should summarize the paper.
  • Should motivate attendance at talk (we have up to three tracks; try to entice the audience to attend your talk!!)
  • Be creative! See the top 10 video abstracts from PLDI 2015 for ideas.

Format

  • Your video must be made available as a file ( not embedded video via youtube etc).
  • No more than 60 seconds.
  • Use mp4, avi, flv, mov, or wmv encoding (or if that’s not possible, one of the other standard youtube-supported video formats ). 720p (1280 x 720) resolution. (You may need to explicitly configure your screen resolution to 1280 x 720 before recording, and you may need to adjust your presentation tool to ensure that it uses a 16:9 aspect ratio for the video.)
  • Ensure that your recording has good audio and video quality. It will be played to an audience in a large conference room.
  • Do not include a “title page”. We will prepend a standard title page with title, authors and schedule info.
  • Do not include your title and authorship on each slide, we will be adding this automatically; there’s no need for you to include it.
  • If you are unable to meet the formatting requirements, the scripts that compile the videos for one minute madness will automatically rescale videos to 720p format if they are of the incorrect size, and will speed videos up to fit in the allotted 60 seconds if they are over-length.

Tips and Help

Please take care to ensure that the audio and video quality is good. A muffled voice will detract from your video, particularly when amplified in a large conference room.

One way to create your video abstract is to narrate a slide deck. PowerPoint for windows allows you to create videos directly. Otherwise you can use screen capture software, and create a recording as you present your talk on your computer. For many or most such tools, you will need to ensure that you have the aspect ratio of your presentation software set correctly to 16:9, and your screen resolution set to 1280x720. Software for creating such a video is available on most platforms:

There’s lots of advice online on how to create a good video abstract. Here’s a sample:

Remember, for PLDI you only have 60 seconds; a very succinct abstract!!