| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simon Fowler 0001, Sam Lindley, Philip Wadler |
Mixing Metaphors: Actors as Channels and Channels as Actors.  |
ECOOP  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd A. Anderson 0001, Hai Liu 0012, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman |
Parallelizing Julia with a Non-Invasive DSL. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Dietrich 0001, David J. Pearce 0001, Kamil Jezek, Premek Brada |
Contracts in the Wild: A Study of Java Programs. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vollmer 0003, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni 0001, Sam Tobin-Hochstadt, Ryan Newton |
Compiling Tree Transforms to Operate on Packed Representations. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Schulte |
Challenges to Achieving High Availability at Scale (Invited Talk). |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter |
Type Abstraction for Relaxed Noninterference. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yudi Zheng, Lubomír Bulej, Walter Binder |
An Empirical Study on Deoptimization in the Graal Compiler. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Huang 0001, Arun K. Rajagopalan |
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikaël Mayer, Jad Hamza, Viktor Kuncak |
Proactive Synthesis of Recursive Tree-to-String Functions from Examples. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Wang 0046, Tiark Rompf |
Towards Strong Normalization for Dependent Object Types (DOT). |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Podkopaev, Ori Lahav 0001, Viktor Vafeiadis |
Promising Compilation to ARMv8 POP. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin S. Gordon |
A Generic Approach to Flow-Sensitive Polymorphic Effects. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek 0001 |
Data Exploration through Dot-driven Development. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger 0001, Laurence Tratt, Christian Urban |
Modelling Homogeneous Generative Meta-Programming. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Tate |
Retargeting Gradual Typing (Invited Talk). |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Müller 0001 (eds.) |
31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain |
ECOOP |
2017 |
DBLP BibTeX RDF |
|
| 1 | Daco Harkes, Eelco Visser |
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Bracha |
Composing Software in an Age of Dissonance (Invited Talk). |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini |
A Co-contextual Type Checker for Featherweight Java . |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Weili Fu, Roly Perera, Paul Anderson 0003, James Cheney |
muPuppet: A Declarative Subset of the Puppet Configuration Language. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Castegren, Tobias Wrigstad |
Relaxed Linear References for Lock-free Data Structures. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
Mailbox Abstractions for Static Analysis of Actor Programs. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiyou Huang, Jeff Huang 0001 |
Speeding Up Maximal Causality Reduction with Static Dependency Analysis. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001 |
Concurrent Data Structures Linked in Time. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Dietrich 0001, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin |
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Weixin Zhang, Bruno C. d. S. Oliveira |
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Saleil, Marc Feeley |
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav 0001, Viktor Vafeiadis |
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich |
A Capability-Based Module System for Authority Control. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Castegren, Tobias Wrigstad |
Reference Capabilities for Concurrency Control. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Chevalier-Boisvert, Marc Feeley |
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Eyolfson, Patrick Lam 0001 |
C++ const and Immutability: An Empirical Study of Writes-Through-const. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Zhao 0011, Guoyang Chen, Chunhua Liao, Xipeng Shen |
Towards Ontology-Based Program Analysis. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alceste Scalas, Nobuko Yoshida |
Lightweight Session Programming in Scala. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Li 0006, Tian Tan 0001, Yifei Zhang 0001, Jingling Xue |
Program Tailoring: Slicing by Sequential Criteria. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark S. Miller, Bill Tulloh |
The Elements of Decision Alignment. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaakko Järvi, Sean Parent |
One Way to Select Many. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong 0001, Xiangyu Luo, Lu Zhang 0023, Zhenjiang Hu |
Transforming Programs between APIs with Many-to-Many Mappings. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter |
Transactional Tasks: Parallelism in Software Transactions. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
Fine-grained Language Composition: A Case Study. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, List of Authors. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Esben Andreasen, Colin S. Gordon, Satish Chandra 0001, Manu Sridharan, Frank Tip, Koushik Sen |
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi |
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser |
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Palmer, Scott F. Smith 0001 |
Higher-Order Demand-Driven Program Analysis. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer |
QL: Object-oriented Queries on Relational Data. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Jezek, Jens Dietrich 0001 |
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daco Harkes, Danny M. Groenewegen, Eelco Visser |
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Composing Interfering Abstract Protocols. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Späth, Lisa Nguyen Quang Do, Karim Ali 0001, Eric Bodden |
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luminous Fennell, Peter Thiemann 0001 |
LJGS: Gradual Security Types for Object-Oriented Languages. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John Toman, Dan Grossman |
Staccato: A Bug Finder for Dynamic Configuration Updates. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Gil, Tomer Levy |
Formal Language Recognition with the Java Type Checker. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Chen 0008, Martin Erwig, Eric Walkingshaw |
A Calculus for Variational Programming. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Jones 0002, Michael Homer, James Noble 0001, Kim B. Bruce |
Object Inheritance Without Classes. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Benjamin S. Lerner (eds.) |
30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy |
ECOOP |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt |
Making an Embedded DBMS JIT-friendly. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper 0001 |
Modular Termination Verification. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
A Theory of Tagged Objects. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Fang 0003, Liang Dou, Guoqing Xu 0001 |
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Medeiros, Christian Kästner, Márcio Ribeiro 0001, Sarah Nadi, Rohit Gheyi |
The Love/Hate Relationship with the C Preprocessor: An Interview Study. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Keil 0002, Peter Thiemann 0001 |
TreatJS: Higher-Order Contracts for JavaScripts. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuheng Long, Yu David Liu, Hridesh Rajan |
Intensional Effect Polymorphism. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent St-Amour, Shu-yu Guo |
Optimization Coaching for JavaScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Keil 0002, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann 0001 |
Transparent Object Proxies in JavaScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
Trust, but Verify: Two-Phase Typing for Dynamic Languages. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
Towards Practical Gradual Typing. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Artifacts, Conference Organization. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhilash Bhandari, V. Krishna Nandivada |
Loop Tiling in the Presence of Exceptions. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
Concrete Types for TypeScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Schwerhoff, Alexander J. Summers |
Lightweight Support for Magic Wands in an Automatic Verifier. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shams Imam, Vivek Sarkar |
The Eureka Programming Model for Speculative Task Parallelism. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Chevalier-Boisvert, Marc Feeley |
Simple and Effective Type Check Removal through Lazy Basic Block Versioning. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Avraham Shinnar, Jérôme Siméon, Martin Hirzel |
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Riyaz Haque, Jens Palsberg |
Type Inference for Place-Oblivious Objects. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiyi Wei, Barbara G. Ryder |
Adaptive Context-sensitive Analysis for JavaScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pradel, Koushik Sen |
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith 0001 |
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang Boyland (eds.) |
29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic |
ECOOP |
2015 |
DBLP BibTeX RDF |
|
| 1 | Timothy Jones 0002, Michael Homer, James Noble 0001 |
Brand Objects for Nominal Typing. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarne Stroustrup |
Object-Oriented Programming without Inheritance (Invited Talk). |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolina Centonze, Marco Pistoia, Omer Tripp |
Access-rights Analysis in the Presence of Subjects. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Petri, Jan Vitek, Suresh Jagannathan |
Cooking the Books: Formalizing JMM Implementation Recipes. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
Asynchronous Liquid Separation Types. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich |
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström, Peter Müller 0001 |
Modular Verification of Finite Blocking in Non-terminating Programs. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-Deok Choi |
Programming in the Large for the Internet of Things (Invited Talk). |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Saba Alimadadi, Ali Mesbah 0001, Karthik Pattabiraman |
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hauzar, Jan Kofron |
Framework for Static Analysis of PHP Applications. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhee Park, Sukyoung Ryu |
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers |
Software Verification "Across the Stack" (Invited Talk). |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis |
Streams a la carte: Extensible Pipelines with Object Algebras. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Mayer, Andreas Schroeder 0001 |
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoya Nitta, Izuru Kume, Yasuhiro Takemura |
Identifying Mandatory Code for Framework Use via a Single Application Trace. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg, Robert Krahn |
Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Gramoli, Rachid Guerraoui |
Reusable Concurrent Data Types. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license