Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS216
Floor0
Room number216
Capacity30
Additional informationThere is no additional information of this room available.
Program

Sun 18 Jun

SOAP-2017-papers
08:30 - 08:45: SOAP - Opening at Vertex WS216
SOAP-2017-papers149776740000008:30 - 08:45
Day opening
SOAP-2017-papers
08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at Vertex WS216
SOAP-2017-papers149776830000008:45 - 09:30
Talk
File Attached
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
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
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
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
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
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
SOAP-2017-papers
16:20 - 18:00: SOAP - Open Discussion at Vertex WS216
SOAP-2017-papers149779560000016:20 - 18:00
Meeting

Mon 19 Jun

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
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
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
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

Tue 20 Jun

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
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
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
COP-2017-papers
16:00 - 18:00: COP-17 - Session 4 at Vertex WS216
COP-2017-papers149796720000016:00 - 18:00
Other

Thu 22 Jun

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
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
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
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

Fri 23 Jun

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
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
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
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

Sun 18 Jun 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS216
08:30 - 08:45
16:00 - 16:20
16:20 - 18:00

Mon 19 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS216

Tue 20 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS216
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00