Program - PLDI 2018

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

	08:00 - 09:00: BreakfastCatering at Columbus Ballroom Foyer

	08:00 - 09:00 Other		Breakfast Catering

	09:00 - 10:30: Deep SpecificationsDeepSpec at Columbus Ballroom B

	09:00 - 10:00 Talk		The Science of Deep Specification DeepSpec Andrew AppelPrinceton
	10:00 - 10:30 Talk		CakeML: from functions to machine code with proof all the way DeepSpec Magnus O. MyreenChalmers University of Technology, Sweden

	09:00 - 09:15: Message from the ChairsISMM at Discovery AB

	09:00 - 09:15 Day opening		Message from the Chairs ISMM Jennifer B. SartorVrije Universiteit Brussel, Hannes PayerGoogle

	09:00 - 10:30: Morning Session IFMS at Discovery C

	09:15 - 10:30 Talk		Designing hardware to be free of covert channels by construction FMS Andrew C. MyersCornell University

	09:00 - 10:30: Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation

	09:00 - 10:30 Other		Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA

	09:15 - 09:30: IntroductionMAPL at Columbus Ballroom A Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington

	09:15 - 10:15: KeynoteISMM at Discovery AB

	09:15 - 10:15 Talk		Getting to Go ISMM Richard L. HudsonGoogle

	09:30 - 10:30: Program AnalysisMAPL at Columbus Ballroom A

	09:30 - 10:00 Talk		Ariadne: Analysis for Machine Learning Programs MAPL Julian DolbyIBM Thomas J. Watson Research Center, Avraham ShinnarIBM Research, Allison AllainIBM Research, Jenna ReinenIBM Research
	10:00 - 10:30 Talk		Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection MAPL Hongfa XueGeorge Washington University, Guru VenkataramaniGeorge Washington University, Tian LanGeorge Washington University

	10:30 - 11:00: Coffee BreakCatering at Columbus Ballroom Foyer

	10:30 - 11:00 Coffee break		Break Catering

	10:45 - 12:15: Reference Counting and Techniques for C-family LanguagesISMM at Discovery AB Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst

	10:45 - 11:15 Talk		Detailed Heap Profiling ISMM Stuart BymaEPFL, Switzerland, James LarusEPFL
	11:15 - 11:45 Talk		FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++ ISMM Charles TrippTerrain Data, USA, David HydeStanford University, USA, Benjamin Grossman-PonemonTerrain Data, USA
	11:45 - 12:15 Talk		Distributed Garbage Collection for General Graphs ISMM Steven R. BrandtLouisiana State University, Hari KrishnanFacebook, n.n., Costas BuschLouisiana State University, USA, Gokarna SharmaKent State University, USA

	11:00 - 12:00: Code SearchMAPL at Columbus Ballroom A

	11:00 - 11:30 Talk		Obfuscation Resilient Search through Executable Classification MAPL Fang-Hsiang SuColumbia University, New York, Jonathan BellGeorge Mason University, Gail KaiserColumbia University, New York, Baishakhi RayColumbia University, New York
	11:30 - 12:00 Talk		Retrieval on source code: a neural code search MAPL Saksham SachdevFacebook, Hongyu LiRice University, Sifei LuanFacebook, Seohyun KimFacebook, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook

	11:00 - 12:15: LLVMDeepSpec at Columbus Ballroom B

	11:00 - 11:30 Talk		Vellvm - Modular Semantics via Interaction Trees DeepSpec Steve ZdancewicUniversity of Pennsylvania
	11:30 - 12:00 Talk		Crellvm DeepSpec Chung-Kil HurSeoul National University

	11:00 - 12:15: Morning Session IIFMS at Discovery C

	11:00 - 12:15 Talk		Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem FMS Nikhil SwamyMicrosoft Research

	11:00 - 12:15: Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation

	11:00 - 12:15 Other		Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA

	12:15 - 14:00: LunchCatering at Grand Ballroom BCD

	12:15 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: New LanguagesMAPL at Columbus Ballroom A

	14:00 - 14:30 Talk		Relay: A New IR for Machine Learning Frameworks MAPL Jared RoeschUniversity of Washington, USA, Steven LyubomirskyUniversity of Washington, USA, Logan WeberUniversity of Washington, Josh PollockUniversity of Washington, Marisa Kirisame, Tianqi Chen, Zachary TatlockUniversity of Washington, Seattle
	14:30 - 15:00 Talk		Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs MAPL Venmugil ElangoNVIDIA, Norm RubinNVIDIA, Mahesh Ravishankar, Hari SandanagobalaneNVIDIA, Vinod Grover
	15:00 - 15:30 Talk		Gen: probabilistic programming with fast custom inference via code generation MAPL Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMIT File Attached

	14:00 - 15:40: From Testing to VerificationDeepSpec at Columbus Ballroom B

	14:00 - 14:30 Talk		Verifiable C, a logic and system for proving C programs correct DeepSpec Qinxiang Cao
	14:30 - 15:00 Talk		Progress Report on the DeepSpec Web Server DeepSpec Benjamin C. PierceUniversity of Pennsylvania
	15:00 - 15:30 Talk		QuickChick: Random Testing in Coq DeepSpec Leonidas LampropoulosUniversity of Pennsylvania

	14:00 - 15:30: Optimizing for the Web and the CloudISMM at Discovery AB Chair(s): Christine H. FloodRed Hat

	14:00 - 14:30 Talk		Hardware-Software Co-optimization of Memory Management in Dynamic Languages ISMM Mohamed IsmailCornell University, USA, G. Edward SuhCornell University, USA
	14:30 - 15:00 Talk		Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications ISMM Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon, Ruslan SynytskyJelastic, n.n., Tetiana FydorenchykJelastic, n.n., Jia RaoUniversity of Texas at Arlington, USA, Hang HuangHuazhong University of Science and Technology, China, Song WuHuazhong University of Science and Technology, China
	15:00 - 15:30 Talk		OMR: Out-of-Core MapReduce for Large Data Sets ISMM Gurneet Kaur, Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside

	14:00 - 15:40: Afternoon Session IFMS at Discovery C

	14:00 - 15:10 Talk		Modular Verification of Deep Specifications of Security-Critical Components FMS Andrew AppelPrinceton
	15:10 - 15:40 Research paper		A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs FMS Rui Zhang, Cynthia Sturton

	14:00 - 15:40: Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation

	14:00 - 15:40 Other		Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University

	15:40 - 16:10: Coffee BreakCatering at Columbus Ballroom Foyer

	15:40 - 16:10 Coffee break		Break Catering

	16:00 - 17:30: Analyzing the Cache and SchedulingISMM at Discovery AB Chair(s): Michael D. BondOhio State University

	16:00 - 16:30 Talk		mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores ISMM Daniel ByrneMichigan Technological University, USA, Nilufer OnderMichigan Technological University, USA, Zhenlin WangMichigan Technological University
	16:30 - 17:00 Talk		Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving ISMM Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Rahman Lavaee, Fangzhou Liu, Liang YuanInstitute of Computing Technology at Chinese Academy of Sciences, China
	17:00 - 17:30 Talk		Balanced Double Queues for GC Work-Stealing on Weak Memory Models ISMM Michihiro HorieIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan, Kazunori OgataIBM Research, Japan, Tamiya OnoderaIBM, Japan

	16:10 - 16:40: Programming MethodologyMAPL at Columbus Ballroom A

	16:10 - 16:40 Talk		The Three Pillars of Machine Programming MAPL Justin GottschlichIntel Labs, Armando Solar-LezamaMIT CSAIL, Nesime TatbulIntel Labs and MIT, Michael CarbinMIT, Martin RinardMassachusetts Institute of Technology, Regina BarzilayMIT, Saman AmarasingheMIT, Joshua B TenenbaumMIT, Tim MattsonIntel, USA

	16:10 - 17:35: Hardware and Low-Level OS VerificationDeepSpec at Columbus Ballroom B

	16:10 - 16:40 Talk		Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels DeepSpec Zhong ShaoYale University
	16:40 - 17:10 Talk		Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels DeepSpec Adam ChlipalaMassachusetts Institute of Technology, USA
	17:10 - 17:35 Talk		Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow DeepSpec Muralidaran VijayaraghavanSiFive

	16:10 - 17:25: Breakout sessions/PanelFMS at Discovery C

	16:10 - 17:10 Meeting		Breakout sessions / Discussion FMS
	17:10 - 17:25 Meeting		Wrapup FMS

	16:10 - 17:35: Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation

	16:10 - 17:35 Other		Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University

	16:40 - 17:00: Closing RemarksMAPL at Columbus Ballroom A Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington

	17:00 - 18:00: Poster SessionMAPL at Columbus Ballroom A

	18:00 - 19:00: Social HourCatering at Grand Ballroom Foyer

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

	08:00 - 09:00: BreakfastCatering at Columbus Ballroom Foyer

	08:00 - 09:00 Other		Breakfast Catering

	08:45 - 10:30: Session APLMW @ PLDI at Columbus Ballroom A Chair(s): Michael CarbinMIT

	08:45 - 08:55 Day opening		Introduction and Welcome PLMW @ PLDI Michael CarbinMIT, Milind KulkarniPurdue University, Michelle StroutUniversity of Arizona
	08:55 - 09:15 Social Event		Icebreaker PLMW @ PLDI Michelle StroutUniversity of Arizona
	09:15 - 10:00 Talk		What Programming Language Researchers Do and How to Become One PLMW @ PLDI Kathryn S McKinleyGoogle
	10:00 - 10:30 Talk		Intermittent Computing Systems PLMW @ PLDI Brandon LuciaCarnegie Mellon University

	09:00 - 10:30: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

	09:00 - 10:30 Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn

	09:00 - 10:30: Distributed Systems and CryptographyDeepSpec at Columbus Ballroom B

	09:00 - 10:00 Talk		Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems DeepSpec Mooly SagivTel Aviv University
	10:00 - 10:30 Talk		Automation for High-Assurance Cryptography, for Primitives and Protocols DeepSpec Andres Erbsen

	09:00 - 10:30: Welcome & KeynoteLCTES at Discovery AB

	09:00 - 09:15 Day opening		Welcome LCTES
	09:15 - 10:30 Talk		Keynote: Blockchain and Embedded Systems LCTES

	09:00 - 10:30: Declarative Program Analysis with QLPLDI Tutorials at Discovery C

	09:00 - 10:30 Other		Declarative Program Analysis with QL PLDI Tutorials Michael Peyton JonesSemmle, Aditya SharadSemmle, Jonas JensenSemmle

	09:00 - 10:00: KeynoteARRAY at Grand Ballroom C

	09:00 - 10:00 Talk		Tensor Comprehensions: deep learning as a polyhedral compiler's killer app ARRAY K: Albert CohenInria, France / ENS, France Pre-print

	10:00 - 10:35: Array Language CommonalitiesARRAY at Grand Ballroom C

	10:00 - 10:35 Talk		A Rosetta Stone for Array Languages ARRAY Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Hans-Nikolai VießmannHeriot-Watt University, UK, Sven-Bodo ScholzHeriot-Watt University

	10:30 - 11:00: Coffee BreakCatering at Columbus Ballroom Foyer

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:15: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

	11:00 - 12:15 Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn

	11:00 - 12:15: Session BPLMW @ PLDI at Columbus Ballroom A Chair(s): Milind KulkarniPurdue University

	11:00 - 11:45 Talk		Crossing the Divide: Becoming a (Programming Languages) Researcher PLMW @ PLDI Alex AikenStanford University
	11:45 - 12:15 Talk		Program verification using abductive reasoning PLMW @ PLDI Isil DilligUT Austin

	11:00 - 12:15: Haskell Core and Debugging DebuggersDeepSpec at Columbus Ballroom B

	11:00 - 11:30 Talk		Towards a formal semantics for GHC Core DeepSpec Stephanie WeirichUniversity of Pennsylvania, USA
	11:30 - 12:00 Talk		Debugging Debug Information and Beyond DeepSpec Francesco Zappa NardelliInria

	11:00 - 12:15: Full paper session on Programming LanguagesLCTES at Discovery AB

	11:00 - 11:25 Full-paper		MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education LCTES James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft
	11:25 - 11:50 Full-paper		Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective LCTES Mladen SkelinEindhoven University of Technology, Marc GeilenEindhoven University of Technology
	11:50 - 12:15 Full-paper		A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu LCTES Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University

	11:00 - 12:15: Declarative Program Analysis with QLPLDI Tutorials at Discovery C

	11:00 - 12:15 Other		Declarative Program Analysis with QL PLDI Tutorials Michael Peyton JonesSemmle, Aditya SharadSemmle, Jonas JensenSemmle

	11:00 - 12:10: Exploiting Dynamic InformationARRAY at Grand Ballroom C

	11:00 - 11:35 Talk		Petalisp: Run Time Code Generation for Operations on Strided Arrays ARRAY Marco Heisig, Harald KöstlerFriedrich-Alexander University Erlangen-Nürnberg, Germany File Attached
	11:35 - 12:10 Talk		Profile-Based Vectorization for MATLAB ARRAY Patryk KiepasMINES ParisTech, France, Jaroslaw KozlakAGH University of Science and Technology, Poland, Claude TadonkiMINES ParisTech, France, Corinne AncourtMINES ParisTech, France

	12:15 - 14:00: LunchCatering at Grand Ballroom CD

	12:15 - 14:00 Lunch		Lunch Catering

	12:50 - 13:50: Poster Session & LunchLCTES at Grand Ballroom Foyer

	12:50 - 13:50 Lunch		Poster Session & Lunch LCTES

	13:15 - 15:30: Session CPLMW @ PLDI at Columbus Ballroom A Chair(s): Michelle StroutUniversity of Arizona

	13:15 - 14:30 Other		Panel: "Charting your Path" PLMW @ PLDI Sara AchourMIT, Shoaib KamilAdobe, Jennifer B. SartorVrije Universiteit Brussel, Zachary TatlockUniversity of Washington, Seattle
	14:30 - 15:00 Talk		Evaluating Evaluations PLMW @ PLDI Milind KulkarniPurdue University
	15:00 - 15:30 Talk		The Importance of Communication PLMW @ PLDI Michael CarbinMIT

	14:00 - 15:40: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

	14:00 - 15:40 Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn

	14:00 - 15:40: Concurrency and Concurrent Operating SystemsDeepSpec at Columbus Ballroom B

	14:00 - 14:30 Talk		Multicore and Multithreaded Linking for Concurrent CertiKOS DeepSpec Jieung KimYale University, USA
	14:30 - 15:00 Talk		Verifying seL4 towards Concurrency DeepSpec Thomas SewellUNSW, Australia
	15:00 - 15:30 Talk		Specifying and Verifying Concurrent Programs with Ghost State DeepSpec William ManskyPrinceton University

	14:00 - 15:40: Full paper session on Adaptation and HardwareLCTES at Discovery AB

	14:00 - 14:25 Full-paper		Adaptive Deep Learning Model Selection on Embedded Systems LCTES Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Willy WolffLancaster University, Yehia ElkhatibLancaster University, Zheng WangLancaster University
	14:25 - 14:50 Full-paper		Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array LCTES Lei Han, Zhaoyan ShenThe Hong Kong Polytechnic University, Zili ShaoThe Hong Kong Polytechnic University, Tao LiUniversity of Florida
	14:50 - 15:15 Full-paper		Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs LCTES Bernhard EggerSeoul National University, Eunjin SongSeoul National University, Hochan LeeSeoul National University, Daeyoung ShinSeoul National University
	15:15 - 15:40 Full-paper		Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency LCTES Michael StokesFlorida State University, Ryan BairdFlorida State University, Zhaoxiang JinMichigan Technological University, David B. Whalley, Soner OnderMichigan Technological University

	14:00 - 15:40: Verified Low-Level Programming in F*PLDI Tutorials at Discovery C

	14:00 - 15:40 Other		Verified Low-Level Programming in F* PLDI Tutorials Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.

	14:00 - 15:45: Types and CorrectnessARRAY at Grand Ballroom C

	14:00 - 14:35 Talk		Parallel Programming with Arrays in Kappa ARRAY Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
	14:35 - 15:10 Talk		Rank Polymorphism Viewed as a Constraint Problem ARRAY Justin SlepakNortheastern University, Panagiotis ManoliosNortheastern University, Olin ShiversNortheastern University, USA
	15:10 - 15:45 Talk		Proving a Core Code for FDM Correct by 2 + dw Tests ARRAY Magne HaveraaenUniversity of Bergen, Norway

	15:40 - 16:10: Coffee BreakCatering at Columbus Ballroom Foyer

	15:40 - 16:10 Coffee break		Break Catering

	16:00 - 17:15: Session DPLMW @ PLDI at Columbus Ballroom A Chair(s): Milind KulkarniPurdue University

	16:00 - 17:00 Poster		Poster Session PLMW @ PLDI Milind KulkarniPurdue University, James LarusEPFL, Adrian SampsonCornell University, Santosh NagarakatteRutgers University, USA, Eva DarulovaMPI-SWS, Osbert BastaniStanford University, Emery D. BergerUniversity of Massachusetts, Amherst, Mayur NaikUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, John WickersonImperial College London, Xin ZhangMassachusetts Institute of Technology, USA, Sara AchourMIT, Michael CarbinMIT, Michelle StroutUniversity of Arizona
	17:00 - 17:15 Day closing		Wrap up PLMW @ PLDI Michelle StroutUniversity of Arizona, Michael CarbinMIT, Milind KulkarniPurdue University

	16:10 - 17:35: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

	16:10 - 17:35 Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn

	16:10 - 17:35: Lightning TalksDeepSpec at Columbus Ballroom B

	16:10 - 16:15 Talk		5-minute Lightning Talks DeepSpec
	16:15 - 16:20 Talk		Simplicity for Smart Contracts DeepSpec Russell O'Connor
	16:20 - 16:25 Talk		Machine-Verified Machine Learning DeepSpec Gordon StewartOhio University
	16:25 - 16:30 Talk		Verification of Union-Find in C DeepSpec Shengyi Wang
	16:30 - 16:35 Talk		Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats DeepSpec Clément Pit-ClaudelMIT CSAIL
	16:35 - 16:40 Talk		LLVM's IR and Call-By-Push-Value Lambda Calculus DeepSpec Yannick Zakowski
	16:40 - 16:45 Talk		A Formal Equational Theory for Call-By-Push-Value DeepSpec Christine RizkallahUniversity of New South Wales
	16:45 - 16:50 Talk		Serializability for Distributed Protocols DeepSpec Joonwon ChoiMassachusetts Institute of Technology, USA
	16:50 - 16:55 Talk		A Quick Hack to ask any SMT Solver if my Coq Goal is True DeepSpec Sam GruetterMassachusetts Institute of Technology

	16:10 - 17:25: WIP paper sessionLCTES at Discovery AB

	16:25 - 16:40 Short-paper		WIP: Deep Neural Networks compiler for a trace-based accelerator LCTES Andre Xian Ming ChangFWDNXT and Purdue, Aliasger ZaidyFWDNXT and Purdue, Lukasz BurzawaFWDNXT and Purdue, Eugenio CulurcielloFWDNXT and Purdue
	16:40 - 16:55 Short-paper		WIP: Statically Relating Program Properties for Efficient Verification LCTES Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services
	16:55 - 17:10 Short-paper		WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach LCTES Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University, Noemi RodriguezPUC-Rio, Ana Lúcia de Moura
	17:10 - 17:25 Short-paper		WIP: An open-source realtime computational platform LCTES Pavan MehrotraStanford University, Sabar DasguptaStanford University, Samantha RobertsonStanford University, Paul NuyujukianStanford University Link to publication DOI Pre-print Media Attached

	16:10 - 17:35: Verified Low-Level Programming in F*PLDI Tutorials at Discovery C

	16:10 - 17:35 Other		Verified Low-Level Programming in F* PLDI Tutorials Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.

	16:10 - 17:20: Accessing the Memory SystemARRAY at Grand Ballroom C

	16:10 - 16:45 Talk		Inner Array Inlining for Structure of Arrays Layout ARRAY Matthias SpringerTokyo Institute of Technology, Yaozhu SunTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology Pre-print
	16:45 - 17:20 Talk		An Array API for Finite Difference Methods ARRAY Eva BurrowsUniversity of Bergen, Norway, Helmer André FriisIRIS, Norway, Magne HaveraaenUniversity of Bergen, Norway

	17:30 - 18:30: Social HourCatering at Grand Ballroom Foyer

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

	08:00 - 08:45: BreakfastCatering at Grand Ballroom Foyer

	08:00 - 08:45 Other		Breakfast Catering

	08:45 - 09:00: WelcomePLDI Invited Speakers at Grand Ballroom Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park / Tufts University, Dan GrossmanUniversity of Washington

	09:00 - 10:00: KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Michael HicksUniversity of Maryland, College Park

	09:00 - 10:00 Talk		Language-Integrated Verification PLDI Invited Speakers Ranjit JhalaUniversity of California, San Diego Media Attached

	10:00 - 10:30: Lightning Overview - Day 1PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington

	10:30 - 11:00: Coffee BreakCatering at Grand Ballroom Foyer

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:15: Web PagesPLDI Research Papers at Grand Ballroom AB Chair(s): Tobias WrigstadUppsala University

	11:00 - 11:25 Talk		Verifying That Web Pages Have Accessible Layout PLDI Research Papers Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe Media Attached
	11:25 - 11:50 Talk		BLeak: Automatically Debugging Memory Leaks in Web Applications PLDI Research Papers John VilkUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst Media Attached
	11:50 - 12:15 Talk		Putting in All the Stops: Execution Control for JavaScript PLDI Research Papers Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst Media Attached

	11:00 - 12:15: Emerging HardwarePLDI Research Papers at Grand Ballroom CD Chair(s): Ryan R. NewtonIndiana University

	11:00 - 11:25 Talk		Persistency for Synchronization-Free Regions PLDI Research Papers Vaibhav GogteUniversity of Michigan, USA, Stephan DiestelhorstARM Research, UK, William WangArm Research, UK, Satish NarayanasamyUniversity of Michigan, Peter M. ChenUniversity of Michigan, USA, Thomas F. WenischUniversity of Michigan, USA Media Attached
	11:25 - 11:50 Talk		Write-Rationing Garbage Collection for Hybrid Memories PLDI Research Papers Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium Media Attached
	11:50 - 12:15 Talk		Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture PLDI Research Papers Chit-Kwan LinIntel Labs, n.n., Andreas WildIntel Labs, n.n., Tsung-Han LinIntel Labs, n.n., Gautham N. ChinyaIntel Labs, n.n., Mike DaviesIntel Labs, n.n., Hong WangIntel Labs, n.n. Media Attached

	12:15 - 14:00: LunchCatering at Columbus Ballroom

	12:15 - 14:00 Lunch		Lunch Catering

	14:00 - 15:40: Concurrency and TerminationPLDI Research Papers at Grand Ballroom AB Chair(s): Iulian NeamtiuNew Jersey Institute of Technology

	14:00 - 14:25 Talk		Static Serializability Analysis for Causal Consistency PLDI Research Papers Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich
	14:25 - 14:50 Talk		CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs PLDI Research Papers Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University Media Attached
	14:50 - 15:15 Talk		Symbolic Reasoning for Automatic Signal Placement PLDI Research Papers Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens Media Attached
	15:15 - 15:40 Talk		Advanced Automata-Based Algorithms for Program Termination Checking PLDI Research Papers Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondřej LengálBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences Media Attached

	14:00 - 15:40: Dynamic TechniquesPLDI Research Papers at Grand Ballroom CD Chair(s): Sorin LernerUniversity of California, San Diego

	14:00 - 14:25 Talk		HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack PLDI Research Papers Guilherme OttoniFacebook Media Attached
	14:25 - 14:50 Talk		On-Stack Replacement, Distilled PLDI Research Papers Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome Media Attached
	14:50 - 15:15 Talk		EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ PLDI Research Papers Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore Media Attached
	15:15 - 15:40 Talk		Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability PLDI Research Papers Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis Media Attached

	15:40 - 16:10: Coffee BreakCatering at Grand Ballroom Foyer

	15:40 - 16:10 Coffee break		Break Catering

	16:10 - 17:25: Transactions and RacesPLDI Research Papers at Grand Ballroom AB Chair(s): Tatiana ShpeismanGoogle Brain

	16:10 - 16:35 Talk		The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ PLDI Research Papers Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London Media Attached
	16:35 - 17:00 Talk		MixT: A Language for Mixing Consistency in Geodistributed Transactions PLDI Research Papers Matthew MilanoCornell University, Andrew C. MyersCornell University Media Attached
	17:00 - 17:25 Talk		Bounding Data Races in Space and Time PLDI Research Papers Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs Media Attached

	16:10 - 17:25: Floats and MapsPLDI Research Papers at Grand Ballroom CD Chair(s): Hans-J. BoehmGoogle

	16:10 - 16:35 Talk		Finding Root Causes of Floating Point Error PLDI Research Papers Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington, Seattle Media Attached
	16:35 - 17:00 Talk		Ryū: Fast Float-to-String Conversion PLDI Research Papers Ulf AdamsGoogle, Germany Media Attached
	17:00 - 17:25 Talk		To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries PLDI Research Papers Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV Media Attached

	17:30 - 18:30: Program Chair's Report and SIGPLAN Town Hall MeetingPLDI Invited Speakers at Grand Ballroom AB Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington

	17:30 - 18:00 Talk		PLDI Program Chair's Report PLDI Invited Speakers Dan GrossmanUniversity of Washington Media Attached
	18:00 - 18:30 Talk		SIGPLAN Town Hall Meeting PLDI Invited Speakers Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University Media Attached

	18:00 - 21:00: Reception and SRC postersStudent Research Competition (SRC) at Columbus Ballroom Foyer

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

	08:00 - 09:00: BreakfastCatering at Grand Ballroom Foyer

	08:00 - 08:45 Other		Breakfast Catering

	08:45 - 09:00: PLDI 2019 IntroductionPLDI Invited Speakers at Grand Ballroom Chair(s): Kathryn S McKinleyGoogle, Kathleen FisherTufts University

	08:45 - 09:00 Talk		PLDI 2019 Introduction PLDI Invited Speakers Kathryn S McKinleyGoogle, Kathleen FisherTufts University Media Attached

	09:00 - 10:00: KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Cormac FlanaganUniversity of California, Santa Cruz

	09:00 - 10:00 Talk		Machine Learning: Alchemy for the Modern Computer Scientist PLDI Invited Speakers Erik Meijer Media Attached

	10:00 - 10:30: Lightning Overview - Day 2PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington

	10:30 - 11:00: Coffee BreakCatering at Grand Ballroom Foyer

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:15: Multicore and MorePLDI Research Papers at Grand Ballroom AB Chair(s): Yannis SmaragdakisUniversity of Athens

	11:00 - 11:25 Talk		Spatial: A Language and Compiler for Application Accelerators PLDI Research Papers David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University Media Attached
	11:25 - 11:50 Talk		Enhancing Computation-to-Core Assignment with Physical Location Information PLDI Research Papers Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea Media Attached
	11:50 - 12:15 Talk		SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores PLDI Research Papers Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden Media Attached

	11:00 - 12:30: SRC presentationsStudent Research Competition (SRC) at Grand Ballroom CD

	12:30 - 14:00: Lunch (note late start)Catering at Columbus Ballroom

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:40: Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB Chair(s): Tony HoskingAustralian National University / Data61

	14:00 - 14:25 Talk		iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications PLDI Research Papers Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu Media Attached
	14:25 - 14:50 Talk		D4: Fast Concurrency Debugging with Parallel Differential Analysis PLDI Research Papers Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University Media Attached
	14:50 - 15:15 Talk		High-Coverage, Unbounded Sound Predictive Race Detection PLDI Research Papers Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael D. BondOhio State University Media Attached
	15:15 - 15:40 Talk		CURD: A Dynamic CUDA Race Detector PLDI Research Papers Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania Media Attached

	14:00 - 15:40: Synthesis and LearningPLDI Research Papers at Grand Ballroom CD Chair(s): Xin ZhangMassachusetts Institute of Technology, USA

	14:00 - 14:25 Talk		A General Path-Based Representation for Predicting Program Properties PLDI Research Papers Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion Media Attached
	14:25 - 14:50 Talk		Program Synthesis using Conflict-Driven Learning PLDI Research Papers Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin Media Attached
	14:50 - 15:15 Talk		Accelerating Search-Based Program Synthesis using Learned Probabilistic Models PLDI Research Papers Woosuk LeeUniversity of Pennsylvania, USA, Kihong HeoUniversity of Pennsylvania, USA, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania Media Attached
	15:15 - 15:40 Talk		Inferring Crypto API Rules from Code Changes PLDI Research Papers Rumen Atanasov Paletov, Petar TsankovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zürich Media Attached

	15:40 - 16:10: Coffee BreakCatering at Grand Ballroom Foyer

	15:40 - 16:10 Coffee break		Break Catering

	16:10 - 17:00: Programming-Student FeedbackPLDI Research Papers at Grand Ballroom AB Chair(s): Dan GrossmanUniversity of Washington

	16:10 - 16:35 Talk		Automated Clustering and Program Repair for Introductory Programming Assignments PLDI Research Papers Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna Media Attached
	16:35 - 17:00 Talk		Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises PLDI Research Papers Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis Media Attached

	16:10 - 17:00: Analyzing Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD Chair(s): Eva DarulovaMPI-SWS

	16:10 - 16:35 Talk		Bounded Expectations: Resource Analysis for Probabilistic Programs PLDI Research Papers Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University Media Attached
	16:35 - 17:00 Talk		PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs PLDI Research Papers Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. Media Attached

	17:00 - 18:00: Social HourCatering at Grand Ballroom Foyer

	17:30 - 18:30: SIGPLAN and SRC AwardsPLDI Invited Speakers at Grand Ballroom Chair(s): Maria ChristakisMPI-SWS, Satnam SinghX, the moonshot factory

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

	08:00 - 09:00: BreakfastCatering at Grand Ballroom Foyer

	08:00 - 09:00 Other		Breakfast Catering

	09:00 - 10:00: KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst

	09:00 - 10:00 Talk		A “Post-ISA” Era in Computer Systems: Challenges and Opportunities PLDI Invited Speakers Margaret Martonosi Media Attached

	10:00 - 10:30: Lightning Overview - Day 3PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington

	10:30 - 11:00: Coffee BreakCatering at Grand Ballroom Foyer

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:15: Optimization and LocalityPLDI Research Papers at Grand Ballroom AB Chair(s): Milind KulkarniPurdue University

	11:00 - 11:25 Talk		Polyhedral Auto-transformation with No Integer Linear Programming PLDI Research Papers Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France Media Attached
	11:25 - 11:50 Talk		Partial Control-Flow Linearization PLDI Research Papers Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany Media Attached
	11:50 - 12:15 Talk		Locality Analysis through Static Parallel Sampling PLDI Research Papers Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester Media Attached

	11:00 - 12:15: Inference for Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst

	11:00 - 11:25 Talk		Incremental Inference for Probabilistic Programs PLDI Research Papers Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash MansinghkaMIT Media Attached
	11:25 - 11:50 Talk		Bayonet: Probabilistic Inference for Networks PLDI Research Papers Timon Gehr, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, Petar TsankovETH Zurich, Laurent VanbeverETH Zürich, Pascal WiesmannETH Zurich, Switzerland, Martin VechevETH Zürich Media Attached
	11:50 - 12:15 Talk		Probabilistic Programming with Programmable Inference PLDI Research Papers Vikash MansinghkaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin RinardMassachusetts Institute of Technology Media Attached

	12:15 - 14:00: LunchCatering at Columbus Ballroom

	12:15 - 14:00 Lunch		Lunch Catering

	14:00 - 15:40: VerificationPLDI Research Papers at Grand Ballroom AB Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA

	14:00 - 14:25 Talk		VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models PLDI Research Papers Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University Media Attached
	14:25 - 14:50 Talk		Crellvm: Verified Credible Compilation for LLVM PLDI Research Papers Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University Media Attached
	14:50 - 15:15 Talk		Certified Concurrent Abstraction Layers PLDI Research Papers Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjöbergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n. Media Attached
	15:15 - 15:40 Talk		Modularity for Decidability of Deductive Verification with Applications to Distributed Systems PLDI Research Papers Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington Media Attached

	14:00 - 15:40: Program AnalysisPLDI Research Papers at Grand Ballroom CD Chair(s): Isil DilligUT Austin

	14:00 - 14:25 Talk		Active Learning of Points-To Specifications PLDI Research Papers Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University Media Attached
	14:25 - 14:50 Talk		Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code PLDI Research Papers Qingkai ShiHong Kong University of Science and Technology, China, Xiao XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella Inc., Gang Fan, Charles Zhang Media Attached
	14:50 - 15:15 Talk		A Data-Driven CHC Solver PLDI Research Papers He ZhuRutgers University, USA, Stephen Magill, Suresh JagannathanPurdue University Media Attached
	15:15 - 15:40 Talk		User-Guided Program Reasoning using Bayesian Inference PLDI Research Papers Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania Media Attached

	15:40 - 16:10: Coffee BreakCatering at Grand Ballroom Foyer

	15:40 - 16:10 Coffee break		Break Catering

	16:10 - 17:25: ParallelismPLDI Research Papers at Grand Ballroom AB Chair(s): Julian DolbyIBM Thomas J. Watson Research Center

	16:10 - 16:35 Talk		GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis PLDI Research Papers Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University Media Attached
	16:35 - 17:00 Talk		Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics PLDI Research Papers Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA Media Attached
	17:00 - 17:25 Talk		Heartbeat Scheduling: Provable Efficiency for Nested Parallelism PLDI Research Papers Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław Media Attached

	16:10 - 17:25: TypesPLDI Research Papers at Grand Ballroom CD Chair(s): Kathleen FisherTufts University

	16:10 - 16:35 Talk		Guarded Impredicative Polymorphism PLDI Research Papers Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research Media Attached
	16:35 - 17:00 Talk		Typed Closure Conversion for the Calculus of Constructions PLDI Research Papers William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA Media Attached
	17:00 - 17:25 Talk		Inferring Type Rules for Syntactic Sugar PLDI Research Papers Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA Media Attached

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	30	9:00		30	10:00	30		11:00	30	12:00		30	13:00		30	14:00	30	15:00	30		16:00		30		17:00	30	18:00	30
Columbus Ballroom A				MAPL Introduction	MAPL Program Analysis				MAPL Code Search								MAPL New Languages						MAPL Programming Methodology		MAPL Closing Remarks	MAPL Poster Session
Columbus Ballroom B			DeepSpec Deep Specifications						DeepSpec LLVM								DeepSpec From Testing to Verification						DeepSpec Hardware and Low-Level OS Verification
Columbus Ballroom Foyer	Catering Breakfast						Catering Coffee Break														Catering Coffee Break
Discovery AB			ISMM Message from the Chairs	ISMM Keynote				ISMM Reference Counting and Techniques for C-family Languages									ISMM Optimizing for the Web and the Cloud					ISMM Analyzing the Cache and Scheduling
Discovery C			FMS Morning Session I						FMS Morning Session II								FMS Afternoon Session I						FMS Breakout sessions/Panel
Grand Ballroom BCD												Catering Lunch
Grand Ballroom Foyer															Catering Social Hour
Innovation			PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF						PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF								PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis						PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00		30		13:00		30	14:00	30	15:00	30		16:00		30	17:00	30	18:00	30
Admiral's Quarters				PLDI Tutorials Static Analysis for C++ with Phasar				PLDI Tutorials Static Analysis for C++ with Phasar									PLDI Tutorials Static Analysis for C++ with Phasar						PLDI Tutorials Static Analysis for C++ with Phasar
Columbus Ballroom A			PLMW @ PLDI Session A					PLMW @ PLDI Session B							PLMW @ PLDI Session C							PLMW @ PLDI Session D
Columbus Ballroom B				DeepSpec Distributed Systems and Cryptography				DeepSpec Haskell Core and Debugging Debuggers									DeepSpec Concurrency and Concurrent Operating Systems						DeepSpec Lightning Talks
Columbus Ballroom Foyer	Catering Breakfast						Catering Coffee Break														Catering Coffee Break
Discovery AB				LCTES Welcome & Keynote				LCTES Full paper session on Programming Languages									LCTES Full paper session on Adaptation and Hardware						LCTES WIP paper session
Discovery C				PLDI Tutorials Declarative Program Analysis with QL				PLDI Tutorials Declarative Program Analysis with QL									PLDI Tutorials Verified Low-Level Programming in F*						PLDI Tutorials Verified Low-Level Programming in F*
Grand Ballroom C				ARRAY Keynote		ARRAY Array Language Commonalities		ARRAY Exploiting Dynamic Information									ARRAY Types and Correctness						ARRAY Accessing the Memory System
Grand Ballroom CD											Catering Lunch
Grand Ballroom Foyer													LCTES Poster Session & Lunch													Catering Social Hour

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00		30	13:00		30	14:00	30	15:00	30		16:00		30	17:00	30	18:00	30	19:00	30	20:00	30
Columbus Ballroom											Catering Lunch
Columbus Ballroom Foyer														Student Research Competition (SRC) Reception and SRC posters
Grand Ballroom			PLDI Invited Speakers Welcome	PLDI Invited Speakers Keynote		PLDI Research Papers Lightning Overview - Day 1
Grand Ballroom AB								PLDI Research Papers Web Pages								PLDI Research Papers Concurrency and Termination						PLDI Research Papers Transactions and Races			PLDI Invited Speakers Program Chair's Report and SIGPLAN Town Hall Meeting
Grand Ballroom CD								PLDI Research Papers Emerging Hardware								PLDI Research Papers Dynamic Techniques						PLDI Research Papers Floats and Maps
Grand Ballroom Foyer	Catering Breakfast						Catering Coffee Break													Catering Coffee Break

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30		16:00			30	17:00	30	18:00	30
Columbus Ballroom											Catering Lunch (note late start)
Grand Ballroom			PLDI Invited Speakers PLDI 2019 Introduction	PLDI Invited Speakers Keynote		PLDI Research Papers Lightning Overview - Day 2															PLDI Invited Speakers SIGPLAN and SRC Awards
Grand Ballroom AB								PLDI Research Papers Multicore and More						PLDI Research Papers Concurrency Debugging						PLDI Research Papers Programming-Student Feedback
Grand Ballroom CD								Student Research Competition (SRC) SRC presentations						PLDI Research Papers Synthesis and Learning						PLDI Research Papers Analyzing Probabilistic Programs
Grand Ballroom Foyer	Catering Breakfast						Catering Coffee Break											Catering Coffee Break					Catering Social Hour

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00		30	13:00	30	14:00	30	15:00	30		16:00		30	17:00	30
Columbus Ballroom										Catering Lunch
Grand Ballroom			PLDI Invited Speakers Keynote		PLDI Research Papers Lightning Overview - Day 3
Grand Ballroom AB							PLDI Research Papers Optimization and Locality							PLDI Research Papers Verification						PLDI Research Papers Parallelism
Grand Ballroom CD							PLDI Research Papers Inference for Probabilistic Programs							PLDI Research Papers Program Analysis						PLDI Research Papers Types
Grand Ballroom Foyer	Catering Breakfast					Catering Coffee Break												Catering Coffee Break

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00		15	30		45	16:00		15	30		45	17:00		15	30	45
Columbus Ballroom A							MAPL Ariadne: Analysis for Machine Learning Programs 09:30 - 10:00		MAPL Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clon ... 10:00 - 10:30				MAPL Obfuscation Resilient Search through Executable Classification 11:00 - 11:30		MAPL Retrieval on source code: a neural code search 11:30 - 12:00										MAPL Relay: A New IR for Machine Learning Frameworks 14:00 - 14:30		MAPL Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs 14:30 - 15:00		MAPL Gen: probabilistic programming with fast custom inference via code gene ... 15:00 - 15:30							MAPL The Three Pillars of Machine Programming 16:10 - 16:40
Columbus Ballroom B					DeepSpec The Science of Deep Specification 09:00 - 10:00				DeepSpec CakeML: from functions to machine code with proof all the way 10:00 - 10:30				DeepSpec Vellvm - Modular Semantics via Interaction Trees 11:00 - 11:30		DeepSpec Crellvm 11:30 - 12:00										DeepSpec Verifiable C, a logic and system for proving C programs correct 14:00 - 14:30		DeepSpec Progress Report on the DeepSpec Web Server 14:30 - 15:00		DeepSpec QuickChick: Random Testing in Coq 15:00 - 15:30							DeepSpec Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels 16:10 - 16:40			DeepSpec Verification Around the Hardware-Software Interface: Instruction Set, P ... 16:40 - 17:10			DeepSpec Using Kami in the field - experiences integrating Kami into SiFive's Ch ... 17:10 - 17:35
Columbus Ballroom Foyer	PLDI Catering Breakfast 08:00 - 09:00										PLDI Catering Break 10:30 - 11:00																						PLDI Catering Break 15:40 - 16:10
Discovery AB					ISMM Message from the Chairs 09:00 - 09:15	ISMM Getting to Go 09:15 - 10:15						ISMM Detailed Heap Profiling 10:45 - 11:15		ISMM FRC: A High-Performance Concurrent Parallel Deferred Reference Counter ... 11:15 - 11:45		ISMM Distributed Garbage Collection for General Graphs 11:45 - 12:15									ISMM Hardware-Software Co-optimization of Memory Management in Dynamic Languages 14:00 - 14:30		ISMM Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications 14:30 - 15:00		ISMM OMR: Out-of-Core MapReduce for Large Data Sets 15:00 - 15:30						ISMM mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores 16:00 - 16:30			ISMM Prediction and Bounds on Shared Cache Demand from Memory Access Interle ... 16:30 - 17:00			ISMM Balanced Double Queues for GC Work-Stealing on Weak Memory Models 17:00 - 17:30
Discovery C						FMS Designing hardware to be free of covert channels by construction 09:15 - 10:30							FMS Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem 11:00 - 12:15												FMS Modular Verification of Deep Specifications of Security-Critical Components 14:00 - 15:10					FMS A Recursive Strategy for Symbolic Execution to Find Exploits in Hardwar ... 15:10 - 15:40						FMS Breakout sessions / Discussion 16:10 - 17:10						FMS Wrapup 17:10 - 17:25
Grand Ballroom BCD																		PLDI Catering Lunch 12:15 - 14:00
Innovation					PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 09:00 - 10:30								PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 11:00 - 12:15												PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 14:00 - 15:40											PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 16:10 - 17:35

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	15	30	45		9:00	15	30	45	10:00	15	30	45	11:00	15		30		45		12:00	15	30	45		13:00	15	30	45	14:00	15		30		45		15:00		15	30		45	16:00		15			30			45			17:00		15	30	45
Admiral's Quarters						PLDI Tutorials Static Analysis for C++ with Phasar 09:00 - 10:30								PLDI Tutorials Static Analysis for C++ with Phasar 11:00 - 12:15																PLDI Tutorials Static Analysis for C++ with Phasar 14:00 - 15:40														PLDI Tutorials Static Analysis for C++ with Phasar 16:10 - 17:35
Columbus Ballroom A				PLMW @ PLDI Introduction and Welcome 08:45 - 08:55	PLMW @ PLDI Icebreaker 08:55 - 09:15		PLMW @ PLDI What Programming Language Researchers Do and How to Become One 09:15 - 10:00			PLMW @ PLDI Intermittent Computing Systems 10:00 - 10:30				PLMW @ PLDI Crossing the Divide: Becoming a (Programming Languages) Researcher 11:00 - 11:45					PLMW @ PLDI Program verification using abductive reasoning 11:45 - 12:15								PLMW @ PLDI Panel: "Charting your Path" 13:15 - 14:30						PLMW @ PLDI Evaluating Evaluations 14:30 - 15:00				PLMW @ PLDI The Importance of Communication 15:00 - 15:30						PLMW @ PLDI Poster Session 16:00 - 17:00											PLMW @ PLDI Wrap up 17:00 - 17:15
Columbus Ballroom B						DeepSpec Modularity for Decidability: Implementing and Semi-Automatically Verify ... 09:00 - 10:00				DeepSpec Automation for High-Assurance Cryptography, for Primitives and Protocols 10:00 - 10:30				DeepSpec Towards a formal semantics for GHC Core 11:00 - 11:30			DeepSpec Debugging Debug Information and Beyond 11:30 - 12:00													DeepSpec Multicore and Multithreaded Linking for Concurrent CertiKOS 14:00 - 14:30			DeepSpec Verifying seL4 towards Concurrency 14:30 - 15:00				DeepSpec Specifying and Verifying Concurrent Programs with Ghost State 15:00 - 15:30							DeepSpec 5-minute Lightning Talks 16:10 - 16:15	DeepSpec Simplicity for Smart Contracts 16:15 - 16:20	DeepSpec Machine-Verified Machine Learning 16:20 - 16:25	DeepSpec Verification of Union-Find in C 16:25 - 16:30	DeepSpec Narcissus: Deriving Correct-By-Construction Decoders and Encoders from ... 16:30 - 16:35	DeepSpec LLVM's IR and Call-By-Push-Value Lambda Calculus 16:35 - 16:40	DeepSpec A Formal Equational Theory for Call-By-Push-Value 16:40 - 16:45	DeepSpec Serializability for Distributed Protocols 16:45 - 16:50	DeepSpec A Quick Hack to ask any SMT Solver if my Coq Goal is True 16:50 - 16:55
Columbus Ballroom Foyer	PLDI Catering Breakfast 08:00 - 09:00											PLDI Catering Break 10:30 - 11:00																													PLDI Catering Break 15:40 - 16:10
Discovery AB						LCTES Welcome 09:00 - 09:15	LCTES Keynote: Blockchain and Embedded Systems 09:15 - 10:30							LCTES MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programmin ... 11:00 - 11:25		LCTES Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective 11:25 - 11:50				LCTES A Memory-Bounded, Deterministic and Terminating Semantics for the Synch ... 11:50 - 12:15										LCTES Adaptive Deep Learning Model Selection on Embedded Systems 14:00 - 14:25		LCTES Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based ... 14:25 - 14:50				LCTES Verification of Coarse-Grained Reconfigurable Arrays through Random Tes ... 14:50 - 15:15			LCTES Decoupling Address Generation from Loads and Stores to Improve Data Acc ... 15:15 - 15:40								LCTES WIP: Deep Neural Networks compiler for a trace-based accelerator 16:25 - 16:40			LCTES WIP: Statically Relating Program Properties for Efficient Verification 16:40 - 16:55			LCTES WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded S ... 16:55 - 17:10		LCTES WIP: An open-source realtime computational platform 17:10 - 17:25
Discovery C						PLDI Tutorials Declarative Program Analysis with QL 09:00 - 10:30								PLDI Tutorials Declarative Program Analysis with QL 11:00 - 12:15																PLDI Tutorials Verified Low-Level Programming in F* 14:00 - 15:40														PLDI Tutorials Verified Low-Level Programming in F* 16:10 - 17:35
Grand Ballroom C						ARRAY Tensor Comprehensions: deep learning as a polyhedral compiler's killer app 09:00 - 10:00				ARRAY A Rosetta Stone for Array Languages 10:00 - 10:35				ARRAY Petalisp: Run Time Code Generation for Operations on Strided Arrays 11:00 - 11:35				ARRAY Profile-Based Vectorization for MATLAB 11:35 - 12:10												ARRAY Parallel Programming with Arrays in Kappa 14:00 - 14:35				ARRAY Rank Polymorphism Viewed as a Constraint Problem 14:35 - 15:10				ARRAY Proving a Core Code for FDM Correct by 2 + dw Tests 15:10 - 15:45						ARRAY Inner Array Inlining for Structure of Arrays Layout 16:10 - 16:45							ARRAY An Array API for Finite Difference Methods 16:45 - 17:20
Grand Ballroom CD																						PLDI Catering Lunch 12:15 - 14:00
Grand Ballroom Foyer																									LCTES Poster Session & Lunch 12:50 - 13:50

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15	30	45	14:00	15		30	45		15:00	15	30		45	16:00		15	30		45	17:00	15	30	45	18:00	15	30	45
Columbus Ballroom																				PLDI Catering Lunch 12:15 - 14:00
Grand Ballroom					PLDI Invited Speakers Language-Integrated Verification 09:00 - 10:00
Grand Ballroom AB													PLDI Research Papers Verifying That Web Pages Have Accessible Layout 11:00 - 11:25		PLDI Research Papers BLeak: Automatically Debugging Memory Leaks in Web Applications 11:25 - 11:50			PLDI Research Papers Putting in All the Stops: Execution Control for JavaScript 11:50 - 12:15									PLDI Research Papers Static Serializability Analysis for Causal Consistency 14:00 - 14:25		PLDI Research Papers CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs 14:25 - 14:50			PLDI Research Papers Symbolic Reasoning for Automatic Signal Placement 14:50 - 15:15		PLDI Research Papers Advanced Automata-Based Algorithms for Program Termination Checking 15:15 - 15:40					PLDI Research Papers The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ 16:10 - 16:35			PLDI Research Papers MixT: A Language for Mixing Consistency in Geodistributed Transactions 16:35 - 17:00		PLDI Research Papers Bounding Data Races in Space and Time 17:00 - 17:25		PLDI Invited Speakers PLDI Program Chair's Report 17:30 - 18:00		PLDI Invited Speakers SIGPLAN Town Hall Meeting 18:00 - 18:30
Grand Ballroom CD													PLDI Research Papers Persistency for Synchronization-Free Regions 11:00 - 11:25		PLDI Research Papers Write-Rationing Garbage Collection for Hybrid Memories 11:25 - 11:50			PLDI Research Papers Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture 11:50 - 12:15									PLDI Research Papers HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack 14:00 - 14:25		PLDI Research Papers On-Stack Replacement, Distilled 14:25 - 14:50			PLDI Research Papers EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ 14:50 - 15:15		PLDI Research Papers Calling-to-Reference Context Translation via Constraint-Guided CFL-Reac ... 15:15 - 15:40					PLDI Research Papers Finding Root Causes of Floating Point Error 16:10 - 16:35			PLDI Research Papers Ryū: Fast Float-to-String Conversion 16:35 - 17:00		PLDI Research Papers To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps w ... 17:00 - 17:25
Grand Ballroom Foyer	PLDI Catering Breakfast 08:00 - 08:45										PLDI Catering Break 10:30 - 11:00																									PLDI Catering Break 15:40 - 16:10

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15		30	45	14:00		15		30		45		15:00	15	30		45		16:00		15	30		45
Columbus Ballroom																					PLDI Catering Lunch 12:30 - 14:00
Grand Ballroom				PLDI Invited Speakers PLDI 2019 Introduction 08:45 - 09:00	PLDI Invited Speakers Machine Learning: Alchemy for the Modern Computer Scientist 09:00 - 10:00
Grand Ballroom AB													PLDI Research Papers Spatial: A Language and Compiler for Application Accelerators 11:00 - 11:25		PLDI Research Papers Enhancing Computation-to-Core Assignment with Physical Location Information 11:25 - 11:50			PLDI Research Papers SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, ... 11:50 - 12:15										PLDI Research Papers iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Ap ... 14:00 - 14:25			PLDI Research Papers D4: Fast Concurrency Debugging with Parallel Differential Analysis 14:25 - 14:50				PLDI Research Papers High-Coverage, Unbounded Sound Predictive Race Detection 14:50 - 15:15		PLDI Research Papers CURD: A Dynamic CUDA Race Detector 15:15 - 15:40						PLDI Research Papers Automated Clustering and Program Repair for Introductory Programming As ... 16:10 - 16:35			PLDI Research Papers Search, Align, and Repair: Data-Driven Feedback Generation for Introduc ... 16:35 - 17:00
Grand Ballroom CD																									PLDI Research Papers A General Path-Based Representation for Predicting Program Properties 14:00 - 14:25		PLDI Research Papers Program Synthesis using Conflict-Driven Learning 14:25 - 14:50		PLDI Research Papers Accelerating Search-Based Program Synthesis using Learned Probabilistic ... 14:50 - 15:15				PLDI Research Papers Inferring Crypto API Rules from Code Changes 15:15 - 15:40					PLDI Research Papers Bounded Expectations: Resource Analysis for Probabilistic Programs 16:10 - 16:35			PLDI Research Papers PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 16:35 - 17:00
Grand Ballroom Foyer	PLDI Catering Breakfast 08:00 - 08:45										PLDI Catering Break 10:30 - 11:00																												PLDI Catering Break 15:40 - 16:10

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15	30	45	14:00	15		30	45		15:00	15	30		45	16:00		15	30		45	17:00	15	30	45
Columbus Ballroom																				PLDI Catering Lunch 12:15 - 14:00
Grand Ballroom					PLDI Invited Speakers A “Post-ISA” Era in Computer Systems: Challenges and Opportunities 09:00 - 10:00
Grand Ballroom AB													PLDI Research Papers Polyhedral Auto-transformation with No Integer Linear Programming 11:00 - 11:25		PLDI Research Papers Partial Control-Flow Linearization 11:25 - 11:50			PLDI Research Papers Locality Analysis through Static Parallel Sampling 11:50 - 12:15									PLDI Research Papers VeriPhy: Verified Controller Executables from Verified Cyber-Physical S ... 14:00 - 14:25		PLDI Research Papers Crellvm: Verified Credible Compilation for LLVM 14:25 - 14:50			PLDI Research Papers Certified Concurrent Abstraction Layers 14:50 - 15:15		PLDI Research Papers Modularity for Decidability of Deductive Verification with Applications ... 15:15 - 15:40					PLDI Research Papers GPU Code Optimization using Abstract Kernel Emulation and Sensitivity A ... 16:10 - 16:35			PLDI Research Papers Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneo ... 16:35 - 17:00		PLDI Research Papers Heartbeat Scheduling: Provable Efficiency for Nested Parallelism 17:00 - 17:25
Grand Ballroom CD													PLDI Research Papers Incremental Inference for Probabilistic Programs 11:00 - 11:25		PLDI Research Papers Bayonet: Probabilistic Inference for Networks 11:25 - 11:50			PLDI Research Papers Probabilistic Programming with Programmable Inference 11:50 - 12:15									PLDI Research Papers Active Learning of Points-To Specifications 14:00 - 14:25		PLDI Research Papers Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines ... 14:25 - 14:50			PLDI Research Papers A Data-Driven CHC Solver 14:50 - 15:15		PLDI Research Papers User-Guided Program Reasoning using Bayesian Inference 15:15 - 15:40					PLDI Research Papers Guarded Impredicative Polymorphism 16:10 - 16:35			PLDI Research Papers Typed Closure Conversion for the Calculus of Constructions 16:35 - 17:00		PLDI Research Papers Inferring Type Rules for Syntactic Sugar 17:00 - 17:25
Grand Ballroom Foyer	PLDI Catering Breakfast 08:00 - 09:00										PLDI Catering Break 10:30 - 11:00																									PLDI Catering Break 15:40 - 16:10

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

PLDI 2018 Program

Filter Program

Program Display Configuration

Mon 18 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 19 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 20 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 21 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 22 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 18 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

DeepSpec

DeepSpec

DeepSpec

DeepSpec

Catering

Catering

Catering

ISMM

ISMM

ISMM

ISMM

ISMM

FMS

FMS

FMS

FMS

Catering

Catering

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

Tue 19 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLMW @ PLDI

PLMW @ PLDI

PLMW @ PLDI

PLMW @ PLDI

DeepSpec

DeepSpec

DeepSpec

DeepSpec

Catering

Catering

Catering

LCTES

LCTES

LCTES

LCTES

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

Catering

LCTES

Catering

Wed 20 Jun Times are displayed in time zone: Eastern Time (US & Canada) change

Catering

Student Research Competition (SRC)

PLDI Invited Speakers

PLDI Invited Speakers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change