Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 13 Jun

pldi-2016-catering
08:00 - 08:45: Catering - Breakfast at Rosa/Cruz Foyer
pldi-2016-catering08:00 - 08:45
LCTES-2016-papers
08:50 - 09:00: LCTES - Opening Remarks at Sierra Madre North
LCTES-2016-papers08:50 - 09:00
Day opening
Tutorials
09:00 - 10:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East
Tutorials09:00 - 10:00
Talk
File Attached
FMS-2016-papers
09:00 - 10:00: FMS - Invited Talks Session I at Santa Rosa East
FMS-2016-papers09:00 - 09:15
Day opening
FMS-2016-papers09:15 - 10:00
Talk
Anupam DuttaCarnegie Mellon University
LCTES-2016-papers
09:00 - 10:00: LCTES - LCTES Keynote #1 at Sierra Madre North
Chair(s): Tei-Wei KuoAcademia Sinica, Taiwan
LCTES-2016-papers09:00 - 10:00
Talk
File Attached
Tutorials
09:00 - 10:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West
Tutorials09:00 - 10:00
Talk
Carol EidtMicrosoft
Link to publication
Tutorials
10:30 - 12:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East
Tutorials10:30 - 12:00
Talk
File Attached
FMS-2016-papers
10:30 - 12:00: FMS - Invited Talks Session II at Santa Rosa East
FMS-2016-papers10:30 - 11:15
Talk
Stephen ChongHarvard University, Joshua GuttmanWorcester Polytechnic Institute
FMS-2016-papers11:15 - 12:00
Talk
Tutorials
10:30 - 12:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West
Tutorials10:30 - 12:00
Talk
Carol EidtMicrosoft
Link to publication
LCTES-2016-papers
10:30 - 12:00: LCTES - Session 1: Dynamic Translation and Iterative Compilation at Sierra Madre North
Chair(s): Alastair Reid
LCTES-2016-papers10:30 - 11:00
Talk
Tom SpinkUniversity of Edinburgh, Harry Wagstaff, Björn FrankeUniversity of Edinburgh
LCTES-2016-papers11:00 - 11:30
Talk
Forrest RobinsonUniversity of Kansas, USA, Michael JantzUniversity of Tennessee, USA, Prasad KulkarniUniversity of Kansas
LCTES-2016-papers11:30 - 12:00
Talk
Ricardo NobreFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal, Luiz G. A. Martins
pldi-2016-catering
12:00 - 13:30: Catering - Lunch at Plaza del Sol
pldi-2016-catering12:00 - 13:30
FMS-2016-papers
13:30 - 15:00: FMS - Invited Talks Session III at Santa Rosa East
FMS-2016-papers13:30 - 14:15
Talk
FMS-2016-papers14:15 - 15:00
Talk
Michael EmmiIMDEA Software Institute
Tutorials
13:30 - 15:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West
Tutorials13:30 - 15:00
Talk
Christian WimmerOracle Labs
Link to publication
Tutorials
13:30 - 15:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East
Tutorials13:30 - 15:00
Talk
FMS-2016-papers
15:30 - 17:00: FMS - Breakout sessions and Panel Discussions at Santa Rosa East
FMS-2016-papers15:30 - 16:15
Other
FMS-2016-papers16:15 - 17:00
Other
Tutorials
15:30 - 17:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West
Tutorials15:30 - 17:00
Talk
Christian WimmerOracle Labs
Link to publication
LCTES-2016-papers
15:30 - 17:00: LCTES - Session 3: Presentations of Posters at Sierra Madre North
Chair(s): Michael JantzUniversity of Tennessee, USA
LCTES-2016-papers15:30 - 15:40
Talk
Tiago CarvalhoUniversity of Porto, João BispoFEUP, Universidade do Porto, Pedro Pinto, Luís Reis, Ricardo NobreFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal
LCTES-2016-papers15:40 - 15:50
Talk
Che-Wei ChangChang Gung University, Taiwan
LCTES-2016-papers15:50 - 16:00
Talk
Benjamin YlvisakerColorado College
LCTES-2016-papers16:00 - 16:10
Talk
Luís Reis, João BispoFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal
LCTES-2016-papers16:10 - 16:20
Talk
LCTES-2016-papers16:20 - 16:30
Talk
Liu LiuRutgers University, Timothy YongRutgers University, Jonathan RisingerRutgers University, Sibren IsaacmanLoyola University Maryland, Abhishek Bhattacharjee Rutgers University, Ulrich KremerRutgers University, USA
LCTES-2016-papers16:30 - 16:40
Talk
Nico ReissmannNorwegian University of Science and Technology, Helge Bahmann, Magnus JahreNorwegian University of Science and Technology
Tutorials
15:30 - 17:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East
Tutorials15:30 - 17:00
Talk

Tue 14 Jun

pldi-2016-catering
08:00 - 08:45: Catering - Breakfast at Sierra Madre Foyer
pldi-2016-catering08:00 - 08:45
PLMW-PLDI-2016
08:30 - 10:00: PLMW@PLDI 2016 - Welcome and Keynote at Grand Ballroom Santa Ynez
PLMW-PLDI-201608:30 - 08:45
Day opening
PLMW-PLDI-201608:45 - 09:15
Talk
Kathryn S McKinleyMicrosoft Research
Media Attached
PLMW-PLDI-201609:15 - 10:00
Talk
Matthias FelleisenNortheastern University
Media Attached
ismm-2016-papers
08:50 - 10:10: ISMM - Keynote at Sierra Madre South
Chair(s): Zheng ZhangRutgers University
ismm-2016-papers08:50 - 09:00
Talk
ismm-2016-papers09:00 - 10:10
Talk
Onur MutluETH Zurich
Media Attached
LCTES-2016-papers
09:00 - 10:00: LCTES - Keynote #2 at Sierra Madre North
Chair(s): David B. Whalley
LCTES-2016-papers09:00 - 10:00
Talk
Bruce ChildersUniversity of Pittsburgh
Tutorials
09:00 - 10:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West
Tutorials09:00 - 10:00
Talk
Sumit GulwaniMicrosoft Research, USA, Alex PolozovUniversity of Washington, USA
SOAP-2016-papers
09:00 - 10:00: SOAP - Session I at San Miguel East
Chair(s): Charles ZhangHKUST
SOAP-2016-papers09:00 - 09:10
Day opening
SOAP-2016-papers09:10 - 10:00
Talk
Tutorials
09:00 - 10:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East
Tutorials09:00 - 10:00
Talk
Link to publication
X10-2016-papers
09:00 - 10:00: X10 - Welcome and Tutorial at Santa Rosa East
X10-2016-papers09:00 - 09:10
Day opening
Claudia FohryUniversität Kassel, Olivier TardieuIBM Research
X10-2016-papers09:10 - 10:00
Talk
Olivier TardieuIBM Research
File Attached
ismm-2016-papers
10:30 - 12:10: ISMM - Concurrent Memory Management at Sierra Madre South
Chair(s): Ben TitzerGoogle
ismm-2016-papers10:30 - 10:55
Talk
Erik ÖsterlundLinnaeus University, Sweden, Welf LöweLinnaeus University
ismm-2016-papers10:55 - 11:20
Talk
Du ShenCollege of William and Mary, Xu LiuCollege of William and Mary, Felix LinPurdue University
ismm-2016-papers11:20 - 11:45
Talk
Raj PariharUniversity of Rochester, Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Michael HuangUniversity of Rochester
ismm-2016-papers11:45 - 12:10
Talk
Dave DiceOracle Labs, Maurice HerlihyBrown University, Alex KoganOracle Labs
Tutorials
10:30 - 12:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West
Tutorials10:30 - 12:00
Talk
Sumit GulwaniMicrosoft Research, USA, Alex PolozovUniversity of Washington, USA
LCTES-2016-papers
10:30 - 12:00: LCTES - Session 4: Worst-Case Analysis and Error Handling at Sierra Madre North
Chair(s): João M. P. CardosoUniversity of Porto, Portugal
LCTES-2016-papers10:30 - 11:00
Talk
Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Rasool Maghareh
LCTES-2016-papers11:00 - 11:30
Talk
Ravindra MettaTata Research Development and Design Centre, Martin BeckerTU Munich, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty
LCTES-2016-papers11:30 - 12:00
Talk
SOAP-2016-papers
10:30 - 12:00: SOAP - Session II at San Miguel East
Chair(s): Charles ZhangHKUST
SOAP-2016-papers10:30 - 10:50
Talk
Steven ArztTU Darmstadt, Germany, Tobias KussmaulTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
SOAP-2016-papers10:50 - 11:10
Talk
Michael D. ShahTufts University, Sam GuyerTufts University
SOAP-2016-papers11:10 - 11:30
Talk
Lisa Nguyen Quang DoFraunhofer IEM, Michael EichbergTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
SOAP-2016-papers11:30 - 12:00
Talk
Martin VechevETH Zurich
Tutorials
10:30 - 12:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East
Tutorials10:30 - 12:00
Talk
Link to publication
pldi-2016-catering
12:00 - 13:30: Catering - Lunch at Plaza del Sol
pldi-2016-catering12:00 - 13:30
PLMW-PLDI-2016
12:45 - 13:30: PLMW@PLDI 2016 - Mentoring at Grand Ballroom Santa Ynez
PLMW-PLDI-201612:45 - 13:30
Social Event
Tutorials
13:30 - 15:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West
Tutorials13:30 - 15:00
Talk
Julian DolbyIBM Thomas J. Watson Research Center, Omer TrippIBM Research, USA, Sukyoung RyuKAIST
Tutorials
13:30 - 15:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East
Tutorials13:30 - 15:00
Talk
Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley
X10-2016-papers
13:30 - 15:00: X10 - Keynote and Research Paper at Santa Rosa East
X10-2016-papers13:30 - 14:30
Talk
Sriram KrishnamoorthyPacific Northwest National Laboratories
File Attached
X10-2016-papers14:30 - 15:00
Talk
Sara S. HamoudaAustralian National University, Benjamin Herta, Josh MilthorpeIBM Research, David GroveIBM Research, Olivier TardieuIBM Research
Link to publication DOI Pre-print File Attached
ismm-2016-papers
13:30 - 15:10: ISMM - Non-traditional and Datacenter Scale Memory System at Sierra Madre South
Chair(s): Steve HellerTwo Sigma
ismm-2016-papers13:30 - 13:55
Talk
ismm-2016-papers13:55 - 14:20
Talk
ismm-2016-papers14:20 - 14:45
Talk
Yuxin Renhe George washington university, Gabriel ParmerThe George Washington University, Gedare BloomHoward University, Teo GeorgievThe George Washington University
ismm-2016-papers14:45 - 15:10
Talk
Fabrice RastelloINRIA, France, Albert CohenINRIA, Francois GindraudJoseph Fourier University, France;, Francois BroquedisUniversite Joseph Fourier - Grenoble 1
PLMW-PLDI-2016
13:30 - 15:00: PLMW@PLDI 2016 - Professional Development at Grand Ballroom Santa Ynez
PLMW-PLDI-201613:30 - 13:45
Talk
Matthew MightUniversity of Utah, USA
Media Attached
PLMW-PLDI-201613:45 - 14:00
Talk
Jason MarsUniversity of Michigan
Media Attached
PLMW-PLDI-201614:00 - 14:15
Talk
Mary HallUniversity of Utah
Media Attached
PLMW-PLDI-201614:15 - 15:00
Other
Mary HallUniversity of Utah, John DavisPure Storage Inc, Shan Shan HuangLogicblox, Milind KulkarniPurdue University
Media Attached
ARRAY-2016
13:30 - 15:00: ARRAY - Session 3 at Santa Rosa West
ARRAY-201613:30 - 14:30
Talk
ARRAY-201614:30 - 14:55
Talk
SOAP-2016-papers
13:30 - 15:00: SOAP - Session III at San Miguel East
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
SOAP-2016-papers13:30 - 14:20
Talk
Matt NoonanGrammaTech, Inc
SOAP-2016-papers14:20 - 14:40
Talk
Yan Wang, Hailong ZhangOhio State University, USA, Atanas RountevOhio State University
SOAP-2016-papers14:40 - 15:00
Talk
andres NotzliStanford University, Fraser BrownStanford University
Tutorials
15:30 - 17:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West
Tutorials15:30 - 17:00
Talk
Julian DolbyIBM Thomas J. Watson Research Center, Omer TrippIBM Research, USA, Sukyoung RyuKAIST
Tutorials
15:30 - 17:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East
Tutorials15:30 - 17:00
Talk
Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley
ismm-2016-papers
15:30 - 17:10: ISMM - Modeling, Characterization, and Tools at Sierra Madre South
Chair(s): Hans-J. BoehmGoogle
ismm-2016-papers15:30 - 15:55
Talk
Yi LinAustralian National University, Steve BlackburnAustralian National University , Tony HoskingAustralian National University, Data61, and Purdue University, Michael NorrishNICTA
ismm-2016-papers15:55 - 16:20
Talk
Man CaoOhio State University, Jake RoemerOhio State University, Aritra SenguptaOhio State University, Michael BondOhio State University
ismm-2016-papers16:20 - 16:45
Talk
Pengcheng Li, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
ismm-2016-papers16:45 - 17:10
Talk
Prasanna KumarIIT Bombay, Amitabha SanyalIIT Bombay, Amey KarkareIIT Kanpur
LCTES-2016-papers
15:30 - 17:00: LCTES - Session 6: Poster Session at Sierra Madre North
SOAP-2016-papers
15:30 - 17:00: SOAP - Session IV at San Miguel East
SOAP-2016-papers15:30 - 16:15
Talk
Sorin LernerUniversity of California, San Diego
SOAP-2016-papers16:15 - 17:00
Talk
Richard XiaoSourceBrella Inc.
PLMW-PLDI-2016
15:30 - 17:00: PLMW@PLDI 2016 - Technical Talks at Grand Ballroom Santa Ynez
PLMW-PLDI-201615:30 - 15:55
Talk
Media Attached
PLMW-PLDI-201615:55 - 16:20
Talk
Lingjia TangUniversity of Michigan
Media Attached
PLMW-PLDI-201616:20 - 16:45
Talk
James BornholtUniversity of Washington
Media Attached
PLMW-PLDI-2016
17:00 - 17:45: PLMW@PLDI 2016 - Panel at Grand Ballroom Santa Ynez
PLMW-PLDI-201617:00 - 17:45
Other
Ben WiedermannHarvey Mudd College, Sam BlackshearFacebook, Alvin CheungUniversity of Washington, Ravi ChughUniversity of Chicago, Cindy Rubio-GonzalezUniversity of California, Davis, Jean YangCarnegie Mellon University
Media Attached

Wed 15 Jun

pldi-2016-catering
08:00 - 08:45: Catering - Breakfast at Rafael/Ynez Foyer
pldi-2016-catering08:00 - 08:45
pldi-2016-invitedspeakers
08:45 - 09:00: Invited Speakers - Chair's Welcome and Distinguished Paper Announcements at Grand Ballroom San Rafael & Santa Ynez
Chair(s): Emery BergerUniversity of Massachusetts, Amherst, Chandra KrintzUC Santa Barbara
pldi-2016-invitedspeakers
pldi-2016-invitedspeakers09:00 - 10:00
Talk
Benjamin ZornMicrosoft Research
pldi-2016-papers
10:30 - 12:00: Research Papers - Down to the Metal I at Grand Ballroom Santa Ynez
Chair(s): Stephen McCamantUniversity of Minnesota
pldi-2016-papers10:30 - 11:00
Talk
Kayvan MemarianUniversity of Cambridge, Justus MatthiesenUniversity of Cambridge, James LingardUniversity of Cambridge (when this work was done), Kyndylan NienhuisUniversity of Cambridge, David ChisnallUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
Link to publication Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Buddhika Chamith, Bo Joel SvenssonIndiana University, Luke DalessandroIndiana University, Ryan R. NewtonIndiana University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Matt NoonanGrammaTech, Inc, Alexey LoginovGrammaTech, Inc, David CokGrammaTech, Inc
Pre-print Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Verification I at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
pldi-2016-papers10:30 - 11:00
Talk
Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles
Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached
pldi-2016-catering
12:00 - 13:30: Catering - Lunch at Plaza del Sol
pldi-2016-catering12:00 - 13:30
pldi-2016-papers
13:30 - 15:00: Research Papers - Energy & Performance at Grand Ballroom San Rafael
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pldi-2016-papers13:30 - 14:00
Talk
Changwan Hong, Wenlei Bao, Albert CohenINRIA, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetOhio State University, J. RamanujamLouisiana State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Link to publication Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Michael A. LaurenzanoUniversity of Michigan, Parker Hill, Mehrzad SamadiUniversity of Michigan, Scott MahlkeUniversity of Michigan, Jason MarsUniversity of Michigan, Lingjia TangUniversity of Michigan
Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Testing & Debugging at Grand Ballroom Santa Ynez
Chair(s): Benjamin ZornMicrosoft Research
pldi-2016-papers13:30 - 14:00
Talk
Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Tyler SorensenUniversity College London, Alastair DonaldsonImperial College London
Pre-print Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - New Languages at Grand Ballroom Santa Ynez
Chair(s): Michael CarbinMIT
pldi-2016-papers15:30 - 16:00
Talk
Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin RinardMassachusetts Institute of Technology, USA
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Magnus MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Leonard TruongUC Berkeley / Intel Labs, Rajkishore BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel Labs
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - Parsing & Compilation at Grand Ballroom San Rafael
Chair(s): Michelle StroutThe University of Arizona
pldi-2016-papers15:30 - 16:00
Talk
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Tobias GrosserETH Zurich, Switzerland, Sven Verdoolaege, Albert CohenINRIA
Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Michael D. AdamsUniversity of Utah, Celeste HollenbeckUniversity of Utah, Matthew MightUniversity of Utah, USA
Pre-print Media Attached
pldi-2016-invitedspeakers
17:00 - 18:00: Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom Santa Ynez
pldi-2016-invitedspeakers17:00 - 18:00
Meeting
pldi-2016-catering
18:00 - 20:00: Catering - Poster Reception at Plaza del Sol
pldi-2016-catering18:00 - 20:00

