Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 18 Jun

ismm-2017-papers
08:30 - 08:45: ISMM 2017 - Opening at Aula Master
Chair(s): Christoph KirschUniversity of Salzburg
ismm-2017-papers149776740000008:30 - 08:45
Day opening
SOAP-2017-papers
08:30 - 08:45: SOAP - Opening at Vertex WS216
SOAP-2017-papers149776740000008:30 - 08:45
Day opening
pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
SOAP-2017-papers
08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at Vertex WS216
SOAP-2017-papers149776830000008:45 - 09:30
Talk
File Attached
ismm-2017-papers
08:45 - 09:30: ISMM 2017 - Keynote at Aula Master
Chair(s): Ben L. TitzerGoogle
ismm-2017-papers149776830000008:45 - 09:30
Talk
Xipeng ShenNorth Carolina State University
array-2017
09:00 - 10:00: ARRAY 2017 - Keynote at Vertex WS218
Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign
array-2017149776920000009:00 - 10:00
Talk
P. SadayappanOhio State University
PLMW-PLDI-2017
09:00 - 10:30: PLMW - Session 1 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149776920000009:00 - 09:45
Talk
PLMW-PLDI-2017149777190000009:45 - 10:30
Talk
Kathryn S McKinleyMicrosoft Research
mapl-2017-papers
09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219
mapl-2017-papers149777010000009:15 - 09:30
Day opening
mapl-2017-papers
09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219
mapl-2017-papers149777100000009:30 - 10:30
Talk
Sumit GulwaniMicrosoft Research
SOAP-2017-papers
09:30 - 10:30: SOAP - Points-to Analysis at Vertex WS216
SOAP-2017-papers149777100000009:30 - 09:50
Talk
Jihyeok ParkKAIST, South Korea, Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung RyuKAIST
DOI File Attached
SOAP-2017-papers149777220000009:50 - 10:10
Talk
George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI File Attached
SOAP-2017-papers149777340000010:10 - 10:30
Talk
Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle
DOI File Attached
ismm-2017-papers
09:30 - 10:30: ISMM 2017 - Session 1: Garbage Collection at Aula Master
Chair(s): Hannes PayerGoogle
ismm-2017-papers149777100000009:30 - 10:00
Talk
Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon
ismm-2017-papers149777280000010:00 - 10:30
Talk
array-2017
10:00 - 10:30: ARRAY 2017 - Morning talks 1 at Vertex WS218
Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign
array-2017149777280000010:00 - 10:30
Talk
Florian BiermannIT University of Copenhagen, Peter SestoftIT University of Copenhagen
DOI File Attached
ismm-2017-catering
10:30 - 11:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149777460000010:30 - 11:00
Coffee break
SOAP-2017-papers
11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at Vertex WS216
SOAP-2017-papers149777640000011:00 - 11:45
Talk
Jingling XueUNSW Australia
mapl-2017-papers
11:00 - 12:00: MAPL 2017 - Languages and Frameworks at Vertex WS219
mapl-2017-papers149777640000011:00 - 11:30
Talk
mapl-2017-papers149777820000011:30 - 12:00
Talk
Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University
array-2017
11:00 - 12:30: ARRAY 2017 - Morning talks 2 at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen
array-2017149777640000011:00 - 11:30
Talk
Hanfeng ChenMcGill University, Wai-Mee Ching, Laurie HendrenMcGill University, Canada
DOI File Attached
array-2017149777820000011:30 - 12:00
Talk
David PearceVictoria University of Wellington
DOI File Attached
array-2017149778000000012:00 - 12:30
Talk
Leo OsvaldPurdue University, USA, Tiark RompfPurdue University
DOI File Attached
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
PLMW-PLDI-2017
11:00 - 12:30: PLMW - Session 2 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149777640000011:00 - 11:45
Talk
Michael HicksUniversity of Maryland, College Park
PLMW-PLDI-2017149777910000011:45 - 12:30
Talk
ismm-2017-papers
11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at Aula Master
Chair(s): Michael BondOhio State University
ismm-2017-papers149777640000011:00 - 11:30
Talk
Nick Vrvilo, Lechen YuRice University, Vivek SarkarRice University, USA
ismm-2017-papers149777820000011:30 - 12:00
Talk
Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester
ismm-2017-papers149778000000012:00 - 12:30
Talk
SOAP-2017-papers
11:45 - 12:30: SOAP - Modular Analysis at Vertex WS216
SOAP-2017-papers149777910000011:45 - 12:07
Talk
Florian KüblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of Paderborn
DOI Pre-print
SOAP-2017-papers149778045000012:07 - 12:30
Talk
Tony Antoniadis, Konstantinos TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
DOI Pre-print File Attached
mapl-2017-papers
12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers149778000000012:00 - 12:30
Talk
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
ismm-2017-catering
12:30 - 14:00: Catering - Lunch at ISMM-CoffeeBreaks
ismm-2017-catering149778180000012:30 - 14:00
Lunch
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
mapl-2017-papers
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers149778720000014:00 - 14:30
Talk
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
mapl-2017-papers149778900000014:30 - 15:00
Talk
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
mapl-2017-papers149779080000015:00 - 15:30
Talk
Charlie MurphyPrinceton University, Gordon StewartOhio University
SOAP-2017-papers
14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at Vertex WS216
SOAP-2017-papers149778720000014:00 - 14:45
Talk
Julian DolbyIBM Thomas J. Watson Research Center
Media Attached
array-2017
14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
array-2017149778720000014:00 - 15:00
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
Pre-print File Attached
PLMW-PLDI-2017
14:00 - 15:30: PLMW - Session 3 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149778720000014:00 - 14:45
Talk
Jean YangCarnegie Mellon University
PLMW-PLDI-2017149778990000014:45 - 15:30
Talk
Ben WiedermannHarvey Mudd College
ismm-2017-papers
14:00 - 15:30: ISMM 2017 - Session 3: Hybrid Memory Systems at Aula Master
Chair(s): Ben L. TitzerGoogle
ismm-2017-papers149778720000014:00 - 14:30
Talk
Mohammad DashtiUniversity of British Columbia, Alexandra (Sasha) FedorovaSimon Fraser University
ismm-2017-papers149778900000014:30 - 15:00
Talk
Ellis GilesRice University, Kshitij DoshiIntel Corporation, Peter VarmanRice University
ismm-2017-papers149779080000015:00 - 15:30
Talk
Ivy Bo PengKTH Royal Institute of Technology, Roberto GioiosaPacific Northwest National Laboratory, Gokcen KestorPacific Northwest National Laboratory, Stefano MarkidisKTH Royal Institute of Technology, Pietro CicottiSan Diego Supercomputer Center, Erwin LaureKTH Royal Institute of Technology
SOAP-2017-papers
14:45 - 15:30: SOAP - Soundness and Precision at Vertex WS216
SOAP-2017-papers149778990000014:45 - 15:07
Talk
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
SOAP-2017-papers149779125000015:07 - 15:30
Talk
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University
DOI Media Attached
array-2017
15:00 - 15:30: ARRAY 2017 - Afternoon talks 1 at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
array-2017149779080000015:00 - 15:30
Talk
DOI File Attached
ismm-2017-catering
15:30 - 16:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149779260000015:30 - 16:00
Coffee break
array-2017
16:00 - 17:30: ARRAY 2017 - Afternoon talks 2 at Vertex WS218
Chair(s): P. SadayappanOhio State University
array-2017149779440000016:00 - 16:30
Talk
Benjamin AndreassenNorwegian University of Science and Technology, Jan ChristianNorwegian University of Science and Technology, Lasse NatvigNorwegian University of Science and Technology
DOI File Attached
array-2017149779620000016:30 - 17:00
Talk
Matthias SpringerTokyo Institute of Technology, Peter WauligmannTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI File Attached
array-2017149779800000017:00 - 17:30
Talk
DOI File Attached
SOAP-2017-papers
16:00 - 16:20: SOAP - Benchmarking at Vertex WS216
SOAP-2017-papers149779440000016:00 - 16:20
Talk
Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt
DOI Pre-print File Attached
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
PLMW-PLDI-2017
16:00 - 18:00: PLMW - Session 4 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149779440000016:00 - 16:45
Talk
Roopsha SamantaPurdue University
PLMW-PLDI-2017149779710000016:45 - 17:45
Other
Stephen FreundWilliams College, Martin HuschenbettJane Street, Kathryn S McKinleyMicrosoft Research, Roopsha SamantaPurdue University
ismm-2017-papers
16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at Aula Master
Chair(s): Steve BlackburnAustralian National University
ismm-2017-papers149779440000016:00 - 16:30
Talk
Vini KanvarIndian Institute of Technology (IIT) Bombay, Uday P. Khedker
ismm-2017-papers149779620000016:30 - 17:00
Talk
Bin FangEast China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
ismm-2017-papers149779800000017:00 - 17:30
Talk
Minjia ZhangMicrosoft Research, Swarnendu BiswasUniversity of Texas at Austin, Michael BondOhio State University
mapl-2017-papers
16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219
mapl-2017-papers149779440000016:00 - 16:45
Other
SOAP-2017-papers
16:20 - 18:00: SOAP - Open Discussion at Vertex WS216
SOAP-2017-papers149779560000016:20 - 18:00
Meeting
mapl-2017-papers
16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219
mapl-2017-papers149779710000016:45 - 17:00
Day closing
array-2017
17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen, David PaduaUniversity of Illinois at Urbana-Champaign, Andreas KloecknerUniversity of Illinois at Urbana-Champaign
array-2017149779980000017:30 - 18:00
Day closing

