Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 22 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-catering08:00 - 09:00
Other
CHIUW-2019-papers
09:00 - 09:30: CHIUW 2019 - Chapel 101 (pre-workshop session) at 212A
CHIUW-2019-papers09:00 - 09:30
Talk
pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - DPAQL at 212C
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
deepspec-2019-papers
09:00 - 10:30: DeepSpec 2019 - Deep Specifications at 106B
Chair(s): Lennart BeringerPrinceton University
deepspec-2019-papers09:00 - 09:45
Talk
Benjamin C. PierceUniversity of Pennsylvania
deepspec-2019-papers09:45 - 10:30
Talk
Andrew AppelPrinceton, Adam ChlipalaMassachusetts Institute of Technology, USA, Zhong ShaoYale University
SOAP-2019-papers
09:00 - 09:15: SOAP - Opening at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers09:00 - 09:15
Day opening
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
WAX-2019-papers
09:00 - 09:15: WAX 2019 - Opening and Introduction at 105C
Chair(s): Ulya KarpuzcuUniversity of Minnesota, USA
pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - PPET at 212B
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
ARRAY-2019-papers
09:00 - 10:00: ARRAY 2019 - Session 1 at 106C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
ARRAY-2019-papers09:00 - 10:00
Talk
WAX-2019-papers
09:15 - 10:15: WAX 2019 - Keynote: Song Han, MIT at 105C
SOAP-2019-papers
09:15 - 11:00: SOAP - Performance and Optimizations for Program Analysis Tools at 106A
Chair(s): Neville GrechUniversity of Athens
SOAP-2019-papers09:15 - 09:35
Talk
SOAP-2019-papers09:35 - 09:55
Talk
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
SOAP-2019-papers09:55 - 10:15
Talk
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
SOAP-2019-papers10:15 - 11:35
Talk
SOAP-2019-papers10:35 - 11:00
Other
CHIUW-2019-papers
09:30 - 10:00: CHIUW 2019 - Welcome, State of the Chapel Project at 212A
CHIUW-2019-papers09:30 - 10:00
Talk
CHIUW-2019-papers
10:00 - 10:50: CHIUW 2019 - Chapel Implementation Improvements at 212A
Chair(s): Michelle StroutUniversity of Arizona
CHIUW-2019-papers10:00 - 10:25
Research paper
Akihiro HayashiRice University, USA, Sri Raj PaulGeorgia Institute of Technology, Vivek SarkarRice University, USA
CHIUW-2019-papers10:25 - 10:50
Talk
Lydia DuncanCray Inc., David ItenCray Inc.
ARRAY-2019-papers
10:00 - 11:00: ARRAY 2019 - Session 2 at 106C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
ARRAY-2019-papers10:00 - 10:30
Talk
Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Sven-Bodo ScholzHeriot-Watt University
ARRAY-2019-papers10:30 - 11:00
Talk
Erdal MutluPacific Northwest National Laboratory, Karol KowalskiPacific Northwest National Laboratory, Sriram KrishnamoorthyPacific Northwest National Laboratories
WAX-2019-papers
10:15 - 11:00: WAX 2019 - Talks 1 at 105C
WAX-2019-papers10:15 - 10:25
Talk
Jesse MichelMassachusetts Institute of Technology, Sahil VermaIIT Kanpur, Benjamin ShermanMassachusetts Institute of Technology, USA, Michael CarbinMassachusetts Institute of Technology
WAX-2019-papers10:25 - 10:35
Talk
WAX-2019-papers10:35 - 10:45
Talk
Samuel Triest, Daniel Nikolov, Jannick RollandUniversity of Rochester, Yuhao ZhuUniversity of Rochester
deepspec-2019-papers
10:30 - 11:00: DeepSpec 2019 - Coffee Break at 106B
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-catering11:00 - 11:20
Coffee break
deepspec-2019-papers
11:00 - 12:30: DeepSpec 2019 - Compiler Verification at 106B
Chair(s): Zhong ShaoYale University
deepspec-2019-papers11:00 - 11:30
Talk
Zoe ParaskevopoulouPrinceton University, Andrew AppelPrinceton
deepspec-2019-papers11:30 - 12:00
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2019-papers12:00 - 12:30
Talk
Yuting WangYale University
CHIUW-2019-papers
11:20 - 12:35: CHIUW 2019 - Chapel Performance and Optimizations at 212A
Chair(s): David G. WonnacottHaverford College
CHIUW-2019-papers11:20 - 11:45
Talk
CHIUW-2019-papers11:45 - 12:10
Research paper
Per FuchsVrije Universiteit (VU) Amsterdam, Pieter HijmaVrije Universiteit (VU) Amsterdam, Clemens GrelckUniversity of Amsterdam
CHIUW-2019-papers12:10 - 12:35
Talk
Elliot RonaghanCray Inc., Ben HarshbargerCray Inc., Gregory TitusCray Inc., Michael FergusonCray Inc.
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - DPAQL at 212C
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
SOAP-2019-papers
11:20 - 12:30: SOAP - Industry Talks at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers11:20 - 12:30
Talk
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - PPET at 212B
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
WAX-2019-papers
11:20 - 12:30: WAX 2019 - Talks 2 at 105C
WAX-2019-papers11:20 - 11:30
Talk
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
WAX-2019-papers11:30 - 12:00
Talk
Yipeng HuangPrinceton University
Link to publication Pre-print
WAX-2019-papers12:00 - 12:30
Talk
Yongjoo ParkUniversity of Michigan
ARRAY-2019-papers
11:30 - 12:30: ARRAY 2019 - Session 3 at 106C
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark
ARRAY-2019-papers11:30 - 12:00
Talk
Benjamin ChetiouiUniversity of Bergen, Norway, Lenore MullinSUNY Albany, USA, Ole Abusdal, Magne HaveraaenUniversity of Bergen, Norway, Jaakko JärviUniversity of Bergen, Sandra MaciàBarcelona Supercomputing Center
ARRAY-2019-papers12:00 - 12:30
Talk
pldi-2019-catering
12:30 - 14:00: Catering - Lunch at 301A
WAX-2019-papers
13:30 - 14:30: WAX 2019 - Discussion at 105C
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - DRLT at 212B
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
SOAP-2019-papers
14:00 - 15:30: SOAP - Engineering Advances for Program Analysis Tools at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers14:00 - 14:20
Talk
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
SOAP-2019-papers14:20 - 14:40
Talk
SOAP-2019-papers14:40 - 15:00
Talk
Pre-print
SOAP-2019-papers15:00 - 15:30
Talk
CHIUW-2019-papers
14:00 - 15:00: CHIUW 2019 - Keynote Talk by Anshu Dubey (Argonne) at 212A
Chair(s): Brad ChamberlainCray Inc.
CHIUW-2019-papers14:00 - 15:00
Talk
Anshu DubeyArgonne National Laboratory
deepspec-2019-papers
14:00 - 15:30: DeepSpec 2019 - Modular Reasoning at 106B
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
deepspec-2019-papers14:00 - 14:30
Talk
Lennart BeringerPrinceton University, Andrew AppelPrinceton
deepspec-2019-papers14:30 - 15:00
Talk
Mengqi LiuYale University
deepspec-2019-papers15:00 - 15:30
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
mapl-2019-papers
14:00 - 15:30: MAPL 2019 - Session 3 at 105A
mapl-2019-papers14:00 - 14:45
Talk
Jason Liu, Seohyun KimFacebook, Vijayaraghavan MuraliRice University, USA, Swarat ChaudhuriRice University, Satish ChandraFacebook
mapl-2019-papers14:45 - 15:30
Talk
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris CumminsUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh, Jeronimo CastrillonTU Dresden, Germany
ARRAY-2019-papers
14:00 - 15:30: ARRAY 2019 - Session 4 at 106C
Chair(s): Tze Meng LowCMU
ARRAY-2019-papers14:00 - 14:30
Talk
Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
ARRAY-2019-papers14:30 - 15:00
Talk
Justin SlepakNortheastern University, Olin ShiversNortheastern University, USA, Panagiotis ManoliosNortheastern University
ARRAY-2019-papers15:00 - 15:30
Talk
Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Niels G. W. SerupDIKU, University of Copenhagen
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - V8 at 212C
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Steve BlackburnAustralian National University , Ulan DegenbaevGoogle, Hannes PayerGoogle
CHIUW-2019-papers
15:00 - 15:25: CHIUW 2019 - Applications of Chapel at 212A
Chair(s): Michael FergusonCray Inc.
CHIUW-2019-papers15:00 - 15:25
Talk
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
CHIUW-2019-papers
16:00 - 16:50: CHIUW 2019 - Applications of Chapel (continued) at 212A
Chair(s): Michael FergusonCray Inc.
CHIUW-2019-papers16:00 - 16:25
Talk
Louis JenkinsUniversity of Rochester, Marcin ZalewskiPacific Northwest National Laboratory
CHIUW-2019-papers16:25 - 16:50
Talk
Benjamin AlbrechtCray Inc., Alex HeyeCray Inc., Benjamin RobbinsCray Inc.
pldi-2019-PLDI-Tutorials
16:00 - 17:30: PLDI Tutorials - DRLT at 212B
pldi-2019-PLDI-Tutorials16:00 - 17:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
SOAP-2019-papers
16:00 - 17:40: SOAP - Demos, Tributes and Awards at 106A
Chair(s): Neville GrechUniversity of Athens
SOAP-2019-papers16:00 - 16:20
Other
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
SOAP-2019-papers16:20 - 17:20
Talk
Ben HermannPaderborn University, Andreas DannPaderborn University
SOAP-2019-papers17:20 - 17:40
Day closing
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
deepspec-2019-papers
16:00 - 17:30: DeepSpec 2019 - Interaction Trees and Algebraic Effects I at 106B
Chair(s): Andrew AppelPrinceton
deepspec-2019-papers16:00 - 16:20
Talk
Steve ZdancewicUniversity of Pennsylvania
deepspec-2019-papers16:20 - 16:45
Talk
William ManskyUniversity of Illinois at Chicago, Wolf Honore
deepspec-2019-papers16:45 - 17:30
Talk
Daan LeijenMicrosoft Research, USA
mapl-2019-papers
16:00 - 17:30: MAPL 2019 - Keynote at 105A
mapl-2019-papers16:00 - 17:30
Talk
Mayur NaikUniversity of Pennsylvania
ARRAY-2019-papers
16:00 - 17:30: ARRAY 2019 - Session 5 at 106C
Chair(s): Lenore MullinSUNY Albany, USA
ARRAY-2019-papers16:00 - 16:30
Talk
Dejice Jacob, Jeremy SingerUniversity of Glasgow
ARRAY-2019-papers16:30 - 17:00
Talk
Henrik BarthelsRWTH Aachen, Paolo BientinesiUmeå University
ARRAY-2019-papers17:00 - 17:30
Talk
Martin KristienUniversity of Edinburgh, UK, Bruno BodinYale-NUS College, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh
pldi-2019-PLDI-Tutorials
16:00 - 17:35: PLDI Tutorials - V8 at 212C
pldi-2019-PLDI-Tutorials16:00 - 17:35
Tutorial
Steve BlackburnAustralian National University , Ulan DegenbaevGoogle, Hannes PayerGoogle
CHIUW-2019-papers
16:50 - 17:30: CHIUW 2019 - Lightning Talks and Flash Discussions at 212A
Chair(s): Benjamin RobbinsCray Inc.
SOAP-2019-papers
18:00 - 20:00: SOAP - Social Event at TBD
SOAP-2019-papers18:00 - 20:00
Social Event

Sun 23 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - Dynamically Analyzing WebAssembly with Wasabi at 105C
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
PLMW-PLDI-2019-papers
09:00 - 09:30: PLMW @ PLDI 2019 - Icebreaker at 105B
Chair(s): Milind KulkarniPurdue University
PLMW-PLDI-2019-papers09:00 - 09:30
Other
Milind KulkarniPurdue University
deepspec-2019-papers
09:00 - 10:30: DeepSpec 2019 - Interaction Trees and Algebraic Effects II at 106B
Chair(s): Steve ZdancewicUniversity of Pennsylvania
deepspec-2019-papers09:00 - 09:45
Talk
Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
deepspec-2019-papers09:45 - 10:30
Talk
James McKinnaUniversity of Edinburgh
LCTES-2019-papers
09:00 - 09:45: LCTES 2019 - Keynote 1: Academic Keynote at 105A
LCTES-2019-papers09:00 - 09:10
Talk
Aviral ShrivastavaArizona State University
LCTES-2019-papers09:10 - 09:45
Talk
Rajesh GuptaUC San Diego
pldi-2019-PLDI-Tutorials
09:00 - 10:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials09:00 - 10:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
ismm-2019-papers
09:00 - 11:00: ISMM 2019 - Scaling Up at 106A
ismm-2019-papers09:00 - 09:05
Day opening
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
ismm-2019-papers09:05 - 09:45
Talk
ismm-2019-papers09:45 - 10:10
Talk
Tung D. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
ismm-2019-papers10:10 - 10:35
Talk
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
ismm-2019-papers10:35 - 11:00
Talk
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
dbpl-2019-papers
09:00 - 09:10: DBPL 2019 - Welcome at 106C
Chair(s): Alvin CheungUniversity of Washington, Kim NguyễnUniversity of Paris-Sud, France
dbpl-2019-papers
09:10 - 10:20: DBPL 2019 - Invited Talk: Jeremy Gibbons at 106C
PLMW-PLDI-2019-papers
09:30 - 10:15: PLMW @ PLDI 2019 - ISCA Mentoring Talk at 105B
PLMW-PLDI-2019-papers09:30 - 10:15
Talk
Jason MarsUniversity of Michigan
dpa-2019-papers
09:30 - 11:00: DPA - Session I at 212B
Chair(s): Neville GrechUniversity of Athens
dpa-2019-papers09:30 - 10:00
Talk
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
dpa-2019-papers10:00 - 10:30
Talk
Christoph ReichenbachLund University
dpa-2019-papers10:30 - 11:00
Talk
Michael ArntzeniusUniversity of Birmingham, UK
LCTES-2019-papers
09:45 - 11:00: LCTES 2019 - Session 1: Memory Management at 105A
Chair(s): Greg StittUniversity of Florida
LCTES-2019-papers09:45 - 10:00
Full-paper
Asif Ali KhanTU Dresden, Germany, Norman A. RinkTU Dresden, Germany, Fazal HameedTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
LCTES-2019-papers10:00 - 10:15
Full-paper
LCTES-2019-papers10:15 - 10:30
Full-paper
Thomas Haywood DadzieHanyang University, Jiwon LeeHanyang University, Jihye KimKookmin University, Hyunok OhHanyang Univ
LCTES-2019-papers10:30 - 10:45
Full-paper
Yejia DiEast China Normal University, Chongqing University, Liang ShiChongqing University, Shuo-Han ChenAcademia Sinica, Taipei, Jason XueCity University of Hong Kong, China, Edwin ShaChongqing University
LCTES-2019-papers10:45 - 11:00
Full-paper
Chundong WangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design, Gunavaran BrihadiswarnUniversity of Moratuwa
pldi-2019-PLDI-Tutorials
10:00 - 11:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials10:00 - 11:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
PLMW-PLDI-2019-papers
10:15 - 11:00: PLMW @ PLDI 2019 - PL Mentoring Talk at 105B
Chair(s): Michelle StroutUniversity of Arizona
PLMW-PLDI-2019-papers10:15 - 11:00
Talk
Mary HallUniversity of Utah
dbpl-2019-papers
10:20 - 11:00: DBPL 2019 - Novel Data Applications at 106C
dbpl-2019-papers10:20 - 10:40
Talk
Nobutaka SuzukiUniversity of Tsukuba, Takuya OkadaUniversity of Tsukuba, Yeondae KwonThe University of Tokyo
dbpl-2019-papers10:40 - 11:00
Talk
Darshana BalakrishnanUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA, Oliver KennedyUniversity at Buffalo
deepspec-2019-papers
10:30 - 11:00: DeepSpec 2019 - Coffee Break at 106B
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
deepspec-2019-papers
11:00 - 12:30: DeepSpec 2019 - HW/SW Interface Specifications at 106B
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2019-papers11:00 - 11:45
Talk
deepspec-2019-papers11:45 - 12:30
Talk
Yatin ManerkarPrinceton University
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - Dynamically Analyzing WebAssembly with Wasabi at 105C
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
ismm-2019-papers
11:20 - 12:35: ISMM 2019 - Exotica at 106A
ismm-2019-papers11:20 - 11:45
Talk
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
ismm-2019-papers11:45 - 12:10
Talk
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
ismm-2019-papers12:10 - 12:35
Talk
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
dbpl-2019-papers
11:20 - 12:20: DBPL 2019 - Graphs and Streams at 106C
dbpl-2019-papers11:20 - 11:40
Talk
Mohammad Amin FarvardinPSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo, Khalid BelhajjamePSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani
dbpl-2019-papers11:40 - 12:00
Talk
Lars KrollKTH Royal Institute of Technology, Sweden, Klas SegeljaktKTH, Paris CarboneKTH, Sweden, Christian SchulteKTH Royal Institute of Technology, Sweden, Seif Haridi
Pre-print Media Attached
dbpl-2019-papers12:00 - 12:20
Talk
Ruby TahboubPurdue University, Xilun WuPurdue University, Gregory Essertel, Tiark RompfPurdue University
PLMW-PLDI-2019-papers
11:20 - 12:30: PLMW @ PLDI 2019 - Panel: Charting Your Path at 105B
Chair(s): Michelle StroutUniversity of Arizona
PLMW-PLDI-2019-papers11:20 - 12:30
Other
Lisa Hsu, Adrian SampsonCornell University, Caroline TrippelPrinceton University, Benjamin ZornMicrosoft Research, Emma ToschUniversity of Massachusetts, Amherst
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
LCTES-2019-papers
11:20 - 12:35: LCTES 2019 - Session 2: Architecture and Compilers at 105A
Chair(s): Na MengVirginia Tech
LCTES-2019-papers11:20 - 11:35
Full-paper
Wanli ChangUniversity of York, Shuai ZhaoUniversity of York, Ran WeiUniversity of York, Andy WellingsUniversity of York, Alan BurnsUniversity of York
LCTES-2019-papers11:35 - 11:50
Full-paper
Saad AhmedLUMS, Pakistan, Abu BakarNorthwestern University, US, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
LCTES-2019-papers11:50 - 12:05
Full-paper
Xuesong SuUNSW Sydney, Hui WuUniversity of New South Wales, Australia, Jingling XueUNSW Sydney
LCTES-2019-papers12:05 - 12:20
Full-paper
Vanchinathan VenkataramaniNational University of Singapore, Aditi KulkarniNational University of Singapore, Tulika MitraNational University of Singapore, Singapore, Li-Shiuan PehNational University of Singapore
LCTES-2019-papers12:20 - 12:35
Full-paper
Saad AhmedLUMS, Pakistan, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
dpa-2019-papers
11:30 - 12:30: DPA - Session II at 212B
Chair(s): Max SchaeferSemmle
dpa-2019-papers11:30 - 12:00
Talk
Vineeth KashyapGrammaTech, Inc.
dpa-2019-papers12:00 - 12:30
Talk
Neville GrechUniversity of Athens
pldi-2019-catering
12:30 - 14:00: Catering - Lunch at 301A
dbpl-2019-papers
14:00 - 15:10: DBPL 2019 - Invited Talk: Işıl Dillig at 106C
LCTES-2019-papers
14:00 - 14:45: LCTES 2019 - Keynote 2: Industry Keynote at 105A
LCTES-2019-papers14:00 - 14:10
Talk
Jian-Jia ChenTU Dortmund University
LCTES-2019-papers14:10 - 14:45
Industry talk
Jack WeastIntel, USA
ismm-2019-papers
14:00 - 15:40: ISMM 2019 - Mechanics at 106A
ismm-2019-papers14:00 - 14:50
Talk
Shan LuUniversity of Chicago
ismm-2019-papers14:50 - 15:15
Talk
ismm-2019-papers15:15 - 15:40
Talk
Ricardo LeiteUniversity of Porto, Ricardo RochaUniversity of Porto, Portugal
PLMW-PLDI-2019-papers
14:00 - 15:30: PLMW @ PLDI 2019 - PL Research Topics at 105B
Chair(s): Milind KulkarniPurdue University
PLMW-PLDI-2019-papers14:00 - 14:30
Talk
Adrian SampsonCornell University
Link to publication
PLMW-PLDI-2019-papers14:30 - 15:00
Talk
Cindy Rubio-GonzalezUniversity of California, Davis
PLMW-PLDI-2019-papers15:00 - 15:30
Talk
Alastair DonaldsonGoogle and Imperial College London
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
dpa-2019-papers
14:00 - 15:30: DPA - Session III at 212B
Chair(s): Max SchaeferSemmle
dpa-2019-papers14:00 - 14:30
Talk
Mistral ContrastinUniversity of Cambridge, UK
dpa-2019-papers14:30 - 15:00
Talk
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
dpa-2019-papers15:00 - 15:30
Talk
Thomas GilrayThe University of Alabama at Birmingham
deepspec-2019-papers
14:00 - 15:15: DeepSpec 2019 - Verifying All the Things at 106B
Chair(s): Zhong ShaoYale University
deepspec-2019-papers14:00 - 14:45
Talk
Ben LaurieGoogle Research
deepspec-2019-papers14:45 - 15:15
Talk
Jérémie KoenigYale University
LCTES-2019-papers
14:45 - 15:30: LCTES 2019 - Session 3: Applications at 105A
Chair(s): Wanli ChangUniversity of York
LCTES-2019-papers14:45 - 15:00
Full-paper
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher Ré, Philip LevisStanford University
LCTES-2019-papers15:00 - 15:15
Full-paper
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
LCTES-2019-papers15:15 - 15:30
Full-paper
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational University of Singapore
dbpl-2019-papers
15:10 - 15:30: DBPL 2019 - Semantics and Analysis (part 1) at 106C
dbpl-2019-papers15:10 - 15:30
Talk
Filip MurlakUniversity of Warsaw, Jan PosiadałaNodes and Edges, Paweł SusickiNodes and Edges
deepspec-2019-papers
15:15 - 15:45: DeepSpec 2019 - Coffee Break at 106B
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
deepspec-2019-papers
15:45 - 16:45: DeepSpec 2019 - Coinduction and Testing at 106B
Chair(s): Lennart BeringerPrinceton University
deepspec-2019-papers15:45 - 16:15
Talk
Chung-Kil HurSeoul National University
deepspec-2019-papers16:15 - 16:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania
ismm-2019-papers
16:00 - 17:15: ISMM 2019 - Mechanics / Message Passing at 106A
ismm-2019-papers16:00 - 16:25
Talk
Paul Lietar, Theodore ButlerDrexel University, USA, Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Matthew ParkinsonMicrosoft Research, UK, Alex ShamisMicrosoft Research / Imperial College London, Christoph M. WintersteigerMicrosoft Research, UK, David ChisnallUniversity of Cambridge
ismm-2019-papers16:25 - 16:50
Talk
Steve BlackburnAustralian National University
ismm-2019-papers16:50 - 17:14
Talk
Koichi SasadaCookpad, Japan
Link to publication DOI
ismm-2019-papers17:14 - 17:15
Day closing
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
PLMW-PLDI-2019-papers
16:00 - 17:00: PLMW @ PLDI 2019 - Research Career Options at 105B
Chair(s): Calvin LinUniversity of Texas, Austin
PLMW-PLDI-2019-papers16:00 - 16:30
Talk
Kathleen FisherTufts University, USA
Link to publication
PLMW-PLDI-2019-papers16:30 - 17:00
Talk
Todd MytkowiczMicrosoft Research
pldi-2019-PLDI-Tutorials
16:00 - 17:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials16:00 - 17:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
dbpl-2019-papers
16:00 - 16:40: DBPL 2019 - Semantics and Analysis (part 2) at 106C
dbpl-2019-papers16:00 - 16:20
Talk
Stefan FehrenbachUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
dbpl-2019-papers16:20 - 16:40
Talk
Wilmer RicciottiUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
LCTES-2019-papers
16:00 - 16:45: LCTES 2019 - Session 4: Benchmarking and In-progress Works at 105A
Chair(s): Hyunok OhHanyang Univ
LCTES-2019-papers16:00 - 16:15
Full-paper
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
LCTES-2019-papers16:15 - 16:20
Short-paper
Greg StittUniversity of Florida, David CampbellUniversity of Florida
LCTES-2019-papers16:20 - 16:25
Short-paper
Andrea MaioliPolitecnico di Milano, Italy, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences
LCTES-2019-papers16:25 - 16:30
Short-paper
LCTES-2019-papers16:30 - 16:35
Short-paper
Yongseung YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
LCTES-2019-papers16:35 - 16:40
Short-paper
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech
dpa-2019-papers
16:00 - 17:00: DPA - Session IV at 212B
Chair(s): Neville GrechUniversity of Athens
dpa-2019-papers16:00 - 16:30
Talk
Mukund RaghothamanUniversity of Pennsylvania, USA
dpa-2019-papers16:30 - 17:00
Talk
dbpl-2019-papers
16:40 - 17:00: DBPL 2019 - Concluding remarks at 106C
LCTES-2019-papers
16:45 - 17:15: LCTES 2019 - Poster Session at 105A
pldi-2019-papers
17:15 - 18:15: PLDI Research Papers - Yoshua Bengio, Geoffrey Hinton, and Yann LeCun, The Turing Lecture at Symphony Hall
pldi-2019-papers

Mon 24 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at 229AB
pldi-2019-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at 224AB
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Concurrency I at 229AB
Chair(s): Alastair DonaldsonGoogle and Imperial College London
pldi-2019-papers08:45 - 09:05
Talk
Christopher PulteUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University
Media Attached
pldi-2019-papers09:05 - 09:25
Talk
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI Pre-print Media Attached
pldi-2019-papers09:25 - 09:45
Talk
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Language Design I at 224AB
Chair(s): Benjamin ZornMicrosoft Research
pldi-2019-papers08:45 - 09:05
Talk
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Mike RaineyIndiana University, USA, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University
DOI Authorizer link Pre-print Media Attached
pldi-2019-papers09:05 - 09:25
Talk
Daniel J. FremontUniversity of California at Berkeley, USA, Tommaso DreossiUniversity of California at Berkeley, Shromona GhoshUniversity of California at Berkeley, USA, Xiangyu YueUniversity of California at Berkeley, USA, Alberto L. Sangiovanni-VincentelliUniversity of California at Berkeley, USA, Sanjit SeshiaUC Berkeley
Media Attached
pldi-2019-papers09:25 - 09:45
Talk
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Concurrency II at 229AB
Chair(s): Dan GrossmanUniversity of Washington
pldi-2019-papers10:00 - 10:20
Talk
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS), Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Hanru JiangUniversity of Science and Technology of China, Hongjin LiangNanjing University, China, Siyang XiaoUniversity of Science and Technology of China, China, Junpeng ZhaUniversity of Science and Technology of China, China, Xinyu FengNanjing University
Pre-print Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Ori LahavTel Aviv University, Roy MargalitTel Aviv University, Israel
Pre-print
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Language Design II at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
pldi-2019-papers10:00 - 10:20
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Olli Saarikivi, Hao ChenMicrosoft Research, Kim LaineMicrosoft Research, n.n., Kristin LauterMicrosoft Research, n.n., Saeed MalekiMicrosoft Research, Madan MusuvathiMicrosoft Research, Todd MytkowiczMicrosoft Research
DOI Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Sunjay CauligiUniversity of California, San Diego, Gary Soeller, Brian JohannesmeyerUniversity of California at San Diego, USA, Fraser BrownStanford University, Riad S. WahbyStanford University, USA, John RennerUniversity of California, San Diego, Benjamin GregoireINRIA, Gilles BartheIMDEA Software Institute, Ranjit JhalaUniversity of California, San Diego, Deian StefanUniversity of California San Diego
Media Attached
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk by James E. Smith at Symphony Hall
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - SIGPLAN Awards Lunch at 120D
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Probabilistic Programming at 224AB
Chair(s): Martin HirzelIBM Research
pldi-2019-papers14:00 - 14:20
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, David M. KahnCarnegie Mellon University, USA, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI Pre-print Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Peixin WangShanghai Jiao Tong University, Hongfei FuIST Austria, Amir Kafshdar GoharshadyIST Austria, Krishnendu ChatterjeeIST Austria, Xudong QinEast China Normal University, China, Wenjun ShiEast China Normal University, China
Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansingkhaMIT
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Synthesis at 229AB
Chair(s): Nuno P. LopesMicrosoft Research
pldi-2019-papers14:00 - 14:20
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
DOI Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Yuepeng WangUniversity of Texas at Austin, James DongUniversity of Texas at Austin, USA, Rushi ShahUT Austin, Isil DilligUT Austin
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Arun IyerMicrosoft Research, India, Manohar JonnalageddaInpher Inc., Switzerland, Suresh ParthasarathyMicrosoft Research, India, Arjun RadhakrishnaMicrosoft, Sriram RajamaniMicrosoft Research
Media Attached
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Memory Management at 229AB
Chair(s): Erez PetrankTechnion
pldi-2019-papers16:00 - 16:20
Talk
Thomas ShullUniversity of Illinois at Urbana-Champaign, Jian HuangUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Bobby PowersUniversity of Massachusetts, Amherst, David TenchUniversity of Massachusetts at Amherst, USA, Emery BergerUniversity of Massachusetts, Amherst, Andrew McGregor
Pre-print Media Attached
pldi-2019-papers16:40 - 17:00
Talk
Chenxi WangUCLA, Huimin CuiInstitute of Computing Technology, Chinese Academy of Sciences, Ting CaoMicrosoft Research, John ZigmanUniversity of Sydney, Australia, Haris Volos, Onur MutluETH Zurich, Fang LvInstitute of Computing Technology, Chinese Academy of Sciences, Xiaobing FengICT CAS, Harry XuUCLA
Pre-print Media Attached
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Parsing at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
pldi-2019-papers16:00 - 16:20
Talk
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
Link to publication DOI Pre-print
pldi-2019-papers16:40 - 17:00
Talk
Giovanni CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached
pldi-2019-papers
17:30 - 19:00: PLDI Research Papers - Student Research Competition (SRC) Session and Reception at 301 Foyer

Tue 25 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Bug Finding & Testing I at 229AB
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis
pldi-2019-papers08:30 - 08:50
Talk
William T. HallahanYale University, Anton XueYale University, Maxwell Troy BlandUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California, San Diego, Ruzica PiskacYale University, USA
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Blake Loring, Duncan MitchellRoyal Holloway, University of London, Johannes KinderBundeswehr University Munich
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Zhoulai FuIT University of Copenhagen, Denmark, Zhendong SuETH Zurich
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Parallelism and Super Computing I at 228AB
Chair(s): Veselin RaychevDeepCode AG
pldi-2019-papers08:30 - 08:50
Talk
Tanvir Ahmed KhanUniversity of Michigan, USA, Yifan ZhaoUniversity of Michigan, USA, Gilles PokamIntel Corporation, Barzan MozafariUniversity of Michigan, USA, Baris KasikciUniversity of Michigan, USA
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Martin KongBrookhaven National Laboratory, Louis-Noel PouchetColorado State University
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Type Systems I at 224AB
Chair(s): Ranjit JhalaUniversity of California, San Diego
pldi-2019-papers08:30 - 08:50
Talk
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
pldi-2019-papers08:50 - 09:10
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
pldi-2019-papers09:10 - 09:30
Talk
Ezgi ÇiçekFacebook London, Weihao QuUniversity at Buffalo, SUNY, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems
Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Bug Finding & Testing II at 229AB
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
pldi-2019-papers10:00 - 10:20
Talk
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Michaël MeraCISPA, Germany, Alexander KampmannCISPA Helmholtz Center for Information Security, Matthias HöscheleCISPA, Germany, Andreas ZellerSaarland University
Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Kihong HeoUniversity of Pennsylvania, USA, Mukund RaghothamanUniversity of Pennsylvania, USA, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Christopher LidburyImperial College London, Alastair DonaldsonGoogle and Imperial College London
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Parallelism and Super Computing II at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
pldi-2019-papers10:00 - 10:20
Talk
Mahdi Soltan MohammadiUniversity of Arizona, Eddie C. DavisBoise State University, USA, Mary HallUniversity of Utah, Maryam Mehri DehnaviUniversity of Toronto, Payal NandyUniversity of Utah, USA, Catherine R. M. OlschanowskyBoise State University, USA, Anand VenkatUniversity of Utah, Tomofumi Yuki, Kazem CheshmiUniversity of Toronto, Michelle StroutUniversity of Arizona
Link to publication DOI Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noel PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Type Systems II at 224AB
Chair(s): Jeffrey S. FosterTufts University
pldi-2019-papers10:00 - 10:20
Talk
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
pldi-2019-papers10:20 - 10:40
Talk
Yuxin Wang, Zeyu DingPennsylvania State University, USA, Guanhong WangPennsylvania State University, USA, Daniel KiferDept. of Computer Science and Engineering, Penn State University, Danfeng ZhangPennsylvania State University
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at Symphony Hall
pldi-2019-papers
12:30 - 14:00: PLDI Research Papers - Lunch at 301
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Learning Specifications at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
pldi-2019-papers14:00 - 14:20
Talk
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Angello Astorga, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Shambwaditya Saha, Shiyu WangUniversity of Illinois at Urbana-Champaign, USA, Tao XieUniversity of Illinois at Urbana-Champaign, USA
pldi-2019-papers15:00 - 15:20
Talk
Ton Chanh LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Reasoning and Optimizing ML Models at 224AB
Chair(s): Martin MaasGoogle
pldi-2019-papers14:00 - 14:20
Talk
He ZhuGalois, Inc., Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
pldi-2019-papers14:40 - 15:00
Talk
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
Media Attached File Attached
pldi-2019-papers15:00 - 15:20
Talk
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Static Analysis at 229AB
Chair(s): Martin RinardMassachusetts Institute of Technology
pldi-2019-papers14:00 - 14:20
Talk
Meng WuVirginia Tech, Chao WangUSC
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Tobias GysiETH Zurich, Switzerland, Tobias GrosserETH Zurich, Laurin BrandnerETH Zurich, Switzerland, Torsten HoeflerETH Zurich
Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Ryan R. NewtonIndiana University, Milind KulkarniPurdue University
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland, USA
Media Attached
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Dynamics: Analysis and Compilation at 229AB
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
pldi-2019-papers16:00 - 16:20
Talk
David Mitchel PerryPurdue University, Dohyeong KimPurdue University, Roopsha SamantaPurdue University, Xiangyu ZhangPurdue University
Pre-print Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Timotej KapusImperial College London, Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London
Link to publication Pre-print Media Attached
pldi-2019-papers16:40 - 17:00
Talk
Jiho ChoiUniversity of Illinois at Urbana-Champaign, Thomas ShullUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Performance at 224AB
Chair(s): Ting CaoMicrosoft Research
pldi-2019-papers16:00 - 16:20
Talk
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
pldi-2019-papers16:40 - 17:00
Talk
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached
pldi-2019-papers
16:00 - 16:40: PLDI Research Papers - Type Systems III at 228AB
Chair(s): Satish ChandraFacebook
pldi-2019-papers16:00 - 16:20
Talk
Reuben N. S. RoweUniversity of Kent, Hugo FéréeUniversity of Kent, UK, Simon Thompson, Scott OwensUniversity of Kent, UK
Link to publication DOI Pre-print
pldi-2019-papers16:20 - 16:40
Talk
Milod KazerounianUniversity of Maryland, College Park, Sankha Narayan GuriaUniversity of Maryland, College Park, Niki VazouIMDEA Software Institute, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland, USA
Media Attached
pldi-2019-papers
16:40 - 17:15: PLDI Research Papers - Student Research Competition Talks at 228AB
pldi-2019-papers
17:30 - 19:00: PLDI Research Papers - PLDI Chairs report & SIGPLAN Business meeting at 120B

Wed 26 Jun

pldi-2019-catering
08:00 - 09:00: Catering - Breakfast at 301 Foyer
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Systems I at 224AB
Chair(s): Xinyu FengNanjing University
pldi-2019-papers08:30 - 08:50
Talk
Chao WangIRIF, Université Paris Diderot, France, Constantin EneaUniversité Paris Diderot, Suha Orhun MutluergilIRIF, France / University Paris Diderot, France / CNRS, France, Gustavo PetriArm Ltd
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Guangpu LiUniversity of Chicago, USA, Haopeng LiuUniversity of Chicago, Xianglan ChenUniversity of Science and Technology of China, China, Haryadi S. GunawiUniversity of Chicago, USA, Shan LuUniversity of Chicago
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Nikos VasilakisUniversity of Pennsylvania, USA, Ben KarelUniversity of Pennsylvania, USA, Yash PalkhiwalaUniversity of Pennsylvania, USA, John SonchackUniversity of Pennsylvania, USA, André DeHonUniversity of Pennsylvania, USA, Jonathan M. SmithUniversity of Pennsylvania, USA
Media Attached
pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Verification I at 229AB
Chair(s): Chung-Kil HurSeoul National University
pldi-2019-papers08:30 - 08:50
Talk
Berkeley ChurchillStanford University, Oded PadonStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Andreas LööwChalmers University of Technology, Ramana KumarDeepMind, Yong Kiam TanCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Oskar AbrahamssonChalmers University of Technology, Sweden, Anthony FoxUniversity of Cambridge, UK
DOI Pre-print Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
DOI Pre-print Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Systems II at 224AB
Chair(s): James LarusEPFL
pldi-2019-papers10:00 - 10:20
Talk
Elazar GershuniTel Aviv University, Nadav Amit, Arie GurfinkelUniversity of Waterloo, Nina NarodytskaVMWare Research, Jorge A. NavasSRI International, Noam RinetzkyTel Aviv University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University
Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Verification II at 229AB
Chair(s): Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
pldi-2019-papers10:00 - 10:20
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Jatin AroraIIT Bombay, India, Mohamed Faouzi AtigUppsala University, Shankaranarayanan KrishnaIIT Bombay, India
pldi-2019-papers10:20 - 10:40
Talk
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Daejun ParkUniversity of Illinois at Urbana-Champaign, Theodoros KasampalisUniversity of Illinois at Urbana-Champaign, USA, Vikram AdveUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Li ZhouDepartment of Computer Science and Technology, Tsinghua University, Nengkun YuUniversity of Technology Sydney, Australia, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.
Media Attached
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
pldi-2019-papers
11:20 - 12:30: PLDI Research Papers - Plenary Talk at Symphony Hall

Sat 22 Jun 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
105A
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 17:30
105C
10:15 - 11:00
11:20 - 12:30
13:30 - 14:30
106A
08:15 - 09:00
09:00 - 09:15
11:00 - 11:20
11:20 - 12:30
12:30 - 14:00
15:30 - 16:00
106B
15:30 - 16:00
106C
09:00 - 10:00
10:00 - 11:00
11:00 - 11:30
11:30 - 12:30
12:30 - 14:00
14:00 - 15:30
15:30 - 16:00
16:00 - 17:30
212A
08:15 - 09:00
11:00 - 11:20
12:35 - 14:00
15:30 - 16:00
17:30 - 19:30
212B
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 17:30
212C
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 17:35
301
301 Foyer
301A
12:30 - 14:00
TBD
18:00 - 20:00

Sun 23 Jun 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
105A
16:45 - 17:15
17:15 - 17:45
105B
11:00 - 11:20
12:30 - 14:00
15:30 - 16:00
105C
106A
09:00 - 11:00
11:20 - 12:35
14:00 - 15:40
106B
12:30 - 14:00
106C
08:15 - 09:00
09:00 - 09:10
212A
212B
09:30 - 11:00
11:30 - 12:30
14:00 - 15:30
16:00 - 17:00
301
301 Foyer
301A
12:30 - 14:00
50 W Jefferson St #240, Phoenix, AZ 85003 (not in the convention center)
Symphony Hall

Sat 22 Jun 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
105A
12:00 - 12:30
105C
106A
106B
106C
212A
09:00 - 09:30
212B
212C
301 Foyer
11:00 - 11:20
TBD

Sun 23 Jun 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
105A
105B