ECOOP 2014

27 papers

1. An Executable Formal Semantics of PHP · Daniele Filaretti, Sergio Maffeis
2. Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks · Philip Mayer, Andreas Schroeder
3. Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language · Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg + 1 more
4. Capture-Avoiding and Hygienic Program Transformations · Sebastian Erdweg, Tijs van der Storm, Yi Dai
5. Constructing Call Graphs of Scala Programs · Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
6. Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions · Semih Okur, Cansu Erdogan, Danny Dig
7. Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns · Shams Mahmood Imam, Vivek Sarkar
8. Finding Reference-Counting Errors in Python/C Programs with Affine Analysis · Siliang Li, Gang Tan
9. Graceful Dialects · Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
10. Identifying Mandatory Code for Framework Use via a Single Application Trace · Naoya Nitta, Izuru Kume, Yasuhiro Takemura
11. Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding · Maximilian Scherr, Shigeru Chiba
12. Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores · Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang
13. MiCA: A Compositional Architecture for Gossip Protocols · Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé
14. Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering · Erick Lavoie, Bruno Dufour, Marc Feeley
15. Rely-Guarantee Protocols · Filipe Militão, Jonathan Aldrich, Luís Caires
16. Retargetting Legacy Browser Extensions to Modern Extension Frameworks · Rezwana Karim, Mohan Dhawan, Vinod Ganapathy
17. Reusable Concurrent Data Types · Vincent Gramoli, Rachid Guerraoui
18. Safely Composable Type-Specific Languages · Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
19. Self-inferencing Reflection Resolution for Java · Yue Li, Tian Tan, Yulei Sui, Jingling Xue
20. Semantics of (Resilient) X10 · Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
21. Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages · Davide Ancona, Andrea Corradi
22. Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution · Heather Miller, Philipp Haller, Martin Odersky
23. State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects · Shiyi Wei, Barbara G. Ryder
24. Stream Processing with a Spreadsheet · Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
25. Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming · Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
26. TaDA: A Logic for Time and Data Abstraction · Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
27. Understanding TypeScript · Gavin M. Bierman, Martín Abadi, Mads Torgersen