Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 22 Jun

deepspec-2019-papers
09:00 - 10:30: DeepSpec 2019 - Deep Specifications at TBD
Chair(s): Lennart BeringerPrinceton University
deepspec-2019-papers09:00 - 09:45
Talk
Benjamin C. PierceUniversity of Pennsylvania
deepspec-2019-papers09:45 - 10:30
Talk
Andrew AppelPrinceton, Adam ChlipalaMassachusetts Institute of Technology, USA, Zhong ShaoYale University
deepspec-2019-papers
10:30 - 11:00: DeepSpec 2019 - Coffee Break at TBD
deepspec-2019-papers
11:00 - 12:30: DeepSpec 2019 - Compiler Verification at TBD
Chair(s): Zhong ShaoYale University
deepspec-2019-papers11:00 - 11:30
Talk
Zoe ParaskevopoulouPrinceton University, Andrew AppelPrinceton
deepspec-2019-papers11:30 - 12:00
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2019-papers12:00 - 12:30
Talk
Yuting WangYale University
deepspec-2019-papers
12:30 - 14:00: DeepSpec 2019 - Lunch Break at TBD
deepspec-2019-papers
14:00 - 15:30: DeepSpec 2019 - Modular Reasoning at TBD
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
deepspec-2019-papers14:00 - 14:30
Talk
Lennart BeringerPrinceton University, Andrew AppelPrinceton
deepspec-2019-papers14:30 - 15:00
Talk
Mengqi LiuYale University
deepspec-2019-papers15:00 - 15:30
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
deepspec-2019-papers
15:30 - 16:00: DeepSpec 2019 - Coffee Break at TBD
deepspec-2019-papers
16:00 - 17:30: DeepSpec 2019 - Interaction Trees and Algebraic Effects I at TBD
Chair(s): Andrew AppelPrinceton
deepspec-2019-papers16:00 - 16:20
Talk
deepspec-2019-papers16:20 - 16:45
Talk
William ManskyUniversity of Illinois at Chicago
deepspec-2019-papers16:45 - 17:30
Talk
Daan LeijenMicrosoft Research, USA

Sun 23 Jun

