ECOOP 2015 July 5-10, 2015 - Prague, Czech Republic

29th European Conference on Object-Oriented Programming (ECOOP 2015)



John Tang Boyland (Ed.)
ISBN 978-3-939897-86-6, LIPICS Vol. 37 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server


Authors
  • Aldrich, Jonathan
  • Alimadadi, Saba
  • Bhandari, Abhilash
  • Biboudis, Aggelos
  • Bosnacki, Dragan
  • Boström, Pontus
  • Boyland, John Tang
  • Brabrand, Claus
  • Burckhardt, Sebastian
  • Centonze, Paolina
  • Chevalier-Boisvert, Maxime
  • Choi, Jong-Deok
  • Cosman, Benjamin
  • Dean, Earl
  • Derrick, John
  • Dimovski, Aleksandar S.
  • Dongol, Brijesh
  • Dou, Liang
  • Fähndrich, Manuel
  • Fang, Lu
  • Feeley, Marc
  • Felleisen, Matthias
  • Feltey, Daniel
  • Findler, Robert Bruce
  • Flatt, Matthew
  • Fourtounis, George
  • Geffken, Manuel
  • Gheyi, Rohit
  • Groves, Lindsay
  • Guo, Shu-yu
  • Guria, Sankha Narayan
  • Haque, Riyaz
  • Hauzar, David
  • Hirzel, Martin
  • Homer, Michael
  • Imam, Shams
  • Jacobs, Bart
  • Jagannathan, Suresh
  • Jhala, Ranjit
  • Jones, Timothy
  • Kästner, Christian
  • Keil, Matthias
  • Kloos, Johannes
  • Kofron, Jan
  • Kuiper, Ruurd
  • Lee, Joseph
  • Leijen, Daan
  • Liu, Yu David
  • Long, Yuheng
  • Müller, Peter
  • Majumdar, Rupak
  • Medeiros, Flávio
  • Mesbah, Ali
  • Nadi, Sarah
  • Nandivada, V. Krishna
  • Noble, James
  • Palladinos, Nick
  • Palsberg, Jens
  • Park, Changhee
  • Pattabiraman, Karthik
  • Petri, Gustavo
  • Pistoia, Marco
  • Potanin, Alex
  • Pradel, Michael
  • Protzenko, Jonathan
  • Rajan, Hridesh
  • Ribeiro, Márcio
  • Richards, Gregor
  • Ryder, Barbara G.
  • Ryu, Sukyoung
  • Sarkar, Vivek
  • Schlegel, Andreas
  • Schwerhoff, Malte
  • Sen, Koushik
  • Shaw, Troy
  • Shinnar, Avraham
  • Siméon, Jérôme
  • Smaragdakis, Yannis
  • Smith, Graeme
  • St-Amour, Vincent
  • Stroustrup, Bjarne
  • Summers, Alexander J.
  • Takikawa, Asumu
  • Thiemann, Peter
  • Tobin-Hochstadt, Sam
  • Tripp, Omer
  • Vafeiadis, Viktor
  • Vekris, Panagiotis
  • Vitek, Jan
  • Wasowski, Andrzej
  • Wei, Shiyi
  • Xu, Guoqing
  • Zappa Nardelli, Francesco

  •   
    Front Matter, Table of Contents, Preface, Artifacts, Conference Organization
    Authors: Boyland, John Tang

    Abstract | Document (412 KB) | BibTeX

    Object-Oriented Programming without Inheritance (Invited Talk)
    Authors: Stroustrup, Bjarne

    Abstract | Document (200 KB) | BibTeX

    Programming in the Large for the Internet of Things (Invited Talk)
    Authors: Choi, Jong-Deok

    Abstract | Document (215 KB) | BibTeX

    Software Verification "Across the Stack" (Invited Talk)
    Authors: Summers, Alexander J.

    Abstract | Document (203 KB) | BibTeX

    Towards Practical Gradual Typing
    Authors: Takikawa, Asumu ; Feltey, Daniel ; Dean, Earl ; Flatt, Matthew ; Findler, Robert Bruce ; Tobin-Hochstadt, Sam ; Felleisen, Matthias

    Abstract | Document (866 KB) | BibTeX

    TreatJS: Higher-Order Contracts for JavaScripts
    Authors: Keil, Matthias ; Thiemann, Peter

    Abstract | Document (618 KB) | BibTeX

    Trust, but Verify: Two-Phase Typing for Dynamic Languages
    Authors: Vekris, Panagiotis ; Cosman, Benjamin ; Jhala, Ranjit

    Abstract | Document (678 KB) | BibTeX

    Concrete Types for TypeScript
    Authors: Richards, Gregor ; Zappa Nardelli, Francesco ; Vitek, Jan

    Abstract | Document (697 KB) | BibTeX

    Simple and Effective Type Check Removal through Lazy Basic Block Versioning
    Authors: Chevalier-Boisvert, Maxime ; Feeley, Marc

    Abstract | Document (889 KB) | BibTeX

    Loop Tiling in the Presence of Exceptions
    Authors: Bhandari, Abhilash ; Nandivada, V. Krishna

    Abstract | Document (1,180 KB) | BibTeX

    Transparent Object Proxies in JavaScript
    Authors: Keil, Matthias ; Guria, Sankha Narayan ; Schlegel, Andreas ; Geffken, Manuel ; Thiemann, Peter

    Abstract | Document (577 KB) | BibTeX

    A Theory of Tagged Objects
    Authors: Lee, Joseph ; Aldrich, Jonathan ; Shaw, Troy ; Potanin, Alex

    Abstract | Document (608 KB) | BibTeX

    Brand Objects for Nominal Typing
    Authors: Jones, Timothy ; Homer, Michael ; Noble, James

    Abstract | Document (558 KB) | BibTeX

    Access-rights Analysis in the Presence of Subjects
    Authors: Centonze, Paolina ; Pistoia, Marco ; Tripp, Omer

    Abstract | Document (798 KB) | BibTeX

    Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
    Authors: Dimovski, Aleksandar S. ; Brabrand, Claus ; Wasowski, Andrzej

    Abstract | Document (703 KB) | BibTeX

    Optimization Coaching for JavaScript
    Authors: St-Amour, Vincent ; Guo, Shu-yu

    Abstract | Document (662 KB) | BibTeX

    PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
    Authors: Fang, Lu ; Dou, Liang ; Xu, Guoqing

    Abstract | Document (1,006 KB) | BibTeX

    Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
    Authors: Alimadadi, Saba ; Mesbah, Ali ; Pattabiraman, Karthik

    Abstract | Document (1,005 KB) | BibTeX

    Intensional Effect Polymorphism
    Authors: Long, Yuheng ; Liu, Yu David ; Rajan, Hridesh

    Abstract | Document (706 KB) | BibTeX

    Type Inference for Place-Oblivious Objects
    Authors: Haque, Riyaz ; Palsberg, Jens

    Abstract | Document (561 KB) | BibTeX

    Asynchronous Liquid Separation Types
    Authors: Kloos, Johannes ; Majumdar, Rupak ; Vafeiadis, Viktor

    Abstract | Document (658 KB) | BibTeX

    The Eureka Programming Model for Speculative Task Parallelism
    Authors: Imam, Shams ; Sarkar, Vivek

    Abstract | Document (719 KB) | BibTeX

    Cooking the Books: Formalizing JMM Implementation Recipes
    Authors: Petri, Gustavo ; Vitek, Jan ; Jagannathan, Suresh

    Abstract | Document (667 KB) | BibTeX

    Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
    Authors: Dongol, Brijesh ; Derrick, John ; Groves, Lindsay ; Smith, Graeme

    Abstract | Document (744 KB) | BibTeX

    The Love/Hate Relationship with the C Preprocessor: An Interview Study
    Authors: Medeiros, Flávio ; Kästner, Christian ; Ribeiro, Márcio ; Nadi, Sarah ; Gheyi, Rohit

    Abstract | Document (761 KB) | BibTeX

    The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
    Authors: Pradel, Michael ; Sen, Koushik

    Abstract | Document (548 KB) | BibTeX

    A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
    Authors: Shinnar, Avraham ; Siméon, Jérôme ; Hirzel, Martin

    Abstract | Document (785 KB) | BibTeX

    Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
    Authors: Burckhardt, Sebastian ; Leijen, Daan ; Protzenko, Jonathan ; Fähndrich, Manuel

    Abstract | Document (393 KB) | BibTeX

    Streams a la carte: Extensible Pipelines with Object Algebras
    Authors: Biboudis, Aggelos ; Palladinos, Nick ; Fourtounis, George ; Smaragdakis, Yannis

    Abstract | Document (622 KB) | BibTeX

    Lightweight Support for Magic Wands in an Automatic Verifier
    Authors: Schwerhoff, Malte ; Summers, Alexander J.

    Abstract | Document (662 KB) | BibTeX

    Modular Verification of Finite Blocking in Non-terminating Programs
    Authors: Boström, Pontus ; Müller, Peter

    Abstract | Document (572 KB) | BibTeX

    Modular Termination Verification
    Authors: Jacobs, Bart ; Bosnacki, Dragan ; Kuiper, Ruurd

    Abstract | Document (559 KB) | BibTeX

    Framework for Static Analysis of PHP Applications
    Authors: Hauzar, David ; Kofron, Jan

    Abstract | Document (1,652 KB) | BibTeX

    Adaptive Context-sensitive Analysis for JavaScript
    Authors: Wei, Shiyi ; Ryder, Barbara G.

    Abstract | Document (785 KB) | BibTeX

    Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
    Authors: Park, Changhee ; Ryu, Sukyoung

    Abstract | Document (709 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI