ECOOP 2016 July 18-22, 2016 - Rome, Italy

30th European Conference on Object-Oriented Programming (ECOOP 2016)



Shriram Krishnamurthi and Benjamin S. Lerner (Eds.)
ISBN 978-3-95977-014-9, LIPICS Vol. 56 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 20 MB)
Search Publication Server

Authors
  • Aldrich, Jonathan
  • Ali, Karim
  • Andreasen, Esben
  • Avgustinov, Pavel
  • Bach Poulsen, Casper
  • Barrett, Edd
  • Bodden, Eric
  • Bolz, Carl Friedrich
  • Bruce, Kim
  • Caires, Luís
  • Castegren, Elias
  • Chandra, Satish
  • Chen, Guoyang
  • Chen, Sheng
  • Chevalier-Boisvert, Maxime
  • De Koster, Joeri
  • De Meuter, Wolfgang
  • de Moor, Oege
  • Diekmann, Lukas
  • Dietrich, Jens
  • Erwig, Martin
  • Eyolfson, Jon
  • Feeley, Marc
  • Fennell, Luminous
  • Gil, Yossi
  • Gordon, Colin S.
  • Groenewegen, Danny M.
  • Grossman, Dan
  • Harkes, Daco C.
  • Homer, Michael
  • Hu, Zhenjiang
  • Jezek, Kamil
  • Jiang, Jiajun
  • Jones, Michael Peyton
  • Jones, Timothy
  • Järvi, Jaakko
  • Kikuchi, Daisuke
  • Krishnamurthi, Shriram
  • Kurilova, Darya
  • Lam, Patrick
  • Lerner, Benjamin S.
  • Levy, Tomer
  • Li, Jun
  • Li, Yue
  • Liao, Chunhua
  • Luo, Xiangyu
  • Militão, Filipe
  • Miller, Mark S.
  • Nguyen Quang Do, Lisa
  • Noble, James
  • Néron, Pierre
  • Ohori, Atsushi
  • Palmer, Zachary
  • Parent, Sean
  • Sasaki, Tomohiro
  • Scalas, Alceste
  • Schäfer, Max
  • Sen, Koushik
  • Shen, Xipeng
  • Smith, Scott F.
  • Späth, Johannes
  • Sridharan, Manu
  • Swalens, Janwillem
  • Tan, Tian
  • Thiemann, Peter
  • Tip, Frank
  • Tolmach, Andrew
  • Toman, John
  • Tratt, Laurence
  • Tulloh, Bill
  • Ueno, Katsuhiro
  • Visser, Eelco
  • Walkingshaw, Eric
  • Wang, Chenglong
  • Wrigstad, Tobias
  • Xiong, Yingfei
  • Xue, Jingling
  • Yoshida, Nobuko
  • Zhang, Lu
  • Zhang, Yifei
  • Zhao, Yue
    		•

    		  
    Front Matter, Table of Contents, Preface, List of Authors
    Authors: Krishnamurthi, Shriram ; Lerner, Benjamin S.

    Abstract | Document (337 KB) | BibTeX

    Trace Typing: An Approach for Evaluating Retrofitted Type Systems
    Authors: Andreasen, Esben ; Gordon, Colin S. ; Chandra, Satish ; Sridharan, Manu ; Tip, Frank ; Sen, Koushik

    Abstract | Document (786 KB) | BibTeX

    QL: Object-oriented Queries on Relational Data
    Authors: Avgustinov, Pavel ; de Moor, Oege ; Jones, Michael Peyton ; Schäfer, Max

    Abstract | Document (622 KB) | BibTeX

    Fine-grained Language Composition: A Case Study
    Authors: Barrett, Edd ; Bolz, Carl Friedrich ; Diekmann, Lukas ; Tratt, Laurence

    Abstract | Document (943 KB) | BibTeX

    Making an Embedded DBMS JIT-friendly
    Authors: Bolz, Carl Friedrich ; Kurilova, Darya ; Tratt, Laurence

    Abstract | Document (584 KB) | BibTeX

    Reference Capabilities for Concurrency Control
    Authors: Castegren, Elias ; Wrigstad, Tobias

    Abstract | Document (755 KB) | BibTeX

    A Calculus for Variational Programming
    Authors: Chen, Sheng ; Erwig, Martin ; Walkingshaw, Eric

    Abstract | Document (669 KB) | BibTeX

    Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
    Authors: Chevalier-Boisvert, Maxime ; Feeley, Marc

    Abstract | Document (563 KB) | BibTeX

    C++ const and Immutability: An Empirical Study of Writes-Through-const
    Authors: Eyolfson, Jon ; Lam, Patrick

    Abstract | Document (604 KB) | BibTeX

    LJGS: Gradual Security Types for Object-Oriented Languages
    Authors: Fennell, Luminous ; Thiemann, Peter

    Abstract | Document (780 KB) | BibTeX

    Formal Language Recognition with the Java Type Checker
    Authors: Gil, Yossi ; Levy, Tomer

    Abstract | Document (941 KB) | BibTeX

    IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs
    Authors: Harkes, Daco C. ; Groenewegen, Danny M. ; Visser, Eelco

    Abstract | Document (721 KB) | BibTeX

    Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic
    Authors: Jezek, Kamil ; Dietrich, Jens

    Abstract | Document (682 KB) | BibTeX

    Object Inheritance Without Classes
    Authors: Jones, Timothy ; Homer, Michael ; Noble, James ; Bruce, Kim

    Abstract | Document (609 KB) | BibTeX

    One Way to Select Many
    Authors: Järvi, Jaakko ; Parent, Sean

    Abstract | Document (833 KB) | BibTeX

    Program Tailoring: Slicing by Sequential Criteria
    Authors: Li, Yue ; Tan, Tian ; Zhang, Yifei ; Xue, Jingling

    Abstract | Document (1,445 KB) | BibTeX

    Composing Interfering Abstract Protocols
    Authors: Militão, Filipe ; Aldrich, Jonathan ; Caires, Luís

    Abstract | Document (771 KB) | BibTeX

    The Elements of Decision Alignment
    Authors: Miller, Mark S. ; Tulloh, Bill

    Abstract | Document (413 KB) | BibTeX

    A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
    Authors: Ohori, Atsushi ; Ueno, Katsuhiro ; Sasaki, Tomohiro ; Kikuchi, Daisuke

    Abstract | Document (546 KB) | BibTeX

    Higher-Order Demand-Driven Program Analysis
    Authors: Palmer, Zachary ; Smith, Scott F.

    Abstract | Document (647 KB) | BibTeX

    Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
    Authors: Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco

    Abstract | Document (890 KB) | BibTeX

    Lightweight Session Programming in Scala
    Authors: Scalas, Alceste ; Yoshida, Nobuko

    Abstract | Document (1,276 KB) | BibTeX

    Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
    Authors: Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric

    Abstract | Document (1,879 KB) | BibTeX

    Transactional Tasks: Parallelism in Software Transactions
    Authors: Swalens, Janwillem ; De Koster, Joeri ; De Meuter, Wolfgang

    Abstract | Document (957 KB) | BibTeX

    Staccato: A Bug Finder for Dynamic Configuration Updates
    Authors: Toman, John ; Grossman, Dan

    Abstract | Document (618 KB) | BibTeX

    Transforming Programs between APIs with Many-to-Many Mappings
    Authors: Wang, Chenglong ; Jiang, Jiajun ; Li, Jun ; Xiong, Yingfei ; Luo, Xiangyu ; Zhang, Lu ; Hu, Zhenjiang

    Abstract | Document (782 KB) | BibTeX

    Towards Ontology-Based Program Analysis
    Authors: Zhao, Yue ; Chen, Guoyang ; Liao, Chunhua ; Shen, Xipeng

    Abstract | Document (2,015 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI