default search action
31st ECOOP 2017: Barcelona, Spain
- Peter Müller:
31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. LIPIcs 74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-035-4 - Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors. 0:i-0:xxvi
- Wolfram Schulte:
Challenges to Achieving High Availability at Scale (Invited Talk). 1:1-1:1 - Gilad Bracha:
Composing Software in an Age of Dissonance (Invited Talk). 2:1-2:1 - Ross Tate:
Retargeting Gradual Typing (Invited Talk). 3:1-3:1 - Todd A. Anderson, Hai Liu, Lindsey Kuper
, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman:
Parallelizing Julia with a Non-Invasive DSL. 4:1-4:29 - Martin Berger
Modelling Homogeneous Generative Meta-Programming. 5:1-5:23 - Elias Castegren, Tobias Wrigstad:
Relaxed Linear References for Lock-free Data Structures. 6:1-6:32 - Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference. 7:1-7:27 - Germán Andrés Delbianco
Concurrent Data Structures Linked in Time. 8:1-8:30 - Jens Dietrich
Contracts in the Wild: A Study of Java Programs. 9:1-9:29 - Jens Dietrich
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. 10:1-10:32 - Simon Fowler
Mixing Metaphors: Actors as Channels and Channels as Actors. 11:1-11:28 - Weili Fu, Roly Perera, Paul Anderson, James Cheney
muPuppet: A Declarative Subset of the Puppet Configuration Language. 12:1-12:27 - Colin S. Gordon
A Generic Approach to Flow-Sensitive Polymorphic Effects. 13:1-13:31 - Daco Harkes, Eelco Visser:
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. 14:1-14:29 - Jeff Huang, Arun K. Rajagopalan:
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. 15:1-15:22 - Shiyou Huang, Jeff Huang:
Speeding Up Maximal Causality Reduction with Static Dependency Analysis. 16:1-16:22 - Jan-Oliver Kaiser, Hoang-Hai Dang
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. 17:1-17:29 - Edlira Kuci, Sebastian Erdweg, Oliver Bracevac
A Co-contextual Type Checker for Featherweight Java . 18:1-18:26 - Mikaël Mayer, Jad Hamza, Viktor Kuncak
Proactive Synthesis of Recursive Tree-to-String Functions from Examples. 19:1-19:30 - Darya Melicher
A Capability-Based Module System for Authority Control. 20:1-20:27 - Tomas Petricek:
Data Exploration through Dot-driven Development. 21:1-21:27 - Anton Podkopaev
Promising Compilation to ARMv8 POP. 22:1-22:28 - Baptiste Saleil, Marc Feeley:
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis. 23:1-23:23 - Alceste Scalas
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. 24:1-24:31 - Quentin Stiévenart
Mailbox Abstractions for Static Analysis of Actor Programs. 25:1-25:30 - Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt
Compiling Tree Transforms to Operate on Packed Representations. 26:1-26:29 - Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT). 27:1-27:25 - Jack Williams
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. 28:1-28:29 - Weixin Zhang, Bruno C. d. S. Oliveira:
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. 29:1-29:32 - Yudi Zheng, Lubomír Bulej, Walter Binder
An Empirical Study on Deoptimization in the Graal Compiler. 30:1-30:30
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: