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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 08:45: OpeningSOAP at Vertex WS216
08:30 - 08:45
Day opening
SOAP
09:30 - 10:30: Points-to AnalysisSOAP at Vertex WS216
09:30 - 09:50
Talk
SOAP
Jihyeok ParkKAIST, South Korea, Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung RyuKAIST
DOI File Attached
09:50 - 10:10
Talk
SOAP
George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI File Attached
10:10 - 10:30
Talk
SOAP
Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle
DOI File Attached
11:00 - 11:45: Invited Speaker - Jingling XueSOAP at Vertex WS216
11:00 - 11:45
Talk
SOAP
Jingling XueUNSW Australia
14:00 - 14:45: Invited Speaker - Julian DolbySOAP at Vertex WS216
14:00 - 14:45
Talk
SOAP
Julian DolbyIBM Thomas J. Watson Research Center
Media Attached
14:45 - 15:30: Soundness and PrecisionSOAP at Vertex WS216
14:45 - 15:07
Talk
SOAP
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
15:07 - 15:30
Talk
SOAP
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University
DOI Media Attached
16:00 - 16:20: BenchmarkingSOAP at Vertex WS216
16:00 - 16:20
Talk
SOAP
Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt
DOI Pre-print File Attached
16:20 - 18:00: Open DiscussionSOAP at Vertex WS216
16:20 - 18:00
Meeting
SOAP

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Morning IICOOOLPS at Vertex WS216
Chair(s): Mario WolczkoOracle Labs
09:00 - 09:10
Talk
ICOOOLPS
Mario WolczkoOracle Labs
09:10 - 10:30
Talk
ICOOOLPS
Sylvan ClebschImperial College London
11:00 - 12:30: Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
11:00 - 11:30
Talk
ICOOOLPS
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
11:30 - 12:00
Talk
ICOOOLPS
Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI File Attached
12:00 - 12:30
Talk
ICOOOLPS
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
Link to publication DOI File Attached
14:00 - 15:30: Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd BarrettKing's College London
14:00 - 15:00
Talk
ICOOOLPS
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
15:00 - 15:30
Talk
ICOOOLPS
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
16:00 - 18:00: Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00 - 17:00
Other
ICOOOLPS
Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle
17:00 - 17:30
Talk
ICOOOLPS
Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30 - 18:00
Demonstration
ICOOOLPS
Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University
Link to publication DOI File Attached

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Session 1COP at Vertex WS216
09:00 - 09:15
Day opening
COP
09:15 - 10:15
Talk
COP
S: Tijs van der StormCWI & University of Groningen
10:15 - 10:30
Other
COP
11:00 - 12:30: Session 2COP at Vertex WS216
11:00 - 11:30
Talk
COP
Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:30 - 12:00
Talk
COP
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
12:00 - 12:30
Talk
COP
Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University
14:00 - 15:30: Session 3COP at Vertex WS216
14:00 - 14:30
Talk
COP
Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University
14:30 - 15:00
Talk
COP
Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University
15:00 - 15:30
Talk
COP
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes
Media Attached File Attached
16:00 - 18:00: Session 4COP at Vertex WS216
16:00 - 18:00
Other
COP

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew AppelPrinceton
09:00 - 09:15
Day opening
DSW
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
09:15 - 10:00
Talk
DSW
10:30 - 12:10: Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216
Chair(s): Zhong ShaoYale University
10:30 - 11:00
Talk
DSW
Adam ChlipalaMassachusetts Institute of Technology, USA
11:00 - 11:30
Talk
DSW
Lennart BeringerPrinceton University
11:30 - 12:10
Talk
DSW
Aleksey NoginHRL Laboratories, LLC
13:40 - 15:00: Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
13:40 - 14:20
Talk
DSW
Andrew AppelPrinceton
14:20 - 15:00
Talk
DSW
Michael TautschnigAmazon Web Services
15:30 - 17:00: Academic hypervisor project; closing discussionDSW at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
15:30 - 16:15
Talk
DSW
Zhong ShaoYale University
16:15 - 17:00
Day closing
DSW

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216
09:00 - 10:00
Other
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
10:30 - 12:10: Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216
10:30 - 12:10
Other
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
13:40 - 15:20: Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216
13:40 - 15:20
Other
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
15:50 - 17:00: Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216
15:50 - 17:00
Other
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change