Mon 19 Jun

pldi-2017-keynotes
09:00 - 09:05: PLDI Invited Speakers - Welcome at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA
pldi-2017-keynotes149785560000009:00 - 09:05
Day opening
pldi-2017-keynotes
09:05 - 10:00: PLDI Invited Speakers - Joint Keynote ­– Martin Odersky at Auditorium, Vertex Building
pldi-2017-keynotes149785590000009:05 - 10:00
Talk
Martin OderskyEPFL, Switzerland
Media Attached
pldi-2017-papers
10:00 - 10:30: PLDI Research Papers - 1' pitches of the day at Auditorium, Vertex Building
pldi-2017-papers149785920000010:00 - 10:30
Other
pldi-2017-catering
10:30 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149786100000010:30 - 10:50
Coffee break
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science
pldi-2017-papers149786220000010:50 - 11:15
Talk
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
pldi-2017-papers149786370000011:15 - 11:40
Talk
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
pldi-2017-papers149786520000011:40 - 12:05
Talk
Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University
Media Attached
pldi-2017-papers149786670000012:05 - 12:30
Talk
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Learning and Probabilistic at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University
pldi-2017-papers149786220000010:50 - 11:15
Talk
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
pldi-2017-papers149786370000011:15 - 11:40
Talk
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
pldi-2017-papers149786520000011:40 - 12:05
Talk
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
pldi-2017-papers149786670000012:05 - 12:30
Talk
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149786820000012:30 - 14:00
Lunch
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master
Chair(s): Jeff HuangTexas A&M University
pldi-2017-papers149787360000014:00 - 14:25
Talk
Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania
pldi-2017-papers149787510000014:25 - 14:50
Talk
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
pldi-2017-papers149787660000014:50 - 15:15
Talk
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Media Attached
pldi-2017-papers149787810000015:15 - 15:40
Talk
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Language Implementation at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
pldi-2017-papers149787360000014:00 - 14:25
Talk
Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft
Media Attached
pldi-2017-papers149787510000014:25 - 14:50
Talk
Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland
Media Attached
pldi-2017-papers149787660000014:50 - 15:15
Talk
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Media Attached
pldi-2017-papers149787810000015:15 - 15:40
Talk
Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge
Media Attached
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149787960000015:40 - 16:10
Coffee break
pldi-2017-papers
16:10 - 17:50: PLDI Research Papers - Dynamic Analysis and Testing at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt
pldi-2017-papers149788140000016:10 - 16:35
Talk
Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
pldi-2017-papers149788290000016:35 - 17:00
Talk
Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University
Media Attached
pldi-2017-papers149788440000017:00 - 17:25
Talk
Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan
Media Attached
pldi-2017-papers149788590000017:25 - 17:50
Talk
Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
pldi-2017-papers
16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison
pldi-2017-papers149788140000016:10 - 16:35
Talk
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
pldi-2017-papers149788290000016:35 - 17:00
Talk
Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
Media Attached
pldi-2017-papers149788440000017:00 - 17:25
Talk
Tian TanUNSW Australia, Yue LiUNSW Australia, Jingling XueUNSW Australia
Pre-print Media Attached
pldi-2017-papers149788590000017:25 - 17:50
Talk
Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore
Media Attached
pldi-2017-keynotes
17:55 - 18:50: PLDI Invited Speakers - Joint Keynote ­– Martin Abadi at Auditorium, Vertex Building
pldi-2017-keynotes149788770000017:55 - 18:50
Talk
pldi-2017-catering
19:30 - 22:00: Catering - Social Event with Curry On (dinner provided) at Moritz Brewery
pldi-2017-catering149789340000019:30 - 22:00
Dinner

