PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
PLDI 2015 (series) /

PLDI 2015 Program

Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 13 Jun

pldi2015-catering
08:15 - 09:00: Catering - Saturday Breakfast at Pre-function A
pldi2015-catering08:15 - 09:00
Break
pldi2015-workshops
09:00 - 11:00: Tutorials - A Semantics-Directed Approach to Program Termination at B112
pldi2015-workshops09:00 - 11:00
Talk
Salvador Lucas, José Meseguer
Link to publication
ARRAY-2015-papers
09:00 - 11:00: ARRAY - Invited Talk and Paper Session 1 at C122
Chair(s): Laurie HendrenMcGill University
ARRAY-2015-papers09:00 - 10:00
Talk
David PaduaUniversity of Illinois at Urbana-Champaign
ARRAY-2015-papers10:00 - 10:30
Talk
Andreas KloecknerUniversity of Illinois at Urbana-Champaign
ARRAY-2015-papers10:30 - 11:00
Talk
João BispoFEUP, Universidade do Porto, Luís Reis, João Cardoso
pldi2015-workshops
09:00 - 11:00: Tutorials - Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics at A103-104
pldi2015-workshops09:00 - 11:00
Talk
Knud Kirkegaard, Anoop M. Prabha
Link to publication
wax2015
09:30 - 11:00: WAX - 9:30am: Opening and Papers Session 1 at C120-C121
pldi2015-catering
11:00 - 11:20: Catering - Saturday AM Break at Pre-function A
pldi2015-catering11:00 - 11:20
Coffee break
pldi2015-workshops
11:20 - 12:30: Tutorials - A Semantics-Directed Approach to Program Termination at B112
pldi2015-workshops11:20 - 12:30
Talk
Salvador Lucas, José Meseguer
Link to publication
wax2015
11:20 - 12:30: WAX - Lightning Talks and Discussion Prep at C120-C121
ARRAY-2015-papers
11:20 - 12:30: ARRAY - Paper Session 2 at C122
Chair(s): Mary Sheeran
ARRAY-2015-papers11:20 - 11:50
Talk
Michael Budde, Martin Dybdal, Martin Elsman
ARRAY-2015-papers11:50 - 12:20
Talk
Rahul Garg, Sameer JagdaleMcGill University, Laurie HendrenMcGill University
ARRAY-2015-papers12:20 - 12:30
Other
pldi2015-workshops
11:20 - 12:30: Tutorials - Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics at A103-104
pldi2015-workshops11:20 - 12:30
Talk
Knud Kirkegaard, Anoop M. Prabha
Link to publication
pldi2015-catering
12:30 - 14:00: Catering - Saturday Lunch at Pre-function A
pldi2015-catering12:30 - 14:00
Lunch
pldi2015-workshops
14:00 - 15:30: Tutorials - CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics at A103-104
pldi2015-workshops14:00 - 15:30
Talk
Nadav Chachmon, Magnus Christensson, Vijay J. Reddi
ARRAY-2015-papers
14:00 - 15:30: ARRAY - Paper Session 3 at C122
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
ARRAY-2015-papers14:00 - 14:30
Talk
Youngsung Kim, Pavol CernyUniversity of Colorado Boulder
ARRAY-2015-papers14:30 - 15:00
Talk
Mathias Bourgoin, Emmanuel Chailloux
ARRAY-2015-papers15:00 - 15:30
Talk
Aaron Hsu
pldi2015-workshops
14:00 - 15:30: Tutorials - RASCAL: Program Analysis and Transformation with Rascal at B112
pldi2015-workshops14:00 - 15:30
Talk
Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
wax2015
14:00 - 15:30: WAX - Report-Outs and Papers Session 2 at C120-C121
pldi2015-catering
15:30 - 16:00: Catering - Saturday PM Break at Pre-function A
pldi2015-catering15:30 - 16:00
Break
pldi2015-workshops
16:00 - 18:00: Tutorials - CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics at A103-104
pldi2015-workshops16:00 - 18:00
Talk
Nadav Chachmon, Magnus Christensson, Vijay J. Reddi
ARRAY-2015-papers
16:00 - 18:00: ARRAY - Paper Session 4 at C122
Chair(s): David GroveIBM Research
ARRAY-2015-papers16:00 - 16:30
Talk
Mahesh Ravishankar, Paulius Micikevicius, Vinod Grover
ARRAY-2015-papers16:30 - 17:00
Talk
Paul Cockshott, Susanne Oehler, Youssef Gdura, Ciaran Mcreesh
ARRAY-2015-papers17:00 - 17:30
Talk
Robert Bernecky, Sven-Bodo Scholz
ARRAY-2015-papers17:30 - 18:00
Other
wax2015
16:00 - 18:00: WAX - Papers Session 3 and Closing at C120-C121
pldi2015-workshops
16:00 - 18:00: Tutorials - RASCAL: Program Analysis and Transformation with Rascal at B112
pldi2015-workshops16:00 - 18:00
Talk
Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication

Sun 14 Jun

pldi2015-catering
08:15 - 09:00: Catering - Sunday Breakfast at Pre-function A
pldi2015-catering08:15 - 09:00
Break
pldi2015-workshops
09:00 - 11:00: Tutorials - PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging at A103-104
pldi2015-workshops09:00 - 11:00
Talk
Harish Patil, Milind Chabbi
Link to publication
X10-2015-papers
09:00 - 11:00: X10 - Programming in X10 at B112
X10-2015-papers09:00 - 09:15
Day opening
Jose Nelson AmaralUniversity of Alberta, Olivier TardieuIBM Research
X10-2015-papers09:15 - 10:30
Talk
Olivier TardieuIBM Research
Link to publication
X10-2015-papers10:30 - 11:00
Talk
Sara S. HamoudaAustralian National University, Josh MilthorpeIBM Research, Peter StrazdinsAustralian National University, Vijay SaraswatIBM TJ Watson Research Center
Link to publication
PLOOC-2015-papers
09:00 - 11:00: PLOOC 2015 - Session1 at C120-C121
PLOOC-2015-papers09:00 - 09:05
Talk
Armando Solar-LezamaMIT, Rishabh SinghMicrosoft Research
PLOOC-2015-papers09:05 - 09:45
Talk
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
PLOOC-2015-papers09:45 - 10:25
Talk
Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
PLOOC-2015-papers10:25 - 11:00
Talk
Jonathan ProtzenkoMicrosoft Research
SOAP-2015-papers
09:00 - 11:00: SOAP - session 1 at B110-B11
Chair(s): Anders MøllerAarhus University
SOAP-2015-papers09:00 - 09:10
Day opening
SOAP-2015-papers09:10 - 10:00
Talk
Atanas RountevOhio State University
SOAP-2015-papers10:00 - 10:20
Talk
Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric BoddenFraunhofer SIT and TU Darmstadt
SOAP-2015-papers10:20 - 10:40
Talk
Johannes Lerch, Ben Hermann
SOAP-2015-papers10:40 - 11:00
Talk
Nicholas Allen, Paddy Krishnan, Bernhard ScholzThe University of Sydney
pldi2015-catering
11:00 - 11:20: Catering - Sunday AM Break at Pre-function A
pldi2015-catering11:00 - 11:20
Coffee break
pldi2015-workshops
11:20 - 12:30: Tutorials - PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging at A103-104
pldi2015-workshops11:20 - 12:30
Talk
Harish Patil, Milind Chabbi
Link to publication
X10-2015-papers
11:20 - 12:30: X10 - Parallel Loops at B112
X10-2015-papers11:20 - 11:50
Talk
Tomofumi Yuki
Link to publication
X10-2015-papers11:50 - 12:20
Talk
Josh MilthorpeIBM Research
Link to publication
PLOOC-2015-papers
11:20 - 12:30: PLOOC 2015 - Session2 at C120-C121
PLOOC-2015-papers11:30 - 12:10
Talk
Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington
SOAP-2015-papers
11:20 - 12:30: SOAP - session 2 at B110-B11
Chair(s): Mayur NaikGeorgia Tech
SOAP-2015-papers11:20 - 12:20
Talk
Ben HardekopfUC Santa Barbara
pldi2015-catering
12:30 - 14:00: Catering - Sunday Lunch at Exhibit Halls A1-B
pldi2015-catering12:30 - 14:00
Lunch
pldi2015-workshops
14:00 - 15:30: Tutorials - AutoTune:Autotuning programs with OpenTuner at C122
pldi2015-workshops14:00 - 15:30
Talk
Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA
Link to publication
X10-2015-papers
14:00 - 15:30: X10 - Compilers and Runtimes at B112
X10-2015-papers14:00 - 14:30
Talk
Manuel MohrKarlsruhe Institute of Technology, Sebastian BuchwaldKarlsruhe Institute of Technology, Andreas ZwinkauKarlsruhe Institute of Technology, Christoph Erhardt Friedrich-Alexander University of Erlangen-Nürnberg, Benjamin Oechslein Friedrich-Alexander University of Erlangen-Nürnberg, Jens Schedel Friedrich-Alexander University of Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg
Link to publication
X10-2015-papers14:30 - 15:00
Talk
Michihiro HorieIBM Research - Tokyo, Mikio TakeuchiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo, David GroveIBM Research
Link to publication
X10-2015-papers15:00 - 15:30
Talk
Olivier TardieuIBM Research
Link to publication
pldi2015-workshops
14:00 - 15:30: Tutorials - Doop Framework 101 at A107-A108
pldi2015-workshops14:00 - 15:30
Talk
George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication
pldi2015-workshops
14:00 - 15:30: Tutorials - Machine Learning for Code Analytics at A103-104
pldi2015-workshops14:00 - 15:30
Talk
Veselin RaychevETH Zurich, Martin VechevETH Zurich
Link to publication
PLOOC-2015-papers
14:00 - 15:30: PLOOC 2015 - Session3 at C120-C121
PLOOC-2015-papers14:00 - 14:40
Talk
Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
PLOOC-2015-papers14:40 - 15:20
Talk
Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
SOAP-2015-papers
14:00 - 15:30: SOAP - session 3 at B110-B11
Chair(s): Mayur NaikGeorgia Tech
SOAP-2015-papers14:00 - 14:30
Talk
Frank TipSamsung Research America
SOAP-2015-papers14:30 - 15:00
Talk
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan ChangUniversity of Colorado Boulder
SOAP-2015-papers15:00 - 15:30
Talk
Cristina Cifuentes, Andrew Gross, Nathan Keynes
pldi2015-catering
15:30 - 16:00: Catering - Sunday PM Break at Exhibit Halls A1-B
pldi2015-catering15:30 - 16:00
Break
pldi2015-workshops
16:00 - 18:00: Tutorials - AutoTune:Autotuning programs with OpenTuner at C122
pldi2015-workshops16:00 - 18:00
Talk
Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA
Link to publication
pldi2015-workshops
16:00 - 18:00: Tutorials - Doop Framework 101 at A107-A108
pldi2015-workshops16:00 - 18:00
Talk
George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication
X10-2015-papers
16:00 - 18:00: X10 - Global Load Balancing at B112
X10-2015-papers16:00 - 16:30
Talk
Marco BungartUniversität Kassel, Claudia FohryUniversität Kassel, Jonas PosnerUniversität Kassel
Link to publication
X10-2015-papers16:30 - 17:00
Talk
Daisuke IshiiTokyo Institute of Technology, Kazuki YoshizoeJapan Science and Technology Agency, Toyotaro SuzumuraIBM Research / University College Dublin / JST
Link to publication
pldi2015-workshops
16:00 - 18:00: Tutorials - Machine Learning for Code Analytics at A103-104
pldi2015-workshops16:00 - 18:00
Talk
Veselin RaychevETH Zurich, Martin VechevETH Zurich
Link to publication
PLOOC-2015-papers
16:00 - 18:00: PLOOC 2015 - Session4 at C120-C121
PLOOC-2015-papers16:00 - 16:40
Talk
Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
PLOOC-2015-papers16:40 - 17:20
Talk
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
PLOOC-2015-papers17:20 - 18:00
Talk
Elena GlassmanMIT, Jeremy ScottMIT, Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT
SOAP-2015-papers
16:00 - 18:00: SOAP - session 4 at B110-B11
Chair(s): Anders MøllerAarhus University
SOAP-2015-papers16:00 - 17:00
Talk
Koushik SenUniversity of California, Berkeley
FCRC Plenary Speakers
18:00 - 19:15: FCRC Plenary Speakers - Turing Lecture at Exhibit Hall A
FCRC Plenary Speakers18:00 - 19:15
Talk
Michael Stonebraker
pldi2015-papers
19:30 - 21:00: Research Papers - Welcome Reception at Exhibit Halls A1-B
pldi2015-papers19:30 - 21:00

Mon 15 Jun

pldi2015-catering
08:15 - 09:00: Catering - Monday Breakfast at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering08:15 - 09:00
Break
pldi2015-papers
09:00 - 11:00: Research Papers - Distinguished Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve BlackburnAustralian National University
pldi2015-papers09:00 - 09:15
Day opening
Steve BlackburnAustralian National University , David GroveIBM Research
pldi2015-papers09:15 - 09:40
Talk
Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary Tatlock
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Danfeng ZhangCornell University, Andrew Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah
Media Attached
pldi2015-papers10:30 - 10:50
Talk
pldi2015-catering
11:00 - 11:20: Catering - Monday AM Break at Exhibit Halls A1-B
pldi2015-catering11:00 - 11:20
Coffee break
FCRC Plenary Speakers
11:20 - 12:30: FCRC Plenary Speakers - Monday Plenary Talk at Exhibit Hall A
FCRC Plenary Speakers11:20 - 12:30
Talk
Andrew YaoTsinghua University
pldi2015-papers
12:30 - 14:00: Research Papers - SIGPLAN Awards Luncheon at Portland 251,257,258
pldi2015-papers12:30 - 14:00
Lunch
Jan VitekNortheastern University
pldi2015-papers
14:00 - 15:40: Research Papers - Correctness at PLDI Main RED (Portland 256)
Chair(s): Jens PalsbergUniversity of California, Los Angeles
pldi2015-papers14:00 - 14:25
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Stelios Sidiroglou-DouskosMIT CSAIL, Eric LahtinenMIT CSAIL, Fan LongMIT CSAIL, Martin RinardMIT
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM T.J. Watson Research Center
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London
Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Verification at PLDI Main BLUE (Portland 254-255)
Chair(s): Zachary Tatlock
pldi2015-papers14:00 - 14:25
Talk
Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
pldi2015-papers14:25 - 14:50
Talk
Rahul SharmaStanford University, Michael BauerNVIDIA Research, Alex AikenStanford University
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Peter GammieNICTA, Tony HoskingAustralian National University, Data61, and Purdue University, Kai EngelhardtUNSW and NICTA
Link to publication Media Attached
pldi2015-papers15:15 - 15:40
Talk
Joseph TassarottiCarnegie Mellon University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Media Attached
pldi2015-catering
15:40 - 16:00: Catering - Monday PM Break at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering15:40 - 16:00
Break
pldi2015-papers
16:00 - 17:40: Research Papers - Concurrency I at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh NagarakatteRutgers University
pldi2015-papers16:00 - 16:25
Talk
Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Jeff HuangTexas A&M University
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Eric KoskinenIBM TJ Watson Research Center, Matthew ParkinsonMicrosoft Research, UK
Media Attached
pldi2015-papers
16:00 - 17:15: Research Papers - Optimization at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
pldi2015-papers16:00 - 16:25
Talk
Yousun KoYonsei University, Bernd BurgstallerYonsei University, Bernhard ScholzThe University of Sydney
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Wei DingPennsylvania State University, Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, Yuanrui ZhangIntel, Emre KultursayPennsylvania State University
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Sanyam MehtaUniversity of Minnesota, Pen-Chung YewUniversity of Minnesota
Media Attached
pldi2015-papers
17:15 - 17:40: Research Papers - TOPLAS at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
pldi2015-papers17:15 - 17:40
Talk
Andrew AppelPrinceton

Tue 16 Jun

pldi2015-catering
08:15 - 09:00: Catering - Tuesday Breakfast at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering08:15 - 09:00
Break
pldi2015-papers
08:45 - 09:10: Research Papers - One Minute Madness at PLDI Main BLUE (Portland 254-255)
pldi2015-papers08:45 - 09:10
Talk
pldi2015-papers
09:15 - 10:55: Research Papers - Concurrency II at PLDI Main BLUE (Portland 254-255)
Chair(s): Suresh JagannathanPurdue University
pldi2015-papers09:15 - 09:40
Talk
Ofri ZivTel Aviv University, Alex AikenStanford University, Guy Golan-GuetaYahoo Labs, G. RamalingamMicrosoft Research, Mooly SagivTel Aviv University
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Naling ZhangVirginia Tech, Markus KusanoVirginia Tech, Chao WangVirginia Tech
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Michael Emmi, Constantin EneaLIAFA, Université Paris Diderot, Jad HamzaLIAFA, Université Paris Diderot
Media Attached
pldi2015-papers10:30 - 10:55
Talk
Stephen LongfieldCornell University, Brittany NkounkouCornell University, Rajit ManoharCornell University, Ross TateCornell University
Media Attached
pldi2015-papers
09:15 - 10:55: Research Papers - Synthesis I at PLDI Main RED (Portland 256)
Chair(s): Kathleen FisherTufts University
pldi2015-papers09:15 - 09:40
Talk
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University
Pre-print Media Attached
pldi2015-papers09:40 - 10:05
Talk
Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research
Media Attached
pldi2015-papers10:30 - 10:55
Talk
John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin
Media Attached
pldi2015-catering
11:00 - 11:20: Catering - Tuesday AM Break at Exhibit Halls A1-B
pldi2015-catering11:00 - 11:20
Coffee break
FCRC Plenary Speakers
11:20 - 12:30: FCRC Plenary Speakers - Tuesday Plenary Talk at Exhibit Hall A
FCRC Plenary Speakers11:20 - 12:30
Talk
Olivier TemamINRIA
pldi2015-catering
12:30 - 14:00: Catering - Tuesday Lunch at Exhibit Halls A1-B
pldi2015-catering12:30 - 14:00
Lunch
pldi2015-papers
14:00 - 15:40: Research Papers - Analysis at PLDI Main BLUE (Portland 254-255)
Chair(s): Yannis SmaragdakisUniversity of Athens
pldi2015-papers14:00 - 14:25
Talk
Akash LalMicrosoft Research India, Shaz QadeerMicrosoft Research
Media Attached File Attached
pldi2015-papers14:25 - 14:50
Talk
Andrew JohnsonHarvard University, Lucas WayeHarvard University, Scott MooreHarvard University, Stephen ChongHarvard University
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Yusheng WeijiangPurdue University, Shruthi BalakrishnaPurdue University, Jianqiao LiuPurdue University, Milind KulkarniPurdue University
Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Semantics I at PLDI Main RED (Portland 256)
Chair(s): Hans-J. BoehmGoogle
pldi2015-papers14:00 - 14:25
Talk
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RosuUniversity of Illinois at Urbana-Champaign
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
Media Attached
pldi2015-papers15:15 - 15:40
Talk
James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary Tatlock, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Media Attached
pldi2015-catering
15:40 - 16:00: Catering - Tuesday PM Break at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering15:40 - 16:00
Break
pldi2015-papers
16:00 - 18:00: Research Papers - PLDI Chairs' Report and SIGPLAN Townhall Meeting at PLDI Main BLUE (Portland 254-255)
Chair(s): David GroveIBM Research
pldi2015-papers16:00 - 16:30
Talk
David GroveIBM Research, Steve BlackburnAustralian National University , Eric EideUniversity of Utah, John RegehrUniversity of Utah
File Attached
pldi2015-papers16:30 - 17:30
Meeting
Jan VitekNortheastern University
Student Research Competition
16:00 - 18:00: Student Research Competition - Student Research Competition Talks at PLDI Main RED (Portland 256)
Chair(s): Isil DilligUniversity of Texas, Austin
pldi2015-papers
18:30 - 22:00: Research Papers - PLDI Banquet at Exchange Ballroom
pldi2015-papers18:30 - 22:00

Wed 17 Jun

pldi2015-catering
08:15 - 09:00: Catering - Wednesday Breakfast at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering08:15 - 09:00
Break
pldi2015-papers
08:30 - 09:00: Research Papers - One Minute Madness at PLDI Main BLUE (Portland 254-255)
pldi2015-papers08:30 - 09:00
Talk
Student Research Competition
09:00 - 09:15: Student Research Competition - Student Research Competition Awards at PLDI Main BLUE (Portland 254-255)
Student Research Competition09:00 - 09:15
Awards
Isil DilligUniversity of Texas, Austin
pldi2015-papers
09:15 - 10:55: Research Papers - Performance at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
pldi2015-papers09:15 - 09:40
Talk
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT
Link to publication Media Attached
pldi2015-papers10:05 - 10:30
Talk
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
pldi2015-papers10:30 - 10:55
Talk
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached
pldi2015-papers
09:15 - 10:55: Research Papers - Semantics II at PLDI Main RED (Portland 256)
Chair(s): Robby FindlerNorthwestern University
pldi2015-papers09:15 - 09:40
Talk
KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Jeremy G. SiekIndiana University, Peter ThiemannUniversity of Freiburg, Philip WadlerUniversity of Edinburgh
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Yizhou ZhangCornell University, Andrew Myers, Barbara LiskovMIT, Guido SalvaneschiTU Darmstadt, Matt LoringCornell University
Media Attached
pldi2015-papers10:30 - 10:55
Talk
Phúc C. Nguyễn, David Van HornUniversity of Maryland, College Park
Media Attached
pldi2015-catering
11:00 - 11:20: Catering - Wednesday AM Break at Exhibit Halls A1-B
pldi2015-catering11:00 - 11:20
Coffee break
FCRC Plenary Speakers
11:20 - 12:30: FCRC Plenary Speakers - Wednesday Plenary Talk at Exhibit Hall A
FCRC Plenary Speakers11:20 - 12:30
Talk
Don SymeMicrosoft
pldi2015-catering
12:30 - 14:00: Catering - Wednesday Lunch at Exhibit Halls A1-B
pldi2015-catering12:30 - 14:00
Lunch
pldi2015-papers
14:00 - 15:40: Research Papers - Logic at PLDI Main RED (Portland 256)
Chair(s): Nate FosterCornell University
pldi2015-papers14:00 - 14:25
Talk
Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Minh-Thai TrinhNational University of Singapore
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Quentin CarbonneauxYale University, Jan HoffmannYale University, Zhong ShaoYale University
Link to publication Media Attached
pldi2015-papers14:50 - 15:15
Talk
Karl CraryCarnegie Mellon University, Michael J. Sullivan
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Ton Chanh LeNational University of Singapore, Shengchao QinTeesside University, Wei-Ngan ChinNational University of Singapore
Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Parallelism at PLDI Main BLUE (Portland 254-255)
Chair(s): Sara BaghsorkhiIntel Labs
pldi2015-papers14:00 - 14:25
Talk
Murali Krishna EmaniThe University of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Bin RenPacific Northwest National Laboratories, Youngjoon JoPurdue University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Kunal AgrawalWashington University in St. Louis, Milind KulkarniPurdue University
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Anand VenkatUniversity of Utah, Mary HallUniversity of Utah, Michelle StroutColorado State University
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Dimitrios PrountzosThe University of Texas at Austin, Texas, USA, Roman ManevichBen-Gurion University of the Negev, Keshav PingaliUniversity of Texas, Austin
Media Attached
pldi2015-catering
15:40 - 16:00: Catering - Wednesday PM Break at Exhibit Halls A1-B Portland Ballroom Lobby
pldi2015-catering15:40 - 16:00
Break
pldi2015-papers
16:00 - 17:40: Research Papers - Potpourri at PLDI Main RED (Portland 256)
Chair(s): Tiark RompfPurdue & Oracle Labs
pldi2015-papers16:00 - 16:25
Talk
Stefan MarrInria, France, Chris SeatonOracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Chinawat IsradisaikulCornell University, Andrew Myers
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Alan LeungUniversity of California, San Diego, John SarracinoUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Brandon LuciaCarnegie Mellon University, Benjamin RansfordUniversity of Washington
Media Attached
pldi2015-papers
16:00 - 17:40: Research Papers - Synthesis II at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil DilligUniversity of Texas, Austin
pldi2015-papers16:00 - 16:25
Talk
Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
Media Attached

