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
ecoop-2017-Doctoral-Symposium
09:00 - 10:30: ECOOP Doctoral Symposium - Session 1 at Vertex WS208
ecoop-2017-Doctoral-Symposium149776920000009:00 - 09:10
Talk
ecoop-2017-Doctoral-Symposium149776980000009:10 - 09:30
Talk
ecoop-2017-Doctoral-Symposium149777100000009:30 - 10:00
Talk
Daniel WelchClemson University
ecoop-2017-Doctoral-Symposium149777280000010:00 - 10:30
Talk
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
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-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
ecoop-2017-Doctoral-Symposium
11:00 - 12:30: ECOOP Doctoral Symposium - Session 2 at Vertex WS208
ecoop-2017-Doctoral-Symposium149777640000011:00 - 11:30
Talk
Julian DolbyIBM Thomas J. Watson Research Center
ecoop-2017-Doctoral-Symposium149777820000011:30 - 12:00
Talk
ecoop-2017-Doctoral-Symposium149778000000012:00 - 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
ecoop-2017-catering
12:30 - 13:30: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149778180000012:30 - 13:30
Lunch
ecoop-2017-Doctoral-Symposium
13:30 - 15:00: ECOOP Doctoral Symposium - Session 3 at Vertex WS208
ecoop-2017-Doctoral-Symposium149778540000013:30 - 14:00
Talk
Sarah NadiUniversity of Alberta
ecoop-2017-Doctoral-Symposium149778720000014:00 - 14:30
Talk
Praveen NarayananIndiana University, USA
ecoop-2017-Doctoral-Symposium149778900000014:30 - 15:00
Talk
Jasper SchulzKing's College London
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
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149779080000015:00 - 15:30
Coffee break
ismm-2017-catering
15:30 - 16:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149779260000015:30 - 16:00
Coffee break
ecoop-2017-Doctoral-Symposium
15:30 - 17:50: ECOOP Doctoral Symposium - Session 4 at Vertex WS208
ecoop-2017-Doctoral-Symposium149779260000015:30 - 16:00
Talk
ecoop-2017-Doctoral-Symposium149779440000016:00 - 16:30
Talk
ecoop-2017-Doctoral-Symposium149779620000016:30 - 17:00
Talk
ecoop-2017-Doctoral-Symposium149779800000017:00 - 17:40
Talk
Eric JulUniversity of Oslo
ecoop-2017-Doctoral-Symposium149780040000017:40 - 17:50
Talk
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
ecoop-2017-Summer-School
16:30 - 18:00: ECOOP Summer School - S1 at Vertex WS217
ecoop-2017-Summer-School149779620000016:30 - 18:00
Talk
Jan VitekNortheastern University
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

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149785200000008:00 - 09:00
Registration
debs-2017-Workshop
09:00 - 10:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop149785560000009:00 - 10:30
ICOOOLPS-2017-papers
09:00 - 10:30: ICOOOLPS 2017 - Morning I at Vertex WS216
Chair(s): Mario WolczkoOracle Labs
ICOOOLPS-2017-papers149785560000009:00 - 09:10
Talk
Mario WolczkoOracle Labs
ICOOOLPS-2017-papers149785620000009:10 - 10:30
Talk
Sylvan ClebschImperial College London
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
curryon-2017-keynotes
09:05 - 10:00: Curry On Keynotes - Monday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149785590000009:05 - 10:00
Talk
Martin OderskyEPFL, Switzerland
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
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149786100000010:30 - 11:00
Coffee break
pldi-2017-catering
10:30 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149786100000010:30 - 10:50
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149786100000010:30 - 11:00
Coffee break
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149786100000010:30 - 11:10
Talk
curryon-2017-papers149786400000011:20 - 12:00
Talk
curryon-2017-papers149786700000012:10 - 12:50
Talk
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Sala Agora at Sala Agora
curryon-2017-papers149786100000010:30 - 11:10
Talk
Jon PrettyPropensive Ltd
curryon-2017-papers149786400000011:20 - 12:00
Talk
curryon-2017-papers149786700000012:10 - 12:50
Talk
Allison McMillanCollective Idea
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149786100000010:30 - 11:10
Talk
curryon-2017-papers149786400000011:20 - 12:00
Talk
Brandon KasePinterest
curryon-2017-papers149786700000012:10 - 12:50
Talk
Brandon DailFormidable Labs
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
debs-2017-Workshop
11:00 - 12:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop149786280000011:00 - 12:30
JSTools-2017-papers
11:00 - 12:30: JSTools 2017 - Morning at Vertex WS218
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
JSTools-2017-papers149786280000011:00 - 11:30
Talk
File Attached
JSTools-2017-papers149786460000011:30 - 12:00
Talk
JSTools-2017-papers149786640000012:00 - 12:30
Talk
Anders MøllerAarhus University
ICOOOLPS-2017-papers
11:00 - 12:30: ICOOOLPS 2017 - Morning II at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
ICOOOLPS-2017-papers149786280000011:00 - 11:30
Talk
Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI File Attached
ICOOOLPS-2017-papers149786460000011:30 - 12:00
Talk
Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI File Attached
ICOOOLPS-2017-papers149786640000012:00 - 12:30
Talk
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
Link to publication DOI File Attached
iwaco-2017-papers
11:00 - 12:30: IWACO 2017 - Morning Session at Vertex WS217
iwaco-2017-papers149786280000011:00 - 11:30
Talk
Stephan BrandauerUppsala University
iwaco-2017-papers149786460000011:30 - 12:00
Talk
Alex PotaninVictoria University of Wellington
iwaco-2017-papers149786640000012:00 - 12:30
Talk
Sylvan ClebschImperial College London
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149786820000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149786820000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149786820000012:30 - 14:00
Lunch
curryon-2017-catering
12:50 - 14:00: Catering - Lunch at CurryOn-CoffeeBreaks
curryon-2017-catering149786940000012:50 - 14:00
Lunch
JSTools-2017-papers
14:00 - 15:30: JSTools 2017 - Afternoon at Vertex WS218
Chair(s): Christian HammerUniversity of Potsdam
JSTools-2017-papers149787360000014:00 - 14:30
Talk
John VilkUniversity of Massachusetts, Amherst
File Attached
JSTools-2017-papers149787540000014:30 - 15:00
Talk
Frank TipNortheastern University
JSTools-2017-papers149787720000015:00 - 15:30
Talk
ICOOOLPS-2017-papers
14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd BarrettKing's College London
ICOOOLPS-2017-papers149787360000014:00 - 15:00
Talk
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
ICOOOLPS-2017-papers149787720000015:00 - 15:30
Talk
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences
Link to publication DOI File Attached
iwaco-2017-papers
14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
File Attached
iwaco-2017-papers149787720000015:00 - 15:30
Talk
Anya Helene BaggeUniversity of Bergen, Kristoffer Haugsbakk, Vadim ZaytsevRaincode, Belgium
File Attached
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
debs-2017-Doctoral-Symposium
14:00 - 15:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149787360000014:00 - 14:20
Talk
Lorenzo AffettiPolitecnico di Milano
debs-2017-Doctoral-Symposium149787480000014:20 - 14:40
Talk
Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute
debs-2017-Doctoral-Symposium149787600000014:40 - 15:00
Talk
Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London
debs-2017-Doctoral-Symposium149787720000015:00 - 15:20
Talk
Domagoj MarganImperial College London
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
curryon-2017-keynotes
14:00 - 14:50: Curry On Keynotes - Monday - 14:00 - 14:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149787360000014:00 - 14:50
Talk
ecoop-2017-Summer-School
14:00 - 15:40: ECOOP Summer School - S2A at Sala Agora
ecoop-2017-Summer-School149787360000014:00 - 15:40
Talk
Amal AhmedNortheastern University, USA
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
John HughesChalmers University of Technology
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
Renzo BorgattiMailonline
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:45 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
Valentin Kasasself-employed @ Kanaka
debs-2017-catering
15:30 - 16:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149787900000015:30 - 16:00
Coffee break
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149787900000015:30 - 16:00
Coffee break
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149787960000015:40 - 16:10
Coffee break
curryon-2017-catering
15:40 - 16:10: Catering - Coffee break at CurryOn-CoffeeBreaks
curryon-2017-catering149787960000015:40 - 16:10
Coffee break
JSTools-2017-papers
16:00 - 18:00: JSTools 2017 - Afternoon 2 at Vertex WS218
JSTools-2017-papers149788080000016:00 - 16:30
Talk
Christian HammerUniversity of Potsdam
ICOOOLPS-2017-papers
16:00 - 18:00: ICOOOLPS 2017 - Afternoon II at Vertex WS216
Chair(s): Olivier Zendra
ICOOOLPS-2017-papers149788080000016:00 - 17:00
Other
Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle
ICOOOLPS-2017-papers149788440000017:00 - 17:30
Talk
Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
ICOOOLPS-2017-papers149788620000017:30 - 18:00
Demonstration
Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University
Link to publication DOI File Attached
debs-2017-Doctoral-Symposium
16:00 - 17:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149788080000016:00 - 16:20
Talk
Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian WesslingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
debs-2017-Doctoral-Symposium149788200000016:20 - 16:40
Talk
debs-2017-Doctoral-Symposium149788320000016:40 - 17:00
Talk
Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse
debs-2017-Doctoral-Symposium149788440000017:00 - 17:20
Talk
iwaco-2017-papers
16:00 - 18:00: IWACO 2017 - Keynote Session at Vertex WS217
iwaco-2017-papers149788080000016:00 - 16:45
Talk
Dimitrios VytiniotisMicrosoft Research, Cambridge
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
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
Matthew MightUniversity of Utah, USA
curryon-2017-papers149788440000017:00 - 17:40
Talk
Nicholas MatsakisMozilla Corporation
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
Tiark RompfPurdue University
curryon-2017-papers149788440000017:00 - 17:40
Talk
curryon-2017-papers149788740000017:50 - 18:30
Talk
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
curryon-2017-papers149788440000017:00 - 17:40
Talk
Martin KleppmannUniversity of Cambridge
curryon-2017-papers149788740000017:50 - 18:30
Talk
Luka Jacobowitzcodecentric AG
ecoop-2017-Summer-School
16:10 - 17:50: ECOOP Summer School - S2B at Sala Agora
ecoop-2017-Summer-School149788140000016:10 - 17:50
Talk
Amal AhmedNortheastern University, USA
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
curryon-2017-keynotes
17:55 - 18:50: Curry On Keynotes - Monday - 17:50 - 18:30 - PLDI at Auditorium, Vertex Building
curryon-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

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149793840000008:00 - 09:00
Registration
FTfJP-2017-papers
09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers149794380000009:30 - 09:50
Talk
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
FTfJP-2017-papers149794500000009:50 - 10:25
Talk
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
FTfJP-2017-papers149794710000010:25 - 10:30
Talk
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
debs-2017-Tutorials
09:00 - 10:30: DEBS Tutorials - Complex Event Recognition Languages at Vertex WS218
debs-2017-Tutorials149794200000009:00 - 10:30
Talk
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
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
COP-2017-papers
09:00 - 10:30: COP-17 - Session 1 at Vertex WS216
COP-2017-papers149794200000009:00 - 09:15
Day opening
COP-2017-papers149794290000009:15 - 10:15
Talk
Tijs van der StormCWI & University of Groningen
COP-2017-papers149794650000010:15 - 10:30
Other
debs-2017-Tutorials
09:00 - 10:30: DEBS Tutorials - Sliding-Window Aggregation Algorithms at Vertex WS206b
debs-2017-Tutorials149794200000009:00 - 10:30
Talk
Martin HirzelIBM Research, Scott SchneiderIBM Research, Kanat TangwongsanMahidol University International College
curryon-2017-keynotes
09:00 - 09:50: Curry On Keynotes - Tuesday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-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
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
Daniel KingBroad Institute
curryon-2017-papers149795010000011:15 - 11:55
Talk
Jean YangCarnegie Mellon University
curryon-2017-papers149795310000012:05 - 12:45
Talk
Mark AllenAlert Logic
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
Dave ThomasKx Systems
curryon-2017-papers149795010000011:15 - 11:55
Talk
curryon-2017-papers149795310000012:05 - 12:45
Talk
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
curryon-2017-papers149795010000011:15 - 11:55
Talk
Luke ZarkoGoogle, Inc
curryon-2017-papers149795310000012:05 - 12:45
Talk
Ali ShokerHASLab/INESC TEC & University of Minho
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149794740000010:30 - 11:00
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149794740000010:30 - 11:00
Coffee break
ecoop-2017-Summer-School
10:50 - 12:30: ECOOP Summer School - S3A at Sala Agora
ecoop-2017-Summer-School149794860000010:50 - 12:30
Talk
Nicholas MatsakisMozilla Corporation
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
FTfJP-2017-papers
11:00 - 12:30: FTfJP 2017 - B at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
FTfJP-2017-papers149794920000011:00 - 11:20
Talk
Youssef El BakounySaint-Joseph University of Beirut and CNAM de Paris, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
FTfJP-2017-papers149795040000011:20 - 12:30
Talk
debs-2017-Tutorials
11:00 - 12:30: DEBS Tutorials - Complex Event Recognition Languages at Vertex WS218
debs-2017-Tutorials149794920000011:00 - 12:30
Talk
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
debs-2017-Tutorials
11:00 - 12:30: DEBS Tutorials - Data Streaming and its Application to Stream Processing at Vertex WS206b
debs-2017-Tutorials149794920000011:00 - 12:30
Talk
Leonardo QuerzoniSapienza University Rome, Nicolo RivettiTechnion - Israel Institute of Technology
pmldc-2017-papers
11:00 - 12:30: PMLDC 2017 - Morning Session at Vertex WS208
pmldc-2017-papers149794920000011:00 - 12:00
Talk
pmldc-2017-papers149795280000012:00 - 12:30
Talk
Christopher MeiklejohnUniversité catholique de Louvain
File Attached
COP-2017-papers
11:00 - 12:30: COP-17 - Session 2 at Vertex WS216
COP-2017-papers149794920000011:00 - 11:30
Talk
Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
COP-2017-papers149795100000011:30 - 12:00
Talk
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
COP-2017-papers149795280000012:00 - 12:30
Talk
Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149795460000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149795460000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149795460000012:30 - 14:00
Lunch
curryon-2017-catering
12:35 - 13:50: Catering - Lunch at CurryOn-CoffeeBreaks
curryon-2017-catering149795490000012:35 - 13:50
Lunch
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
curryon-2017-papers149796240000014:40 - 15:20
Talk
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
Mira MeziniTU Darmstadt
curryon-2017-papers149796240000014:40 - 15:20
Talk
Sztefan EdwardsnVisium LLC
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
curryon-2017-papers149796240000014:40 - 15:20
Talk
Andy WingoIgalia, S.L.
pmldc-2017-papers
14:00 - 15:30: PMLDC 2017 - Afternoon Session at Vertex WS208
pmldc-2017-papers149796000000014:00 - 14:30
Talk
Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne
File Attached
pmldc-2017-papers149796180000014:30 - 15:00
Talk
Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
pmldc-2017-papers149796360000015:00 - 15:30
Talk
Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
FTfJP-2017-papers
14:00 - 15:30: FTfJP 2017 - C at Vertex WS217
Chair(s): Martin Berger
FTfJP-2017-papers149796000000014:00 - 14:20
Talk
Julia BelyakovaSouthern Federal University
Pre-print
FTfJP-2017-papers149796120000014:20 - 14:55
Talk
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
FTfJP-2017-papers149796330000014:55 - 15:30
Talk
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
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
debs-2017-Tutorials
14:00 - 15:30: DEBS Tutorials - Human-body Related Event Processing at Vertex WS218
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
Opher EtzionYezreel Valley College
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
debs-2017-Tutorials
14:00 - 15:30: DEBS Tutorials - Reflections on Almost Two Decades of Research into Stream Processing at Vertex WS206b
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
Kyumars Sheykh EsmailiNokia Bell Labs
ecoop-2017-Summer-School
14:00 - 15:40: ECOOP Summer School - S3B at Sala Agora
ecoop-2017-Summer-School149796000000014:00 - 15:40
Talk
Nicholas MatsakisMozilla Corporation
COP-2017-papers
14:00 - 15:30: COP-17 - Session 3 at Vertex WS216
COP-2017-papers149796000000014:00 - 14:30
Talk
Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University
COP-2017-papers149796180000014:30 - 15:00
Talk
Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University
COP-2017-papers149796360000015:00 - 15:30
Talk
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes
Media Attached File Attached
debs-2017-catering
15:30 - 16:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149796540000015:30 - 16:00
Coffee break
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149796540000015:30 - 16:00
Coffee break
curryon-2017-catering
15:30 - 16:00: Catering - Coffee break at CurryOn-CoffeeBreaks
curryon-2017-catering149796540000015:30 - 16:00
Coffee break
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
FTfJP-2017-papers
16:00 - 18:00: FTfJP 2017 - D at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers149796720000016:00 - 16:20
Talk
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
FTfJP-2017-papers149796840000016:20 - 16:55
Talk
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
FTfJP-2017-papers149797050000016:55 - 17:30
Talk
Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy
pmldc-2017-papers
16:00 - 18:00: PMLDC 2017 - Evening Session at Vertex WS208
pmldc-2017-papers149796720000016:00 - 17:00
Talk
Philippe DobbelaereNokia Bell Labs
debs-2017-Tutorials
16:00 - 17:30: DEBS Tutorials - Human-body Related Event Processing at Vertex WS218
debs-2017-Tutorials149796720000016:00 - 17:30
Talk
Opher EtzionYezreel Valley College
COP-2017-papers
16:00 - 18:00: COP-17 - Session 4 at Vertex WS216
COP-2017-papers149796720000016:00 - 18:00
Other
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
Sylvan ClebschImperial College London
curryon-2017-papers149797020000016:50 - 17:30
Talk
curryon-2017-papers149797320000017:40 - 18:20
Talk
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
Chris FordThoughtWorks (UK) Ltd.
curryon-2017-papers149797020000016:50 - 17:30
Talk
Jurriaan HageUtrecht University
curryon-2017-papers149797320000017:40 - 18:20
Talk
Michael SteindorferDelft University of Technology, Netherlands
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
Eelco VisserDelft University of Technology
Media Attached File Attached
curryon-2017-papers149797020000016:50 - 17:30
Talk
Martin KavalarNextjournal
curryon-2017-papers149797320000017:40 - 18:20
Talk
Julia NguyenIndiegogo
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
curryon-2017-keynotes
18:30 - 19:20: Curry On Keynotes - Tuesday - 18:30 - 19:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149797620000018:30 - 19:20
Talk

Wed 21 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149802480000008:00 - 09:00
Registration
LCTES-2017-papers
09:00 - 09:15: LCTES 2017 - Opening at Vertex WS208
LCTES-2017-papers149802840000009:00 - 09:15
Day opening
debs-2017-Welcome
09:00 - 09:30: DEBS Welcome - Welcome at Sala d'Actes, Vertex Building
debs-2017-Welcome149802840000009:00 - 09:30
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
debs-2017-papers
09:30 - 10:30: DEBS Research Papers - Session 1: New Directions at Sala d'Actes, Vertex Building
Chair(s): Annika HinzeUniversity of Waikato
debs-2017-papers149803020000009:30 - 09:50
Talk
Suad SejdovicFZI Research Center for Information Technology, Sven EutingFZI Research Center for Information Technology, Dominik RiemerFZI Research Center for Information Technology, York Sure-VetterKarlsruhe Institute of Technology (KIT)
debs-2017-papers149803140000009:50 - 10:10
Talk
Aleksandar AntonicUniversity of Zagreb, Martina MarjanovicUniversity of Zagreb, Ivana Podnar ZarkoUniversity of Zagreb
debs-2017-papers149803260000010:10 - 10:30
Talk
Piyush YadavLero The Irish Software Research Centre Ireland, Umair UlhassanInsight Centre for Data Analytics NUIG, Souleiman HasanInsight Centre for Data Analytics NUIG, Edward CurryInsight Centre for Data Analytics NUIG
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
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149803380000010:30 - 11:00
Coffee break
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
debs-2017-papers
11:00 - 12:30: DEBS Research Papers - Session 2: High Performance and Distribution at Sala d'Actes, Vertex Building
Chair(s): Guido SalvaneschiTU Darmstadt
debs-2017-papers149803560000011:00 - 11:25
Talk
Ruben MayerUniversity of Stuttgart, Muhammad Adnan TariqUniversity of Stuttgart, Kurt RothermelUniversitaet Stuttgart
debs-2017-papers149803710000011:25 - 11:50
Talk
Kanat TangwongsanMahidol University International College, Martin HirzelIBM Research, Scott SchneiderIBM Research
debs-2017-papers149803860000011:50 - 12:10
Talk
Daniel RitterSAP SE, Jonas DannSAP SE, Norman MaySAP SE, Stefanie Rinderle-MaUniversity of Vienna
debs-2017-papers149803980000012:10 - 12:30
Talk
Benjamin ErbUlm University, Germany , Dominik MeißnerInstitute of Distributed Systems, Ulm University, Jakob PietronUlm University, Frank KarglUlm 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
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149804100000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-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
debs-2017-Keynotes
debs-2017-Keynotes149804640000014:00 - 15:00
Talk
ecoop-2017-Invited-Speakers
14:00 - 15:00: ECOOP Invited Speakers - Keynote at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
ecoop-2017-Invited-Speakers149804640000014:00 - 15:00
Talk
Media Attached
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other
debs-2017-catering
15:00 - 15:30: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149805000000015:00 - 15:30
Coffee break
LCTES-2017-catering
15:00 - 15:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149805000000015:00 - 15:30
Coffee break
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149805000000015:00 - 15:30
Coffee break
ecoop-2017-papers
15:30 - 17:10: ECOOP Research Papers - Analysis and Synthesis at Auditorium, Vertex Building
Chair(s): Anders MøllerAarhus University
ecoop-2017-papers149805180000015:30 - 15:55
Talk
Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland
Link to publication Media Attached File Attached
ecoop-2017-papers149805330000015:55 - 16:20
Talk
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached File Attached
ecoop-2017-papers149805480000016:20 - 16:45
Talk
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication Pre-print Media Attached
ecoop-2017-papers149805630000016:45 - 17:10
Talk
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
Link to publication Media Attached File Attached
debs-2017-DEBS-10-Years-Time-Award
15:30 - 16:30: DEBS 10 Years Time Award - DEBS 10 Years Time Award at Sala d'Actes, Vertex Building
debs-2017-DEBS-10-Years-Time-Award149805180000015:30 - 16:30
Talk
ecoop-2017-Summer-School
15:30 - 17:10: ECOOP Summer School - S4 at Aula Master
ecoop-2017-Summer-School149805180000015:30 - 17:10
Talk
Pre-print File Attached
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
debs-2017-Poster-Demo-Papers
16:30 - 17:00: DEBS Posters & Demos - Demos and Poster Introduction at Sala d'Actes, Vertex Building
debs-2017-Poster-Demo-Papers149805540000016:30 - 17:00
Demonstration
debs-2017-Poster-Demo-Papers
17:00 - 20:00: DEBS Posters & Demos - DEBS Poster & Demo Reception at Coffee Breaks area
debs-2017-Poster-Demo-Papers149805720000017:00 - 20:00
Demonstration

Thu 22 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149811120000008:00 - 09:00
Registration
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
ecoop-2017-Invited-Speakers