Tue 20 Jun

pldi-2017-keynotes
09:00 - 09:50: PLDI Invited Speakers - Curry-On Keynote – José Valim at Auditorium, Vertex Building
pldi-2017-keynotes149794200000009:00 - 09:50
Talk
José ValimPlataformatec
pldi-2017-papers
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building
pldi-2017-papers149794500000009:50 - 10:25
Other
pldi-2017-catering
10:25 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149794710000010:25 - 10:50
Coffee break
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Static Analysis and Security at Aula Master
Chair(s): Mayur NaikGeorgia Tech
pldi-2017-papers149794860000010:50 - 11:15
Talk
Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park
Media Attached
pldi-2017-papers149795010000011:15 - 11:40
Talk
Qinheping HuUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison
Media Attached
pldi-2017-papers149795160000011:40 - 12:05
Talk
Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison
Pre-print Media Attached
pldi-2017-papers149795310000012:05 - 12:30
Talk
Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain
Media Attached
pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
pldi-2017-papers149794860000010:50 - 11:15
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2017-papers149795010000011:15 - 11:40
Talk
Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University
Media Attached
pldi-2017-papers149795160000011:40 - 12:05
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Media Attached
pldi-2017-papers149795310000012:05 - 12:30
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA
Pre-print Media Attached
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149795460000012:30 - 14:00
Lunch
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Functional Programming and Correctness at Aula Master
Chair(s): Francesco LogozzoFacebook
pldi-2017-papers149796000000014:00 - 14:25
Talk
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi-2017-papers149796150000014:25 - 14:50
Talk
Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA
Media Attached
pldi-2017-papers149796300000014:50 - 15:15
Talk
Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington
Media Attached
pldi-2017-papers149796450000015:15 - 15:40
Talk
Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
pldi-2017-papers149796000000014:00 - 14:25
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2017-papers149796150000014:25 - 14:50
Talk
Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen
Media Attached
pldi-2017-papers149796300000014:50 - 15:15
Talk
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
pldi-2017-papers149796450000015:15 - 15:40
Talk
Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK
Pre-print Media Attached
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
pldi-2017-papers
16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania
pldi-2017-papers149796780000016:10 - 16:35
Talk
Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS
Media Attached
pldi-2017-papers149796930000016:35 - 17:00
Talk
Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
Media Attached
pldi-2017-papers
16:10 - 17:00: PLDI Research Papers - Verified Computation at Aula Master
Chair(s): Alvin CheungUniversity of Washington
pldi-2017-papers149796780000016:10 - 16:35
Talk
Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France
Media Attached
pldi-2017-papers149796930000016:35 - 17:00
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Phi-Diep BuiUppsala University, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp RuemmerUppsala University
Media Attached
pldi-2017-keynotes
17:00 - 18:00: PLDI Invited Speakers - Program Chair report and SIGPLAN Town Hall meeting at Aula Master
pldi-2017-keynotes149797080000017:00 - 18:00
pldi-2017-student-research-competition
17:30 - 20:00: PLDI Student Research Competition - Reception and SRC posters (finger food provided) at Lunch area
pldi-2017-student-research-competition149797260000017:30 - 20:00

Wed 21 Jun

LCTES-2017-papers
09:00 - 09:15: LCTES 2017 - Opening at Vertex WS208
LCTES-2017-papers149802840000009:00 - 09:15
Day opening
LCTES-2017-papers
09:15 - 10:15: LCTES 2017 - Keynote 1 at Vertex WS208
Chair(s): Zili ShaoThe Hong Kong Polytechnic University
LCTES-2017-papers149802930000009:15 - 10:15
Talk
Jingling XueUNSW Australia
pldi-2017-catering
09:55 - 10:20: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149803170000009:55 - 10:20
Coffee break
LCTES-2017-catering
10:15 - 10:50: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149803290000010:15 - 10:50
Coffee break
pldi-2017-student-research-competition
10:20 - 12:00: PLDI Student Research Competition - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
pldi-2017-papers
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
pldi-2017-papers149803320000010:20 - 10:45
Talk
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
pldi-2017-papers149803470000010:45 - 11:10
Talk
Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria
Media Attached
pldi-2017-papers149803620000011:10 - 11:35
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
pldi-2017-papers149803770000011:35 - 12:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached
LCTES-2017-papers
10:50 - 12:30: LCTES 2017 - Session 1: Compiler Optimization for Embedded Systems at Vertex WS208
Chair(s): Yi WangShenzhen University
LCTES-2017-papers149803500000010:50 - 11:15
Talk
April W. WadeUniversity of Kansas, Prasad KulkarniUniversity of Kansas, Michael JantzUniversity of Tennessee
LCTES-2017-papers149803650000011:15 - 11:40
Talk
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University
LCTES-2017-papers149803800000011:40 - 12:05
Talk
Oliver ReicheFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko, Frank HannigFriedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich
LCTES-2017-papers149803950000012:05 - 12:30
Talk
Sheng-Yu Fu, Ding-Yong HongInstitute of Information Science, Academia Sinica, Yu-Ping LiuDepartment of Computer Science and Information Engineering, National Taiwan University, Jan-Jan WuInstitute of Information Science, Academia Sinica, Wei-Chung HsuDept. Computer Science & Information Engineering, National Taiwan University
pldi-2017-papers
pldi-2017-papers149803920000012:00 - 12:15
Awards
pldi-2017-papers149804010000012:15 - 12:30
Day closing
LCTES-2017-catering
12:30 - 14:00: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149804100000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch with ECOOP,LCTES (provided) + SRC Awards at Lunch area
pldi-2017-catering149804100000012:30 - 14:00
Lunch
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other
LCTES-2017-catering
15:00 - 15:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149805000000015:00 - 15:30
Coffee break
LCTES-2017-papers
15:30 - 17:10: LCTES 2017 - Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems at Vertex WS208
Chair(s): Bernhard ScholzUniversity of Sydney, Australia
LCTES-2017-papers149805180000015:30 - 15:55
Talk
Weiwen JiangChongqing University, Edwin ShaChongqing University, Qingfeng ZhugeChongqing University, China, Hailiang DongChongqing University, Xianzhang ChenChongqing University
LCTES-2017-papers149805330000015:55 - 16:20
Talk
Gyeongmin LeePOSTECH, Seonyeong HeoPOSTECH, Bongjun KimPOSTECH, Jong KimPOSTECH, Hanjun KimPOSTECH
LCTES-2017-papers149805480000016:20 - 16:45
Talk
LCTES-2017-papers149805630000016:45 - 17:10
Talk
Wenguang Zheng, Hui WuUniversity of New South Wales, Australia, Chuanyao NieThe University of New South Wales

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
dsw-2017-papers
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew AppelPrinceton
dsw-2017-papers149811480000009:00 - 09:15
Day opening
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers149811570000009:15 - 10:00
Talk
LCTES-2017-papers
09:00 - 10:00: LCTES 2017 - Keynote 2 at Vertex WS208
Chair(s): Vijay NagarajanUniversity of Edinburgh, UK
LCTES-2017-papers149811480000009:00 - 10:00
Talk
Christoph KirschUniversity of Salzburg
File Attached
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - WALA Hack-A-Thon at Vertex WS218
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
LCTES-2017-catering
10:00 - 10:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149811840000010:00 - 10:30
Coffee break
dsw-2017-papers
10:30 - 12:10: DSW 2017 - Academic crypto projects; industry perspective on formal-methods integration at Vertex WS216
Chair(s): Zhong ShaoYale University
dsw-2017-papers149812020000010:30 - 11:00
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers149812200000011:00 - 11:30
Talk
Lennart BeringerPrinceton University
dsw-2017-papers149812380000011:30 - 12:10
Talk
Aleksey NoginHRL Laboratories, LLC
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
ic-2017-papers
10:30 - 12:10: IC 2017 - Incremental computing 1: Keynote + Research talk at Vertex WS215
ic-2017-papers149812020000010:30 - 11:40
Talk
Nicholas MatsakisMozilla Corporation
ic-2017-papers149812440000011:40 - 12:10
Talk
Tamás Szabóitemis AG / TU Delft, Markus Völteritemis/independent, Sebastian ErdwegTU Delft
File Attached
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
LCTES-2017-papers
10:30 - 12:10: LCTES 2017 - Session 3: Non-Volatile Memory/Processor and RTOS at Vertex WS208
Chair(s): Hanjun KimPOSTECH
LCTES-2017-papers149812020000010:30 - 10:55
Talk
Yi WangShenzhen University, Mingxu ZhangShenzhen University, Jing YangHarbin Institute of Technology
LCTES-2017-papers149812170000010:55 - 11:20
Talk
Xianzhong DingShandong University, Zhiyong ZhangShandong University, Zhiping JiaShandong University, Lei JuShandong University, Mengying ZhaoShandong University, Huawei HuangThe University of Aizu
LCTES-2017-papers149812320000011:20 - 11:45
Talk
Chen Pan, Mimi XieOklahoma State University, Yongpan LiuTsinghua University, Yanzhi WangSyracuse University, Jason XueCity University of Hong Kong, China, Yiran ChenUniversity of Pittsburgh, Jingtong HuOklahoma State University
LCTES-2017-papers149812470000011:45 - 12:10
Talk
Christian Dietrich, Daniel LohmannFriedrich-Alexander-Universität, Germany
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - WALA Hack-A-Thon (2) at Vertex WS218
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
LCTES-2017-catering
12:10 - 13:40: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149812620000012:10 - 13:40
Lunch
dsw-2017-papers
13:40 - 15:00: DSW 2017 - Academic C-verification project; industry perspective on hypervisors at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers149813160000013:40 - 14:20
Talk
Andrew AppelPrinceton
dsw-2017-papers149813400000014:20 - 15:00
Talk
Michael TautschnigAmazon Web Services
ic-2017-papers
13:40 - 15:20: IC 2017 - Incremental computing 2: Research talks at Vertex WS215
ic-2017-papers149813160000013:40 - 14:10
Talk
Rohin ShahUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
File Attached
ic-2017-papers149813370000014:15 - 14:45
Talk
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
ic-2017-papers149813580000014:50 - 15:20
Talk
Ken Friis LarsenDIKU, University of Copenhagen, Fritz HengleinDIKU, Denmark
File Attached
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - WALA Hack-A-Thon (3) at Vertex WS218
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
dsw-2017-papers
15:30 - 17:00: DSW 2017 - Academic hypervisor project; closing discussion at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
dsw-2017-papers149813820000015:30 - 16:15
Talk
Zhong ShaoYale University
dsw-2017-papers149814090000016:15 - 17:00
Day closing
ic-2017-papers
15:50 - 17:30: IC 2017 - Incremental computing 3: Research talks at Vertex WS215
ic-2017-papers149813940000015:50 - 16:20
Talk
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
ic-2017-papers149814150000016:25 - 16:55
Talk
Mirko KohlerTechnical University of Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegTU Delft, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
ic-2017-papers149814360000017:00 - 17:30
Talk
Kyle HeadleyUniversity of Colorado Boulder
File Attached
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - WALA Hack-A-Thon (4) at Vertex WS218
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages at Vertex WS208
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
WCIRE-2017-2-papers
09:00 - 09:10: WCIRE 2017 - Opening at Vertex WS218
Chair(s): Milind KulkarniPurdue University
WCIRE-2017-2-papers149820120000009:00 - 09:10
Day opening
Louis-Noel PouchetColorado State University, Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at Vertex WS216
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
WCIRE-2017-2-papers
09:10 - 10:00: WCIRE 2017 - Session 1 at Vertex WS218
Chair(s): Milind KulkarniPurdue University
WCIRE-2017-2-papers149820180000009:10 - 10:00
Talk
Louis-Noel PouchetColorado State University
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages (cont'd) at Vertex WS208
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at Vertex WS216
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
WCIRE-2017-2-papers
10:30 - 12:10: WCIRE 2017 - Session 2 at Vertex WS218
Chair(s): Milind KulkarniPurdue University
WCIRE-2017-2-papers149820660000010:30 - 11:20
Talk
Eelco VisserDelft University of Technology
Link to publication
WCIRE-2017-2-papers149820960000011:20 - 12:10
Talk
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
WCIRE-2017-2-papers
13:40 - 15:20: WCIRE 2017 - Session 3 at Vertex WS218
Chair(s): Milind KulkarniPurdue University
WCIRE-2017-2-papers149821800000013:40 - 14:30
Talk
Link to publication
WCIRE-2017-2-papers149822100000014:30 - 15:20
Talk
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
WCIRE-2017-2-papers
15:50 - 16:30: WCIRE 2017 - Discussion at Vertex WS218
Chair(s): Milind KulkarniPurdue University
WCIRE-2017-2-papers149822580000015:50 - 16:30
Other
Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University, Louis-Noel PouchetColorado State University
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication

Sun 18 Jun 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aula Master
08:30 - 08:45
08:45 - 09:30
ISMM-CoffeeBreaks
12:30 - 14:00
Sala d'Actes, Vertex Building
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
Vertex WS215
Vertex WS216
08:30 - 08:45
16:00 - 16:20
16:20 - 18:00
Vertex WS218
09:00 - 10:00
14:00 - 15:00
Vertex WS219
09:15 - 09:30
09:30 - 10:30
16:45 - 17:00

Sun 18 Jun 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Aula Master
08:30 - 08:45
ISMM-CoffeeBreaks
10:30 - 11:00
12:30 - 14:00
15:30 - 16:00
Sala d'Actes, Vertex Building
09:00 - 09:45
Vertex WS215
Vertex WS216
08:30 - 08:45
16:20 - 18:00
Vertex WS218
Vertex WS219

Mon 19 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Actes, Civil Engineering
Auditorium, Vertex Building
Aula Master
Coffee Breaks area
10:30 - 10:50
15:40 - 16:10
Lunch area
12:30 - 14:00
Moritz Brewery
19:30 - 22:00

Tue 20 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Actes, Civil Engineering
Auditorium, Vertex Building
Aula Master
Coffee Breaks area
10:25 - 10:50
15:40 - 16:10
Lunch area
12:30 - 14:00

Wed 21 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Auditorium, Vertex Building
Coffee Breaks area
09:55 - 10:20
LCTES-CoffeeBreaks
10:15 - 10:50
12:30 - 14:00
15:00 - 15:30
Lunch area
12:30 - 14:00
Vertex WS208
09:00 - 09:15
Vertex WS217

Thu 22 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
LCTES-CoffeeBreaks
10:00 - 10:30
12:10 - 13:40
Vertex WS208
Vertex WS215
Vertex WS216
Vertex WS217