Sat 13 Jun 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
A103-104

PLDI Tutorials

Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
09:00 - 11:00

PLDI Tutorials

Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
11:20 - 12:30

PLDI Tutorials

CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
14:00 - 15:30

PLDI Tutorials

CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
16:00 - 18:00
A107-A108

CHIUW

09:00 - 11:00

CHIUW

11:20 - 12:30

CHIUW

14:00 - 15:30

CHIUW

16:00 - 18:00
B110-B11

WOW

09:00 - 11:00

WOW

11:20 - 12:30

WOW

14:00 - 15:30

WOW

16:00 - 18:00
B112

PLDI Tutorials

A Semantics-Directed Approach to Program Termination
09:00 - 11:00

PLDI Tutorials

A Semantics-Directed Approach to Program Termination
11:20 - 12:30

PLDI Tutorials

RASCAL: Program Analysis and Transformation with Rascal
14:00 - 15:30

PLDI Tutorials

RASCAL: Program Analysis and Transformation with Rascal
16:00 - 18:00
B117-B118

Scala

09:00 - 11:00

Scala

11:20 - 12:30

Scala

14:00 - 15:30

Scala

16:00 - 18:00
C120-C121

WAX

9:30am: Opening and Papers Session 1
09:30 - 11:00

WAX

Lightning Talks and Discussion Prep
11:20 - 12:30

WAX

Report-Outs and Papers Session 2
14:00 - 15:30

WAX

Papers Session 3 and Closing
16:00 - 18:00
C122

ARRAY

Invited Talk and Paper Session 1
09:00 - 11:00

ARRAY

Paper Session 2
11:20 - 12:30

ARRAY

Paper Session 3
14:00 - 15:30

ARRAY

Paper Session 4
16:00 - 18:00
Pre-function A

PLDI Catering

Saturday Breakfast
08:15 - 09:00

PLDI Catering

Saturday AM Break
11:00 - 11:20

PLDI Catering

Saturday Lunch
12:30 - 14:00

PLDI Catering

Saturday PM Break
15:30 - 16:00

Sun 14 Jun 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
A103-104

PLDI Tutorials

PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
09:00 - 11:00

PLDI Tutorials

PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
11:20 - 12:30

PLDI Tutorials

Machine Learning for Code Analytics
14:00 - 15:30

PLDI Tutorials

Machine Learning for Code Analytics
16:00 - 18:00
A107-A108

CHIUW

09:00 - 11:00

CHIUW

11:20 - 12:30

PLDI Tutorials

Doop Framework 101
14:00 - 15:30

PLDI Tutorials

Doop Framework 101
16:00 - 18:00
B110-B11

SOAP

session 1
09:00 - 11:00

SOAP

session 2
11:20 - 12:30

SOAP

session 3
14:00 - 15:30

SOAP

session 4
16:00 - 18:00
B112

X10

Programming in X10
09:00 - 11:00

X10

Parallel Loops
11:20 - 12:30

X10

Compilers and Runtimes
14:00 - 15:30

X10

Global Load Balancing
16:00 - 18:00
C120-C121

PLOOC

Session1
09:00 - 11:00

PLOOC

Session2
11:20 - 12:30

PLOOC

Session3
14:00 - 15:30

PLOOC

Session4
16:00 - 18:00
C122

PLDI Tutorials

AutoTune:Autotuning programs with OpenTuner
14:00 - 15:30

PLDI Tutorials

AutoTune:Autotuning programs with OpenTuner
16:00 - 18:00
Exhibit Hall A

PLDI FCRC Plenary Speakers

Turing Lecture
18:00 - 19:15
Exhibit Halls A1-B

PLDI Catering

Sunday Lunch
12:30 - 14:00

PLDI Catering

Sunday PM Break
15:30 - 16:00

PLDI Research Papers

Welcome Reception
19:30 - 21:00
Pre-function A

PLDI Catering

Sunday Breakfast
08:15 - 09:00

PLDI Catering

Sunday AM Break
11:00 - 11:20

Mon 15 Jun 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Exhibit Hall A

PLDI FCRC Plenary Speakers

Monday Plenary Talk
11:20 - 12:30
Exhibit Halls A1-B

PLDI Catering

Monday AM Break
11:00 - 11:20
Exhibit Halls A1-B Portland Ballroom Lobby

PLDI Catering

Monday Breakfast
08:15 - 09:00

PLDI Catering

Monday PM Break
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)

PLDI Research Papers

Distinguished Papers
09:00 - 11:00

PLDI Research Papers

Verification
14:00 - 15:40

PLDI Research Papers

Concurrency I
16:00 - 17:40
PLDI Main RED (Portland 256)

PLDI Research Papers

Correctness
14:00 - 15:40

PLDI Research Papers

Optimization
16:00 - 17:15

PLDI Research Papers

TOPLAS
17:15 - 17:40
Portland 251,257,258

PLDI Research Papers

SIGPLAN Awards Luncheon
12:30 - 14:00

Tue 16 Jun 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Exchange Ballroom

PLDI Research Papers

PLDI Banquet
18:30 - 22:00
Exhibit Hall A

PLDI FCRC Plenary Speakers

Tuesday Plenary Talk
11:20 - 12:30
Exhibit Halls A1-B

PLDI Catering

Tuesday AM Break
11:00 - 11:20

PLDI Catering

Tuesday Lunch
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby

PLDI Catering

Tuesday Breakfast
08:15 - 09:00

PLDI Catering

Tuesday PM Break
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)

PLDI Research Papers

One Minute Madness
08:45 - 09:10

PLDI Research Papers

Concurrency II
09:15 - 10:55

PLDI Research Papers

Analysis
14:00 - 15:40

PLDI Research Papers

PLDI Chairs' Report and SIGPLAN Townhall Meeting
16:00 - 18:00
PLDI Main RED (Portland 256)

PLDI Research Papers

Synthesis I
09:15 - 10:55

PLDI Research Papers

Semantics I
14:00 - 15:40

PLDI Student Research Competition

Student Research Competition Talks
16:00 - 18:00

Wed 17 Jun 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Exhibit Hall A

PLDI FCRC Plenary Speakers

Wednesday Plenary Talk
11:20 - 12:30
Exhibit Halls A1-B

PLDI Catering

Wednesday AM Break
11:00 - 11:20

PLDI Catering

Wednesday Lunch
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby

PLDI Catering

Wednesday Breakfast
08:15 - 09:00

PLDI Catering

Wednesday PM Break
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)

PLDI Research Papers

One Minute Madness
08:30 - 09:00

PLDI Student Research Competition

Student Research Competition Awards
09:00 - 09:15

PLDI Research Papers

Performance
09:15 - 10:55

PLDI Research Papers

Parallelism
14:00 - 15:40

PLDI Research Papers

Synthesis II
16:00 - 17:40
PLDI Main RED (Portland 256)

PLDI Research Papers

Semantics II
09:15 - 10:55

PLDI Research Papers

Logic
14:00 - 15:40

PLDI Research Papers

Potpourri
16:00 - 17:40

Sat 13 Jun 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
A103-104
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 18:00
B112
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 18:00
C122
09:00 - 10:00
10:00 - 10:30
10:30 - 11:00
11:20 - 11:50
11:50 - 12:20
12:20 - 12:30
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00
Pre-function A
08:15 - 09:00
11:00 - 11:20
12:30 - 14:00
15:30 - 16:00

Sun 14 Jun 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
A103-104
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 18:00
A107-A108
14:00 - 15:30
16:00 - 18:00
B110-B11
09:00 - 09:10
09:10 - 10:00
10:00 - 10:20
10:20 - 10:40
10:40 - 11:00
11:20 - 12:20
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 17:00
B112
09:00 - 09:15
09:15 - 10:30
10:30 - 11:00
11:20 - 11:50
11:50 - 12:20
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
C120-C121
09:00 - 09:05
09:05 - 09:45
09:45 - 10:25
10:25 - 11:00
11:30 - 12:10
14:00 - 14:40
14:40 - 15:20
16:00 - 16:40
16:40 - 17:20
17:20 - 18:00
C122
14:00 - 15:30
16:00 - 18:00
Exhibit Hall A
18:00 - 19:15
Exhibit Halls A1-B
12:30 - 14:00
15:30 - 16:00
19:30 - 21:00
Pre-function A
08:15 - 09:00
11:00 - 11:20

Mon 15 Jun 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Exhibit Hall A
11:20 - 12:30
Exhibit Halls A1-B
11:00 - 11:20
Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)
09:00 - 09:15
09:15 - 09:40
09:40 - 10:05
10:05 - 10:30
10:30 - 10:50
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:00 - 16:25
16:25 - 16:50
16:50 - 17:15
17:15 - 17:40
PLDI Main RED (Portland 256)
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:00 - 16:25
16:25 - 16:50
16:50 - 17:15
17:15 - 17:40
Portland 251,257,258
12:30 - 14:00

Tue 16 Jun 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Exchange Ballroom
18:30 - 22:00
Exhibit Hall A
11:20 - 12:30
Exhibit Halls A1-B
11:00 - 11:20
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)
08:45 - 09:10
09:15 - 09:40
09:40 - 10:05
10:05 - 10:30
10:30 - 10:55
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:00 - 16:30
16:30 - 17:30
PLDI Main RED (Portland 256)
09:15 - 09:40
09:40 - 10:05
10:05 - 10:30
10:30 - 10:55
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40

Wed 17 Jun 2015

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Exhibit Hall A
11:20 - 12:30
Exhibit Halls A1-B
11:00 - 11:20
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
15:40 - 16:00
PLDI Main BLUE (Portland 254-255)
08:30 - 09:00
09:00 - 09:15
09:15 - 09:40
09:40 - 10:05
10:05 - 10:30
10:30 - 10:55
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:00 - 16:25
16:25 - 16:50
16:50 - 17:15
17:15 - 17:40
PLDI Main RED (Portland 256)
09:15 - 09:40
09:40 - 10:05
10:05 - 10:30
10:30 - 10:55
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:00 - 16:25
16:25 - 16:50
16:50 - 17:15
17:15 - 17:40
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)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics