kirancodes.me
To Proof Maintenance & Beyond!
Venues / ECOOP /

ECOOP 2011

29 papers

  1. A Co-relational Model of Data for Large Shared Data Banks · Erik Meijer
  2. A Featherweight Approach to FOOL · Atsushi Igarashi
  3. A Refactoring Constraint Language and Its Application to Eiffel · Friedrich Steimann, Christian Kollee, Jens von Pilgrim
  4. An Empirical Study of Object Protocols in the Wild · Nels E. Beckman, Duri Kim, Jonathan Aldrich
  5. Atomic Boxes: Coordinated Exception Handling with Transactional Memory · Derin Harmanci, Vincent Gramoli, Pascal Felber
  6. CDDiff: Semantic Differencing for Class Diagrams · Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
  7. Can We Avoid High Coupling? · Craig Taube-Schock, Robert J. Walker, Ian H. Witten
  8. Counting Messages as a Proxy for Average Execution Time in Pharo · Alexandre Bergel
  9. Detecting and Escaping Infinite Loops with Jolt · Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
  10. Expressiveness, Simplicity, and Users · Craig Chambers
  11. Frequency Estimation of Virtual Call Targets for Object-Oriented Programs · Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen
  12. Gradual Typestate · Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
  13. Improving the Tokenisation of Identifier Names · Simon Butler, Michel Wermelinger, Yijun Yu, Helen Sharp
  14. Interprocedural Exception Analysis for C++ · Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta
  15. Maintaining Database Integrity with Refinement Types · Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
  16. Mining Evolution of Object Usage · Yana Momchilova Mileva, Andrzej Wasylkowski, Andreas Zeller
  17. Modal Object Diagrams · Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
  18. Patterns of Memory Inefficiency · Adriana E. Chis, Nick Mitchell, Edith Schonberg, Gary Sevitsky, Patrick O'Sullivan, Trevor Parsons + 1 more
  19. Related Types · Johnni Winther, Michael I. Schwartzbach
  20. Reuse, Recycle to De-bloat Software · Suparna Bhattacharya, Mangala Gowri Nanda, Kanchi Gopinath, Manish Gupta
  21. Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity · Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel
  22. Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging · Guillaume Pothier, Éric Tanter
  23. The Beauty and the Beast: Separating Design from Algorithm · Dmitrijs Zaparanuks, Matthias Hauswirth
  24. The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications · Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek
  25. Tunable Static Inference for Generic Universe Types · Werner Dietl, Michael D. Ernst, Peter Müller
  26. Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks · Robert L. Bocchino Jr., Vikram S. Adve
  27. Using Structure-Based Recommendations to Facilitate Discoverability in APIs · Ekwa Duala-Ekoko, Martin P. Robillard
  28. Verifying Multi-object Invariants with Relationships · Stephanie Balzer, Thomas R. Gross
  29. Worlds: Controlling the Scope of Side Effects · Alessandro Warth, Yoshiki Ohshima, Ted Kaehler, Alan C. Kay