ECOOP 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (448)

A Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University Committee Member in Program Committee within the IWACO-track
Rohan AcharAchar, Rohan Building Distributed Applications with Data and Time Frames
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologyGermany Committee Member in Program Committee within the VORTEX-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Composing Interfering Abstract Protocols
Forrest AlexanderAlexander, Forrest Portland State University The Performance of Object Encodings in JavaScript
Jade AlglaveAlglave, Jade University College LondonFrance Research in Academia and Industry Committee Member in Senior Mentors within the ECOOP Summer School-track Committee Member in Speakers within the ECOOP Summer School-track
Karim AliAli, Karim TU Darmstadt Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana University A Systematic Performance Evaluation of Gradually Typed Functions and References
Peter AlvaroAlvaro, Peter University of California, Santa Cruz Committee Member in Program Committee within the PMLDC-track
Nada AminAmin, Nada EPFLSwitzerland Committee Member in Program Committee within the ECOOP Research Track-track
Davide AnconaAncona, Davide University of GenovaItaly Session Chair of Session 3 (part of FTfJP) Closing Remarks Opening Remarks A formal account of SSA in Java-like languages Towards a Model of Corecursion with Default Co-chair in Program Committee within the VORTEX-track Committee Member in Program Committee within the FTfJP-track
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Trace Typing: An Approach for Evaluating Retrofitted Type Systems
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology, JapanJapan Towards Modular Reasoning for Context-Oriented Programs Committee Member in Program Committee within the COP-track
Sven ApelApel, Sven University of Passau Committee Member in External Review Committee within the ECOOP Research Track-track
Dimitar AsenovAsenov, Dimitar Envision – Turning the IDE into a Visual Information System.
Pavel AvgustinovAvgustinov, Pavel Semmle QL: Object-oriented Queries on Relational Data
B Casper Bach PoulsenBach Poulsen, Casper TU Delft Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Stephanie BalzerBalzer, Stephanie Objects as Session-Typed Processes
Carlos BaqueroBaquero, Carlos Integration Challenges of Pure Operation-based CRDTs in Redis Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition
Edd BarrettBarrett, Edd King's College London Session Chair of Session 3 (part of ICOOOLPS) Virtual Machine Warm-up Blows Hot and Cold Fine-grained Language Composition: A Case Study Fine-grained Language Composition: A Case Study Committee Member in Program Committee within the ICOOOLPS-track
Felipe Bañados SchwerterBañados Schwerter, Felipe University of British ColumbiaChile Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Simon BelakBelak, Simon GoOpti Doing data science with Clojure: the ugly, the sad, the joyful
Julia BelyakovaBelyakova, Julia Southern Federal UniversityRussia Concept Parameters as a New Mechanism of Generic Programming for C# Language
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Annette BieniusaBieniusa, Annette Technischen Universität Kaiserslautern Committee Member in Program Committee within the PMLDC-track
Walter BinderBinder, Walter University of Lugano Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
Andrew BlackBlack, Andrew Portland State UniversityUnited States Recent changes and language design issues in Grace Overview of the Grace project and language Experience teaching with Grace Beyond Types: Extending the Gradual Guarantee The Performance of Object Encodings in JavaScript Co-chair in Program Committee within the GRACE-track
Alan BlackwellBlackwell, Alan University of Cambridge Sintr: Experimenting with liveness at scale
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich King's College London Germany Virtual Machine Warm-up Blows Hot and Cold Making an Embedded DBMS JIT-friendly A JIT Compiler (almost) for Free Making an Embedded DBMS JIT-friendly Fine-grained Language Composition: A Case Study Fine-grained Language Composition: A Case Study Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Program Committee within the PX-track Committee Member in Program Committee within the STOP-track Committee Member in Senior Mentors within the ECOOP Summer School-track Committee Member in Speakers within the ECOOP Summer School-track
Renzo BorgattiBorgatti, Renzo MailonlineUnited Kingdom Distributed Configuration with Clojure
John BoylandBoyland, John University of Wisconsin, Milwaukee Committee Member in Program Committee within the GRACE-track
Gilad BrachaBracha, Gilad GoogleIsrael Optional Typing in Dart: Purity and Practice Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX-track Committee Member in Program Committee within the GRACE-track
Andrew BragdonBragdon, Andrew Twitter Committee Member in Program Committee within the PX-track
Jörgen BrandtBrandt, Jörgen Humboldt-Universität zu BerlinGermany Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing
Alexander BreckelBreckel, Alexander Institute of Software Engineering and Compiler Construction Live Programming with Code Portals
David BremnerBremner, David University of New Brunswick MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Session 5 (part of ECOOP Research Track) Recent changes and language design issues in Grace Overview of the Grace project and language Experience teaching with Grace Beyond Types: Extending the Gradual Guarantee Object Inheritance without Classes Co-chair in Program Committee within the GRACE-track
Richard BubelBubel, Richard TU Darmstadt Committee Member in Program Committee within the FTfJP-track
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in Program Committee within the PMLDC-track
Eugene BurmakoBurmako, Eugene EPFLBelarus To Macros and Beyond!: How macros changed Scala, and what's coming next
Clément BéraBéra, Clément RMOD - INRIA Lille Nord Europe Committee Member in Program Committee within the ICOOOLPS-track
C Gurvan CabonCabon, Gurvan An Extended Buffered Memory Model With Full Reorderings
David CacheraCachera, David An Extended Buffered Memory Model With Full Reorderings
Luís CairesCaires, Luís FCT / Universidade Nova de LisboaPortugal Composing Interfering Abstract Protocols
Anthony CaninoCanino, Anthony SUNY Binghamton Energy-Aware Programming with Ent
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Consistent Unanticipated Adaptation for Context-Dependent Applications A Context-Oriented Software Architecture
Roberto CasadeiCasadei, Roberto Towards Aggregate Programming in Scala Towards Aggregate Programming in Scala
Roberto CasadeiCasadei, Roberto Towards Aggregate Programming in Scala
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Kappa: Insights, Current Status and Future Work Reference Capabilities for Concurrency Control Reference Capabilities for Concurrency Control
Abigail CauchiCauchi, Abigail Extracting Runtime Monitors from Tests: An Overview and a way forward
Manuel ChakravartyChakravarty, Manuel UNSW Australia & ApplicativeAustralia A Type is Worth a Thousand Tests
Satish ChandraChandra, Satish Samsung Research AmericaIndia Trace Typing: An Approach for Evaluating Retrofitted Type Systems
Natalia ChechinaChechina, Natalia University of Glasgow Committee Member in Program Committee within the PMLDC-track
Guoyang ChenChen, Guoyang Towards Ontology-Based Program Analysis
Jodie ChenChen, Jodie MIT Live end-user programming: a demo/manifesto
Lydia Y. ChenChen, Lydia Y. IBM Research Lab Zurich Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
Sheng ChenChen, Sheng University of Louisiana at Lafayette A Calculus for Variational Programming Committee Member in Program Committee within the STOP-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime University of MontrealCanada Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Committee Member in Program Committee within the ICOOOLPS-track
Luke ChircopChircop, Luke Extracting Runtime Monitors from Tests: An Overview and a way forward
Fernando ChirigatiChirigati, Fernando NYU Tandon School of Engineering, USABrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Andrei ChişChiş, Andrei University of Bern, Switzerland Exemplifying Moldable Development.
Stephen ChongChong, Stephen Harvard University Committee Member in Program Committee within the ECOOP Research Track-track
Magnus Haugom ChristensenChristensen, Magnus Haugom University of Oslo Demo of Docking: Enabling Language Based Dynamic Coupling
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the ECOOP Research Track-track
Luke ChurchChurch, Luke Sintr: Experimenting with liveness at scale
Cristina CifuentesCifuentes, Cristina Oracle Labs, AustraliaAustralia Are We Ready for Secure Languages?
Matteo CiminiCimini, Matteo Indiana University Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language
Dave ClarkeClarke, Dave Uppsala University, Sweden and KU Leuven, BelgiumAustralia Committee Member in Program Committee within the COP-track
Sylvan ClebschClebsch, Sylvan Imperial College London Committee Member in Program Committee within the IWACO-track
Jesper CockxCockx, Jesper KU Leuven Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian ColomboColombo, Christian Extracting Runtime Monitors from Tests: An Overview and a way forward
Neil ConwayConway, Neil Mesosphere Committee Member in Program Committee within the PMLDC-track
William CookCook, William UT Austin Implicitly Distributing Pervasively Concurrent Programs
Emilio CoppaCoppa, Emilio Sapienza University of Rome, ItalyItaly Publicity Chair in Organizing Committee for ECOOP 2016 Committee Member in Organizers within the ECOOP Posters-track
Andrea CorradiCorradi, Andrea A formal account of SSA in Java-like languages
Silvia CrafaCrafa, Silvia Università di Padova, ItalyItaly On the chemistry of typestate-oriented actors
Raimil CruzCruz, Raimil Exploring optional security typing
David CuttingCutting, David University of East AngliaUnited Kingdom Coordinated Reuse and Deployment for Scientific Software Prototypes with D-UEA-ST Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
D Daniele Cono D'EliaD'Elia, Daniele Cono Sapienza University of Rome, ItalyItaly Web & Housing Chair in Organizing Committee for ECOOP 2016 Committee Member in Organizers within the ECOOP Posters-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Theo D'HondtD'Hondt, Theo Vrije Universiteit Brussel Growing an Abstract Grammar: Teaching Language Engineering
Francesco DagninoDagnino, Francesco Towards a Model of Corecursion with Default
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the VORTEX-track
David DaraisDarais, David University of Maryland, College ParkUnited States Video Chair in Organizing Committee for ECOOP 2016 Compositional and Mechanically Verified Program Analyzers
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Closing Remarks Opening Remarks Co-chair in Program Committee within the VORTEX-track
Stijn De GouwDe Gouw, Stijn CWI, Fredhopper Committee Member in Program Committee within the VORTEX-track
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel Typing Third Party Web Service Usage Transactional Tasks: Parallelism in Software Transactions Transactional Tasks: Parallelism in Software Transactions Slice-based Web Development: Mapping Slices to Tiers Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Tierless Reactive Programming for Big Data Typing Third Party Web Service Usage Transactional Tasks: Parallelism in Software Transactions Transactional Tasks: Parallelism in Software Transactions Slice-based Web Development: Mapping Slices to Tiers
Oege de Moorde Moor, Oege Semmle QL: Object-oriented Queries on Relational Data
Rocco De NicolaDe Nicola, Rocco IMT Institute for Advanced Studies Lucca, Italy Committee Member in Program Committee within the COP-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Slice-based Web Development: Mapping Slices to Tiers Committee Member in Program Committee within the COP-track
Pierpaolo DeganoDegano, Pierpaolo University of Pisa Committee Member in Program Committee within the COP-track
Delphine DemangeDemange, Delphine IRISA / University of Rennes 1France Session Chair of Session 2 (part of FTfJP) Committee Member in Program Committee within the FTfJP-track
Camil DemetrescuDemetrescu, Camil Sapienza University of RomeItaly General Chair in Organizing Committee for ECOOP 2016 Session Chair of Session 1 (part of ECOOP Research Track) Session Chair of Invited Talk (part of ECOOP Research Track) Committee Member in Organizers within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Research Track-track
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Committee Member in Program Committee within the ECOOP Research Track-track
Lukas DiekmannDiekmann, Lukas King's College London Fine-grained Language Composition: A Case Study Fine-grained Language Composition: A Case Study
Werner DietlDietl, Werner University of Waterloo Committee Member in Program Committee within the ECOOP Research Track-track
Jens DietrichDietrich, Jens Massey University, New ZealandNew Zealand A Note on the Soundness of Difference Propagation Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic
Christos DimoulasDimoulas, Christos Harvard University Committee Member in Program Committee within the ECOOP Research Track-track
Mike DoddsDodds, Mike University of York Committee Member in External Review Committee within the ECOOP Research Track-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Session Chair of Session 7 (part of ECOOP Research Track) Opening Remarks Closing Remarks Co-chair in Program Committee within the JSTools-track Committee Member in Program Committee within the ECOOP Research Track-track
Jim DowlingDowling, Jim Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London Session Chair of Session 6 (part of ECOOP Research Track) Abstract Data Types in Object-Capability Systems Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations Beyond Types: Extending the Gradual Guarantee Permission and Authority Revisited: Towards a Formalization Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Program Committee within the GRACE-track
Patrick DubroyDubroy, Patrick HARC / Y Combinator ResearchGermany Language Hacking in a Live Programming Environment
Roland DucournauDucournau, Roland LIRMM, Université de Montpellier Committee Member in Program Committee within the ICOOOLPS-track
Benoît DuhouxDuhoux, Benoît A Context-Oriented Software Architecture
E Jonathan EdwardsEdwards, Jonathan CDG LabsUnited States Live end-user programming: a demo/manifesto Live Lightning Talks Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX-track
Susan EisenbachEisenbach, Susan Imperial College London Committee Member in Program Committee within the GRACE-track
Vitor EnesEnes, Vitor Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition
Benjamin ErbErb, Benjamin Ulm University, Germany Germany On the Potential of Event Sourcing for Retroactive Actor-based Programming
Sebastian ErdwegErdweg, Sebastian TU Delft Session Chair of Session 4 (part of ECOOP Research Track) Towards Live Language Development Invited Talk: PhD Reflections Committee Member in Program Committee within the ECOOP Research Track-track Invited Speaker in Invited Speakers within the ECOOP Doctoral Symposium-track
Úlfar ErlingssonErlingsson, Úlfar GoogleIceland Data-driven Software security using Differential Privacy and Deep Learning
Erik ErnstErnst, Erik GoogleDenmark Committee Member in Poster Awards Committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Research Track-track
Martin ErwigErwig, Martin Oregon State University A Calculus for Variational Programming Committee Member in External Review Committee within the ECOOP Research Track-track
Patrick EugsterEugster, Patrick Purdue UniversityUnited States Committee Member in Program Committee within the ECOOP Research Track-track
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo C++ const and Immutability: An Empirical Study of Writes-Through-const C++ const and Immutability: An Empirical Study of Writes-Through-const
F Leandro FacchinettiFacchinetti, Leandro The Johns Hopkins University Higher-Order Demand-Driven Program Analysis
Marc FeeleyFeeley, Marc Université de Montréal Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
Tim FelgentreffFelgentreff, Tim HPI, GermanyGermany Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy Committee Member in Program Committee within the ICOOOLPS-track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States The Racket Manifesto 28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand Committee Member in Senior Mentors within the ECOOP Summer School-track Committee Member in Speakers within the ECOOP Summer School-track
Luminous FennellFennell, Luminous University of Freiburg, Germany LJGS: Gradual Security Types for Object-Oriented Languages LJGS: Gradual Security Types for Object-Oriented Languages
Angelo FerrandoFerrando, Angelo The Early Bird Catches the Worm: first Verify, then Monitor!
Pietro FerraraFerrara, Pietro Julia SRL, ItalyItaly Committee Member in Program Committee within the FTfJP-track
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Committee Member in Program Committee within the PMLDC-track
Alexis FerreyraFerreyra, Alexis Universidad Tecnologica Nacional, Facultad Regional Cordoba Optimizing JavaScript through Source Code Rewriting
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly Sponsorship Co-Chair in Organizing Committee for ECOOP 2016
Nick FitzgeraldFitzgerald, Nick So You Want to Build Memory Tooling For JavaScript?
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the ECOOP Research Track-track Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Olivier FlückigerFlückiger, Olivier Northeastern UniversitySwitzerland Student Volunteer Co-Chair in Organizing Committee for ECOOP 2016 Student Volunteer Co-Chair in Organizing Committee within the ECOOP Student Volunteers-track
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Types for Ruby
Adrian FrancalanzaFrancalanza, Adrian Extracting Runtime Monitors from Tests: An Overview and a way forward
Juliana FrancoFranco, Juliana Imperial College London Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations
Bert FreudenbergFreudenberg, Bert Germany Towards Making a Computer Tutor for Children of All Ages - A Memo.
Carlo A. FuriaFuria, Carlo A. Chalmers University of Technology Committee Member in Program Committee within the FTfJP-track
G Iris GaberGaber, Iris Satisfaction, Time Investment and Success in Students' Programming Exercise.
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & IBM ResearchUnited States Session Chair of Session 2 (part of PX) Session Chair of Session 1 (part of PX) Session Chair of Session 3 (part of PX) Session Chair of Session 4 (part of PX) Committee Member in Organizing Committee within the PX-track Organizing Committe in Program Committee within the PX-track
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Program Committee within the ECOOP Research Track-track Chair in Program Committee within the STOP-track
Philippa GardnerGardner, Philippa Imperial College London JavaScript Verification
Simon J. GayGay, Simon J. Liveness for Verification
Paola GianniniGiannini, Paola Runtime checks as nominal types Coupling Catch Clauses with Local Declarations
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yossi GilGil, Yossi Israel Institute of Technology Formal Language Recognition with the Java Type Checker
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Tierless Reactive Programming for Big Data Committee Member in Program Committee within the ICOOOLPS-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Session 3 (part of ECOOP Research Track) Trace Typing: An Approach for Evaluating Retrofitted Type Systems Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Program Committee within the IWACO-track
Masataka GotoGoto, Masataka National Institute of Advanced Industrial Science and Technology, Japan Live Tuning: Expanding Live Programming Benefits to Non-Programmers Live Tuning: Expanding Live Programming Benefits to Non-Programmers
Alexey GotsmanGotsman, Alexey IMDEA Software Institute Committee Member in Program Committee within the PMLDC-track
Michael GreenbergGreenberg, Michael Pomona College Committee Member in Program Committee within the ECOOP Research Track-track
Allan Raundahl GregersenGregersen, Allan Raundahl ZeroTurnaround TruffleReloader: A Low-Overhead Language-Neutral Reloader
David GreggGregg, David Trinity College Dublin, Ireland Committee Member in Program Committee within the ICOOOLPS-track
Radu GrigoreGrigore, Radu University of Oxford Java Generics are Turing Complete Committee Member in Program Committee within the ECOOP Research Track-track
Matthias GrimmerGrimmer, Matthias Johannes Kepler University LinzAustria Sulong - Execution of LLVM-Based Languages on the JVM Committee Member in Program Committee within the ICOOOLPS-track
Danny GroenewegenGroenewegen, Danny Delft University of TechnologyNetherlands IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs
Dan GrossmanGrossman, Dan University of Washington, USA Staccato: A Bug Finder for Dynamic Configuration Updates Staccato: A Bug-Finder for Dynamic Configuration Updates Staccato: A Bug Finder for Dynamic Configuration Updates
Radu GrosuGrosu, Radu Technical University of Vienna Committee Member in Program Committee within the VORTEX-track
Sean GroveGrove, Sean NoneUnited States From Unikernels to Databases to UIs: Truly full-stack apps in OCaml
Shu-yu GuoGuo, Shu-yu Mozilla Corporation Co-chair in Program Committee within the JSTools-track
Tudor GîrbaGîrba, Tudor CompuGroup Medical Schweiz AG Exemplifying Moldable Development.
H Gerhard HabigerHabiger, Gerhard On the Potential of Event Sourcing for Retroactive Actor-based Programming
Seyed Hossein HaeriHaeri, Seyed Hossein Université Catholique de LouvainBelgium Committee Member in Program Committee within the PMLDC-track
Matthew HagueHague, Matthew Royal Holloway University of London Generating Concurrency Checks Automatically Generating Concurrency Checks Automatically
Michiel HaismaHaisma, Michiel TU DelftNetherlands Grace in Spoofax: Readable Specification and Implementation in One
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Invited Talk: Papers vs. Artefacts Committee Member in Program Committee within the ECOOP Research Track-track Committee Member in Program Committee within the PMLDC-track Invited Speaker in Invited Speakers within the ECOOP Doctoral Symposium-track Committee Member in Senior Mentors within the ECOOP Summer School-track
Christian HammerHammer, Christian Saarland University Co-chair in Program Committee within the JSTools-track
Stefan HanenbergHanenberg, Stefan University of Duisburg-Essen Committee Member in External Review Committee within the ECOOP Research Track-track
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in External Review Committee within the ECOOP Research Track-track
Seif HaridiHaridi, Seif Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language
Daco HarkesHarkes, Daco Delft University of Technology Language Design for Validatable Information System Specifications IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs
Michael HauptHaupt, Michael Oracle LabsGermany Committee Member in Program Committee within the ICOOOLPS-track
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryDenmark Committee Member in Program Committee within the VORTEX-track
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the COP-track
Daniel HeidingaHeidinga, Daniel IBM MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
Dave HermanHerman, Dave Mozilla Research Building an Open Source Research Lab
Felienne HermansHermans, Felienne Delft University of Technology Live Literals Committee Member in Program Committee within the LIVE-track
Robert HirschfeldHirschfeld, Robert HPIGermany Session Chair of Session 2 (part of PX) Session Chair of Session 1 (part of PX) Session Chair of Session 3 (part of PX) Session Chair of Session 4 (part of PX) Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments. Towards Gaze Control in Programming Environments. Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. Classes as Layers: Rewriting Design Patterns with COP Committee Member in Organizing Committee within the PX-track Organizing Committe in Program Committee within the PX-track Committee Member in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Kenji HisazumiHisazumi, Kenji Kyushu University A Study of Simulation Framework based on Colored Petri Nets for Context-Oriented Technologies
Nicholas HollingumHollingum, Nicholas The University of Sydney A Note on the Soundness of Difference Propagation
Reid HolmesHolmes, Reid Confero Committee Member in Organizing Committee for ECOOP 2016
Michael HomerHomer, Michael Victoria University of Wellington Traitorous Traits Beyond Types: Extending the Gradual Guarantee Object Inheritance Without Classes Object Inheritance without Classes Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Gábor HorváthHorváth, Gábor Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Source Language Representation of Function Summaries in Static Analysis
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Committee Member in Program Committee within the GRACE-track
Jonathan HoylandHoyland, Jonathan Royal Holloway University of London Generating Concurrency Checks Automatically Generating Concurrency Checks Automatically
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Transforming programs between APIs with Many-to-Many Mappings
Matthew HuebertHuebert, Matthew I sit down at my editor, and feel relaxed.
Marieke HuismanHuisman, Marieke University of Twente Committee Member in Program Committee within the IWACO-track
Reiner HähnleHähnle, Reiner TU DarmstadtGermany Committee Member in Program Committee within the VORTEX-track Committee Member in External Review Committee within the ECOOP Research Track-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Gradual Typing for Delimited Continuations Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Dmitry IvanovIvanov, Dmitry TomTomNetherlands Practical Demystification of CRDTs
J Franz J. HauckJ. Hauck, Franz On the Potential of Event Sourcing for Retroactive Actor-based Programming
Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium Tool Demonstration: The VeriFast Verification System for Java and C Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast VeriFast's Higher-Order Separation Logic Committee Member in Program Committee within the IWACO-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste Carnegie Mellon University Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System Sound Type Inference for JavaScript Committee Member in Program Committee within the VORTEX-track
Kamil JezekJezek, Kamil University of West Bohemia, Pilsen, CZ Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic
Limin JiaJia, Limin Carnegie Mellon UniversityChina Committee Member in External Review Committee within the ECOOP Research Track-track
Jiajun JiangJiang, Jiajun Peking UniversityChina Transforming programs between APIs with Many-to-Many Mappings
Michael Peyton JonesJones, Michael Peyton Semmle QL: Object-oriented Queries on Relational Data
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the ICOOOLPS-track
Stephen JonesJones, Stephen University of East AngliaUnited Kingdom Coordinated Reuse and Deployment for Scientific Software Prototypes with D-UEA-ST
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Traitorous Traits Automating Gradual Typing Beyond Types: Extending the Gradual Guarantee A Mechanical Soundness Proof for Subtyping Over Recursive Types Object Inheritance Without Classes Object Inheritance without Classes Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Alexander JordanJordan, Alexander Oracle Labs, Australia What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript
Eric JulJul, Eric Alcatel-Lucent Bell LabsDenmark Session Chair of DN Talk (part of ECOOP Research Track) Session Chair of Session 8 (part of ECOOP Research Track) Session Chair of DN Talk (part of ECOOP Research Track) Session Chair of Session 4 (part of ICOOOLPS) Demo of Docking: Enabling Language Based Dynamic Coupling Invited Talk: How to get your Ph.D. DONE Invited Speaker in Invited Speakers within the ECOOP Doctoral Symposium-track Committee Member in Organizers within the ICOOOLPS-track
Jaakko JärviJärvi, Jaakko Texas A&M University One Way to Select Many One Way to Select Many
K Christian KaestnerKaestner, Christian Carnegie Mellon UniversityUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Tomas KaliberaKalibera, Tomas Northeastern UniversityCzech Republic Session Chair of Session 2 (part of ICOOOLPS) Experimental Evaluation of Programming Systems Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Senior Mentors within the ECOOP Summer School-track Committee Member in Speakers within the ECOOP Summer School-track
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android Committee Member in Program Committee within the COP-track
Saketh KasibatlaKasibatla, Saketh Communications Design Group / UCLA Language Hacking in a Live Programming Environment
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, Japan Discuss: Live Programming, Live Coding, and Intelligence Amplification Live Tuning: Expanding Live Programming Benefits to Non-Programmers Live Tuning: Expanding Live Programming Benefits to Non-Programmers Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX-track
Alan KayKay, Alan University of California at Los Angeles, USA Towards Making a Computer Tutor for Children of All Ages - A Memo.
Matthias KeilKeil, Matthias University of FreiburgGermany Session Chair of Session 8 (part of ECOOP Research Track) Committee Member in External Review Committee within the ECOOP Research Track-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin Committee Member in External Review Committee within the ECOOP Research Track-track
Daisuke KikuchiKikuchi, Daisuke Tohoku University and Hitachi Solutions East Japan, Ltd. SML# with typeful manipulation of JSON objects A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
Rebecca KillickKillick, Rebecca Department of Mathematics and Statistics, University of Lancaster Virtual Machine Warm-up Blows Hot and Cold
Amir KirshKirsh, Amir Satisfaction, Time Investment and Success in Students' Programming Exercise.
Vladimir KlebanovKlebanov, Vladimir Karlsruhe Institute of Technology Session Chair of Session 4 (part of FTfJP) Session Chair of Invited talk (part of FTfJP) Opening Chair in Program Committee within the FTfJP-track
Felix KlockKlock, Felix Mozilla CorporationUnited States Committee Member in Program Committee within the IWACO-track
Vincent KnightKnight, Vincent School of Mathematics, Cardiff University Virtual Machine Warm-up Blows Hot and Cold
Gabriël KonatKonat, Gabriël TU Delft Towards Live Language Development
Eric KoskinenKoskinen, Eric Yale University Committee Member in External Review Committee within the ECOOP Research Track-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States The Recurring Rainfall Problem Building a Research Program for Scripting Languages Program Chair in Program Committee within the ECOOP Research Track-track Committee Member in Speakers within the ECOOP Summer School-track
Lars KrollKroll, Lars KTH Royal Institute of Technology, SwedenGermany Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language
Juraj KubelkaKubelka, Juraj University of Chile Exemplifying Moldable Development.
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana University A Systematic Performance Evaluation of Gradually Typed Functions and References
Lindsey KuperKuper, Lindsey Intel LabsUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Andrey KuzminKuzmin, Andrey ZalandoGermany Creating a Fun Game with Elm
Michael KöllingKölling, Michael University of Kent Tooling matters – Why Grace needs a good IDE Committee Member in Program Committee within the GRACE-track
L Patrick LamLam, Patrick University of Waterloo, Canada Are Ownership Types Reaching the World Yet? C++ const and Immutability: An Empirical Study of Writes-Through-const C++ const and Immutability: An Empirical Study of Writes-Through-const
Doug LeaLea, Doug State University of New York (SUNY) Oswego Committee Member in Program Committee within the GRACE-track
Gary LeavensLeavens, Gary Central Florida UniversityUnited States Towards Modular Reasoning for Context-Oriented Programs
Stefan LehmannLehmann, Stefan Hasso-Plattner-Institute, PotsdamGermany How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
Carl LercheLerche, Carl Independent Consultant We Are All Distributed System Engineers Committee Member in Program Committee within the PMLDC-track
Benjamin LernerLerner, Benjamin Northeastern University Publications Chair in Organizing Committee for ECOOP 2016
Martin LeuckerLeucker, Martin University of Lübeck Runtime Verification with Data Committee Member in Program Committee within the VORTEX-track
Tomer LevyLevy, Tomer Technion – Israel Institute of Technology Formal Language Recognition with the Java Type Checker
Ondřej LhotákLhoták, Ondřej University of Waterloo Flix and its Implementation: A Language for Static Analysis
Jun LiLi, Jun Peking University Transforming programs between APIs with Many-to-Many Mappings
Meixian LiLi, Meixian Communications Design Group / Y Combinator Research Language Hacking in a Live Programming Environment
Paley LiLi, Paley Northeastern UniversityNew Zealand Workshops Co-Chair in Organizing Committee for ECOOP 2016 Session Chair of Session 1 (part of IWACO) Closing Discussions Workshops Co-Chair in Organizing Committee within the ECOOP Workshops-track Chair in Program Committee within the IWACO-track
Xiangqi LiLi, Xiangqi University of Utah Committee Member in Program Committee within the LIVE-track
Yue LiLi, Yue UNSW Australia Program Tailoring: Slicing by Sequential Criteria Program Tailoring: Slicing by Sequential Criteria
Chunhua LiaoLiao, Chunhua LLNL Towards Ontology-Based Program Analysis
Jens LinckeLincke, Jens Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Ben LivshitsLivshits, Ben Microsoft Research Committee Member in External Review Committee within the ECOOP Research Track-track
Francesco LogozzoLogozzo, Francesco FacebookItaly Workshops Co-Chair in Organizing Committee for ECOOP 2016 Static analysis for security at the Facebook scale Workshops Co-Chair in Organizing Committee within the ECOOP Workshops-track
Rita LoogenLoogen, Rita University of Marburg Committee Member in Program Committee within the PMLDC-track
Crista LopesLopes, Crista University of California, IrvineUnited States Building Distributed Applications with Data and Time Frames Exercises in Programming Style Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the PX-track Committee Member in Senior Mentors within the ECOOP Summer School-track
Juan LulkinLulkin, Juan KlarnaIsrael What is programming?
Kasper LundLund, Kasper Google Dartino - a managed language on micro-controllers?
Aran LunzerLunzer, Aran Towards Making a Computer Tutor for Children of All Ages - A Memo.
Xiangyu LuoLuo, Xiangyu Peking University Transforming programs between APIs with Many-to-Many Mappings
M Magnus MadsenMadsen, Magnus University of WaterlooDenmark Flix and its Implementation: A Language for Static Analysis
Andrea MagnorskyMagnorsky, Andrea A brief and incomplete history of programming languages
Petr MajMaj, Petr ReactorLabs Student Volunteer Co-Chair in Organizing Committee for ECOOP 2016 Student Volunteer Co-Chair in Organizing Committee within the ECOOP Student Volunteers-track
Shahar MaozMaoz, Shahar Tel Aviv University Committee Member in Program Committee within the ECOOP Research Track-track
Mariana MarasoiuMarasoiu, Mariana University of Cambridge Sintr: Experimenting with liveness at scale
Stefan MarrMarr, Stefan Johannes Kepler University LinzGermany Session Chair of Session 5 (part of ICOOOLPS) Session Chair of Session 1 (part of ICOOOLPS) Welcome Committee Member in Organizers within the ICOOOLPS-track
Katsuhisa MaruyamaMaruyama, Katsuhisa Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology Session Chair of Session 2 (part of PX) Session Chair of Session 1 (part of PX) Session Chair of Session 3 (part of PX) Session Chair of Session 4 (part of PX) Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor Classes as Layers: Rewriting Design Patterns with COP Committee Member in Organizing Committee within the PX-track Organizing Committe in Program Committee within the PX-track Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Toni MattisMattis, Toni Hasso Plattner Institute Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
Caitie McCaffreyMcCaffrey, Caitie TwitterUnited States Building Scalable Stateful Services
Sean McDirmidMcDirmid, Sean Microsoft ResearchChina The Promise of Live Programming Discuss: Live Programming, Live Coding, and Intelligence Amplification The Future of Programming will be Live Co-chair in Program Committee within the LIVE-track
Alex McLeanMcLean, Alex FoAM / University of LeedsUnited Kingdom Committee Member in Program Committee within the LIVE-track
Flávio MedeirosMedeiros, Flávio Federal University of Campina Grande Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ricardo MedelMedel, Ricardo Universidad Siglo 21, CórdobaArgentina Optimizing JavaScript through Source Code Rewriting
Christopher MeiklejohnMeiklejohn, Christopher Université catholique de Louvain Committee Member in Organizing Committee for CurryOn 2016 Co-chair in Program Committee within the PMLDC-track
Darya MelicherMelicher, Darya Carnegie Mellon University Making an Embedded DBMS JIT-friendly Making an Embedded DBMS JIT-friendly Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium A Context-Oriented Software Architecture Committee Member in Program Committee within the COP-track
Mark MicallefMicallef, Mark Extracting Runtime Monitors from Tests: An Overview and a way forward
Arthur Michener PetersMichener Peters, Arthur The University of Texas at Austin, Texas, USAUnited States Implicitly Distributing Pervasively Concurrent Programs
Alysson MilanezMilanez, Alysson Federal University of Campina GrandeBrazil Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the ECOOP Research Track-track
Filipe MilitãoMilitão, Filipe Carnegie Mellon University & Universidade Nova de Lisboa Composing Interfering Abstract Protocols
Heather MillerMiller, Heather Ecole Polytechnique Federale de LausanneUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2016 Committee Member in Organizing Committee for CurryOn 2016 Curry On opening remarks Committee Member in External Review Committee within the ECOOP Research Track-track Co-chair in Program Committee within the PMLDC-track Committee Member in Senior Mentors within the ECOOP Summer School-track
Mark MillerMiller, Mark Google Inc.United States Frozen Realms: Confining effects for safer JavaScript plugins Abstract Data Types in Object-Capability Systems Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins Permission and Authority Revisited: Towards a Formalization The Elements of Decision Alignment: Large programs as complex organizations
Yusuke MiyazakiMiyazaki, Yusuke Kyoto UniversityJapan Gradual Typing for Delimited Continuations
Sarah MountMount, Sarah King's College LondonUnited Kingdom Virtual Machine Warm-up Blows Hot and Cold
Andrzej MurawskiMurawski, Andrzej University of Warwick, UK Committee Member in Program Committee within the FTfJP-track
Toby MurrayMurray, Toby University of MelbourneAustralia Abstract Data Types in Object-Capability Systems Permission and Authority Revisited: Towards a Formalization
Hanspeter MössenböckMössenböck, Hanspeter Johannes Kepler University LinzAustria Sulong - Execution of LLVM-Based Languages on the JVM
Anders MøllerMøller, Anders Aarhus University Committee Member in External Review Committee within the ECOOP Research Track-track
Peter MüllerMüller, Peter ETH Zurich Envision – Turning the IDE into a Visual Information System. Committee Member in Program Committee within the ECOOP Research Track-track
N Krishna NarasimhanNarasimhan, Krishna Goethe UniversityIndia Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Nami NasserazadNasserazad, Nami TomTom Practical Demystification of CRDTs
David NaumannNaumann, David Stevens Institute of Technology Committee Member in External Review Committee within the ECOOP Research Track-track
Nestor NavarroNavarro, Nestor Universidad Tecnologica Nacional, Facultad Regional Cordoba Optimizing JavaScript through Source Code Rewriting
Pierre NeronNeron, Pierre French Network and Information Security Agency (ANSSI) Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEMGermany User-Centric Static Analysis Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Phúc C. NguyễnNguyễn, Phúc C. University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Exemplifying Moldable Development.
James NobleNoble, James Victoria University of WellingtonNew Zealand Session Chair of Session 2 (part of ECOOP Research Track) Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. Abstract Data Types in Object-Capability Systems Recent changes and language design issues in Grace Beyond Types: Extending the Gradual Guarantee Permission and Authority Revisited: Towards a Formalization Notes on Post-Post-Modern-Modern Programming Half a Life in Software (Senior DN Prize Lecture) Object Inheritance without Classes Co-chair in Program Committee within the LIVE-track Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track Co-chair in Program Committee within the GRACE-track Committee Member in Senior Mentors within the ECOOP Summer School-track Co-chair in Organizing Committee within the ECOOP Summer School-track
David NolenNolen, David Cognitec How To Win Big With Old Ideas
Joost NoppenNoppen, Joost University of East Anglia Coordinated Reuse and Deployment for Scientific Software Prototypes with D-UEA-ST
Nate NystromNystrom, Nate Universita della Svizzera italiana (USI) Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
O Peter O'HearnO'Hearn, Peter Facebook Move Fast to Fix More Things
Richard O'KeefeO'Keefe, Richard Computer Science, University of Otago [Canceled] Building Object-Oriented Programs out of Pieces
Nobuhiko OguraOgura, Nobuhiko Tokyo City University A Study of Simulation Framework based on Colored Petri Nets for Context-Oriented Technologies
Atsushi OhoriOhori, Atsushi Tohoku University SML# with typeful manipulation of JSON objects A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
Yoshiki OhshimaOhshima, Yoshiki Viewpoints Research Institute Towards Making a Computer Tutor for Children of All Ages - A Memo. Committee Member in Program Committee within the PX-track
Nathalie OostvogelsOostvogels, Nathalie Vrije Universiteit Brussel Verification of Communication in Web Applications Typing Third Party Web Service Usage
Harold OssherOssher, Harold IBMUnited States Committee Member in Program Committee within the COP-track
P Gordon PacePace, Gordon University of MaltaMalta Extracting Runtime Monitors from Tests: An Overview and a way forward Committee Member in Program Committee within the VORTEX-track
Julien PagèsPagès, Julien LIRMM, Université de Montpellier Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States Higher-Order Demand-Driven Program Analysis Higher-Order Demand-Driven Program Analysis
Tobias PapePape, Tobias HPI, GermanyGermany Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy
Sean ParentParent, Sean Adobe Systems, Inc. One Way to Select Many One Way to Select Many
Pavel ParizekParizek, Pavel Charles University in Prague Committee Member in External Review Committee within the ECOOP Research Track-track
Changhee ParkPark, Changhee KAIST Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Norbert PatakiPataki, Norbert Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Source Language Representation of Function Summaries in Static Analysis
Jibesh PatraPatra, Jibesh TU Darmstadt, GermanyGermany Language-Independent Fuzz Testing with Probabilistic, Generative Models
David J. PearcePearce, David J. Victoria University of Wellington A Mechanical Soundness Proof for Subtyping Over Recursive Types Committee Member in External Review Committee within the ECOOP Research Track-track
Roly PereraPerera, Roly University of {Glasgow, Edinburgh}United Kingdom Discuss: New Interfaces for Programming Liveness for Verification Committee Member in Program Committee within the LIVE-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX-track
Gustavo PetriPetri, Gustavo IRIF, Université Paris Diderot Committee Member in Program Committee within the FTfJP-track
Laure PhilipsPhilips, Laure Vrije Universiteit Brussel Slice-based Web Development: Mapping Slices to Tiers
David PichardiePichardie, David IRISA / ENS RennesFrance An Extended Buffered Memory Model With Full Reorderings
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Committee Member in Program Committee within the FTfJP-track
Joe Gibbs PolitzPolitz, Joe Gibbs Swarthmore CollegeUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Tõnis PoolPool, Tõnis ZeroTurnaround / University of Tartu TruffleReloader: A Low-Overhead Language-Neutral Reloader
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Abstract Data Types in Object-Capability Systems Committee Member in Program Committee within the ECOOP Research Track-track Committee Member in Program Committee within the FTfJP-track
Michael PradelPradel, Michael TU Darmstadt Language-Independent Fuzz Testing with Probabilistic, Generative Models Co-chair in Program Committee within the JSTools-track Committee Member in Program Committee within the ECOOP Research Track-track
Ron PresslerPressler, Ron Parallel UniverseIsrael Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us
R Hridesh RajanRajan, Hridesh Iowa State University, USAUnited States Committee Member in Program Committee within the IWACO-track
G. RamalingamRamalingam, G. Microsoft Research India Committee Member in Program Committee within the ECOOP Research Track-track
Emanuel RaveraRavera, Emanuel Universidad Tecnologica Nacional, Facultad Regional CordobaArgentina Optimizing JavaScript through Source Code Rewriting
Veselin RaychevRaychev, Veselin ETH ZurichBulgaria Committee Member in External Review Committee within the ECOOP Research Track-track
Henrique RebeloRebelo, Henrique Federal University of PernambucoBrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stefan ReichhartReichhart, Stefan Exemplifying Moldable Development.
Patrick ReinRein, Patrick Hasso Plattner Institute Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas (UFAL)Brazil Committee Member in Program Committee within the ECOOP Research Track-track
Julien Richard-FoyRichard-Foy, Julien Zengularity Using Object Algebras To Design Embedded Domain Specific Languages
Gregor RichardsRichards, Gregor University of Waterloo Committee Member in Poster Awards Committee within the ECOOP Posters-track
Manuel RiggerRigger, Manuel Johannes Kepler University, Linz, AustriaAustria Sulong - Execution of LLVM-Based Languages on the JVM Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Jan Oliver RingertRingert, Jan Oliver Tel Aviv UniversityGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Kelley RobinsonRobinson, Kelley Sharethrough Why The Free Monad isn't Free
Rodrigo RodriguesRodrigues, Rodrigo Instituto Superior Técnico, University of Lisboa & INESC-ID The Consistency Babel Committee Member in Program Committee within the PMLDC-track
Humberto Rodriguez AvilaRodriguez Avila, Humberto Vrije Universiteit Brussel Tierless Reactive Programming for Big Data
Tiark RompfRompf, Tiark Purdue & Oracle LabsUnited States Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Senior Mentors within the ECOOP Summer School-track
Andrea RosàRosà, Andrea Università della Svizzera italianaSwitzerland Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
Atanas RountevRountev, Atanas Ohio State University Committee Member in Program Committee within the ECOOP Research Track-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the VORTEX-track
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Committee Member in Program Committee within the ECOOP Research Track-track Committee Member in Program Committee within the STOP-track
Marko RöderRöder, Marko HARC / Y Combinator ResearchUnited States Language Hacking in a Live Programming Environment
S Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Program Committee within the PX-track Committee Member in Organizing Committee within the COP-track Chair in Program Committee within the COP-track
Vijay SaraswatSaraswat, Vijay Cognitive Computing, IBM TJ Watson Research Center Committee Member in External Review Committee within the ECOOP Research Track-track
Federica SarroSarro, Federica Department of Computer Science, University College London Committee Member in External Review Committee within the ECOOP Research Track-track
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit Brussel Committee Member in Program Committee within the ECOOP Research Track-track Committee Member in Program Committee within the ICOOOLPS-track
Tomohiro SasakiSasaki, Tomohiro Tohoku University SML# with typeful manipulation of JSON objects A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
Annabel SatinSatin, Annabel P.C.K.United Kingdom Treasurer & Conference Manager in Organizing Committee for ECOOP 2016
Alceste ScalasScalas, Alceste Imperial College London Lightweight session programming in Scala Lightweight Session Programming in Scala
Max SchaeferSchaefer, Max Semmle Fishing for JavaScript Bugs at the Shallow End QL: Object-oriented Queries on Relational Data
Alexander SchillSchill, Alexander Consistent Unanticipated Adaptation for Context-Dependent Applications
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden StaRVOOrS: A framework for static and runtime verification of data and control properties. Committee Member in Program Committee within the VORTEX-track
Bernhard ScholzScholz, Bernhard University of Sydney, Australia A Note on the Soundness of Difference Propagation
Christopher SchusterSchuster, Christopher University of California, Santa Cruz Live Programming by Example: Using Direct Manipulation for Live Program Synthesis Live Programming Environments for Reactive MVU Applications
Taro SekiyamaSekiyama, Taro Gradual Typing for Delimited Continuations
Koushik SenSen, Koushik University of California, Berkeley Cancelled: Monitoring JavaScript Programs with Jalangi Cancelled: Monitoring JavaScript Programs with Jalangi Trace Typing: An Approach for Evaluating Retrofitted Type Systems
Marco ServettoServetto, Marco Victoria University of Wellington Runtime checks as nominal types Coupling Catch Clauses with Local Declarations
Xipeng ShenShen, Xipeng NCSUUnited States Towards Ontology-Based Program Analysis Committee Member in External Review Committee within the ECOOP Research Track-track
Ali ShokerShoker, Ali HASLab/INESC TEC & University of Minho Integration Challenges of Pure Operation-based CRDTs in Redis Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition Committee Member in Program Committee within the PMLDC-track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States A Systematic Performance Evaluation of Gradually Typed Functions and References From Optional to Gradual Typing via Transient Checks Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language Gradual Type Systems Committee Member in Program Committee within the STOP-track
Christian SkalkaSkalka, Christian University of Vermont Committee Member in External Review Committee within the ECOOP Research Track-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in External Review Committee within the ECOOP Research Track-track
Scott F. SmithSmith, Scott F. The Johns Hopkins University Higher-Order Demand-Driven Program Analysis Higher-Order Demand-Driven Program Analysis
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Robert SouléSoulé, Robert Università della Svizzera italianaSwitzerland Committee Member in External Review Committee within the ECOOP Research Track-track
Michael SperberSperber, Michael Active Group GmbHGermany The Functional Programming Languages Nomad Committee Member in Senior Mentors within the ECOOP Summer School-track
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor Classes as Layers: Rewriting Design Patterns with COP
Thomas SpringerSpringer, Thomas Consistent Unanticipated Adaptation for Context-Dependent Applications
Johannes SpäthSpäth, Johannes Fraunhofer SIT Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Manu SridharanSridharan, Manu Samsung Research America Trace Typing: An Approach for Evaluating Retrofitted Type Systems Committee Member in Program Committee within the STOP-track
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-Lincoln Committee Member in Program Committee within the ECOOP Research Track-track
Friedrich SteimannSteimann, Friedrich Fernuniversität in Hagen Committee Member in External Review Committee within the ECOOP Research Track-track
Michael SteindorferSteindorfer, Michael CWI, Netherlands Co-chair in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Daniel StolpeStolpe, Daniel Towards Gaze Control in Programming Environments.
Fang-Hsiang SuSu, Fang-Hsiang Columbia UniversityUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Midori SugayaSugaya, Midori Shibaura Institute of Technology A Study of Simulation Framework based on Colored Petri Nets for Context-Oriented Technologies
Alexander J. SummersSummers, Alexander J. ETH ZurichUnited Kingdom Committee Member in Program Committee within the IWACO-track
Noriyuki SuzukiSuzuki, Noriyuki Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android
Janwillem SwalensSwalens, Janwillem Vrije Universiteit BrusselBelgium Transactional Tasks: Parallelism in Software Transactions Transactional Tasks: Parallelism in Software Transactions Transactional Tasks: Parallelism in Software Transactions
Aliaksei SyrelSyrel, Aliaksei University of Bern Exemplifying Moldable Development.
Paulo Sérgio AlmeidaSérgio Almeida, Paulo Integration Challenges of Pure Operation-based CRDTs in Redis Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition
Mario SüdholtSüdholt, Mario École des Mines de Nantes, France Committee Member in Program Committee within the COP-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Towards Gaze Control in Programming Environments. Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. Committee Member in Program Committee within the PX-track
Nguonly TaingTaing, Nguonly Consistent Unanticipated Adaptation for Context-Dependent Applications
Tian TanTan, Tian UNSW AustraliaChina Program Tailoring: Slicing by Sequential Criteria Program Tailoring: Slicing by Sequential Criteria
Ross TateTate, Ross Cornell UniversityUnited States Redesigning Type Systems for Industry OO
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Zach TellmanTellman, Zach Tracking the Elephants in the System
Peter ThiemannThiemann, Peter University of FreiburgGermany LJGS: Gradual Security Types for Object-Oriented Languages LJGS: Gradual Security Types for Object-Oriented Languages Committee Member in Program Committee within the STOP-track
Astrid ThomschkeThomschke, Astrid Towards Gaze Control in Programming Environments.
Bent ThomsenThomsen, Bent Aalborg University Committee Member in Program Committee within the FTfJP-track
John A. ThywissenThywissen, John A. The University of Texas at AustinUnited States Implicitly Distributing Pervasively Concurrent Programs
Matthias TichyTichy, Matthias Chalmers University of Technology Live Programming with Code Portals
Frank TipTip, Frank Samsung Research AmericaUnited States Trace Typing: An Approach for Evaluating Retrofitted Type Systems Committee Member in Poster Awards Committee within the ECOOP Posters-track
Ben L. TitzerTitzer, Ben L. Google Committee Member in External Review Committee within the ECOOP Research Track-track
Oksana TkachukTkachuk, Oksana NASA Ames Research Center Committee Member in Program Committee within the FTfJP-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Program Committee within the ICOOOLPS-track
Andrew TolmachTolmach, Andrew Portland State University Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
John TomanToman, John University of WashingtonUnited States Staccato: A Bug Finder for Dynamic Configuration Updates Staccato: A Bug-Finder for Dynamic Configuration Updates Staccato: A Bug Finder for Dynamic Configuration Updates
Emina TorlakTorlak, Emina University of WashingtonUnited States Synthesis and Verification for All (Junior DN Prize Lecture)
Emma ToschTosch, Emma University of Massachusetts Amherst Committee Member in External Review Committee within the ECOOP Research Track-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Virtual Machine Warm-up Blows Hot and Cold Making an Embedded DBMS JIT-friendly A JIT Compiler (almost) for Free Making an Embedded DBMS JIT-friendly Fine-grained Language Composition: A Case Study Fine-grained Language Composition: A Case Study Committee Member in Program Committee within the GRACE-track Committee Member in Senior Mentors within the ECOOP Summer School-track Committee Member in Speakers within the ECOOP Summer School-track
Phil TrinderTrinder, Phil University of Glasgow Committee Member in Program Committee within the PMLDC-track
Jaroslav TulachTulach, Jaroslav Oracle LabsCzech Republic Become a Polyglot by learning Java!
U Katsuhiro UenoUeno, Katsuhiro Tohoku University SML# with typeful manipulation of JSON objects A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
Tarmo UustaluUustalu, Tarmo Tallinn University of Technology Committee Member in Program Committee within the VORTEX-track
V Arthur ValadaresValadares, Arthur Building Distributed Applications with Data and Time Frames
José ValimValim, José Plataformatec Committee Member in Program Committee within the PMLDC-track
Tijs van der Stormvan der Storm, Tijs CWINetherlands Live Literals Rascal: the Swiss Army Knife of Meta Programming Committee Member in Program Committee within the LIVE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the GRACE-track
David Van HornVan Horn, David University of Maryland Committee Member in Program Committee within the ECOOP Research Track-track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Committee Member in Program Committee within the PMLDC-track
Eric Van WykVan Wyk, Eric University of MinnesotaUnited States Committee Member in External Review Committee within the ECOOP Research Track-track
Mandana VaziriVaziri, Mandana IBM Thomas J. Watson Research Center Committee Member in Program Committee within the ECOOP Research Track-track
Vlad VerguVergu, Vlad TU Delft Grace in Spoofax: Readable Specification and Implementation in One
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the COP-track
Mirko ViroliViroli, Mirko Towards Aggregate Programming in Scala
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Grace in Spoofax: Readable Specification and Implementation in One Towards Live Language Development Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Committee Member in Program Committee within the GRACE-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Comfy Chair in Organizing Committee for ECOOP 2016 Committee Member in Organizing Committee for CurryOn 2016 Session Chair of Lecture 2a (part of ECOOP Summer School) Session Chair of Lecture 4b (part of ECOOP Summer School) Session Chair of Lecture 1 (part of ECOOP Summer School) Session Chair of Lecture 5a (part of ECOOP Summer School) Session Chair of Lecture 5b (part of ECOOP Summer School) Session Chair of Lecture 3 (part of ECOOP Summer School) Session Chair of Welcome Session (part of ECOOP Summer School) Session Chair of Lecture 2b (part of ECOOP Summer School) Session Chair of Lecture 4a (part of ECOOP Summer School) Gradual types for real-world objects Curry On opening remarks Experimental Evaluation of Programming Systems My twenty-five years of ECOOP Committee Member in Program Committee within the STOP-track Committee Member in Program Committee within the GRACE-track Committee Member in Senior Mentors within the ECOOP Summer School-track Comfy Chair in Organizing Committee within the ECOOP Summer School-track
Michael VitousekVitousek, Michael From Optional to Gradual Typing via Transient Checks
Vesal VojdaniVojdani, Vesal University of Tartu TruffleReloader: A Low-Overhead Language-Neutral Reloader
W Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States A Calculus for Variational Programming
Larry WallWall, Larry It's the End of the World as We Know It, and I Feel Fine
Chenglong WangWang, Chenglong University of WashingtonUnited States Transforming programs between APIs with Many-to-Many Mappings
Frank WangWang, Frank MIT CSAIL Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds
Alessandro WarthWarth, Alessandro HARC / Y Combinator ResearchUnited States Towards Making a Computer Tutor for Children of All Ages - A Memo. Language Hacking in a Live Programming Environment Leveraging live programming in the classroom — an experience report Live end-user programming: a demo/manifesto Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX-track
Harumi WatanabeWatanabe, Harumi Tokai University A Study of Simulation Framework based on Colored Petri Nets for Context-Oriented Technologies
Oskar WickströmWickström, Oskar None (this is a free time project) Oden - A Functional Programming Language for the Go Ecosystem
Kolja WilckeWilcke, Kolja Zalando Creating a Fun Game with Elm
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations Kappa: Insights, Current Status and Future Work Reference Capabilities for Concurrency Control Reference Capabilities for Concurrency Control Committee Member in Program Committee within the ECOOP Research Track-track Committee Member in Program Committee within the IWACO-track
Markus WutzlerWutzler, Markus Consistent Unanticipated Adaptation for Context-Dependent Applications
X Tao XieXie, Tao University of Illinois at Urbana-Champaign Committee Member in External Review Committee within the ECOOP Research Track-track
Yingfei XiongXiong, Yingfei Peking University Transforming programs between APIs with Many-to-Many Mappings
Harry XuXu, Harry University of California, IrvineUnited States Committee Member in Program Committee within the ECOOP Research Track-track
Shijie XuXu, Shijie University of New Brunswick MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
Jingling XueXue, Jingling UNSW Australia Program Tailoring: Slicing by Sequential Criteria Program Tailoring: Slicing by Sequential Criteria
Y Hongseok YangYang, Hongseok University of Oxford Committee Member in Program Committee within the PMLDC-track
Ming-Ho YeeYee, Ming-Ho University of Waterloo Flix and its Implementation: A Language for Static Analysis
Nobuko YoshidaYoshida, Nobuko Imperial College London, UK Lightweight session programming in Scala Lightweight Session Programming in Scala
Georges YounesYounes, Georges Integration Challenges of Pure Operation-based CRDTs in Redis
Yuan YuYu, Yuan Distributed Iterative Computation in TensorFlow
Z Francesco Zappa NardelliZappa Nardelli, Francesco InriaItaly Committee Member in External Review Committee within the ECOOP Research Track-track
Nosheen ZazaZaza, Nosheen Università della Svizzera italianaSwitzerland Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
Charles ZhangZhang, Charles HKUSTHong Kong Committee Member in External Review Committee within the ECOOP Research Track-track
Lu ZhangZhang, Lu Peking University Transforming programs between APIs with Many-to-Many Mappings
Yifei ZhangZhang, Yifei UNSW Australia Program Tailoring: Slicing by Sequential Criteria Program Tailoring: Slicing by Sequential Criteria
Yue ZhaoZhao, Yue NCSUUnited States Towards Ontology-Based Program Analysis
Adam ZiolkowskiZiolkowski, Adam University of East AngliaUnited Kingdom Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Coordinated Reuse and Deployment for Scientific Software Prototypes with D-UEA-ST
Elena ZuccaZucca, Elena University of Genova Runtime checks as nominal types Towards a Model of Corecursion with Default Coupling Catch Clauses with Local Declarations

ECOOP 2016 Contributors

Results (448)

Tracks

Co-hosted Conferences

Workshops