ECOOP 2015 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (438)

A Yaser AfsharAfshar, Yaser Towards a Next-Generation Parallel Particle-Mesh Language
Reza AhmadiAhmadi, Reza University of TampereIran Automatic Verification of Dafny Programs with Traits
Amal AhmedAhmed, Amal Northeastern UniversityUnited States Committee Member in Program Committee within the STOP-track
Mehmet AksitAksit, Mehmet University of Twente Trace-based Debugging for Advanced-Dispatching Programming Languages
JJ AlaireAlaire, JJ R StudioUnited States Committee Member in Program Committee within the RIOT-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Session Chair of Empirical Studies (part of ECOOP Research Track) Panel Discussion: Language Composition Delegation vs Inheritance for Typestate Analysis Tales from Dissertationland and the Job Hunt A Theory of Tagged Objects A Theory of Tagged Objects Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track
Jade AlglaveAlglave, Jade University College LondonFrance Herding Weak Memory Cats
Karim AliAli, Karim Technical University at Darmstadt, Germany Egypt Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Saba AlimadadiAlimadadi, Saba University of British Columbia Visualizing the interactions of client and server JS code Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Miltiadis AllamanisAllamanis, Miltiadis University of Edinburgh Inferring Coding Conventions with Machine Learning
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana University Towards Absolutely Efficient Gradually Typed Languages
Davide AnconaAncona, Davide University of Genova Session Chair of Abstraction (part of ECOOP Research Track) A three-valued type system for true positives detection in Java-like languages
Leif AndersenAndersen, Leif PLT @ Northeastern UniversityUnited States Feature Specific Profiling in the R Language
Truong Anh HoangAnh Hoang, Truong Vietnam National UniversityVietnam Committee Member in Program committee within the FTfJP-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan Method Safety Mechanism for Asynchronous Layer Deactivation Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation Committee Member in Program Committee within the COP-track
Molham ArefAref, Molham Logicblox Problems and opportunities – Statistical modeling in (declarative) PLs Declarative Probabilistic Programming Committee Member in Program committee within the ML4PL-track
Julian ArniArni, Julian ZaloraGermany Servant: a type-level DSL for web APIs
Thomas ArtsArts, Thomas Quviq QuickCheck: from invention to product
Gabriela ArévaloArévalo, Gabriela DCyT - Universidad Nacional de QuilmesArgentina Programme Committee in Committee within the MASPEGHI-track
B Emilie BallandBalland, Emilie INRIAFrance Committee Member in Program Committee within the DSLDI-track
Hitesh BallaniBallani, Hitesh Microsoft Research, UKIndia Enabling End Host Network Functions Speaker in Invited Speakers within the NetPL-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University Committee Member in Programme Committee within the ECOOP Research Track-track
Sebastian BanescuBanescu, Sebastian Technical University of Munich Short Paper: The Meaning of Attack-Resistant Systems
Yuyan BaoBao, Yuyan University of Central Florida Conditional Effects in Fine-grained Region Logic
Earl T. BarrBarr, Earl T. University College London Inferring Coding Conventions with Machine Learning
Pavel BašteckýBaštecký, Pavel Charles University in Prague Framework for Static Analysis of PHP Applications
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Man vs. Machine: Challenges of Integrating Programming Languages and People Committee Member in Program committee within the ML4PL-track
Alex BertramBertram, Alex BedatadrivenUnited States R as a Query Language Committee Member in Program Committee within the RIOT-track
Jeff BezansonBezanson, Jeff MITUnited States Julia: Numerical Applications Pushing the Limits of Language Design
Abhilash BhandariBhandari, Abhilash IIT MadrasIndia Loop tiling in the presence of exceptions
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece jUCM: Universal Class Morphing Streams a la carte: Extensible Pipelines with Object Algebras Streams a la carte: Extensible Pipelines with Object Algebras
Walter BinderBinder, Walter University of Lugano Session Chair of Parallelism (part of ECOOP Research Track) Committee Member in Programme Committee within the ECOOP Research Track-track
Christian BirdBird, Christian Microsoft Research Inferring Coding Conventions with Machine Learning
Andrew BlackBlack, Andrew Portland State UniversityUnited States The Expression Problem, Gracefully General Chair in Committee within the MASPEGHI-track
Sebastian BlessingBlessing, Sebastian Causality Ownership and Reference Counting based Garbage Collection in the Actor World Pony: making it easy to write efficient, concurrent, data-race free programs
Stefan BlomBlom, Stefan University of Twente, The Netherlands Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christoph BockischBockisch, Christoph University of Twente Trace-based Debugging for Advanced-Dispatching Programming Languages Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
Eric BoddenBodden, Eric Fraunhofer SIT and TU Darmstadt Committee Member in Programme Committee within the ECOOP Research Track-track
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich King's College London Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT SQPyte: JITing a DBMS Committee Member in Program Committee within the ICOOOLPS-track Chair in Program Committee within the COP-track
Daniele BonettaBonetta, Daniele Oracle Labs Techniques and Applications for Guest-Language Safepoints
Viviana BonoBono, Viviana University of Torino Committee Member in Programme Committee within the ECOOP Research Track-track
Ary BorenszweigBorenszweig, Ary ManasArgentina Crystal: a programming language for humans and computers
James BornholtBornholt, James University of Washington Scaling Program Synthesis by Exploiting Existing Code
Dragan BosnackiBosnacki, Dragan Eindhoven University of Technology, The Netherlands Modular Termination Verification
Pontus BoströmBoström, Pontus Abo Akademi University Modular Verification of Finite Blocking in Non-terminating Programs
John BoylandBoyland, John University of Wisconsin, Milwaukee Session Chair of DN Junior: Summers (part of ECOOP Research Track) Session Chair of Gradual Typing (part of ECOOP Research Track) Program Chair in Programme Committee within the ECOOP Research Track-track
Claus BrabrandBrabrand, Claus IT University of Copenhagen, Denmark Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Gilad BrachaBracha, Gilad GoogleIsrael Combining Inheritance and Modularity Types for an Untyped World Programs Wanted: Dead or Alive
Martin BravenboerBravenboer, Martin LogicBloxUnited States Committee Member in Program Committee within the DSLDI-track
Oliver BračevacBračevac, Oliver TU DarmstadtGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
David BremnerBremner, David University of New Brunswick METIS: A Smart Memory Allocator Using Historical Reclamation Information
Andrey BreslavBreslav, Andrey JetBrainsRussia Kotlin: Challenges in language design
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Programme Committee within the ECOOP Research Track-track
Marc BrockschmidtBrockschmidt, Marc Microsoft Research Learning to Decipher the Heap
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Objects (part of ECOOP Research Track) Graceful Programming --- Teaching Introductory Programming Programme Committee in Committee within the MASPEGHI-track
Pablo BuirasBuiras, Pablo Chalmers University of Technology Dynamic Enforcement of Dynamic Policies
Lubomír BulejBulej, Lubomír Charles UniversityCzechia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
C Joana CamposCampos, Joana Lasige / Faculty of Sciences, Universidade de Lisboa Imperative Objects with Dependent Types
Marco CaniniCanini, Marco Université catholique de Louvain Session Chair of Welcome (part of NetPL) Welcome Co-chair in Program Committee within the NetPL-track
Jian CaoCao, Jian Shanghai Jiao Tong University Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Antonio CaponeCapone, Antonio Politecnico di MilanoItaly From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane Speaker in Invited Speakers within the NetPL-track
Nicolás CardozoCardozo, Nicolás Trinity College Dublin, Ireland Context Slices: A lightweight discovery module for adaptations Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the COP-track
Jeronimo CastrillonCastrillon, Jeronimo Technische Universität Dresden Towards a Next-Generation Parallel Particle-Mesh Language
Paolina CentonzeCentonze, Paolina Iona CollegeItaly Access-rights Analysis in the Presence of Subjects
Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia Program Synthesis for Network Updates Speaker in Invited Speakers within the NetPL-track
Hassan ChafiChafi, Hassan Oracle Labs DSLs for Graph Algorithms and Graph Pattern Matching Committee Member in Program Committee within the DSLDI-track
Satish ChandraChandra, Satish Samsung Research AmericaIndia JavaScript in the Small Speaker in Speakers within the STOP-track
Avik ChaudhuriChaudhuri, Avik FacebookUnited States Flow: a static type checker for JavaScript Speaker in Speakers within the STOP-track Committee Member in Program Committee within the STOP-track
Yuting ChenChen, Yuting Shanghai Jiao Tong University Trace-based Debugging for Advanced-Dispatching Programming Languages
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Fernando ChirigatiChirigati, Fernando NYU Polytechnic School of Engineering, USABrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jong-Deok ChoiChoi, Jong-Deok Samsung ElectronicsKorea, South Programming in the Large for the Internet of Things
Stephen ChongChong, Stephen Harvard University Committee Member in Program Committee within the PLAS-track
David Thrane ChristiansenChristiansen, David Thrane IT University of Copenhagen, DenmarkDenmark Coding for Types: The Universe Pattern in Idris
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the STOP-track
Benjamin ChungChung, Benjamin Carnegie Mellon University A Theory of Tagged Objects
Dave ClarkeClarke, Dave Uppsala University, Sweden and KU Leuven, BelgiumAustralia Committee Member in Program committee within the FTfJP-track Committee Member in Programme Committee within the ECOOP Research Track-track
Siobhán ClarkeClarke, Siobhán Trinity College Dublin, Ireland Context Slices: A lightweight discovery module for adaptations
Michael ClarksonClarkson, Michael Cornell UniversityUnited States Session Chair of Welcome (part of PLAS) Co-chair in Program Committee within the PLAS-track
Sylvan ClebschClebsch, Sylvan Imperial College London Ownership and Reference Counting based Garbage Collection in the Actor World Pony: making it easy to write efficient, concurrent, data-race free programs
Cliff ClickClick, Cliff 0xdataUnited States Bits of Advice for VM Writers
William CookCook, William UT Austin Committee Member in Program Committee within the DSLDI-track
Emilio CoppaCoppa, Emilio Sapienza University of Rome, Italy Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin CosmanCosman, Benjamin University of California, San Diego Trust, but Verify: Two-Phase Typing for Dynamic Languages
Ryan CulpepperCulpepper, Ryan Northeastern University Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
Evan CzaplickiCzaplicki, Evan Let's be mainstream! User-focused design in Elm
D Benoit DalozeDaloze, Benoit Johannes Kepler UniversityBelgium Techniques and Applications for Guest-Language Safepoints
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Earl DeanDean, Earl Indiana University Towards Practical Gradual Typing
Camil DemetrescuDemetrescu, Camil Sapienza University of Rome, ItalyItaly Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
John DerrickDerrick, John University of Sheffield Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Werner DietlDietl, Werner University of Waterloo Session Chair of Analysis I (part of ECOOP Research Track) Committee Member in Steering Committee within the FTfJP-track Committee Member in Programme Committee within the ECOOP Research Track-track
Danny DigDig, Danny Oregon State University Committee Member in Programme Committee within the ECOOP Research Track-track
Xenofontas DimitropoulosDimitropoulos, Xenofontas University of Crete & FORTHGreece Policy-Compliant Path Diversity and Bisection Bandwidth Speaker in Invited Speakers within the NetPL-track
Aleksandar S. DimovskiDimovski, Aleksandar S. IT University of Copenhagen, Denmark Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Tim DisneyDisney, Tim Contracts for Async Patterns in JavaScript
Colin DixonDixon, Colin BrocadeUnited States The State of (Open Source) SDN and Programming Languages Opportunities Speaker in Invited Speakers within the NetPL-track
Julian DolbyDolby, Julian IBM ResearchUnited States Session Chair of Day Opening (part of JSTools) Session Chair of Day Closing (part of JSTools) Session Chair of Practical Analysis (part of JSTools) Co-chair in Program Committee within the JSTools-track
Brijesh DongolDongol, Brijesh Brunel University Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Liang DouDou, Liang East China Normal University PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonGreece Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World Ownership and Reference Counting based Garbage Collection in the Actor World Pony: making it easy to write efficient, concurrent, data-race free programs Committee Member in Steering Committee within the FTfJP-track
Stéphane DucasseDucasse, Stéphane INRIA Lille Workshops Co-Chair in Organizing Committee for ECOOP 2015 Welcome + Presentation Coding Example Committee Member in Organizers within the ECOOP Workshops-track
Roland DucournauDucournau, Roland LIRMM, Université de Montpellier Preexistence revisited
Gerhard DueckDueck, Gerhard University of New Brunswick METIS: A Smart Memory Allocator Using Historical Reclamation Information
E Lee EdlefsenEdlefsen, Lee MicrosoftUnited States Committee Member in Program Committee within the RIOT-track
Brendan EichEich, Brendan United States JS @ 20
Anton EppleEpple, Anton NetbeansGermany Java everywhere again - with DukeScript!
Sebastian ErdwegErdweg, Sebastian TU Darmstadt Session Chair of Welcome (part of DSLDI) Panel Discussion: Language Composition Introduction Program Chair in Program Committee within the DSLDI-track
Erik ErnstErnst, Erik GoogleDenmark Session Chair of DN Senior: Stroustrup (part of ECOOP Research Track) Organizing Committee in Committee within the MASPEGHI-track
Gidon ErnstErnst, Gidon Augsburg University Conditional Effects in Fine-grained Region Logic
F Lu FangFang, Lu PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Marc FeeleyFeeley, Marc Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints Short Paper: Call-target-specific Method Arguments Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT
Matthias FelleisenFelleisen, Matthias Northeastern UniversityGermany Types for an Untyped World Position Paper: Performance Evaluation for Gradual Typing Towards Practical Gradual Typing
Daniel FelteyFeltey, Daniel Northeastern University Position Paper: Performance Evaluation for Gradual Typing Towards Practical Gradual Typing
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRS, Paris, FranceFrance Committee Member in Program committee within the FTfJP-track
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs Towards Practical Gradual Typing
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly Committee Member in Programme Committee within the ECOOP Research Track-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Using topic models to understand programming languages literature Committee Member in Program committee within the ML4PL-track
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Contracts for Async Patterns in JavaScript A Light-Weight Effect System for JavaScript
Matthew FlattFlatt, Matthew University of Utah Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs Panel Discussion: Language Composition Towards Practical Gradual Typing Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Spencer P. FlorenceFlorence, Spencer P. Northwestern University Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
George FourtounisFourtounis, George University of Athens jUCM: Universal Class Morphing Foo: A minimal Modern OO Calculus Streams a la carte: Extensible Pipelines with Object Algebras Streams a la carte: Extensible Pipelines with Object Algebras
Juliana FrancoFranco, Juliana Imperial College London Ownership and Reference Counting based Garbage Collection in the Actor World
Björn FrankeFranke, Björn University of EdinburghGermany Committee Member in Program committee within the ML4PL-track
Federico FrassettoFrassetto, Federico A three-valued type system for true positives detection in Java-like languages
Daniel FriedmanFriedman, Daniel Indiana UniversityUnited States How to be a good host: miniKanren as a case study
Juan FumeroFumero, Juan University of EdinburghSpain Enabling Heterogeneous Computing in Java with Graal
Manuel FähndrichFähndrich, Manuel Google Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
G Vijay GaneshGanesh, Vijay University of Waterloo Short Paper: The Meaning of Attack-Resistant Systems
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Program Committee within the STOP-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Modern Concurrent Separation Logics
Manuel GeffkenGeffken, Manuel University of Freiburg Transparent Object Proxies in JavaScript
Prodromos GerakiosGerakios, Prodromos National Technical University of Athens Foo: A minimal Modern OO Calculus
Rohit GheyiGheyi, Rohit UFCG, Brazil The Love/Hate Relationship with the C Preprocessor: An Interview Study The Love/Hate Relationship with the C Preprocessor: An Interview Study
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Robert GodinGodin, Robert Université du Québec à MontréalCanada Programme Committee in Committee within the MASPEGHI-track
Valentine GogichashviliGogichashvili, Valentine ZalandoGermany Scaling SQL Databases Beyond Limits with PostgreSQL
Léon GondelmanGondelman, Léon LRI, Université Paris-Sud Why3
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom Bimodal Modelling of Source Code and Natural Language Empowering Spreadsheet Users with Probabilistic Programs Committee Member in Program committee within the ML4PL-track
Ben GreenmanGreenman, Ben Northeastern University Position Paper: Performance Evaluation for Gradual Typing
Robert GrimmGrimm, Robert Goldman SachsGermany Nimble yet Systematic Trading
Matthias GrimmerGrimmer, Matthias Johannes Kepler University LinzAustria Memory-safe Execution of C on a Java VM One VM to Rule Them All And With Interoperability Bind Them
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Sumit GulwaniGulwani, Sumit Microsoft ResearchIndia Data Manipulation using Programming By Examples and Natural Language
Qi GuoGuo, Qi Carnegie Mellon University METIS: A Smart Memory Allocator Using Historical Reclamation Information
Shu-yu GuoGuo, Shu-yu Mozilla Corporation Session Chair of Day Opening (part of JSTools) Session Chair of Day Closing (part of JSTools) Optimization Coaching for JavaScript Optimization Coaching for JavaScript Co-chair in Program Committee within the JSTools-track
Sankha Narayan GuriaGuria, Sankha Narayan Indian Institute of Technology Jodhpur Transparent Object Proxies in JavaScript
H David H. LorenzH. Lorenz, David Open University and Technion IIT Committee Member in Program Committee within the COP-track
Jurriaan HageHage, Jurriaan Utrecht UniversityNetherlands Making Embedded Domain Specific Languages a Practical Reality
Christian HammerHammer, Christian Saarland University Session Chair of Implementation (part of ECOOP Research Track) Session Chair of Day Opening (part of JSTools) Session Chair of Day Closing (part of JSTools) Session Chair of Theory (part of JSTools) Committee Member in Programme Committee within the ECOOP Research Track-track Co-chair in Program Committee within the JSTools-track Committee Member in Program Committee within the PLAS-track
Matthew HammerHammer, Matthew University of Maryland, College ParkUnited States Committee Member in Program Committee within the PLAS-track
Riyaz HaqueHaque, Riyaz University of California, Los Angeles (UCLA)United States Type Inference for Place-Oblivious Objects
Michael HauptHaupt, Michael Oracle LabsGermany Committee Member in Program Committee within the RIOT-track
David HauzarHauzar, David Charles University in Prague Framework for Static Analysis of PHP Applications Framework for Static Analysis of PHP Applications
Marijn HaverbekeHaverbeke, Marijn Germany Tern: Practical Type Inference for JavaScript Editing
Jason HemannHemann, Jason Indiana UniversityUnited States How to be a good host: miniKanren as a case study
Robert HirschfeldHirschfeld, Robert HPIGermany Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints Efficient Layered Method Execution in ContextAmber Short Paper: Call-target-specific Method Arguments Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT Committee Member in Program Committee within the COP-track
Martin HirzelHirzel, Martin IBM Research A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Committee Member in Programme Committee within the ECOOP Research Track-track
Kenji HisazumiHisazumi, Kenji Kyushu UniversityJapan A Study of Context-Oriented Programming for Applying to Robot Development
Martin HitzHitz, Martin Alpen-Adria-Universität KlagenfurtAustria Programme Committee in Committee within the MASPEGHI-track
Michael HomerHomer, Michael Victoria University of Wellington Brand Objects for Nominal Typing Brand Objects for Nominal Typing
Sungpack HongHong, Sungpack Oracle Labs DSLs for Graph Algorithms and Graph Pattern Matching
Cătălin HriţcuHriţcu, Cătălin INRIA ParisFrance Micro-Policies: Formally Verified, Tag-Based Security Monitors
Marianne HuchardHuchard, Marianne LIRMMFrance Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures Organizing Committe in Committee within the MASPEGHI-track
Marieke HuismanHuisman, Marieke University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML Verification of Concurrent Software: Java and OpenCL Committee Member in Program committee within the FTfJP-track Committee Member in Programme Committee within the ECOOP Research Track-track
Christian HumerHumer, Christian Oracle Labs Truffle Trade-offs, Concepts and Experiences
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Committee Member in Program committee within the FTfJP-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Method Safety Mechanism for Asynchronous Layer Deactivation Committee Member in Program committee within the FTfJP-track Committee Member in Program Committee within the COP-track
Alexander IlievIliev, Alexander Goldman SachsBulgaria GS Collections: Echoes of Smalltalk’s Past
Shams ImamImam, Shams Rice UniversityBangladesh The Eureka Programming Model for Speculative Task Parallelism The Eureka Programming Model for Speculative Task Parallelism
Pietro IncardonaIncardona, Pietro Max Planck Institute of Molecular Cell Biology and Genetics Dresden Towards a Next-Generation Parallel Particle-Mesh Language
Cezar IonescuIonescu, Cezar Chalmers University of Technology DSLs of Mathematics, Theorems and Translations
J Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium Provably Live Exception Handling Modular Termination Verification
Suresh JagannathanJagannathan, Suresh DARPAUnited States PPAML: Probabilistic Programming Advancing Machine Learning Taming Uncertainty, Scale, and Change: A Programming Language Perspective Cooking the Books: Formalizing JMM Implementation Recipes Committee Member in Program committee within the ML4PL-track
Patrik JanssonJansson, Patrik Chalmers University of Technology DSLs of Mathematics, Theorems and Translations
Ranjit JhalaJhala, Ranjit University of California, San Diego Trust, but Verify: Two-Phase Typing for Dynamic Languages
Limin JiaJia, Limin Carnegie Mellon UniversityChina Session Chair of Welcome (part of PLAS) Co-chair in Program Committee within the PLAS-track
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the RIOT-track
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Formation of next year's committee Welcome Brand Objects for Nominal Typing Brand Objects for Nominal Typing Chair in Program Committee within the ECOOP Doctoral Symposium-track
Mick JordanJordan, Mick Oracle LabsUnited States Committee Member in Program Committee within the RIOT-track
Vojin JovanovicJovanovic, Vojin EPFL Dynamic Compilation of DSLs
Eric JulJul, Eric Alcatel-Lucent Bell LabsDenmark Committee Member in Program Committee within the ICOOOLPS-track
K Raghavendra KagalavadiKagalavadi, Raghavendra Oracle Labs, Australia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tomas KaliberaKalibera, Tomas Northeastern University General Co-Chair in Organizing Committee for ECOOP 2015 Detecting Memory Protection Errors in GNU-R using Static Checking Committee Member in Program Committee within the RIOT-track Committee Member in Program Committee within the ECOOP Posters-track
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Method Safety Mechanism for Asynchronous Layer Deactivation Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation Committee Member in Program Committee within the COP-track
Jorne KandzioraKandziora, Jorne University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
Gerti KappelKappel, Gerti Technical University of ViennaAustria Programme Committee in Committee within the MASPEGHI-track
Sven KarolKarol, Sven Technische Universität Dresden Towards a Next-Generation Parallel Particle-Mesh Language
Stefan KarpinskiKarpinski, Stefan MITUnited States Julia: Numerical Applications Pushing the Limits of Language Design
Matthias KeilKeil, Matthias University of FreiburgGermany TreatJS: Higher-Order Contracts for JavaScripts Transparent Object Proxies in JavaScript Transparent Object Proxies in JavaScript TreatJS: Higher-Order Contracts for JavaScripts
Stephen KellKell, Stephen University of Cambridge Complementary Directions for Truffle Languages and Liballocs
Andrew KentKent, Andrew Indiana UniversityUnited States Adding Practical Dependent Types to Typed Racket
Vladimir KlebanovKlebanov, Vladimir Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
Felix KlockKlock, Felix Mozilla CorporationUnited States Rust: A Type System You Didn't Know You Wanted
Johannes KloosKloos, Johannes MPI-SWS Asynchronous Liquid Separation Types
Jan KofroňKofroň, Jan Charles University in Prague Framework for Static Analysis of PHP Applications Framework for Static Analysis of PHP Applications
Pavel KordikKordik, Pavel Czech Technical University in Prague General Co-Chair in Organizing Committee for ECOOP 2015 Machine learning for predictive modeling and recommender systems automation Committee Member in Program committee within the ML4PL-track Committee Member in Program Committee within the ECOOP Posters-track
Christos KotselidisKotselidis, Christos Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research
Helena KotthausKotthaus, Helena TU DortmundGermany Distributed Performance Analysis for R Committee Member in Program Committee within the RIOT-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Loop tiling in the presence of exceptions
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityIndia Programming and Verifying Today's and Tomorrow's Networks Static and Dynamic Reasoning for SDNs The Evolving Design of Pyret The story of Arjun Guha, or: The arc of a research project Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track Speaker in Invited Speakers within the NetPL-track Committee Member in Program Committee within the DSLDI-track
Stein KrogdahlKrogdahl, Stein University of OsloNorway Program Co-Chair in Committee within the MASPEGHI-track
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana University Towards Absolutely Efficient Gradually Typed Languages
Roland KuhnKuhn, Roland TypesafeGermany Akka Typed: Between Session Types and the Actor Model
Ruurd KuiperKuiper, Ruurd Eindhoven University of Technology, The Netherlands Modular Termination Verification
Prasad KulkarniKulkarni, Prasad University of KansasIndia Chair in Organization within the ML4PL-track Chair in Program committee within the ML4PL-track
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States The Love/Hate Relationship with the C Preprocessor: An Interview Study The Love/Hate Relationship with the C Preprocessor: An Interview Study
L Julia LawallLawall, Julia Inria/LIP6/UPMC/Sorbonne UniversityUnited States Coccinelle for the Working Programmer
Frédéric Le MouëlLe Mouël, Frédéric INSA Lyon Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Gary T. LeavensLeavens, Gary T. Central Florida UniversityUnited States Conditional Effects in Fine-grained Region Logic Committee Member in Steering Committee within the FTfJP-track
Joseph LeeLee, Joseph Carnegie Mellon University A Theory of Tagged Objects A Theory of Tagged Objects
Stefan LehmannLehmann, Stefan Hasso-Plattner-Institute, Potsdam Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints
Jukka LehtosaloLehtosalo, Jukka Dropbox Retrofitting static typing to Python MyPy, an Optionally-Typed Python Speaker in Speakers within the STOP-track
Daan LeijenLeijen, Daan Microsoft Research Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
K. Rustan M. LeinoLeino, K. Rustan M. Microsoft Research Automatic Verification of Dafny Programs with Traits Committee Member in Steering Committee within the FTfJP-track
Max LeuthäuserLeuthäuser, Max Technische Universität Dresden SCROLL - A Scala-based library for Roles at Runtime
Ondřej LhotákLhoták, Ondřej University of Waterloo Publicity Chair in Organizing Committee for ECOOP 2015
Du LiLi, Du Carnegie Mellon University Delegation vs Inheritance for Typestate Analysis Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sihan LiLi, Sihan University of Illinois at Urbana-ChampaignChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Xuandong LiLi, Xuandong Nanjing University Committee Member in Programme Committee within the ECOOP Research Track-track
Ziyi LinLin, Ziyi Shanghai Jiao Tong University Trace-based Debugging for Advanced-Dispatching Programming Languages
Jens LinckeLincke, Jens Hasso Plattner InstituteGermany Efficient Layered Method Execution in ContextAmber Keynote: ContextJS and Lively Kernel: Safely Evolving a Self-supporting Development Environment with COP Committee Member in Program Committee within the COP-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Happy Graduate School Years Intensional Effect Polymorphism Invited Guest in Academic Panel within the ECOOP Doctoral Symposium-track
Francesco LogozzoLogozzo, Francesco Facebook Session Chair of Analysis II (part of ECOOP Research Track) Committee Member in Programme Committee within the ECOOP Research Track-track
Yannick LoiseauLoiseau, Yannick Blaise Pascale University , Aubière Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Yuheng LongLong, Yuheng Iowa State UniversityChina Intensional Effect Polymorphism
Yi LuLu, Yi Oracle LabsAustralia Committee Member in Programme Committee within the ECOOP Research Track-track
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge Immutable Distributed Infrastructure with Unikernels Speaker in Invited Speakers within the NetPL-track
Matteo MaffeiMaffei, Matteo Saarland UniversityGermany Committee Member in Program Committee within the PLAS-track
Baptiste MaingretMaingret, Baptiste INSA Lyon Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Petr MajMaj, Petr ReactorLabs Housing Chair in Organizing Committee for ECOOP 2015 Committee Member in Program Committee within the RIOT-track Chair in Program Committee within the ECOOP Posters-track
Rupak MajumdarMajumdar, Rupak MPI-SWS Asynchronous Liquid Separation Types
Dmitri MakarovMakarov, Dmitri University of LuganoRussia Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Somayeh MalakutiMalakuti, Somayeh Technical University of Dresden Committee Member in Program Committee within the COP-track
Stefan MarrMarr, Stefan Inria, France Which Meta-Compilation Approach is Better for Self-Optimizing Interpreters: Tracing or Partial Evaluation? Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Method Safety Mechanism for Asynchronous Layer Deactivation Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation Committee Member in Program Committee within the COP-track
Philip MayerMayer, Philip Ludwig Maximilians University MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stephen McCamantMcCamant, Stephen University of MinnesotaUnited States Committee Member in Program Committee within the PLAS-track
Tyler McMullenMcMullen, Tyler FastlyUnited States It Probably Works
Flavio MedeirosMedeiros, Flavio Federal University of Campina GrandeBrazil The Love/Hate Relationship with the C Preprocessor: An Interview Study The Love/Hate Relationship with the C Preprocessor: An Interview Study
Darya MelicherMelicher, Darya Carnegie Mellon University Webmaster in Organizing Committee for ECOOP 2015 SQPyte: JITing a DBMS
Ali MesbahMesbah, Ali University of British Columbia Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Bertrand MeyerMeyer, Bertrand ETH Zurich, Innopolis University and Eiffel SoftwareFrance The Prague List: Open Problems in Object-Oriented Programming
Alysson MilanezMilanez, Alysson UFCG, Brazil Analyzing Nonconformances in Contract-Based Programs
Karl MillarMillar, Karl GoogleUnited States The CXXR project: Status and Future Committee Member in Program Committee within the RIOT-track
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Sponsorship Chair in Organizing Committee for ECOOP 2015 Programme Committee in Programme Committee within the PLE-track Committee Member in Program Committee within the DSLDI-track
Mark MillerMiller, Mark Google Inc. Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in Programme Committee within the ECOOP Research Track-track
John C. MitchellMitchell, John C. Stanford UniversityUnited States Committee Member in Program Committee within the PLAS-track
Rosemary MonahanMonahan, Rosemary Maynooth UniversityIreland Session Chair of Closing (part of FTfJP) Session Chair of Session 3 (part of FTfJP) Session Chair of Welcome (part of FTfJP) Session Chair of Invited Talk (part of FTfJP) Session Chair of Tool Demonstration 2 (part of FTfJP) Session Chair of Tool Demonstration 1 (part of FTfJP) Session Chair of Session 1 (part of FTfJP) Session Chair of Session 2 (part of FTfJP) Chair in Program committee within the FTfJP-track
Floreal MorandatMorandat, Floreal Enseirb-MatmecaFrance Chair in Program Committee within the ICOOOLPS-track
Kristýna MothejzíkováMothejzíková, Kristýna FreelancerCzechia Graphic Artist in Organizing Committee for ECOOP 2015
Sarah MountMount, Sarah University of WolverhamptonUnited Kingdom Programme Committee in Programme Committee within the PLE-track
Toby MurrayMurray, Toby NICTA and UNSW Short Paper: On High-Assurance Information-Flow-Secure Programming Languages Committee Member in Program Committee within the PLAS-track
Alex MuscarMuscar, Alex LystUnited Kingdom Pyro – Typing Python in Python
Alan MycroftMycroft, Alan University of CambridgeUnited Kingdom General Chair in Organizers within the PLE-track General Chair in Programme Committee within the PLE-track
Hanspeter MössenböckMössenböck, Hanspeter Johannes Kepler University LinzAustria Memory-safe Execution of C on a Java VM Techniques and Applications for Guest-Language Safepoints
Anders MøllerMøller, Anders Aarhus University Stateless Model Checking for JavaScript
Peter MüllerMüller, Peter ETH Zurich Session Chair of Type Systems (part of ECOOP Research Track) Modular Verification of Finite Blocking in Non-terminating Programs Committee Member in Steering Committee within the FTfJP-track Committee Member in Programme Committee within the ECOOP Research Track-track
N Sarah NadiNadi, Sarah Technische Universität Darmstadt The Love/Hate Relationship with the C Preprocessor: An Interview Study The Love/Hate Relationship with the C Preprocessor: An Interview Study
Krishna NarasimhanNarasimhan, Krishna Goethe UniversityIndia Transformation language for expressing automated API Migration
Daiva NaudžiūnienėNaudžiūnienė, Daiva Imperial College London ES5strict -> IVL, Principled Translation using Operational Semantics
Max S. NewNew, Max S. Position Paper: Performance Evaluation for Gradual Typing
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Short Paper: Call-target-specific Method Arguments
James NobleNoble, James Victoria University of Wellington Summer School Chair in Organizing Committee for ECOOP 2015 Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World Brand Objects for Nominal Typing Brand Objects for Nominal Typing Committee Member in Program Committee within the STOP-track Co-chair in Organizers within the ECOOP Summer School-track
Aditya NoriNori, Aditya Microsoft Research, UKIndia Committee Member in Program committee within the ML4PL-track
Jyrki NummenmaaNummenmaa, Jyrki University of Tampere Automatic Verification of Dafny Programs with Traits
Nate NystromNystrom, Nate University of Lugano Workshops Co-Chair in Organizing Committee for ECOOP 2015 Committee Member in Organizers within the ECOOP Workshops-track
O Martín OchoaOchoa, Martín Technical University of MunichColombia Short Paper: The Meaning of Attack-Resistant Systems
Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneGermany Dynamic Compilation of DSLs
Nobuhiko OguraOgura, Nobuhiko Tokyo City University A Study of Context-Oriented Programming for Applying to Robot Development
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Committee Member in Programme Committee within the ECOOP Research Track-track Committee Member in Program Committee within the DSLDI-track
Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the DSLDI-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tamiya OnoderaOnodera, Tamiya IBM, Japan Committee Member in Programme Committee within the ECOOP Research Track-track
Dominic OrchardOrchard, Dominic Imperial College LondonUnited Kingdom Introduction Co-chair in Organizers within the PLE-track Programme Committee in Programme Committee within the PLE-track
Manuel OriolOriol, Manuel ABB Corporate ResearchFrance Organizing Committee in Committee within the MASPEGHI-track
Francisco OrtinOrtin, Francisco University of Oviedo Towards a Static Type Checker for Python
Harold OssherOssher, Harold IBMUnited States Committee Member in Program Committee within the COP-track
Jeffrey OverbeyOverbey, Jeffrey Auburn UniversityUnited States Programme Committee in Programme Committee within the PLE-track
P David PaduaPadua, David University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the RIOT-track
Julien PagèsPagès, Julien LIRMM, Université de Montpellier Preexistence revisited A virtual machine for testing compilation/recompilation protocols in multiple inheritance
Richard PaigePaige, Richard University of YorkCanada Committee Member in Program Committee within the DSLDI-track
Nick PalladinosPalladinos, Nick Nessos Information Technologies, SA Streams a la carte: Extensible Pipelines with Object Algebras Streams a la carte: Extensible Pipelines with Object Algebras
Jens PalsbergPalsberg, Jens University of California, Los Angeles Type Inference for Place-Oblivious Objects
Tobias PapePape, Tobias Hasso-Plattner-Institute, Potsdam Short Paper: Call-target-specific Method Arguments Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT Committee Member in Program Committee within the ICOOOLPS-track
Pavel ParizekParizek, Pavel Charles University in Prague Student Volunteer Co-Chair in Organizing Committee for ECOOP 2015 Session Chair of Verification (part of ECOOP Research Track) Student Volunteer Co-Chair in Organizers within the ECOOP Student Volunteers-track Committee Member in Programme Committee within the ECOOP Research Track-track Committee Member in Program Committee within the ECOOP Posters-track
Changhee ParkPark, Changhee KAIST Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UK Committee Member in Programme Committee within the ECOOP Research Track-track
Karthik PattabiramanPattabiraman, Karthik University of British Columbia Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Daniel PerelmanPerelman, Daniel University of Washington, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Baltasar García Perez-SchofieldPerez-Schofield, Baltasar García Towards a Static Type Checker for Python
Robert PerglPergl, Robert Czech Technical University in Prague Student Volunteer Co-Chair in Organizing Committee for ECOOP 2015 Student Volunteer Co-Chair in Organizers within the ECOOP Student Volunteers-track
Gustavo PetriPetri, Gustavo Purdue University Cooking the Books: Formalizing JMM Implementation Recipes
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the PLAS-track
Frank PiessensPiessens, Frank iMinds - Distrinet, KU LeuvenBelgium Committee Member in Program Committee within the PLAS-track
Ruzica PiskacPiskac, Ruzica Yale University Committee Member in Program committee within the FTfJP-track
Marco PistoiaPistoia, Marco IBM ResearchItaly Access-rights Analysis in the Presence of Subjects Committee Member in Program Committee within the PLAS-track
Filip PizloPizlo, Filip AppleUnited States LLVM for JavaScript
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Committee Member in Program committee within the FTfJP-track
Guillermo PolitoPolito, Guillermo InriaArgentina Speaker in Organizers within the Pharo-track
Erik PollPoll, Erik Radboud University NijmegenNetherlands Committee Member in Steering Committee within the FTfJP-track
Julien PongePonge, Julien INSA Lyon Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Delegation vs Inheritance for Typestate Analysis A Theory of Tagged Objects A Theory of Tagged Objects
Michael PradelPradel, Michael TU Darmstadt Session Chair of Day Opening (part of JSTools) Session Chair of Practical Analysis II (part of JSTools) Session Chair of Day Closing (part of JSTools) The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Co-chair in Program Committee within the JSTools-track
Ron PresslerPressler, Ron Parallel UniverseIsrael Pull > Push: Please stop polluting our imperative languages with pure concepts
Tony PrintezisPrintezis, Tony TwitterGreece Java @ Twitter - a bird's eye view
Jean PrivatPrivat, Jean Université du Québec à Montréal Preexistence revisited Committee Member in Program Committee within the ICOOOLPS-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
R Cosmin RadoiRadoi, Cosmin University of Illinois Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Intensional Effect Polymorphism
Sue RanneyRanney, Sue MicrosoftUnited States Committee Member in Program Committee within the RIOT-track
José Manuel Redondo LópezRedondo López, José Manuel University of Oviedo Towards a Static Type Checker for Python
Christoph ReichenbachReichenbach, Christoph Goethe University Committee Member in Programme Committee within the ECOOP Research Track-track
Tamara RezkRezk, Tamara INRIA Committee Member in Program Committee within the PLAS-track
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas (UFAL)Brazil The Love/Hate Relationship with the C Preprocessor: An Interview Study The Love/Hate Relationship with the C Preprocessor: An Interview Study
Gregor RichardsRichards, Gregor University of Waterloo Student Volunteer Co-Chair in Organizing Committee for ECOOP 2015 Concrete Types for TypeScript Student Volunteer Co-Chair in Organizers within the ECOOP Student Volunteers-track
François RipaultRipault, François EPITA / LRDE Context-Oriented Image Processing
Andreas RossbergRossberg, Andreas GoogleGermany Experiments with Strengthening JavaScript Speaker in Speakers within the STOP-track
Indrajit RoyRoy, Indrajit HP LabsIndia Committee Member in Program Committee within the RIOT-track
Barbara RyderRyder, Barbara Virginia Tech Adaptive Context-sensitive Analysis for JavaScript
Sukyoung RyuRyu, Sukyoung Korea Advanced Institute of Science and TechnologyKorea, South HybriDroid: Analysis Framework for Android Hybrid Applications Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
S Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Verifying Correctness of Statefull Networks
Markku SakkinenSakkinen, Markku University of JyväskyläFinland On Feature Protection in C++, Java and Eiffel Program Co-Chair in Committee within the MASPEGHI-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Program Committee within the COP-track
Michael SannellaSannella, Michael TIBCOUnited States Supporting the "Rapi" C-language API in an R-compatible engine Committee Member in Program Committee within the RIOT-track
Francisco Sant'AnnaSant'Anna, Francisco PUC-RioBrazil Structured Synchronous Programming
Vivek SarkarSarkar, Vivek Rice University The Eureka Programming Model for Speculative Task Parallelism The Eureka Programming Model for Speculative Task Parallelism
Ivo SbalzariniSbalzarini, Ivo Max Planck Institute of Molecular Cell Biology and Genetics Dresden Towards a Next-Generation Parallel Particle-Mesh Language
Max SchaeferSchaefer, Max Semmle Programme Committee in Programme Committee within the PLE-track
Roland SchatzSchatz, Roland Johannes Kepler University Linz Memory-safe Execution of C on a Java VM
Andreas SchlegelSchlegel, Andreas University of Freiburg Transparent Object Proxies in JavaScript
Christophe ScholliersScholliers, Christophe Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christopher SchusterSchuster, Christopher A Light-Weight Effect System for JavaScript
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, Switzerland Viper (Verification Infrastructure for Permission-based Reasoning) Lightweight Support for Magic Wands in an Automatic Verifier Lightweight Support for Magic Wands in an Automatic Verifier
Chris SeatonSeaton, Chris Oracle Labs / University of ManchesterUnited Kingdom Memory-safe Execution of C on a Java VM Techniques and Applications for Guest-Language Safepoints Integrating Truffle into an Existing Language Implementation
Koushik SenSen, Koushik University of California, Berkeley Jalangi: A Dynamic Analyses Framework for JavaScript The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Ilya SergeySergey, Ilya IMDEA Software InstituteRussia Committee Member in Program Committee within the STOP-track
Marco ServettoServetto, Marco Victoria University of Wellington Committee Member in Programme Committee within the ECOOP Research Track-track
Marc ShapiroShapiro, Marc Inria & LIP6France Encapsulating replication, high concurrency and consistency with CRDTs
Troy ShawShaw, Troy Victoria University of Wellington A Theory of Tagged Objects A Theory of Tagged Objects
Amanj SherwanySherwany, Amanj Università della Svizzera italianaIraq Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Avraham ShinnarShinnar, Avraham IBM Research A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Towards Absolutely Efficient Gradually Typed Languages Chair in Program Committee within the STOP-track
Jerome SimeonSimeon, Jerome IBM Research A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in Program Committee within the ICOOOLPS-track
Anthony SloaneSloane, Anthony Macquarie UniversityAustralia Committee Member in Program Committee within the DSLDI-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens jUCM: Universal Class Morphing Foo: A minimal Modern OO Calculus Streams a la carte: Extensible Pipelines with Object Algebras Streams a la carte: Extensible Pipelines with Object Algebras
Graeme SmithSmith, Graeme The University of Queensland Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Robert SouléSoulé, Robert Università della Svizzera italianaSwitzerland Session Chair of Welcome (part of NetPL) Welcome Co-chair in Program Committee within the NetPL-track
Matthias SpringerSpringer, Matthias Hasso Plattner InstituteGermany Efficient Layered Method Execution in ContextAmber Short Paper: Call-target-specific Method Arguments
Manu SridharanSridharan, Manu Samsung Research America MemInsight: Platform-Independent Memory Profiling for JavaScript
Vincent St-AmourSt-Amour, Vincent Northeastern University Optimization Coaching for JavaScript Optimization Coaching for JavaScript
Lukas StadlerStadler, Lukas Oracle LabsAustria The FastR Runtime - R as a Citizen of the Truffle Family of Languages Committee Member in Program Committee within the RIOT-track
Friedrich SteimannSteimann, Friedrich Fernuniversität Committee Member in Programme Committee within the ECOOP Research Track-track Committee Member in Program Committee within the COP-track
Michael SteindorferSteindorfer, Michael Heterogeneous Data Structures for the Masses Fast and Lean Immutable Data Structures
Jouke StoelStoel, Jouke CWI A case for Rebel, a DSL for product specifications
Bodil StokkeStokke, Bodil Post-FRP Frontend Programming
Nicolas StoulsStouls, Nicolas INSA Lyon Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
T. Stephen StricklandStrickland, T. Stephen Brown UniversityUnited States Committee Member in Programme Committee within the ECOOP Research Track-track
Bjarne StroustrupStroustrup, Bjarne Morgan StanleyDenmark What - if anything - have we learned from C++? * in room Bohemia I What, if anything, have we learned from C++? Object-Oriented Programming without Inheritance
Fang-Hsiang SuSu, Fang-Hsiang Domain Behavior Analysis of Software Using Code Relative Detection
Midori SugayaSugaya, Midori Shibaura Institute of Technology A Study of Context-Oriented Programming for Applying to Robot Development
Nik SultanaSultana, Nik University of Cambridge Flick: A DSL for middleboxes
Alexander J. SummersSummers, Alexander J. ETH ZurichUnited Kingdom Lightweight Support for Magic Wands in an Automatic Verifier Software Verification "Across the Stack" Lightweight Support for Magic Wands in an Automatic Verifier Committee Member in Program committee within the FTfJP-track
Charles SuttonSutton, Charles University of Edinburgh Inferring Coding Conventions with Machine Learning
Emma SöderbergSöderberg, Emma Google Inc.Sweden Committee Member in Program Committee within the DSLDI-track
T Asumu TakikawaTakikawa, Asumu Northeastern UniversityUnited States Position Paper: Performance Evaluation for Gradual Typing Towards Practical Gradual Typing
Ikuta TanigawaTanigawa, Ikuta Kyusyu University A Study of Context-Oriented Programming for Applying to Robot Development
Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the STOP-track
Zach TellmanTellman, Zach United States Some of the Things That Macros Do
Duncan Temple LangTemple Lang, Duncan UC DavisUnited States Committee Member in Program Committee within the RIOT-track
Tachio TerauchiTerauchi, Tachio JAISTJapan Committee Member in Program Committee within the PLAS-track
Bernhard ThalheimThalheim, Bernhard Christian-Albrechts-UniversityGermany Programme Committee in Committee within the MASPEGHI-track
Peter ThiemannThiemann, Peter University of FreiburgGermany TreatJS: Higher-Order Contracts for JavaScripts Transparent Object Proxies in JavaScript Transparent Object Proxies in JavaScript TreatJS: Higher-Order Contracts for JavaScripts
Gaël ThomasThomas, Gaël Telecom SudParis France Committee Member in Program Committee within the ICOOOLPS-track
Luke TierneyTierney, Luke University of IowaUnited States Committee Member in Program Committee within the RIOT-track
Ben L. TitzerTitzer, Ben L. GoogleUnited States Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Adding Practical Dependent Types to Typed Racket Towards Practical Gradual Typing
Emina TorlakTorlak, Emina University of WashingtonUnited States Scaling Program Synthesis by Exploiting Existing Code Synthesis and Verification for Everyone
Emma ToschTosch, Emma University of Massachusetts, Amherst Committee Member in Program Committee within the DSLDI-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Fine grained language composition Panel Discussion: Language Composition SQPyte: JITing a DBMS Committee Member in Program Committee within the ICOOOLPS-track
Omer TrippTripp, Omer IBM Thomas J. Watson Research Center Access-rights Analysis in the Presence of Subjects
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu University Committee Member in Program Committee within the COP-track
Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of Technology Regression Verification for Java Using a Secure Information Flow Calculus
Vlad UrecheUreche, Vlad EPFLRomania Data-centric Metaprogramming in Object-Oriented Languages
Raoul-Gabriel UrmaUrma, Raoul-Gabriel University of CambridgeUnited Kingdom Co-chair in Organizers within the PLE-track Programme Committee in Programme Committee within the PLE-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Asynchronous Liquid Separation Types
Mohsen VakilianVakilian, Mohsen Google Committee Member in Programme Committee within the ECOOP Research Track-track
Tom Van CutsemVan Cutsem, Tom Alcatel-Lucent Bell Labs Committee Member in Programme Committee within the ECOOP Research Track-track
Michael Van De VanterVan De Vanter, Michael Oracle LabsUnited States Session Chair of Developer Assistance (part of ECOOP Research Track) Position Paper: Building Debuggers and Other Tools: We Can “Have it All” Developer Tools for Truffle-implemented Languages
Bart Van DelftVan Delft, Bart Chalmers University of Technology Dynamic Enforcement of Dynamic Policies
Gauthier van den Hovevan den Hove, Gauthier University of Amsterdam On the origin of the block concept
Tijs van der Stormvan der Storm, Tijs CWINetherlands Session Chair of Welcome (part of DSLDI) Introduction Program Chair in Program Committee within the DSLDI-track
Oskar van Restvan Rest, Oskar Oracle Labs DSLs for Graph Algorithms and Graph Pattern Matching
Marnix van't Rietvan't Riet, Marnix University of Twente Trace-based Debugging for Advanced-Dispatching Programming Languages
Vasco T. VasconcelosVasconcelos, Vasco T. Lasige / Faculty of Sciences, Universidade de Lisboa Imperative Objects with Dependent Types
Martin VechevVechev, Martin ETH ZurichBulgaria Machine Learning for Programming EventRacer: Scalable Analysis for Event-Driven Systems Committee Member in Program committee within the ML4PL-track
Panagiotis VekrisVekris, Panagiotis University of California, San Diego Trust, but Verify: Two-Phase Typing for Dynamic Languages
Didier VernaVerna, Didier EPITA / LRDEFrance Context-Oriented Image Processing
Colin VidalVidal, Colin LIRMM, Université de Montpellier Preexistence revisited
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands Committee Member in Program Committee within the DSLDI-track
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Comfy Chair in Organizing Committee for ECOOP 2015 Session Chair of Keynote: Choi (part of ECOOP Research Track) Session Chair of Keynote: Meyer (part of ECOOP Research Track) Introduction Types for an Untyped World Position Paper: Performance Evaluation for Gradual Typing Cooking the Books: Formalizing JMM Implementation Recipes Concrete Types for TypeScript Committee Member in Program Committee within the ICOOOLPS-track Comfy Chair in Program Committee within the RIOT-track Comfy Chair in Organization within the ML4PL-track Comfy Chair in Organizers within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Posters-track
Tomáš VojnarVojnar, Tomáš Brno University of Technology Czechia Noise-based Testing of Concurrent Software
W Philip WadlerWadler, Philip University of EdinburghUnited States A practical theory of language-integrated query —and— Everything old is new again Everything old is new again: Quoted domain specific languages
Juan WajnermanWajnerman, Juan ManasArgentina Crystal: a programming language for humans and computers
Haichuan WangWang, Haichuan University of Illinois at Urbana-ChampaignChina Vectorization of Apply Operations for the Exploitation of the Efficient Interpretation of R
Yang WangWang, Yang University of New Brunswick METIS: A Smart Memory Allocator Using Historical Reclamation Information
Yanlin WangWang, Yanlin University of Hong KongChina Product Lines of Interpreters Using Truffle with Object Algebras
Zheng WangWang, Zheng Lancaster UniversityChina Committee Member in Program committee within the ML4PL-track
Lars WassermannWassermann, Lars University of Potsdam Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan A Study of Context-Oriented Programming for Applying to Robot Development
Roger WattenhoferWattenhofer, Roger ETHZSwitzerland Managing Dynamic Networks: Distributed or Centralized Control? Speaker in Invited Speakers within the NetPL-track
Shiyi WeiWei, Shiyi Virginia Tech Adaptive Context-sensitive Analysis for JavaScript Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Adam WelcWelc, Adam Oracle Labs Session Chair of Welcome (part of Truffle) Session Chair of Welcome (part of RIOT) Introduction Program Chair in Program Committee within the Truffle-track Program Chair in Program Committee within the RIOT-track
Hadley WickhamWickham, Hadley R StudioNew Zealand Committee Member in Program Committee within the RIOT-track
Mario WolczkoWolczko, Mario Oracle LabsUnited Kingdom Session Chair of Welcome (part of Truffle) So you want to be an industrial researcher? Committee Member in Program Committee within the ICOOOLPS-track Program Co-Chair in Program Committee within the Truffle-track Committee Member in Program Committee within the RIOT-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee within the STOP-track
Peng WuWu, Peng Huawei America LabChina Committee Member in Program Committee within the RIOT-track
Thomas WuerthingerWuerthinger, Thomas Oracle LabsAustria Session Chair of Welcome (part of Truffle) Memory-safe Execution of C on a Java VM Introduction Program Co-Chair in Program Committee within the Truffle-track
Paul WögererWögerer, Paul Substrate VM
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, Denmark Panel Discussion: Language Composition Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
X Harry XuXu, Harry University of California, IrvineUnited States PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification Committee Member in Programme Committee within the ECOOP Research Track-track
Shijie XuXu, Shijie University of New Brunswick METIS: A Smart Memory Allocator Using Historical Reclamation Information
Y Eran YahavYahav, Eran TechnionIsrael Problems and opportunities — Program similarity Programming with Millions of Examples Committee Member in Program committee within the ML4PL-track
Wei YangYang, Wei University of Illinois at Urbana-Champaign, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Haihan YinYin, Haihan University of Twente Trace-based Debugging for Advanced-Dispatching Programming Languages
Xia YinbenYinben, Xia HuaweiChina NEMO-An Intent Oriented Network Programming Language Speaker in Invited Speakers within the NetPL-track
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in Programme Committee within the ECOOP Research Track-track
Z Marina Zaharieva-StojanovskiZaharieva-Stojanovski, Marina University of Twente Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
Francesco Zappa NardelliZappa Nardelli, Francesco InriaItaly Concrete Types for TypeScript
Olivier ZendraZendra, Olivier INRIA / LORIAFrance Co-chair in Program Committee within the ICOOOLPS-track
Jianjun ZhaoZhao, Jianjun Shanghai Jiao Tong University Trace-based Debugging for Advanced-Dispatching Programming Languages
Yudi ZhengZheng, Yudi University of LuganoChina Accurate Bytecode-level Profiling of Dynamically Optimized Code with Graal
Roberto ZicariZicari, Roberto Goethe University Frankfurt Programme Committee in Committee within the MASPEGHI-track
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program committee within the FTfJP-track