Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 15 Jul

curry-on
09:00 - 10:15: Curry On - Keynote at Mancy
curry-on09:00 - 10:15
Talk
Simon MarlowFacebook
FTfJP-2019-papers
10:45 - 12:15: FTfJP 2019 - Session One at Epernay
FTfJP-2019-papers10:45 - 11:45
Talk
Philipp RuemmerUppsala University
FTfJP-2019-papers11:45 - 12:15
Full-paper
Isaac Oscar Gariano, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
ecoop-2019-summer-school
10:45 - 12:15: Summer School - Summer School M1 at Reims
Chair(s): Jan VitekNortheastern University
ecoop-2019-summer-school10:45 - 12:15
Talk
Yannis SmaragdakisUniversity of Athens
curry-on
10:45 - 12:15: Curry On - Talks at Avize
curry-on10:45 - 11:30
Talk
Steven PembertonCWI, Amsterdam
curry-on11:30 - 12:15
Talk
David SchmuddeNextjournal
curry-on
10:45 - 12:15: Curry On - Talks at Morangis
curry-on10:45 - 11:30
Talk
Sebastian BlessingImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London
curry-on11:30 - 12:15
Talk
Richard MillwoodCore Education UK & Trinity College Dublin
curry-on
10:45 - 12:15: Curry On - Talks at Mancy
curry-on10:45 - 11:30
Talk
Thomas BallMicrosoft Research
curry-on11:30 - 12:15
Talk
COP-2019-papers
13:30 - 15:00: COP 2019 - Research Papers at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
COP-2019-papers13:30 - 14:15
Talk
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
DOI
COP-2019-papers14:15 - 15:00
Talk
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno DumasUniversité de Namur
DOI
FTfJP-2019-papers
13:30 - 15:00: FTfJP 2019 - Session Two at Epernay
FTfJP-2019-papers13:30 - 14:30
Talk
Scott OwensUniversity of Kent, UK
FTfJP-2019-papers14:30 - 15:00
Full-paper
Julia BelyakovaNortheastern University, USA
DOI Pre-print
ecoop-2019-summer-school
13:30 - 15:00: Summer School - Summer School M2 at Reims
Chair(s): Edd BarrettKing's College London
ecoop-2019-summer-school13:30 - 15:00
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
curry-on
13:30 - 15:00: Curry On - Talks at Mancy
curry-on13:30 - 14:15
Talk
Philipp HallerKTH Royal Institute of Technology, Sweden
curry-on14:15 - 15:00
Talk
Sifei LuanFacebook, Celeste BarnabyWesleyan University, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
curry-on
13:30 - 15:00: Curry On - Talks at Avize
curry-on13:30 - 14:15
Talk
Simon DanischNextjournal
curry-on14:15 - 15:00
Talk
Adam WelcUber Technologies
COP-2019-papers
15:30 - 17:00: COP 2019 - Research Papers at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
COP-2019-papers15:30 - 16:15
Talk
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
COP-2019-papers16:15 - 17:00
Talk
Jose Daniel Fandiño de la HozUniversidad de los Andes, Juan Sebastián SosaUniversidad de los Andes, Nicolás CardozoUniversidad de los Andes
DOI
FTfJP-2019-papers
15:30 - 17:00: FTfJP 2019 - Session Three at Epernay
FTfJP-2019-papers15:30 - 16:00
Full-paper
Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
FTfJP-2019-papers16:00 - 16:30
Full-paper
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
FTfJP-2019-papers16:30 - 16:45
Short-paper
Martin LesterUniversity of Reading
FTfJP-2019-papers16:45 - 17:00
Short-paper
ecoop-2019-summer-school
15:30 - 17:00: Summer School - Summer School M3 at Reims
Chair(s): Laurence TrattKing's College London
ecoop-2019-summer-school15:30 - 17:00
Talk
Tudor Gîrbafeenk.com
curry-on
15:30 - 17:00: Curry On - Talks at Avize
curry-on15:30 - 16:15
Talk
curry-on16:15 - 17:00
Talk
Adelbert ChangTarget, USA
curry-on
15:30 - 17:00: Curry On - Talks at Morangis
curry-on15:30 - 16:15
Talk
Raj SaxenaN26, Chris FordThoughtWorks (UK) Ltd.
curry-on16:15 - 17:00
Talk
Jordy MoosPB Web Media
curry-on
15:30 - 17:00: Curry On - Talks at Mancy
curry-on15:30 - 16:15
Talk
Edwin BradyUniversity of St. Andrews, UK
curry-on16:15 - 17:00
Talk
curry-on
17:30 - 18:30: Curry On - Keynote at Mancy
curry-on17:30 - 18:30
Talk
curry-on
19:30 - 22:00: Curry On - Curry On Party at Socials
curry-on19:30 - 22:00
Social Event

Tue 16 Jul

panathon-2019-papers
09:00 - 10:15: Panathon 2019 - Introduction to CogniCrypt at Epernay
panathon-2019-papers09:00 - 10:15
Tutorial
Stefan KrügerPaderborn University
curry-on
09:00 - 10:15: Curry On - Keynote at Mancy
curry-on09:00 - 10:15
Talk
panathon-2019-papers
10:45 - 12:15: Panathon 2019 - CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway? at Epernay
panathon-2019-papers10:45 - 11:00
Demonstration
Linghui LuoPaderborn University
panathon-2019-papers11:00 - 12:15
Stefan KrügerPaderborn University
benchwork-2019-papers
10:45 - 12:15: BenchWork - Benchmark Suites at Bouzy
benchwork-2019-papers10:45 - 11:00
Day opening
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University
benchwork-2019-papers11:00 - 11:30
Talk
Roberto NatellaFederico II University of Naples
Media Attached
benchwork-2019-papers11:30 - 12:00
Talk
Media Attached
ecoop-2019-summer-school
10:45 - 12:15: Summer School - Summer School T1 at Reims
ecoop-2019-summer-school10:45 - 12:15
Talk
Bart JacobsKU Leuven
curry-on
10:45 - 12:15: Curry On - Talks at Morangis
curry-on10:45 - 11:30
Talk
Dhruv MakwanaGoldman Sachs
curry-on11:30 - 12:15
Talk
Tadeu ZagalloApple, Inc,
curry-on
10:45 - 12:15: Curry On - Talks at Mancy
curry-on10:45 - 11:30
Talk
Philip WadlerUniversity of Edinburgh, UK
curry-on11:30 - 12:15
Talk
Tomas PetricekUniversity of Kent
benchwork-2019-papers
13:30 - 15:00: BenchWork - Benchmark Creation at Bouzy
benchwork-2019-papers13:30 - 14:00
Talk
Abhishek TiwariUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
benchwork-2019-papers14:00 - 14:30
Talk
Lisa Nguyen Quang DoPaderborn University
File Attached
benchwork-2019-papers14:30 - 15:00
Talk
Michael EichbergTU Darmstadt, Germany
Media Attached
panathon-2019-papers
13:30 - 15:00: Panathon 2019 - Dynamic CogniCrypt – Static Failures and Dynamic Successes at Epernay
panathon-2019-papers13:30 - 15:00
Demonstration
Kristen NewburyUniversity of Alberta
ecoop-2019-summer-school
13:30 - 15:00: Summer School - Summer School T2 at Reims
ecoop-2019-summer-school13:30 - 15:00
Talk
Alan BlackwellUniversity of Cambridge
curry-on
13:30 - 15:00: Curry On - Talks at Morangis
curry-on13:30 - 14:15
Talk
curry-on14:15 - 15:00
Talk
Stephen KellUniversity of Kent
curry-on
13:30 - 15:00: Curry On - Talks at Mancy
curry-on13:30 - 14:15
Talk
Andrew ScottFacebook, Johannes BaderFacebook, Satish ChandraFacebook
curry-on14:15 - 15:00
Talk
Veit HellerPort Zero
curry-on
13:30 - 15:00: Curry On - Talks at Avize
curry-on13:30 - 14:15
Talk
Tudor Gîrbafeenk.com
curry-on14:15 - 15:00
Talk
Aidan Hobson SayersHadean Supercomputing Ltd.
panathon-2019-papers
15:30 - 17:00: Panathon 2019 - Crypto Task Hackathon at Epernay
panathon-2019-papers15:30 - 17:00
benchwork-2019-papers
15:30 - 17:00: BenchWork - Specialized Benchmarks and Future at Bouzy
benchwork-2019-papers15:30 - 16:00
Talk
Hridesh RajanIowa State University
benchwork-2019-papers16:00 - 16:30
Talk
Felix PauckPaderborn University, Germany
Media Attached
benchwork-2019-papers16:30 - 17:00
Day closing
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University
ecoop-2019-summer-school
15:30 - 17:00: Summer School - Summer School T3 at Reims
ecoop-2019-summer-school15:30 - 17:00
Talk
Sophia DrossopoulouImperial College London
curry-on
15:30 - 17:00: Curry On - Talks at Morangis
curry-on15:30 - 16:15
Talk
Alastair DonaldsonImperial College London
curry-on16:15 - 17:00
Talk
Gargi SharmaRecurse Center
curry-on
15:30 - 17:00: Curry On - Talks at Avize
curry-on15:30 - 16:15
Talk
Markus Völteritemis/independent
curry-on16:15 - 17:00
Talk
curry-on
15:30 - 17:00: Curry On - Talks at Mancy
curry-on15:30 - 16:15
Talk
curry-on16:15 - 17:00
Talk
Don SymeMicrosoft
curry-on
17:30 - 18:30: Curry On - Keynote at Mancy
curry-on17:30 - 18:30
Talk
Lars BakGoogle
ecoop-2019-catering
17:30 - 19:30: Catering - Social Hour at Socials

Wed 17 Jul

ecoop-2019-papers
09:00 - 10:00: Research Papers - Dahl-Nygaard Prize Keynote at Mancy
Chair(s): Laurence TrattKing's College London
ecoop-2019-papers09:00 - 10:00
Talk
Ilya SergeyYale-NUS College and National University of Singapore
File Attached
scala-2019-papers
09:00 - 10:00: Scala 2019 - Keynote at Epernay
scala-2019-papers09:00 - 10:00
Talk
ecoop-2019-papers
10:30 - 12:10: Research Papers - Language Design and Implementation at Mancy
Chair(s): John WickersonImperial College London
ecoop-2019-papers10:30 - 10:50
Research paper
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
DOI
ecoop-2019-papers10:50 - 11:10
Research paper
Kiko Fernandez-ReyesUppsala University, Einar Broch JohnsenUniversity of Oslo, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Tobias WrigstadUppsala University
DOI
ecoop-2019-papers11:10 - 11:30
Research paper
Daniel PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
DOI
ecoop-2019-papers11:30 - 11:50
Research paper
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
DOI
ecoop-2019-papers11:50 - 12:10
Research paper
Vlad VerguTU Delft, Eelco VisserDelft University of Technology, Andrew TolmachPortland State University
DOI
ecoop-2019-summer-school
10:30 - 12:10: Summer School - Summer School W1 at Reims
ecoop-2019-summer-school10:30 - 12:10
Talk
Mira MeziniTU Darmstadt, Germany
scala-2019-papers
10:30 - 12:10: Scala 2019 - Types at Epernay
scala-2019-papers10:30 - 11:00
Research paper
Alex JefferyUniversity of Sussex
scala-2019-papers11:00 - 11:20
Talk
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
scala-2019-papers11:20 - 11:40
Talk
Guillaume MartresEPFL, Switzerland
scala-2019-papers11:40 - 12:10
Short-paper
ecoop-2019-summer-school
13:30 - 15:10: Summer School - Summer School W2 at Reims
Chair(s): Edd BarrettKing's College London
ecoop-2019-summer-school13:30 - 15:10
Talk
Ben LivshitsImperial College London, UK
scala-2019-papers
13:30 - 15:10: Scala 2019 - Testing at Epernay
scala-2019-papers13:30 - 14:00
Short-paper
Konstantin LäuferLoyola University Chicago, John O'SullivanLoyola University Chicago, George K. ThiruvathukalLoyola University Chicago and Argonne National Laboratory
scala-2019-papers14:00 - 14:30
Short-paper
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
scala-2019-papers14:30 - 14:50
Talk
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel
scala-2019-papers14:50 - 15:10
Talk
Mohammadreza AshouriUniversity of Potsdam, Germany
ecoop-2019-papers
13:30 - 15:10: Research Papers - Types at Mancy
Chair(s): Davide AnconaUniversity of Genova
ecoop-2019-papers13:30 - 13:50
Research paper
Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
DOI
ecoop-2019-papers13:50 - 14:10
Research paper
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow
DOI
ecoop-2019-papers14:10 - 14:30
Research paper
Alen ArslanagićUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands, Erik VoogdUniversity of Groningen
DOI
ecoop-2019-papers14:30 - 14:50
Research paper
Benjamin ChungNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
ecoop-2019-papers14:50 - 15:10
Research paper
Aleksandr MisonizhnikSaint-Petersburg State University, Dmitry MordvinovSaint-Petersburg State University, JetBrains Research
DOI
scala-2019-papers
15:40 - 17:20: Scala 2019 - Compilation and verification at Epernay
scala-2019-papers15:40 - 16:10
Short-paper
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
scala-2019-papers16:10 - 16:30
Talk
scala-2019-papers16:30 - 16:50
Talk
Alen Stojanov, Tiark RompfPurdue University, Markus PüschelETH Zürich
ecoop-2019-papers
15:40 - 17:00: Research Papers - Program Analysis 1 at Mancy
Chair(s): Yannis SmaragdakisUniversity of Athens
ecoop-2019-papers15:40 - 16:00
Research paper
Thodoris SotiropoulosAthens University of Economics and Business, Ben LivshitsImperial College London, UK
DOI
ecoop-2019-papers16:00 - 16:20
Research paper
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
ecoop-2019-papers16:20 - 16:40
Research paper
Noah Van EsSofware Languages Lab, Vrije Universiteit Brussel, Quentin StiévenartVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
DOI
ecoop-2019-papers16:40 - 17:00
Research paper
Osbert BastaniUniversity of Pennsylvania, Rahul SharmaMicrosoft Research, Lazaro ClappStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI
ecoop-2019-summer-school
15:40 - 17:20: Summer School - Summer School W3 at Reims
ecoop-2019-summer-school15:40 - 17:20
Talk
Gavin BiermanOracle Labs
ecoop-2019-papers
17:00 - 17:50: Research Papers - Awards and Recognition at Mancy
ecoop-2019-papers17:00 - 17:10
Awards
Alastair DonaldsonImperial College London, Maria ChristakisMPI-SWS, Manuel RiggerETH Zurich
ecoop-2019-papers17:10 - 17:50
Talk
Jan VitekNortheastern University
ecoop-2019-Posters
18:00 - 19:30: Posters - Poster session at Mancy
ecoop-2019-Posters18:00 - 19:30
Poster
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Alexander Asp BockIT University of Copenhagen
ecoop-2019-Posters18:00 - 19:30
Poster
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
ecoop-2019-Posters18:00 - 19:30
Poster
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
ecoop-2019-Posters18:00 - 19:30
Poster
Luca FranceschiniDIBRIS, University of Genova, Italy
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
ecoop-2019-Posters18:00 - 19:30
Poster
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Juan FumeroUniversity of Manchester, UK, Michail PapadimitriouUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Thodoris SotiropoulosAthens University of Economics and Business, Benjamin LivshitsImperial College London, UK
ecoop-2019-Posters18:00 - 19:30
Poster
ecoop-2019-Posters18:00 - 19:30
Poster
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
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
ecoop-2019-Posters18:00 - 19:30
Poster
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Abhishek TiwariUniversity of Potsdam, Sascha GroßUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Daniel PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
ecoop-2019-Posters18:00 - 19:30
Poster
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
ecoop-2019-Posters18:00 - 19:30
Poster
Xiaoli LiangIBM Canada, Daryl MaierIBM Canada
ecoop-2019-Posters18:00 - 19:30
Poster
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsRadboud University Nijmegen
ecoop-2019-Posters18:00 - 19:30
Poster
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
ecoop-2019-Posters18:00 - 19:30
Poster
Noah Van EsSofware Languages Lab, Vrije Universiteit Brussel, Quentin StiévenartVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
ecoop-2019-Posters18:00 - 19:30
Poster
Carmen Torres LopezVrije Universiteit Brussel, Robbert Gurdeep SinghUniversiteit Gent, Belgium, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
ecoop-2019-Posters18:00 - 19:30
Poster
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
ecoop-2019-Posters18:00 - 19:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
ecoop-2019-Posters18:00 - 19:30
Poster
Andrew CraikIBM Canada, Rahil ShahIBM Canada, Ben ThomasIBM Canada, Devin PapineauIBM Canada
ecoop-2019-Posters18:00 - 19:30
Poster
Felix PauckPaderborn University, Germany
Media Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Einar Broch JohnsenUniversity of Oslo, Tobias WrigstadUppsala University
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

Thu 18 Jul

ecoop-2019-papers
09:00 - 10:00: Research Papers - Keynote at Mancy
Chair(s): Sophia DrossopoulouImperial College London
ecoop-2019-papers09:00 - 10:00
Talk
Azadeh FarzanUniversity of Toronto
ecoop-2019-papers
10:30 - 12:10: Research Papers - Domain Specific Languages at Mancy
Chair(s): Sebastian ErdwegJGU Mainz
ecoop-2019-papers10:30 - 10:50
Research paper
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
DOI
ecoop-2019-papers10:50 - 11:10
Research paper
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
DOI
ecoop-2019-papers11:10 - 11:30
Research paper
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
ecoop-2019-papers11:30 - 11:50
Research paper
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
DOI
ecoop-2019-papers11:50 - 12:10
Research paper
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI Pre-print File Attached
aorta-2019-papers
10:30 - 12:10: AORTA 2019 - Session #1 at Epernay
Chair(s): Xiaoli LiangIBM Canada
aorta-2019-papers10:30 - 11:20
Talk
aorta-2019-papers11:20 - 11:45
Talk
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
aorta-2019-papers11:45 - 12:10
Talk
Daryl MaierIBM Canada, Xiaoli LiangIBM Canada
ecoop-2019-summer-school
10:30 - 12:10: Summer School - Summer School R1 at Reims
ecoop-2019-summer-school10:30 - 12:10
Talk
Philippa GardnerImperial College London
ecoop-2019-papers
13:30 - 15:10: Research Papers - Program Analysis 2 at Mancy
Chair(s): Christian HammerUniversity of Potsdam
ecoop-2019-papers13:30 - 13:50
Research paper
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI
ecoop-2019-papers13:50 - 14:10
Research paper
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
ecoop-2019-papers14:10 - 14:30
Research paper
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print
ecoop-2019-papers14:30 - 14:50
Research paper
Alexi TurcotteNortheastern University, Ellen ArtecaNortheastern University, Gregor RichardsUniversity of Waterloo
DOI
ecoop-2019-papers14:50 - 15:10
Research paper
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
aorta-2019-papers
13:30 - 15:10: AORTA 2019 - Session #2 at Epernay
Chair(s): Daryl MaierIBM Canada
aorta-2019-papers13:30 - 13:55
Talk
Christos KotselidisUniversity of Manchester, UK
aorta-2019-papers13:55 - 14:20
Talk
Stefan MarrUniversity of Kent
aorta-2019-papers14:20 - 14:45
Talk
Ruoyu ZhouUniversity of Cambridge, UK, Timothy M. JonesUniversity of Cambridge, UK
aorta-2019-papers14:45 - 15:10
Talk
Andrew CraikIBM Canada
ecoop-2019-summer-school
13:30 - 15:10: Summer School - Summer School R2 at Reims
ecoop-2019-summer-school13:30 - 15:10
Talk
Chris LaffraUber Amsterdam
ecoop-2019-papers
15:40 - 17:00: Research Papers - Concurrency and Parallelism at Mancy
Chair(s): Stephen KellUniversity of Kent
ecoop-2019-papers15:40 - 16:00
Research paper
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI Pre-print
ecoop-2019-papers16:00 - 16:20
Research paper
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
ecoop-2019-papers16:20 - 16:40
Research paper
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsKU Leuven
DOI
ecoop-2019-papers16:40 - 17:00
Research paper
Rupak MajumdarMPI-SWS, Germany, Marcus PirronMPI-SWS, Nobuko YoshidaImperial College London, Damien ZuffereyMPI-SWS
DOI
aorta-2019-papers
15:40 - 16:40: AORTA 2019 - Session #3 at Epernay
Chair(s): Hugh LeatherUniversity of Edinburgh
aorta-2019-papers15:40 - 16:10
Talk
Tom SpinkUniversity of Edinburgh
aorta-2019-papers16:10 - 16:40
Talk
File Attached
ecoop-2019-summer-school
15:40 - 16:40: Summer School - Summer School R3 at Reims
ecoop-2019-summer-school15:40 - 16:40
Talk
ecoop-2019-papers
17:00 - 18:00: Research Papers - Closing Keynote at Mancy
Chair(s): Alastair DonaldsonImperial College London
ecoop-2019-papers17:00 - 18:00
Talk
Simon Peyton JonesMicrosoft, UK
ecoop-2019-catering
18:00 - 20:00: Catering - Social Hour at Socials

Fri 19 Jul

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

Mon 15 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Avize
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00
Bouzy
09:00 - 10:15
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00
17:30 - 18:30
Epernay
09:00 - 10:15
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00
Mancy
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00
Morangis
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00
Reims
Socials

Thu 18 Jul 2019

Fri 19 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bouzy
09:00 - 10:00
10:30 - 12:10
13:30 - 15:10
15:40 - 17:20
Epernay
15:40 - 17:20
Reims

Mon 15 Jul 2019

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

Tue 16 Jul 2019

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

Wed 17 Jul 2019

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

Thu 18 Jul 2019

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

Fri 19 Jul 2019

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)