LCTES-2019-papers
08:15 - 09:00: LCTES 2019 - Continental Breakfast at 105a/160
deepspec-2019-papers
09:00 - 10:30: DeepSpec 2019 - Interaction Trees and Algebraic Effects II at TBD
Chair(s): Steve ZdancewicUniversity of Pennsylvania
deepspec-2019-papers09:00 - 09:45
Talk
Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
deepspec-2019-papers09:45 - 10:30
Talk
James McKinnaUniversity of Edinburgh
LCTES-2019-papers
09:00 - 09:45: LCTES 2019 - Keynote 1: Academic Keynote at 105a/160
LCTES-2019-papers09:00 - 09:10
Talk
Aviral ShrivastavaArizona State University
LCTES-2019-papers09:10 - 09:45
Talk
Rajesh GuptaUC San Diego
LCTES-2019-papers
09:45 - 11:00: LCTES 2019 - Session 1: Memory Management at 105a/160
Chair(s): Greg StittUniversity of Florida
LCTES-2019-papers09:45 - 10:00
Full-paper
Asif Ali KhanTU Dresden, Germany, Norman A. RinkTU Dresden, Germany, Fazal HameedTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
LCTES-2019-papers10:00 - 10:15
Full-paper
LCTES-2019-papers10:15 - 10:30
Full-paper
Thomas Haywood DadzieHanyang University, Jiwon LeeHanyang University, Jihye KimKookmin University, Hyunok OhHanyang Univ
LCTES-2019-papers10:30 - 10:45
Full-paper
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
LCTES-2019-papers10:45 - 11:00
Full-paper
Chundong WangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design, Gunavaran BrihadiswarnUniversity of Moratuwa
deepspec-2019-papers
10:30 - 11:00: DeepSpec 2019 - Coffee Break at TBD
LCTES-2019-papers
11:00 - 11:20: LCTES 2019 - Coffee Break at 105a/160
deepspec-2019-papers
11:00 - 12:30: DeepSpec 2019 - HW/SW Interface Specifications at TBD
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2019-papers11:00 - 11:45
Talk
deepspec-2019-papers11:45 - 12:30
Talk
Yatin ManerkarPrinceton University
LCTES-2019-papers
11:20 - 12:35: LCTES 2019 - Session 2: Architecture and Compilers at 105a/160
Chair(s): Na MengVirginia Tech
LCTES-2019-papers11:20 - 11:35
Full-paper
Wanli ChangUniversity of York, Shuai ZhaoUniversity of York, Ran WeiUniversity of York, Andy WellingsUniversity of York, Alan BurnsUniversity of York
LCTES-2019-papers11:35 - 11:50
Full-paper
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
LCTES-2019-papers11:50 - 12:05
Full-paper
Xuesong SuUNSW Sydney, Hui WuUniversity of New South Wales, Australia, Jingling XueUNSW Sydney
LCTES-2019-papers12:05 - 12:20
Full-paper
Vanchinathan VenkataramaniNational University of Singapore, Aditi KulkarniNational University of Singapore, Tulika MitraNational University of Singapore, Singapore, Li-Shiuan PehNational University of Singapore
LCTES-2019-papers12:20 - 12:35
Full-paper
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
deepspec-2019-papers
12:30 - 14:00: DeepSpec 2019 - Lunch Break at TBD
LCTES-2019-papers
12:35 - 14:00: LCTES 2019 - Lunch at 105a/160
LCTES-2019-papers
14:00 - 14:45: LCTES 2019 - Keynote 2: Industry Keynote at 105a/160
LCTES-2019-papers14:00 - 14:10
Talk
Jian-Jia ChenTU Dortmund University
LCTES-2019-papers14:10 - 14:45
Industry talk
Jack WeastIntel, USA
deepspec-2019-papers
14:00 - 15:15: DeepSpec 2019 - Verifying All the Things at TBD
Chair(s): Zhong ShaoYale University
deepspec-2019-papers14:00 - 14:45
Talk
Ben LaurieDeepMind
deepspec-2019-papers14:45 - 15:15
Talk
LCTES-2019-papers
14:45 - 15:30: LCTES 2019 - Session 3: Applications at 105a/160
Chair(s): Wanli ChangUniversity of York
LCTES-2019-papers14:45 - 15:00
Full-paper
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher Ré, Philip LevisStanford University
LCTES-2019-papers15:00 - 15:15
Full-paper
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
LCTES-2019-papers15:15 - 15:30
Full-paper
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational University of Singapore
deepspec-2019-papers
15:15 - 15:45: DeepSpec 2019 - Coffee Break at TBD
LCTES-2019-papers
15:30 - 16:00: LCTES 2019 - Afternoon Break at 105a/160
deepspec-2019-papers
15:45 - 16:45: DeepSpec 2019 - Coinduction and Testing at TBD
Chair(s): Lennart BeringerPrinceton University
deepspec-2019-papers15:45 - 16:15
Talk
Chung-Kil HurSeoul National University
deepspec-2019-papers16:15 - 16:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania
LCTES-2019-papers
16:00 - 16:45: LCTES 2019 - Session 4: Benchmarking and In-progress Works at 105a/160
Chair(s): Hyunok OhHanyang Univ
LCTES-2019-papers16:00 - 16:15
Full-paper
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
LCTES-2019-papers16:15 - 16:20
Short-paper
Greg StittUniversity of Florida, David CampbellUniversity of Florida
LCTES-2019-papers16:20 - 16:25
Short-paper
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
LCTES-2019-papers16:25 - 16:30
Short-paper
Martin BeckerTU Munich, Ravindra MettaTata Research Development and Design Centre, R Venkatesh, Samarjit Chakraborty
LCTES-2019-papers16:35 - 16:40
Short-paper
LCTES-2019-papers16:45 - 16:50
Short-paper
Yongseung YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
LCTES-2019-papers16:55 - 17:00
Short-paper
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech
LCTES-2019-papers
16:45 - 17:15: LCTES 2019 - Poster Session at 105a/160
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-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at TBD
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Concurrency I at 229AB
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
pldi-2019-papers09:05 - 09:25
Talk
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
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
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
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
pldi-2019-papers09:25 - 09:45
Talk
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Concurrency II at 229AB
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
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
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
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
pldi-2019-papers10:20 - 10:40
Talk
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
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
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk by James E. Smith at TBD
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - SIGPLAN Awards Lunch at 301D
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Probabilistic Programming at 224AB
pldi-2019-papers14:00 - 14:22
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, David M. KahnCarnegie Mellon University, USA, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Dexter Kozen, Alexandra SilvaUniversity College London
DOI Pre-print
pldi-2019-papers14:22 - 14:45
Talk
Peixin Wang, Hongfei FuIST Austria, Amir Kafshdar GoharshadyIST Austria, Krishnendu ChatterjeeIST Austria, Xudong QinEast China Normal University, China, Wenjun ShiEast China Normal University, China
pldi-2019-papers14:45 - 15:07
Talk
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansingkhaMIT
pldi-2019-papers15:07 - 15:30
Talk
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Synthesis at 229AB
pldi-2019-papers14:00 - 14:22
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
pldi-2019-papers14:22 - 14:45
Talk
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
pldi-2019-papers14:45 - 15:07
Talk
Yuepeng WangUniversity of Texas at Austin, James DongUniversity of Texas at Austin, USA, Rushi ShahUT Austin, Isil DilligUT Austin
pldi-2019-papers15:07 - 15:30
Talk
Arun IyerMicrosoft Research, India, Manohar JonnalageddaInpher Inc., Switzerland, Suresh ParthasarathyMicrosoft Research, India, Arjun RadhakrishnaMicrosoft, Sriram RajamaniMicrosoft Research
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Memory Management at 229AB
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
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
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
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Parsing at 224AB
pldi-2019-papers16:00 - 16:20
Talk
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print
pldi-2019-papers16:20 - 16:40
Talk
Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
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
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-papers
08:30 - 09:30: PLDI Research Papers - Bug Finding & Testing I at 229AB
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
pldi-2019-papers08:50 - 09:10
Talk
Blake Loring, Duncan MitchellRoyal Holloway, University of London, Johannes KinderBundeswehr University Munich
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
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
pldi-2019-papers08:50 - 09:10
Talk
Martin KongBrookhaven National Laboratory, Louis-Noel PouchetColorado State University
pldi-2019-papers09:10 - 09:30
Talk
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Type System I at 224AB
pldi-2019-papers08:30 - 08:50
Talk
Alceste ScalasAston University, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
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
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Bug Finding & Testing II at 229AB
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
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
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
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
pldi-2019-papers10:20 - 10:40
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
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
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Type System II at 224AB
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
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
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at TBD
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - Lunch at 301
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - ML at 224AB
pldi-2019-papers14:00 - 14:22
Talk
He ZhuGalois, Inc., Zikang Xiong, Stephen Magill, Suresh JagannathanPurdue University
pldi-2019-papers14:22 - 14:45
Talk
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
pldi-2019-papers14:45 - 15:07
Talk
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
pldi-2019-papers15:07 - 15:30
Talk
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Specification at 228AB
pldi-2019-papers14:00 - 14:22
Talk
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print
pldi-2019-papers14:22 - 14:45
Talk
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print
pldi-2019-papers14:45 - 15:07
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:07 - 15:30
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 - Static Analysis at 229AB
pldi-2019-papers14:00 - 14:22
Talk
Meng WuVirginia Tech, Chao WangUSC
pldi-2019-papers14:22 - 14:45
Talk
Tobias GysiETH Zurich, Switzerland, Tobias GrosserETH Zurich, Laurin BrandnerETH Zurich, Switzerland, Torsten HoeflerETH Zurich
pldi-2019-papers14:45 - 15:07
Talk
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Ryan R. NewtonIndiana University, Milind KulkarniPurdue University
pldi-2019-papers15:07 - 15:30
Talk
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland, USA
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Dynamics: Analysis and Compilation at 229AB
pldi-2019-papers16:00 - 16:20
Talk
David Mitchel PerryPurdue University, Dohyeong KimPurdue University, Roopsha SamantaPurdue University, Xiangyu ZhangPurdue University
Pre-print
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
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
pldi-2019-papers16:00 - 16:20
Talk
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
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
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
pldi-2019-papers
16:00 - 16:40: PLDI Research Papers - Type Systems III at 228AB
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
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
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 228AB

Wed 26 Jun

pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Systems I at 224AB
pldi-2019-papers08:30 - 08:50
Talk
Chao WangUniversity of Southern California, Constantin EneaUniversité Paris Diderot, Suha Orhun MutluergilIRIF, France / University Paris Diderot, France / CNRS, France, Gustavo PetriIRIF, Université Paris Diderot
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
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
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Verification I at 229AB
pldi-2019-papers08:30 - 08:50
Talk
Berkeley ChurchillStanford University, Oded PadonStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
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
pldi-2019-papers09:10 - 09:30
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiCarnegie Mellon University, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
DOI Pre-print
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Systems II at 224AB
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
pldi-2019-papers10:20 - 10:40
Talk
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
pldi-2019-papers10:40 - 11:00
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Verification II at 229AB
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
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.
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at TBD

Sat 22 Jun 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
301
TBD
12:30 - 14:00

Wed 26 Jun 2019

Sun 23 Jun 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
105a/160
TBD

Mon 24 Jun 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
224AB
229AB

Tue 25 Jun 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
224AB
228AB
229AB
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)