Thu 16 Jun

pldi-2016-catering
08:00 - 08:45: Catering - Breakfast at Plaza del Sol
pldi-2016-catering08:00 - 08:45
pldi-2016-invitedspeakers
pldi-2016-invitedspeakers09:00 - 10:00
Talk
pldi-2016-papers
10:30 - 12:00: Research Papers - Down to the Metal II at Grand Ballroom Santa Ynez
Chair(s): Hans-J. BoehmGoogle
pldi-2016-papers10:30 - 11:00
Talk
Stefan HeuleStanford University, Eric SchkufzaVMware Research Group, Rahul SharmaStanford University, Alex AikenStanford University
DOI Pre-print Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Ariel EizenbergUniversity of Pennsylvania, Shiliang HuIntel Corporation, Gilles PokamIntel Corporation, Joseph DeviettiUniversity of Pennsylvania
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Types I at Grand Ballroom San Rafael
Chair(s): David WalkerPrinceton University
pldi-2016-papers10:30 - 11:00
Talk
Yizhou ZhangCornell University, Guido SalvaneschiTU Darmstadt, Quinn BeightolCornell, Barbara LiskovMIT, Andrew MyersCornell University
Link to publication DOI Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Andrew KentIndiana University, David Kempe II, Sam Tobin-HochstadtIndiana University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
Media Attached
pldi-2016-catering
12:00 - 13:30: Catering - Lunch at Plaza del Sol
pldi-2016-catering12:00 - 13:30
Student Research Competition (SRC)
13:30 - 15:00: Student Research Competition - Session 1 at Sierra Madre South
Student Research Competition (SRC)13:30 - 15:00
Talk
pldi-2016-papers
13:30 - 15:00: Research Papers - Software-Defined Networking at Grand Ballroom San Rafael
Chair(s): Todd MillsteinUniversity of California, Los Angeles
pldi-2016-papers13:30 - 14:00
Talk
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Nate FosterCornell University, Pavol CernyUniversity of Colorado Boulder
Pre-print Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Ryan BeckettPrinceton University, Michael GreenbergPomona College, David WalkerPrinceton University
Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Ahmed El-HassanyETH Zürich, Jeremie MiserezETH Zürich, Pavol BielikETH Zurich, Switzerland, Laurent VanbeverETH Zürich, Martin VechevETH Zurich
Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Synthesis I at Grand Ballroom Santa Ynez
Chair(s): Eran YahavTechnion
pldi-2016-papers13:30 - 14:00
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin–Madison
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago
Pre-print Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington
Media Attached
Student Research Competition (SRC)
15:30 - 17:00: Student Research Competition - Session 2 at Sierra Madre South
Student Research Competition (SRC)15:30 - 17:00
Talk
pldi-2016-papers
15:30 - 17:00: Research Papers - Types II at Grand Ballroom San Rafael
Chair(s): Jean YangCarnegie Mellon University
pldi-2016-papers15:30 - 16:00
Talk
Brianna M. RenUniversity of Maryland, College Park, Jeffrey S. FosterUniversity of Maryland, College Park
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Tomas PetricekUniversity of Cambridge, UK, Don SymeMicrosoft, Gustavo GuerraMicrosoft Corporation, London
Pre-print Media Attached
pldi-2016-papers16:30 - 17:00
Talk
He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - Verifying Systems at Grand Ballroom Santa Ynez
Chair(s): Santosh NagarakatteRutgers University
pldi-2016-papers15:30 - 16:00
Talk
Rian ShambaughUniversity of Massachusetts Amherst, Aaron WeissUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Pre-print Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Hao ChenYale University, Xiongnan (Newman) WuYale University, Zhong ShaoYale University, Joshua LockermanYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Eric MullenUniversity of Washington, Daryl ZunigaUniversity of Washington, Zachary TatlockUniversity of Washington, Dan GrossmanUniversity of Washington, USA
Pre-print Media Attached
pldi-2016-papers
17:00 - 18:00: Research Papers - Parallelism I at Grand Ballroom San Rafael
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
pldi-2016-papers17:00 - 17:30
Talk
Sepideh MalekiTexas State University, Annie YangTexas State University, Martin BurtscherTexas State University
Pre-print Media Attached
pldi-2016-papers17:30 - 18:00
Talk
Junghyun KimSeoul National University, Gangwon JoSeoul National University, Jaehoon JungSeoul National University, Jungwon KimOak Ridge National Laboratory, Jaejin LeeSeoul National University
Media Attached
pldi-2016-papers
17:00 - 18:00: Research Papers - Synthesis II at Grand Ballroom Santa Ynez
Chair(s): Martin VechevETH Zurich
pldi-2016-papers17:00 - 17:30
Talk
Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2016-papers17:30 - 18:00
Talk
Nadia PolikarpovaMIT CSAIL, USA, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT
Media Attached
pldi-2016-catering
18:15 - 21:30: Catering - Banquet at Santa Barbara Maritime Museum
pldi-2016-catering18:15 - 21:30

Fri 17 Jun

pldi-2016-catering
08:00 - 08:45: Catering - Breakfast at Plaza del Sol
pldi-2016-catering08:00 - 08:45
pldi-2016-invitedspeakers
08:45 - 09:00: Invited Speakers - SRC Awards, PLDI’17 Introduction at Grand Ballroom Santa Ynez
Chair(s): Ben HardekopfUC Santa Barbara, Albert CohenINRIA
pldi-2016-papers
09:00 - 10:00: Research Papers - Memory Management at Grand Ballroom Santa Ynez
Chair(s): Sam GuyerTufts University
pldi-2016-papers09:00 - 09:30
Talk
Media Attached
pldi-2016-papers09:30 - 10:00
Talk
Nicholas JacekUMass Amherst, Meng-Chieh ChiuUMass Amherst, Benjamin MarlinUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
Media Attached
pldi-2016-papers
09:00 - 10:00: Research Papers - Verification II at Grand Ballroom San Rafael
Chair(s): Armando Solar-LezamaMIT
pldi-2016-papers09:00 - 09:30
Talk
Nikolaj BjørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research
Media Attached
pldi-2016-papers09:30 - 10:00
Talk
Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham
Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Parallelism II at Grand Ballroom San Rafael
Chair(s): Albert CohenINRIA
pldi-2016-papers10:30 - 11:00
Talk
Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology
Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Sara BaghsorkhiIntel Labs, Nalini VasudevanGoogle, Youfeng WuIntel Corporation
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Shoaib KamilMIT CSAIL, USA, Alvin CheungUniversity of Washington, Shachar ItzhakyMIT CSAIL, Armando Solar-LezamaMIT
Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Security at Grand Ballroom Santa Ynez
Chair(s): Andrew MyersCornell University
pldi-2016-papers10:30 - 11:00
Talk
Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University
Link to publication Media Attached
pldi-2016-papers11:00 - 11:30
Talk
David CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research
Media Attached

Tue 14 Jun 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom Santa Ynez
12:45 - 13:30
17:00 - 17:45
Plaza del Sol
12:00 - 13:30
San Miguel East
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
Santa Cruz East
Santa Cruz East
Santa Cruz West
Santa Cruz West
Santa Rosa East
10:30 - 12:00
15:30 - 17:00
Santa Rosa West
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
Sierra Madre Foyer
Sierra Madre North
09:00 - 10:00
Sierra Madre South
08:50 - 10:10

Mon 13 Jun 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Plaza del Sol
12:00 - 13:30
Rosa/Cruz Foyer
Santa Cruz East
Santa Cruz East
Santa Cruz West
Santa Cruz West
Santa Rosa East
09:00 - 09:15
16:15 - 17:00
Sierra Madre North

Tue 14 Jun 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Ballroom Santa Ynez
12:45 - 13:30
Plaza del Sol
12:00 - 13:30
San Miguel East
09:00 - 09:10
Santa Cruz East
Santa Cruz East
Santa Cruz West
Santa Cruz West
Santa Rosa East
16:40 - 17:00
Santa Rosa West
Sierra Madre Foyer
Sierra Madre North
Sierra Madre South
08:50 - 09:00

Wed 15 Jun 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Grand Ballroom San Rafael
Grand Ballroom San Rafael & Santa Ynez
Grand Ballroom Santa Ynez
Plaza del Sol
12:00 - 13:30
Rafael/Ynez Foyer

Thu 16 Jun 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Grand Ballroom San Rafael
Grand Ballroom San Rafael & Santa Ynez
Grand Ballroom Santa Ynez
Plaza del Sol
12:00 - 13:30
Santa Barbara Maritime Museum
Sierra Madre South
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)