ECOOP 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (303)

A Todd A. AndersonA. Anderson, Todd Parallelizing Julia with a Non-invasive DSL
Moez A. AbdelGawadAbdelGawad, Moez A. Informatics Research Institute, SRTA-City, Alexandria, Egypt Towards a Java Subtyping Operad
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Compiler Verification for a Multi-Language World Speaker in Speakers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the VORTEX-track
Deepthi Devaki AkkoorathAkkoorath, Deepthi Devaki Multi-view data types for scalable concurrency in the multi-core era
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States A Capability-Based Module System for Authority Control Committee Member in Mentors within the ECOOP Summer School-track
Nada AminAmin, Nada EPFLSwitzerland Committee Member in Program Committee within the FTfJP-track
Moussa AmraniAmrani, Moussa University of Namur Formal Analysis of Object-Oriented Mograms
Davide AnconaAncona, Davide University of GenovaItaly Parametric trace expressions for runtime verification of Java-like programs Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Paul AndersonAnderson, Paul University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Irina AsavoaeAsavoae, Irina INRIA, Paris, France Software Model Checking: A Promising Approach to Verify Mobile App Security
B Anya Helene BaggeBagge, Anya Helene University of BergenNorway Towards Reasonable Ownership
Youssef El BakounyBakouny, Youssef El CIMTI - ESIB - Saint-Joseph University - Beirut, LebanonLebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Márton BalassiBalassi, Márton Hungarian Academy of Sciences Code Generation in Serializers and Comparators of Apache Flink
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Concurrent Data Structures Linked in Time
Carlos BaqueroBaquero, Carlos HASLab/INESC TEC & University of MinhoPortugal The Single-Writer Principle in CRDT Composition Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Session Chair of Afternoon I (part of ICOOOLPS) Panel: Do new Computing Environments lead to new Language Constructs? Committee Member in Program Committee within the ICOOOLPS-track
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Program Committee within the FTfJP-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Mark BattyBatty, Mark University of KentUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Andi BejleriBejleri, Andi TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Julia BelyakovaBelyakova, Julia Southern Federal UniversityRussia Generic Approach to Certified Static Checking of Module-like Constructs Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in Mentors within the ECOOP Summer School-track
Martin BergerBerger, Martin Session Chair of C (part of FTfJP) Modelling homogeneous generative meta-programming
Annette BieniusaBieniusa, Annette Technischen Universität KaiserslauternGermany Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Walter BinderBinder, Walter University of Lugano An Empirical Study on Deoptimization in the Graal Compiler
Steve BlackburnBlackburn, Steve Australian National University Australia Panel: Do new Computing Environments lead to new Language Constructs?
Sam BlackshearBlackshear, Sam FacebookUnited States Committee Member in Program Committee within the FTfJP-track
Gilad BrachaBracha, Gilad GoogleIsrael Composing Software in an Age of Dissonance
Premek BradaBrada, Premek University of West Bohemia Contracts in the Wild: A Study of Java Programs
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Spencer: Tracing as a Service Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
José BrandãoBrandão, José Multi-view data types for scalable concurrency in the multi-core era
Oliver BračevacBračevac, Oliver TU DarmstadtGermany A Co-contextual Type Checker for Featherweight Java
Andrey BreslavBreslav, Andrey JetBrainsRussia Kotlin: the ins and outs of designing a commercial language Speaker in Speakers within the ECOOP Summer School-track
Lubomír BulejBulej, Lubomír Charles UniversityCzechia An Empirical Study on Deoptimization in the Graal Compiler
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in Program Committee within the ECOOP Research Papers-track
C Jordi CabotCabot, Jordi ICREA - UOC Summer School Chair in Organizing Committee for ECOOP 2017 Co-chair in Organizers within the ECOOP Summer School-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Peace COrP: Learning to solve conflicts between contexts Programme Committee in Program Committee within the COP-track
Elias CastegrenCastegren, Elias Uppsala University Relaxed Linear References for Lock-free Programming Co-chair in Organizing Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Programme Committee in Program Committee within the COP-track
Buddhika ChamithChamith, Buddhika Indiana UniversityUnited States Compiling tree transforms to operate on packed representations
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee within the ECOOP Research Papers-track
Guido ChariChari, Guido University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
James CheneyCheney, James University of Edinburgh, UKUnited States μPuppet: A Declarative Subset of the Puppet Configuration Language
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Committee Member in Program Committee within the ICOOOLPS-track
Maria ChristakisChristakis, Maria MPI-SWS, GermanyGreece Committee Member in Program Committee within the ECOOP Research Papers-track
Kevin ClancyClancy, Kevin Monotonicity Types for Distributed Dataflow
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Student Volunteer Chair in Organizing Committee for ECOOP 2017
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Programme Committee in Program Committee within the COP-track
Sylvan ClebschClebsch, Sylvan Imperial College London Reference Capabilities in Practice: Examining Real-World Pony Code We Software People are not Worthy - All Hail the Hardware Gods
Silvia CrafaCrafa, Silvia University of PadovaItaly Publicity Chair in Organizing Committee for ECOOP 2017
Tristan CrolardCrolard, Tristan CEDRIC - CNAM - Paris, France A Coq-based synthesis of Scala programs which are correct-by-construction
Raimil CruzCruz, Raimil University of ChileChile Type Abstraction for Relaxed Noninterference Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Web Chair in Organizing Committee for ECOOP 2017
D Hoang-Hai DangDang, Hoang-Hai MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
David DaraisDarais, David University of Maryland, USAUnited States Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Ornela DardhaDardha, Ornela University of Glasgow A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Mailbox Abstractions for Static Analysis of Actor Programs
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Mailbox Abstractions for Static Analysis of Actor Programs
Germán Andrés DelbiancoDelbianco, Germán Andrés IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Luca Della ToffolaDella Toffola, Luca ETH Zurich Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Jens DietrichDietrich, Jens Massey UniversityNew Zealand Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Philippe DobbelaereDobbelaere, Philippe Nokia Bell LabsBelgium Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything.
Mike DoddsDodds, Mike University of York Committee Member in Program Committee within the ECOOP Research Papers-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Session Chair of Morning (part of JSTools) Invited Talk: The Story of WALA at Watson and Beyond Organizer in Organizing Committee within the JSTools-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Derek DreyerDreyer, Derek MPI-SWS Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Session Chair of Language and Library Design (part of ECOOP Research Papers)
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Organizing Committee in Organizing Committee within the COP-track
Blair DurkeeDurkee, Blair Clemson University A Formalization IDE Integrated with a Verifying Compiler
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland Peace COrP: Learning to solve conflicts between contexts
E Vitor EnesEnes, Vitor Portugal The Single-Writer Principle in CRDT Composition
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands A Co-contextual Type Checker for Featherweight Java
Patrick EugsterEugster, Patrick Purdue University Committee Member in Program Committee within the ECOOP Research Papers-track
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
F Marc FeeleyFeeley, Marc Université de MontréalCanada Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany VM Wrapping - Fake it till you make it Committee Member in Program Committee within the ICOOOLPS-track
Angelo FerrandoFerrando, Angelo Parametric trace expressions for runtime verification of Java-like programs
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Committee Member in Program Committee within the PMLDC-track
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Correctness of Partial Escape Analysis for Multithreading Optimization
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Mixing Metaphors: Actors as Channels and Channels as Actors
José Fragoso SantosFragoso Santos, José JaVerT: a logic-based tool for JavaScript Verification
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the VORTEX-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Parametric trace expressions for runtime verification of Java-like programs
Juliana FrancoFranco, Juliana Imperial College LondonUnited Kingdom Co-chair in Organizing Committee within the IWACO-track Committee Member in Program Committee within the ICOOOLPS-track
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Correctness of Partial Escape Analysis for Multithreading Optimization
Weili FuFu, Weili University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Akira FukudaFukuda, Akira Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
G Zheng GaoGao, Zheng To Type or Not to Type: Quantifying Detectable Bugs in JavaScript
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Tracing sharing in an imperative pure calculus
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Morning II (part of ICOOOLPS) Committee Member in Program Committee within the ICOOOLPS-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Calculi and Semantics (part of ECOOP Research Papers) A Generic Approach to Flow-Sensitive Polymorphic Effects Committee Member in Program Committee within the IWACO-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee member in Academic Panel within the ECOOP Doctoral Symposium-track
Alexey GotsmanGotsman, Alexey IMDEA Committee Member in Program Committee within the PMLDC-track
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David GreggGregg, David Trinity College Dublin, Ireland Committee Member in Program Committee within the ICOOOLPS-track
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of D (part of FTfJP) Session Chair of A (part of FTfJP) Chair in Program Committee within the FTfJP-track
H Jorge H. CastroH. Castro, Jorge Universidad de los Andes Peace COrP: Learning to solve conflicts between contexts
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Session Chair of Types and Effects (part of ECOOP Research Papers) Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the ECOOP Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Afternoon (part of JSTools) WebPol: Fine-grained Information Flow Policies for Web Browsers Organizer in Organizing Committee within the JSTools-track
Jad HamzaHamza, Jad LIAFA, Université Paris Diderot Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
Kristoffer HaugsbakkHaugsbakk, Kristoffer Towards Reasonable Ownership
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Klaus HavelundHavelund, Klaus Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the VORTEX-track
Byron HawkinsHawkins, Byron Introspective Intrusion Detection for Popular Software Platforms
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the ECOOP Research Papers-track
Johannes HenningHenning, Johannes Hasso Plattner Institute VM Wrapping - Fake it till you make it
Ben HermannHermann, Ben University of PaderbornGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Mentors within the ECOOP Summer School-track
Robert HirschfeldHirschfeld, Robert HPIGermany The Declarative Nature of Implicit Layer Activation VM Wrapping - Fake it till you make it Organizing Committee in Organizing Committee within the COP-track
Kenji HisazumiHisazumi, Kenji Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
Philipp HolzingerHolzinger, Philipp Fraunhofer SITGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Gábor HorváthHorváth, Gábor Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Code Generation in Serializers and Comparators of Apache Flink
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Committee Member in Program Committee within the IWACO-track
Raymond HuHu, Raymond Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Jeff HuangHuang, Jeff Texas A&M University What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective Speeding Up Maximal Causality Reduction with Static Dependency Analysis
Shiyou HuangHuang, Shiyou Texas A&M University Speeding Up Maximal Causality Reduction with Static Dependency Analysis
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FTfJP-track
Kamil JezekJezek, Kamil University of West Bohemia, Pilsen, CZ Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Eric JulJul, Eric University of OsloNorway Session Chair of Dahl-Nygaard Junior Prize (part of ECOOP Invited Speakers) Session Chair of Dahl-Nygaard Senior Prize (part of ECOOP Invited Speakers) Panel: Do new Computing Environments lead to new Language Constructs? How to get your Ph.D. DONE Committee Member in Program Committee within the ICOOOLPS-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
K Mike KabbaniKabbani, Mike Clemson University A Formalization IDE Integrated with a Verifying Compiler
Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Felix KlockKlock, Felix Aliasing, Capabilities and Ownership in Rust Committee Member in Program Committee within the IWACO-track
Jakob KrainzKrainz, Jakob Friedrich-Alexander University Erlangen-Nürnberg Diff Graphs for a fast Incremental Pointer Analysis
Andrew KriegerKrieger, Andrew University of California, Los Angeles dart2java: Running Dart in Java-based Environments
Edlira KuciKuci, Edlira TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Milind KulkarniKulkarni, Milind Purdue University Compiling tree transforms to operate on packed representations
Senthil KumaranKumaran, Senthil Introducing Ownership Type Constraints to UML/OCL
Viktor KunčakKunčak, Viktor EPFL, Switzerland Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Lindsey KuperKuper, Lindsey Intel Labs Parallelizing Julia with a Non-invasive DSL
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian KästnerKästner, Christian Carnegie Mellon UniversityGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Mirko KöhlerKöhler, Mirko Privacy-aware operator placement
Filip KřikavaKřikava, Filip Northeastern University, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
L Ori LahavLahav, Ori MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Promising Compilation to ARMv8 POP
Vu LeLe, Vu MicrosoftVietnam Committee Member in Program Committee within the ECOOP Research Papers-track
Doug LeaLea, Doug State University of New York, OswegoUnited States Session Chair of Specification and Verification (part of ECOOP Research Papers) Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the VORTEX-track
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Mutable WadlerFest DOT
Yue LiLi, Yue UNSW AustraliaChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jens LinckeLincke, Jens Hasso Plattner Institute The Declarative Nature of Implicit Layer Activation Programme Committee in Program Committee within the COP-track
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Mixing Metaphors: Actors as Channels and Channels as Actors
Hai LiuLiu, Hai Intel Labs Parallelizing Julia with a Non-invasive DSL
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Kasper LuckowLuckow, Kasper Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
M Petr MajMaj, Petr ReactorLabs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stanislav ManilovManilov, Stanislav University of Edinburgh dart2java: Running Dart in Java-based Environments
Alessandro MargaraMargara, Alessandro Politecnico di MilanoItaly Consistency Types for Safe and Efficient Distributed Programming
Stefan MarrMarr, Stefan Johannes Kepler University LinzAustria A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability Programme Committee in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Parametric trace expressions for runtime verification of Java-like programs
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Push-based Reactive Layer Activation in Context-Oriented Programming dart2java: Running Dart in Java-based Environments Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Rust: Ownership in practice Speaker in Speakers within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Mikaël MayerMayer, Mikaël EPFL, Switzerland Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Caitie McCaffreyMcCaffrey, Caitie TwitterUnited States Committee Member in Program Committee within the PMLDC-track
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Committee Member in Mentors within the ECOOP Summer School-track
Tyler McMullenMcMullen, Tyler FastlyUnited States Edge Compute: The First 5000 Years Committee Member in Program Committee within the PMLDC-track
Christopher MeiklejohnMeiklejohn, Christopher Université catholique de LouvainUnited States On the Design of Distributed Programming Models Co-chair in Organizing Committee within the PMLDC-track
Darya MelicherMelicher, Darya Carnegie Mellon University A Capability-Based Module System for Authority Control Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Kim MensMens, Kim Université catholique de Louvain, BelgiumBelgium Organizing Committee in Organizing Committee within the COP-track
Dani MezherMezher, Dani CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Mira MeziniMezini, Mira TU DarmstadtGermany A Co-contextual Type Checker for Featherweight Java
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Monotonicity Types for Distributed Dataflow Committee Member in Mentors within the ECOOP Summer School-track Co-chair in Organizing Committee within the PMLDC-track
Ashish MishraMishra, Ashish Analysis and Verification of Rich Typestate Properties for Complex Programs
Scott MooreMoore, Scott Harvard University Committee member in Program Committee within the ECOOP Doctoral Symposium-track
J. Garrett MorrisMorris, J. Garrett University of Edinburgh, UKUnited Kingdom Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Kristýna MothejzíkováMothejzíková, Kristýna FreelancerCzechia Graphic Artist in Organizing Committee for ECOOP 2017
Fabian MuehlboeckMuehlboeck, Fabian Efficient Run-Times for Sound Gradual Typing
Anders MøllerMøller, Anders Aarhus UniversityDenmark Session Chair of Analysis and Synthesis (part of ECOOP Research Papers) Testing and Evolving TypeScript Declaration Files with Program Analysis Committee Member in Program Committee within the ECOOP Research Papers-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Program Chair in Organizing Committee for ECOOP 2017 Session Chair of Security (part of ECOOP Research Papers) Session Chair of Keynote (part of ECOOP Invited Speakers) Program Chair in Program Committee within the ECOOP Research Papers-track
N Sarah NadiNadi, Sarah University of AlbertaCanada Invited Talk: What Lies Beyond a PhD Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Invited Speakers within the ECOOP Doctoral Symposium-track
Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Session Chair of B (part of FTfJP)
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Praveen NarayananNarayanan, Praveen Indiana University, USA Verifiable, reusable, yet useful conditioning
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Compiling tree transforms to operate on packed representations
Hoang Nga NguyenNga Nguyen, Hoang Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEM Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium Mailbox Abstractions for Static Analysis of Actor Programs
James NobleNoble, James Victoria University of Wellington Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the FTfJP-track
O Nobuhiko OguraOgura, Nobuhiko Tokyo City University Petri-Net Based Testing Environment for Context-Oriented Programming IoT Robot Simulator and Framework for Context-Oriented Programming
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong KongHong Kong EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse Committee Member in Program Committee within the ECOOP Research Papers-track
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Organizing Chair in Organizing Committee for ECOOP 2017
Harold OssherOssher, Harold IBM Thomas J. Watson Research CenterUnited States Programme Committee in Program Committee within the COP-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Leo OsvaldOsvald, Leo Purdue University, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
P Gordon PacePace, Gordon Committee Member in Program Committee within the VORTEX-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in Program Committee within the FTfJP-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UKUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Norbert PatakiPataki, Norbert Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Code Generation in Serializers and Comparators of Apache Flink
David J. PearcePearce, David J. Victoria University of WellingtonUnited Kingdom Contracts in the Wild: A Study of Java Programs
Roly PereraPerera, Roly University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom μPuppet: A Declarative Subset of the Puppet Configuration Language
Tomas PetricekPetricek, Tomas Alan Turing InstituteUnited Kingdom Data exploration through dot-driven development
Michael PhilippsenPhilippsen, Michael Diff Graphs for a fast Incremental Pointer Analysis
Elvira PinoPino, Elvira Dept. of Computer Science UPC Student Volunteer Chair in Organizing Committee for ECOOP 2017
Filip PizloPizlo, Filip AppleUnited States Engineering a Real-World Garbage Collector Speaker in Speakers within the ECOOP Summer School-track
Anton PodkopaevPodkopaev, Anton St. Petersburg University, JetBrainsRussia Promising Compilation to ARMv8 POP
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. A Capability-Based Module System for Authority Control EvilPickles: DoS attacks based on Object-Graph Engineering
Michael PradelPradel, Michael TU Darmstadt Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Matteo PradellaPradella, Matteo Politecnico di Milano, Italy Programme Committee in Program Committee within the COP-track
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in Program Committee within the ECOOP Research Papers-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the IWACO-track
Arun Krishnakumar RajagopalanRajagopalan, Arun Krishnakumar Texas A&M University What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Potsdam The Declarative Nature of Implicit Layer Activation
Marianna RapoportRapoport, Marianna University of WaterlooCanada Mutable WadlerFest DOT
Shawn RasheedRasheed, Shawn Massey UniversityNew Zealand EvilPickles: DoS attacks based on Object-Graph Engineering
Aseem RastogiRastogi, Aseem Microsoft Research, n.n.India Committee Member in Program Committee within the FTfJP-track
António RavaraRavara, António Committee Member in Program Committee within the VORTEX-track
Tamara RezkRezk, Tamara InriaFrance Type Abstraction for Relaxed Noninterference
Dustin RhodesRhodes, Dustin Correctness of Partial Escape Analysis for Multithreading Optimization
Manuel RiggerRigger, Manuel Johannes Kepler University Linz, AustriaAustria Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Rodrigo RodriguesRodrigues, Rodrigo Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Program Committee within the PMLDC-track
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Tiark RompfRompf, Tiark Purdue UniversityUnited States Strong Normalization for Dependent Object Types (DOT) Committee Member in Program Committee within the ECOOP Research Papers-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
S Yuta SaekiSaeki, Yuta Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System
Laith SakkaSakka, Laith Compiling tree transforms to operate on packed representations
Baptiste SaleilSaleil, Baptiste Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Consistency Types for Safe and Efficient Distributed Programming Programme Committee in Program Committee within the COP-track
Annabel SatinSatin, Annabel P.C.K.United Kingdom Treasurer & Conference Manager in Organizing Committee for ECOOP 2017
Alceste ScalasScalas, Alceste Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Max SchlüterSchlüter, Max Static Analysis of CommonJS Modules
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the VORTEX-track
Pierre Yves SchobbensSchobbens, Pierre Yves University of Namur Formal Analysis of Object-Oriented Mograms
Bernhard ScholzScholz, Bernhard The University of Sydney Committee Member in Program Committee within the FTfJP-track
Wolfram SchulteSchulte, Wolfram Microsoft Challenges to Achieving High Availability at Scale
Jasper SchulzSchulz, Jasper King's College LondonGermany Improving Warmup in Meta-Traced Virtual Machines
Christopher SchusterSchuster, Christopher University of California, Santa Cruz Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, SwitzerlandSwitzerland Committee Member in Program Committee within the FTfJP-track
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Eric SedlarSedlar, Eric Oracle Labs Can Compiler Magic Ever Be Explained?
Lionel SeinturierSeinturier, Lionel University of Lille, Lille, France Programme Committee in Program Committee within the COP-track
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Concurrent Data Structures Linked in Time
Bernard SerpetteSerpette, Bernard Inria Type Abstraction for Relaxed Noninterference
Marco ServettoServetto, Marco Victoria University of Wellington Tracing sharing in an imperative pure calculus
Siraj Ahmed ShaikhShaikh, Siraj Ahmed Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Yangqingwei ShiShi, Yangqingwei Peking University A Capability-Based Module System for Authority Control
Ali ShokerShoker, Ali HASLab/INESC TEC & University of MinhoPortugal Committee Member in Program Committee within the PMLDC-track
Tatiana ShpeismanShpeisman, Tatiana Intel LabsUnited States Parallelizing Julia with a Non-invasive DSL
Murali SitaramanSitaraman, Murali Clemson University A Formalization IDE Integrated with a Verifying Compiler
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Committee Member in Program Committee within the PMLDC-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in Program Committee within the ECOOP Research Papers-track
Sarah SpallSpall, Sarah Indiana University Compiling tree transforms to operate on packed representations
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany dart2java: Running Dart in Java-based Environments Programme Committee in Program Committee within the COP-track
Thomas SpringerSpringer, Thomas Programme Committee in Program Committee within the COP-track
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, Belgium Mailbox Abstractions for Static Analysis of Actor Programs
César SánchezSánchez, César IMDEA Software InstituteSpain Committee Member in Program Committee within the VORTEX-track
Paulo Sérgio AlmeidaSérgio Almeida, Paulo The Single-Writer Principle in CRDT Composition
Mario SüdholtSüdholt, Mario IMT Atlantique, Nantes, France Programme Committee in Program Committee within the COP-track
T Amjed TahirTahir, Amjed Massey UniversityNew Zealand EvilPickles: DoS attacks based on Object-Graph Engineering
Ikuta TanigawaTanigawa, Ikuta Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
Éric TanterTanter, Éric University of ChileChile Type Abstraction for Relaxed Noninterference
Ross TateTate, Ross Cornell UniversityUnited States Retargeting Gradual Typing Committee Member in Program Committee within the IWACO-track
Zach TellmanTellman, Zach LacunaUnited States Committee Member in Program Committee within the PMLDC-track
Ernest TenienteTeniente, Ernest Universitat Politècnica de Catalunya, Spain Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Rajesh ThakurThakur, Rajesh Compilation of Stream Programs for Heterogeneous Architectures
Jagadeeswaran ThangarajThangaraj, Jagadeeswaran Introducing Ownership Type Constraints to UML/OCL
Frank TipTip, Frank Northeastern UniversityUnited States Repairing Event Race Errors by Controlling Nondeterminism Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Ben L. TitzerTitzer, Ben L. Google Panel: Do new Computing Environments lead to new Language Constructs? Committee Member in Program Committee within the ICOOOLPS-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Compiling tree transforms to operate on packed representations
John TomanToman, John University of Washington, SeattleUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Ehsan TotoniTotoni, Ehsan Intel Labs Parallelizing Julia with a Non-invasive DSL
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Sponsorship Chair in Organizing Committee for ECOOP 2017 Modelling homogeneous generative meta-programming
Omer TrippTripp, Omer Google Inc.United States Committee Member in Program Committee within the ECOOP Research Papers-track
U Christian UrbanUrban, Christian King's College London Modelling homogeneous generative meta-programming
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Promising Compilation to ARMv8 POP
Antonio VallecilloVallecillo, Antonio University of Málaga, SpainSpain General Chair in Organizing Committee for ECOOP 2017
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Keynote on Context-Oriented Language Engineering Programme Committee in Program Committee within the COP-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Committee Member in Program Committee within the PMLDC-track
John VilkVilk, John University of Massachusetts, AmherstUnited States BCoz: Effective Performance Debugging for Web Applications
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition Declarative Language Definition Speaker in Speakers within the ECOOP Summer School-track
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Sponsorship Chair in Organizing Committee for ECOOP 2017 Comfy Chair in Organizing Committee for ECOOP 2017 What You Need to Know about Performance Evaluation Parallelizing Julia with a Non-invasive DSL Introduction Session Speaker in Speakers within the ECOOP Summer School-track Comfy Chair in Organizers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ECOOP Research Papers-track
Michael VollmerVollmer, Michael Indiana University, USAUnited States Compiling tree transforms to operate on packed representations
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Adding Safe Manual Memory Management to .NET
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Mixing Metaphors: Actors as Channels and Channels as Actors
Leif WalshWalsh, Leif Two SigmaUnited States Committee Member in Program Committee within the PMLDC-track
Fei WangWang, Fei Strong Normalization for Dependent Object Types (DOT)
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Petri-Net Based Testing Environment for Context-Oriented Programming IoT Robot Simulator and Framework for Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Alan WeideWeide, Alan Enabling Modular Verification of Concurrent Programs
Daniel WelchWelch, Daniel Clemson University A Formalization IDE Integrated with a Verifying Compiler Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
Jordan WestWest, Jordan Apple Committee Member in Program Committee within the PMLDC-track
Thomas WiesWies, Thomas New York University Committee Member in Program Committee within the ECOOP Research Papers-track
Jack WilliamsWilliams, Jack University of Edinburgh Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Mario WolczkoWolczko, Mario Oracle LabsUnited States Session Chair of Morning I (part of ICOOOLPS) Workshop Welcome Co-chair in Organizing Committee within the ICOOOLPS-track
Tobias WrigstadWrigstad, Tobias Uppsala University Session Chair of Implementation (part of ECOOP Research Papers) Relaxed Linear References for Lock-free Programming Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Can Compiler Magic Ever Be Explained?
Y Hongseok YangYang, Hongseok University of Oxford Committee Member in Program Committee within the PMLDC-track
Jean YangYang, Jean Carnegie Mellon University Committee Member in Mentors within the ECOOP Summer School-track
Shengqian YangYang, Shengqian Google Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nobuko YoshidaYoshida, Nobuko Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Committee Member in Program Committee within the ECOOP Research Papers-track
Z Jakub ZalewskiZalewski, Jakub Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Francesco Zappa NardelliZappa Nardelli, Francesco Inria, FranceFrance Committee Member in Program Committee within the ECOOP Research Papers-track
Vadim ZaytsevZaytsev, Vadim Raincode, BelgiumBelgium Towards Reasonable Ownership
Olivier ZendraZendra, Olivier Session Chair of Afternoon II (part of ICOOOLPS) Co-chair in Organizing Committee within the ICOOOLPS-track
Weixin ZhangZhang, Weixin University of Hong Kong EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
Yudi ZhengZheng, Yudi University of LuganoSwitzerland An Empirical Study on Deoptimization in the Graal Compiler
Adam ZiolkowskiZiolkowski, Adam University of East AngliaUnited Kingdom Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Elena ZuccaZucca, Elena University of Genova Tracing sharing in an imperative pure calculus