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

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:15: KeynoteCurry On at Mancy
09:00 - 10:15
Talk
Curry On
Simon MarlowFacebook
10:45 - 12:15: Session OneFTfJP at Epernay
10:45 - 11:45
Talk
FTfJP
Philipp RuemmerUppsala University
11:45 - 12:15
Full-paper
FTfJP
Isaac Oscar Gariano, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
10:45 - 12:15: TalksCurry On at Mancy
10:45 - 11:30
Talk
Curry On
Thomas BallMicrosoft Research
11:30 - 12:15
Talk
Curry On
10:45 - 12:15: TalksCurry On at Morangis
10:45 - 11:30
Talk
Curry On
Sebastian BlessingImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London
11:30 - 12:15
Talk
Curry On
Richard MillwoodCore Education UK & Trinity College Dublin
10:45 - 12:15: Summer School M1Summer School at Reims
Chair(s): Jan VitekNortheastern University
10:45 - 12:15
Talk
Summer School
Yannis SmaragdakisUniversity of Athens
13:30 - 15:00: TalksCurry On at Avize
13:30 - 14:15
Talk
Curry On
Simon DanischNextjournal
14:15 - 15:00
Talk
Curry On
Adam WelcUber Technologies
13:30 - 15:00: Research PapersCOP at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
13:30 - 14:15
Talk
COP
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
DOI
14:15 - 15:00
Talk
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno DumasUniversité de Namur
DOI
13:30 - 15:00: Session TwoFTfJP at Epernay
13:30 - 14:30
Talk
FTfJP
Scott OwensUniversity of Kent, UK
14:30 - 15:00
Full-paper
FTfJP
Julia BelyakovaNortheastern University, USA
DOI Pre-print
13:30 - 15:00: TalksCurry On at Mancy
13:30 - 14:15
Talk
Curry On
Philipp HallerKTH Royal Institute of Technology, Sweden
14:15 - 15:00
Talk
Curry On
Sifei LuanFacebook, Celeste BarnabyWesleyan University, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
13:30 - 15:00: Summer School M2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30 - 15:00
Talk
Summer School
Jeremy GibbonsDepartment of Computer Science, University of Oxford
15:30 - 17:00: TalksCurry On at Avize
15:30 - 16:15
Talk
Curry On
16:15 - 17:00
Talk
Curry On
Adelbert ChangTarget, USA
15:30 - 17:00: Research PapersCOP at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
15:30 - 16:15
Talk
COP
Patrick ReinHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Stefan RamsonHasso Plattner Institute, Germany, Toni MattisUniversity of Potsdam Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
16:15 - 17:00
Talk
COP
Jose Daniel Fandiño de la HozUniversidad de los Andes, Juan Sebastián SosaUniversidad de los Andes, Nicolás CardozoUniversidad de los Andes
DOI
15:30 - 17:00: Session ThreeFTfJP at Epernay
15:30 - 16:00
Full-paper
FTfJP
Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
16:00 - 16:30
Full-paper
FTfJP
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
16:30 - 16:45
Short-paper
FTfJP
Martin LesterUniversity of Reading
16:45 - 17:00
Short-paper
FTfJP
15:30 - 17:00: TalksCurry On at Mancy
15:30 - 16:15
Talk
Curry On
Edwin BradyUniversity of St. Andrews, UK
16:15 - 17:00
Talk
Curry On
15:30 - 17:00: Summer School M3Summer School at Reims
Chair(s): Laurence TrattKing's College London
15:30 - 17:00
Talk
Summer School
Tudor Gîrbafeenk.com
17:30 - 18:30: KeynoteCurry On at Mancy
17:30 - 18:30
Talk
Curry On
19:30 - 22:00: Curry On PartyCurry On at Socials
19:30 - 22:00
Social Event
Curry On

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:15: Introduction to CogniCryptPanathon at Epernay
09:00 - 10:15
Tutorial
Panathon
P: Stefan KrügerPaderborn University
09:00 - 10:15: KeynoteCurry On at Mancy
09:00 - 10:15
Talk
Curry On
10:45 - 12:15: Benchmark SuitesBenchWork at Bouzy
10:45 - 11:00
Day opening
BenchWork
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University
11:00 - 11:30
Talk
BenchWork
Roberto NatellaFederico II University of Naples
Media Attached
11:30 - 12:00
Talk
BenchWork
Media Attached
10:45 - 12:15: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?Panathon at Epernay
10:45 - 11:00
Demonstration
Panathon
P: Linghui LuoPaderborn University
11:00 - 12:15
Panathon
Stefan KrügerPaderborn University
10:45 - 12:15: TalksCurry On at Mancy
10:45 - 11:30
Talk
Curry On
Philip WadlerUniversity of Edinburgh, UK
11:30 - 12:15
Talk
Curry On
Tomas PetricekUniversity of Kent
10:45 - 12:15: TalksCurry On at Morangis
10:45 - 11:30
Talk
Curry On
Dhruv MakwanaGoldman Sachs
11:30 - 12:15
Talk
Curry On
Tadeu ZagalloApple, Inc,
13:30 - 15:00: TalksCurry On at Avize
13:30 - 14:15
Talk
Curry On
Tudor Gîrbafeenk.com
14:15 - 15:00
Talk
Curry On
Aidan Hobson SayersHadean Supercomputing Ltd.
13:30 - 15:00: Benchmark CreationBenchWork at Bouzy
13:30 - 14:00
Talk
BenchWork
Abhishek TiwariUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
14:00 - 14:30
Talk
BenchWork
Lisa Nguyen Quang DoPaderborn University
File Attached
14:30 - 15:00
Talk
BenchWork
Michael EichbergTU Darmstadt, Germany
Media Attached
13:30 - 15:00: Dynamic CogniCrypt – Static Failures and Dynamic SuccessesPanathon at Epernay
13:30 - 15:00
Demonstration
Panathon
Kristen NewburyUniversity of Alberta
13:30 - 15:00: TalksCurry On at Mancy
13:30 - 14:15
Talk
Curry On
Andrew ScottFacebook, Johannes BaderFacebook, Satish ChandraFacebook
14:15 - 15:00
Talk
Curry On
Veit HellerPort Zero
13:30 - 15:00: Summer School T2Summer School at Reims
13:30 - 15:00
Talk
Summer School
Alan BlackwellUniversity of Cambridge
15:30 - 17:00: TalksCurry On at Avize
15:30 - 16:15
Talk
Curry On
Markus Völteritemis/independent
16:15 - 17:00
Talk
Curry On
15:30 - 17:00: Specialized Benchmarks and FutureBenchWork at Bouzy
15:30 - 16:00
Talk
BenchWork
Hridesh RajanIowa State University
16:00 - 16:30
Talk
BenchWork
Felix PauckPaderborn University, Germany
Media Attached
16:30 - 17:00
Day closing
BenchWork
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University
15:30 - 17:00: Crypto Task HackathonPanathon at Epernay
15:30 - 17:00
Panathon
15:30 - 17:00: TalksCurry On at Morangis
15:30 - 16:15
Talk
Curry On
Alastair DonaldsonImperial College London
16:15 - 17:00
Talk
Curry On
Gargi SharmaRecurse Center
15:30 - 17:00: Summer School T3Summer School at Reims
15:30 - 17:00
Talk
Summer School
Sophia DrossopoulouImperial College London
17:30 - 18:30: KeynoteCurry On at Mancy
17:30 - 18:30
Talk
Curry On
Lars BakGoogle
17:30 - 19:30: Social HourCatering at Socials

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: KeynoteScala at Epernay
09:00 - 10:00
Talk
Scala
09:00 - 10:00: Dahl-Nygaard Prize KeynoteResearch Papers at Mancy
Chair(s): Laurence TrattKing's College London
09:00 - 10:00
Talk
Research Papers
K: Ilya SergeyYale-NUS College and National University of Singapore
Media Attached File Attached
10:30 - 12:10: TypesScala at Epernay
10:30 - 11:00
Research paper
Scala
Alex JefferyUniversity of Sussex
11:00 - 11:20
Talk
Scala
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:20 - 11:40
Talk
Scala
Guillaume MartresEPFL, Switzerland
11:40 - 12:10
Short-paper
Scala
10:30 - 12:10: Language Design and ImplementationResearch Papers at Mancy
Chair(s): John WickersonImperial College London
10:30 - 10:50
Research paper
Research Papers
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
DOI Media Attached
10:50 - 11:10
Research paper
Research Papers
Kiko Fernandez-ReyesUppsala University, Einar Broch JohnsenUniversity of Oslo, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Tobias WrigstadUppsala University
DOI Media Attached
11:10 - 11:30
Research paper
Research Papers
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
DOI Media Attached
11:30 - 11:50
Research paper
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
DOI Media Attached
11:50 - 12:10
Research paper
Research Papers
Vlad VerguTU Delft, Eelco VisserDelft University of Technology, Andrew TolmachPortland State University
DOI Media Attached
10:30 - 12:10: Summer School W1Summer School at Reims
10:30 - 12:10
Talk
Summer School
Mira MeziniTU Darmstadt, Germany
13:30 - 15:10: TestingScala at Epernay
13:30 - 14:00
Short-paper
Scala
Konstantin LäuferLoyola University Chicago, John O'SullivanLoyola University Chicago, George K. ThiruvathukalLoyola University Chicago and Argonne National Laboratory
14:00 - 14:30
Short-paper
Scala
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
14:30 - 14:50
Talk
Scala
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel
14:50 - 15:10
Talk
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
13:30 - 15:10: TypesResearch Papers at Mancy
Chair(s): Davide AnconaUniversity of Genova
13:30 - 13:50
Research paper
Research Papers
Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
DOI Media Attached
13:50 - 14:10
Research paper
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow
DOI Media Attached
14:10 - 14:30
Research paper
Research Papers
Alen ArslanagićUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands, Erik VoogdUniversity of Groningen
DOI Media Attached
14:30 - 14:50
Research paper
Research Papers
Benjamin ChungNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI Media Attached
14:50 - 15:10
Research paper
Research Papers
Aleksandr MisonizhnikSaint-Petersburg State University, Dmitry MordvinovSaint-Petersburg State University, JetBrains Research
DOI Media Attached
13:30 - 15:10: Summer School W2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30 - 15:10
Talk
Summer School
Ben LivshitsImperial College London, UK
15:40 - 17:20: Compilation and verificationScala at Epernay
15:40 - 16:10
Short-paper
Scala
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
16:10 - 16:30
Talk
Scala
16:30 - 16:50
Talk
Scala
Alen Stojanov, Tiark RompfPurdue University, Markus PüschelETH Zürich
15:40 - 17:00: Program Analysis 1Research Papers at Mancy
Chair(s): Yannis SmaragdakisUniversity of Athens
15:40 - 16:00
Research paper
Research Papers
Thodoris SotiropoulosAthens University of Economics and Business, Ben LivshitsImperial College London, UK
DOI
16:00 - 16:20
Research paper
Research Papers
Conrad WattUniversity of Cambridge, Petar MaksimovićImperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Philippa GardnerImperial College London
DOI Media Attached
16:20 - 16:40
Research paper
Research Papers
Noah Van EsSofware Languages Lab, Vrije Universiteit Brussel, Quentin StiévenartVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
DOI
16:40 - 17:00
Research paper
Research Papers
Osbert BastaniUniversity of Pennsylvania, Rahul SharmaMicrosoft Research, Lazaro ClappStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
15:40 - 17:20: Summer School W3Summer School at Reims
15:40 - 17:20
Talk
Summer School
Gavin BiermanOracle Labs
17:00 - 17:50: Awards and RecognitionResearch Papers at Mancy
17:00 - 17:10
Awards
Research Papers
P: Alastair DonaldsonImperial College London, A: Maria ChristakisMPI-SWS, A: Manuel RiggerETH Zurich
17:10 - 17:50
Talk
Research Papers
Jan VitekNortheastern University
Media Attached
18:00 - 19:30: Poster sessionPosters at Mancy
18:00 - 19:30
Poster
Posters
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00 - 19:30
Poster
Posters
Alexander Asp BockIT University of Copenhagen
18:00 - 19:30
Poster
Posters
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
18:00 - 19:30
Poster
Posters
Suvam MukherjeeIndian Institute of Science, Nitin John RajInternational Institute of Information Technology, Hyderabad, Krishnan GovindrajMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Chandramouleswaran RavichandranMicrosoft Azure, Akash LalMicrosoft Research India, Aseem RastogiMicrosoft Research, Raja KrishnaswamyMicrosoft Azure
18:00 - 19:30
Poster
Posters
Luca FranceschiniDIBRIS, University of Genova, Italy
File Attached
18:00 - 19:30
Poster
Posters
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
18:00 - 19:30
Poster
Posters
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
File Attached
18:00 - 19:30
Poster
Posters
Juan FumeroUniversity of Manchester, UK, Michail PapadimitriouUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK
File Attached
18:00 - 19:30
Poster
Posters
Thodoris SotiropoulosAthens University of Economics and Business, Benjamin LivshitsImperial College London, UK
18:00 - 19:30
Poster
Posters
18:00 - 19:30
Poster
Posters
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
18:00 - 19:30
Poster
Posters
Kang Hong JinSchool of Information Systems, Singapore Management University, Ferdian Thung, Julia LawallInria/LIP6, Gilles MullerLIP6-INRIA/UPMC, Lingxiao JiangSingapore Management University, David LoSingapore Management University
18:00 - 19:30
Poster
Posters
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
File Attached
18:00 - 19:30
Poster
Posters
Abhishek TiwariUniversity of Potsdam, Sascha GroßUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
18:00 - 19:30
Poster
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
18:00 - 19:30
Poster
Posters
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
18:00 - 19:30
Poster
Posters
File Attached
18:00 - 19:30
Poster
Posters
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00 - 19:30
Poster
Posters
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
File Attached
18:00 - 19:30
Poster
Posters
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
18:00 - 19:30
Poster
Posters
Xiaoli LiangIBM Canada, Daryl MaierIBM Canada
18:00 - 19:30
Poster
Posters
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsRadboud University Nijmegen
18:00 - 19:30
Poster
Posters
Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
18:00 - 19:30
Poster
Posters
Noah Van EsSofware Languages Lab, Vrije Universiteit Brussel, Quentin StiévenartVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
File Attached
18:00 - 19:30
Poster
Posters
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
18:00 - 19:30
Poster
Posters
Carmen Torres LopezVrije Universiteit Brussel, Robbert Gurdeep SinghUniversiteit Gent, Belgium, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
18:00 - 19:30
Poster
Posters
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
18:00 - 19:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
18:00 - 19:30
Poster
Posters
Andrew CraikIBM Canada, Rahil ShahIBM Canada, Ben ThomasIBM Canada, Devin PapineauIBM Canada
18:00 - 19:30
Poster
Posters
Felix PauckPaderborn University, Germany
Media Attached
18:00 - 19:30
Poster
Posters
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
18:00 - 19:30
Poster
Posters
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Einar Broch JohnsenUniversity of Oslo, Tobias WrigstadUppsala University
File Attached
18:00 - 19:30
Poster
Posters
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: KeynoteResearch Papers at Mancy
Chair(s): Sophia DrossopoulouImperial College London
09:00 - 10:00
Talk
Research Papers
K: Azadeh FarzanUniversity of Toronto
Media Attached
10:30 - 12:10: Domain Specific LanguagesResearch Papers at Mancy
Chair(s): Sebastian ErdwegJGU Mainz
10:30 - 10:50
Research paper
Research Papers
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
DOI Media Attached
10:50 - 11:10
Research paper
Research Papers
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
DOI
11:10 - 11:30
Research paper
Research Papers
Kang Hong JinSchool of Information Systems, Singapore Management University, Ferdian Thung, Julia LawallInria/LIP6, Gilles MullerLIP6-INRIA/UPMC, Lingxiao JiangSingapore Management University, David LoSingapore Management University
DOI Media Attached
11:30 - 11:50
Research paper
Research Papers
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
DOI
11:50 - 12:10
Research paper
Research Papers
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached
10:30 - 12:10: Summer School R1Summer School at Reims
10:30 - 12:10
Talk
Summer School
Philippa GardnerImperial College London
13:30 - 15:10: Program Analysis 2Research Papers at Mancy
Chair(s): Christian HammerUniversity of Potsdam
13:30 - 13:50
Research paper
Research Papers
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI Media Attached
13:50 - 14:10
Research paper
Research Papers
Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
DOI Media Attached
14:10 - 14:30
Research paper
Research Papers
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached
14:30 - 14:50
Research paper
Research Papers
Alexi TurcotteNortheastern University, Ellen ArtecaNortheastern University, Gregor RichardsUniversity of Waterloo
DOI Media Attached
14:50 - 15:10
Research paper
Research Papers
Carmen Torres LopezVrije Universiteit Brussel, Robbert Gurdeep SinghUniversiteit Gent, Belgium, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
DOI Media Attached
13:30 - 15:10: Summer School R2Summer School at Reims
13:30 - 15:10
Talk
Summer School
Chris LaffraUber Amsterdam
15:40 - 16:40: Session #3AORTA at Epernay
Chair(s): Hugh LeatherUniversity of Edinburgh
15:40 - 16:10
Talk
AORTA
Tom SpinkUniversity of Edinburgh
16:10 - 16:40
Talk
AORTA
File Attached
15:40 - 17:00: Concurrency and ParallelismResearch Papers at Mancy
Chair(s): Stephen KellUniversity of Kent
15:40 - 16:00
Research paper
Research Papers
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI Pre-print Media Attached
16:00 - 16:20
Research paper
Research Papers
Suvam MukherjeeMicrosoft Research India, Nitin John RajInternational Institute of Information Technology, Hyderabad, Krishnan GovindrajMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Chandramouleswaran RavichandranMicrosoft Azure, Akash LalMicrosoft Research India, Aseem RastogiMicrosoft Research, Raja KrishnaswamyMicrosoft Azure
DOI Media Attached
16:20 - 16:40
Research paper
Research Papers
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsKU Leuven
DOI Media Attached
16:40 - 17:00
Research paper
Research Papers
Rupak MajumdarMPI-SWS, Germany, Marcus PirronMPI-SWS, Nobuko YoshidaImperial College London, Damien ZuffereyMPI-SWS
DOI Media Attached
17:00 - 18:00: Closing KeynoteResearch Papers at Mancy
Chair(s): Alastair DonaldsonImperial College London
17:00 - 18:00
Talk
Research Papers
K: Simon Peyton JonesMicrosoft, UK
Media Attached
18:00 - 20:00: Social HourCatering at Socials

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: OpeningVORTEX at Bouzy
09:00 - 10:00
Day opening
VORTEX
Davide AnconaUniversity of Genova
09:00 - 10:00: Starting KeynoteICOOOLPS at Epernay
09:00 - 09:05
Day opening
ICOOOLPS
Clément BéraGoogle, Aarhus
09:05 - 10:00
Talk
ICOOOLPS
K: Mads AgerGoogle
09:00 - 10:00: DS Session 1 Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
09:00 - 09:05
Day opening
Doctoral Symposium
09:05 - 09:20
Talk
Doctoral Symposium
09:20 - 10:00
Talk
Doctoral Symposium
Guido SalvaneschiTU Darmstadt
10:30 - 12:10: Session 1VORTEX at Bouzy
Chair(s): Sung-Shik JongmansOpen University of the Netherlands
10:30 - 11:15
Talk
VORTEX
Giles RegerUniversity of Manchester
11:15 - 11:45
Talk
VORTEX
P: Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
11:45 - 12:15
Talk
VORTEX
P: Luca FranceschiniDIBRIS, University of Genova, Italy
Pre-print
10:30 - 12:10: Workshop sessionICOOOLPS at Epernay
10:30 - 10:55
Research paper
ICOOOLPS
Johannes HenningHasso Plattner Institute, David Stangl, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
10:55 - 11:20
Research paper
ICOOOLPS
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan, Takafumi Kataoka
11:20 - 11:45
Research paper
ICOOOLPS
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
11:45 - 12:10
Research paper
ICOOOLPS
Alexi TurcotteNortheastern University, Jan VitekNortheastern University
10:30 - 12:10: DS Session 2Doctoral Symposium at Reims
Chair(s): Lisa Nguyen Quang DoPaderborn University
10:30 - 11:00
Doctoral symposium paper
Doctoral Symposium
Chengsong TanKing's College London
11:00 - 11:30
Doctoral symposium paper
Doctoral Symposium
Jyoti PrakashUniversity of Potsdam, Germany
11:30 - 12:10
Talk
Doctoral Symposium
Ben HermannPaderborn University
Media Attached
13:30 - 15:10: Session 2VORTEX at Bouzy
Chair(s): Radu GrigoreUniversity of Kent
13:30 - 14:15
Talk
VORTEX
Sung-Shik JongmansOpen University of the Netherlands
14:15 - 14:45
Talk
VORTEX
P: Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna
Pre-print
13:30 - 15:10: Closing keynote & Interactive sessionICOOOLPS at Epernay
13:30 - 14:25
Talk
ICOOOLPS
Matthew ParkinsonMicrosoft Research, UK
14:25 - 15:10
Other
ICOOOLPS
Eric JulUniversity of Oslo
13:30 - 15:10: DS Session 3Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
13:30 - 14:00
Doctoral symposium paper
Doctoral Symposium
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
14:00 - 14:30
Doctoral symposium paper
Doctoral Symposium
Robbert Gurdeep SinghUniversiteit Gent, Belgium
14:30 - 15:00
Doctoral symposium paper
Doctoral Symposium
Alen ArslanagićUniversity of Groningen
15:40 - 17:20: DS Session 4Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
15:40 - 16:10
Doctoral symposium paper
Doctoral Symposium
Gebrehiwet Biyane WelearegaiUniversity of Potsdam, Germany
16:10 - 16:40
Talk
Doctoral Symposium
Eric JulUniversity of Oslo

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Avize
Bouzy
Epernay
Mancy
Morangis
Reims
Socials

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Avize
Bouzy
Epernay
Mancy
Morangis
Reims

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Epernay
Mancy
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
Reims

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Epernay
Mancy
Reims

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Bouzy
Epernay
Reims
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)