Grand Ballroom AB - PLDI 2018

VenueHilton Philadelphia at Penn's Landing

Room nameGrand Ballroom AB

Floor0

Additional informationThere is no additional information of this room available.

Program

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

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

	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

	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

	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

	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

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

	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

	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

	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

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

	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

	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

	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

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
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

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom AB	PLDI Research Papers Multicore and More																																				PLDI Research Papers Concurrency Debugging																										PLDI Research Papers Programming-Student Feedback

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Ballroom AB	PLDI Research Papers Optimization and Locality																																				PLDI Research Papers Verification																										PLDI Research Papers Parallelism

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


Room	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
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

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


Room	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
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

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


Room	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
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

Room information: Grand Ballroom AB

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

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

Tracks

Co-hosted Conferences

Workshops

Room information: Grand Ballroom AB

Program Display Configuration

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

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

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

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

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