VenueNovotel London West
Room nameMancy
Floor0
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

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
Glean: facts about code
Curry On
Simon MarlowFacebook
10:45 - 12:15: TalksCurry On at Mancy
10:45 - 11:30
Talk
The Correct Cloud: Logic and Languages
Curry On
Thomas BallMicrosoft Research
11:30 - 12:15
Talk
Beyond the Paper: End-to-End Program Analysis
Curry On
13:30 - 15:00: TalksCurry On at Mancy
13:30 - 14:15
Talk
Asynchronous streams in direct style with and without macros
Curry On
Philipp HallerKTH Royal Institute of Technology, Sweden
14:15 - 15:00
Talk
Using ML for Code Discovery at Facebook
Curry On
Sifei LuanFacebook, Celeste BarnabyWesleyan University, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
15:30 - 17:00: TalksCurry On at Mancy
15:30 - 16:15
Talk
Idris 2: Type-driven Development of Idris
Curry On
Edwin BradyUniversity of St. Andrews, UK
16:15 - 17:00
Talk
Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
Curry On
17:30 - 18:30: KeynoteCurry On at Mancy
17:30 - 18:30
Talk
Bringing WebAssembly outside the web with WASI
Curry On

Tue 16 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
Logo, A Computer Language to Grow With
Curry On
10:45 - 12:15: TalksCurry On at Mancy
10:45 - 11:30
Talk
Plutus and Marlowe
Curry On
Philip WadlerUniversity of Edinburgh, UK
11:30 - 12:15
Talk
The search for fundamental software engineering principles
Curry On
Tomas PetricekUniversity of Kent
13:30 - 15:00: TalksCurry On at Mancy
13:30 - 14:15
Talk
Getafix: Learning to fix bugs automatically
Curry On
Andrew ScottFacebook, Johannes BaderFacebook, Satish ChandraFacebook
14:15 - 15:00
Talk
Carp—A Language for the 21st Century
Curry On
Veit HellerPort Zero
17:30 - 18:30: KeynoteCurry On at Mancy
17:30 - 18:30
Talk
The Making of a Secure and Robust IoT Development Platform
Curry On
Lars BakGoogle

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

09:00 - 10:00: Dahl-Nygaard Prize KeynoteResearch Papers at Mancy
Chair(s): Laurence TrattKing's College London
09:00 - 10:00
Talk
Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)Keynote
Research Papers
K: Ilya SergeyYale-NUS College and National University of Singapore
Media Attached File Attached
10:30 - 12:10: Language Design and ImplementationResearch Papers at Mancy
Chair(s): John WickersonImperial College London
10:30 - 10:50
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
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
Godot: All the Benefits of Implicit and Explicit Futures
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
Towards Language-Parametric Semantic Editor Services based on Declarative Type System SpecificationsBrave New Idea
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
Multitier Modules
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
DOI Media Attached
11:50 - 12:10
Research paper
Scopes and Frames Improve Meta-Interpreter Specialization
Research Papers
Vlad VerguTU Delft, Eelco VisserDelft University of Technology, Andrew TolmachPortland State University
DOI Media Attached
13:30 - 15:10: TypesResearch Papers at Mancy
Chair(s): Davide AnconaUniversity of Genova
13:30 - 13:50
Research paper
Transient Typechecks are (Almost) Free
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
A Typing Discipline for Hardware Interfaces
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow
DOI Media Attached
14:10 - 14:30
Research paper
Minimal Session TypesPearl
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
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
Research Papers
Benjamin ChungNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI Media Attached
14:50 - 15:10
Research paper
On Satisfiability of Nominal Subtyping with Variance
Research Papers
Aleksandr MisonizhnikSaint-Petersburg State University, Dmitry MordvinovSaint-Petersburg State University, JetBrains Research
DOI Media Attached
15:40 - 17:00: Program Analysis 1Research Papers at Mancy
Chair(s): Yannis SmaragdakisUniversity of Athens
15:40 - 16:00
Research paper
Static Analysis for Asynchronous JavaScript Programs
Research Papers
Thodoris SotiropoulosAthens University of Economics and Business, Ben LivshitsImperial College London, UK
DOI
16:00 - 16:20
Research paper
A Program Logic for First-Order Encapsulated WebAssembly
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
Garbage-free Abstract Interpretation through Abstract Reference Counting
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
Eventually Sound Points-To Analysis with Specifications
Research Papers
Osbert BastaniUniversity of Pennsylvania, Rahul SharmaMicrosoft Research, Lazaro ClappStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
17:00 - 17:50: Awards and RecognitionResearch Papers at Mancy
17:00 - 17:10
Awards
ECOOP Awards
Research Papers
P: Alastair DonaldsonImperial College London, A: Maria ChristakisMPI-SWS, A: Manuel RiggerETH Zurich
17:10 - 17:50
Talk
A tribute to Laurie Hendren
Research Papers
Jan VitekNortheastern University
Media Attached
18:00 - 19:30: Poster sessionPosters at Mancy
18:00 - 19:30
Poster
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsECOOP posterDemonstration
Posters
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00 - 19:30
Poster
A Parallel Spreadsheet Interpreter With Cycle Detection
Posters
Alexander Asp BockIT University of Copenhagen
18:00 - 19:30
Poster
Specifying I/O using Abstract Nested Hoare Triples in Separation LogicFTfJP posterDemonstration
Posters
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
18:00 - 19:30
Poster
Reliable State Machines: A Framework for Programming Reliable Cloud ServicesECOOP posterDemonstration
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
RML: Runtime Monitoring LanguageVORTEX poster
Posters
Luca FranceschiniDIBRIS, University of Genova, Italy
File Attached
18:00 - 19:30
Poster
Precise, Efficient and Secure Just-In-Time Analysis of Java ProgramsAORTA poster
Posters
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
18:00 - 19:30
Poster
Fling---A Fluent API GeneratorECOOP poster
Posters
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
File Attached
18:00 - 19:30
Poster
TornadoVM: Dynamic Optimisation of Heterogeneous Java AccelerationAORTA posterDemonstration
Posters
Juan FumeroUniversity of Manchester, UK, Michail PapadimitriouUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK
File Attached
18:00 - 19:30
Poster
Static Analysis for Asynchronous JavaScript ProgramsECOOP poster
Posters
Thodoris SotiropoulosAthens University of Economics and Business, Benjamin LivshitsImperial College London, UK
18:00 - 19:30
Poster
To Async or Not to Async: Better Cooperative Multithreading is the Answer
Posters
18:00 - 19:30
Poster
TinyCORP: A Calculus for Context-Oriented Reactive ProgrammingCOP poster
Posters
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
18:00 - 19:30
Poster
Semantic Patches for Java Program TransformationECOOP posterDemonstration
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
Static Analysis in Real-World Operational ScenariosDoctoral Symposium posterDemonstration
Posters
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
File Attached
18:00 - 19:30
Poster
IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
Posters
Abhishek TiwariUniversity of Potsdam, Sascha GroßUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
18:00 - 19:30
Poster
Towards Language-Parametric Semantic Editor ServicesECOOP posterDemonstration
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
18:00 - 19:30
Poster
Type-Safe Data Plane Programming with SafeP4ECOOP poster
Posters
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
18:00 - 19:30
Poster
Create your own Interpreter with a JITAORTA poster
Posters
File Attached
18:00 - 19:30
Poster
Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs
Posters
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00 - 19:30
Poster
NumLin: Linear Types for Linear AlgebraECOOP posterDemonstration
Posters
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
File Attached
18:00 - 19:30
Poster
Towards Resilience Testing of Actor Programs through Test PerturbationsScala poster
Posters
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
18:00 - 19:30
Poster
JIT as a Service: Compilation Paradigm for the CloudAORTA poster
Posters
Xiaoli LiangIBM Canada, Daryl MaierIBM Canada
18:00 - 19:30
Poster
Transferring Obligations Through SynchronizationsECOOP posterDemonstration
Posters
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsRadboud University Nijmegen
18:00 - 19:30
Poster
Automated Large-scale Multi-language Dynamic Program Analysis in the WildECOOP 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
Garbage-free Abstract Interpretation through Abstract Reference CountingECOOP 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
Finally, a Polymorphic Linear Algebra LanguageECOOP poster
Posters
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
18:00 - 19:30
Poster
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsECOOP posterDemonstration
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
Lifestate: Event-Driven Protocols and Callback Control FlowECOOP poster
Posters
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
18:00 - 19:30
Poster
Distributed System Development with ScalaLociECOOP poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
18:00 - 19:30
Poster
Lightweight Software Profiling of Compiled CodeAORTA poster
Posters
Andrew CraikIBM Canada, Rahil ShahIBM Canada, Ben ThomasIBM Canada, Devin PapineauIBM Canada
18:00 - 19:30
Poster
Android App Analysis Query LanguageBenchWork posterDemonstration
Posters
Felix PauckPaderborn University, Germany
Media Attached
18:00 - 19:30
Poster
DynaSOAr: A Parallel Memory Allocator for OOP on GPUsECOOP poster
Posters
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
18:00 - 19:30
Poster
Godot: All the Benefits of Implicit and Explicit FuturesECOOP 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
Deep Static Modeling of invokedynamicECOOP 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
Rethinking Compositionality: Composing Proofs From Program BehavioursKeynote
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
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
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
Fling—A Fluent API Generator
Research Papers
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
DOI
11:10 - 11:30
Research paper
Semantic Patches for Java Program TransformationExperience Report
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
Finally, a Polymorphic Linear Algebra LanguagePearl
Research Papers
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
DOI
11:50 - 12:10
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached
13:30 - 15:10: Program Analysis 2Research Papers at Mancy
Chair(s): Christian HammerUniversity of Potsdam
13:30 - 13:50
Research paper
Deep Static Modeling of invokedynamic
Research Papers
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI Media Attached
13:50 - 14:10
Research paper
Automated Large-scale Multi-language Dynamic Program Analysis in the WildTool Insights 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
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsTool Insights 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
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Research Papers
Alexi TurcotteNortheastern University, Ellen ArtecaNortheastern University, Gregor RichardsUniversity of Waterloo
DOI Media Attached
14:50 - 15:10
Research paper
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsBrave New Idea
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
15:40 - 17:00: Concurrency and ParallelismResearch Papers at Mancy
Chair(s): Stephen KellUniversity of Kent
15:40 - 16:00
Research paper
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
Research Papers
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI Pre-print Media Attached
16:00 - 16:20
Research paper
Reliable State Machines: A Framework for Programming Reliable Cloud Services
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
Transferring Obligations Through Synchronizations
Research Papers
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsKU Leuven
DOI Media Attached
16:40 - 17:00
Research paper
Motion Session Types for Robotic InteractionsBrave New Idea
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
Automatic Differentiation for DummiesKeynote
Research Papers
K: Simon Peyton JonesMicrosoft, UK
Media Attached

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

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

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

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

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

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

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

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

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