26. OOPSLA 2011:
Portland Oregon,
USA - Proceedings
Cristina Videira Lopes, Kathleen Fisher (Eds.):
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011.
ACM 2011, ISBN 978-1-4503-0940-0 
Keynote
Catching concurrency bugs
- Tongping Liu, Emery D. Berger:
SHERIFF: precise detection and automatic mitigation of false sharing.
3-18
- Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan:
Accentuating the positive: atomicity inference and enforcement using correct executions.
19-34
- Du Li, Witawas Srisa-an, Matthew B. Dwyer:
SOS: saving time in dynamic race detection with stationary analysis.
35-50
- Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav:
Testing atomicity of composed concurrent operations.
51-64
Synthesis and analysis
- Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama:
Data-driven synthesis for object-oriented frameworks.
65-82
- Yewen Pu, Rastislav Bodík, Saurabh Srivastava:
Synthesis of first-order dynamic programming algorithms.
83-98
- Jesse Doherty, Laurie J. Hendren, Soroush Radpour:
Kind analysis for MATLAB.
99-118
- Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip:
Tool-supported refactoring for JavaScript.
119-138
Tools for reliability and testing
- Lennart C. L. Kats, Rob Vermaas, Eelco Visser:
Integrated language definition testing: enabling test-driven language development.
139-154
- Milan Jovic, Andrea Adamoli, Matthias Hauswirth:
Catch me if you can: performance bug detection in the wild.
155-170
- Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen:
PREFAIL: a programmable tool for multiple-failure injection.
171-188
- Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su:
Synthesizing method sequences for high-coverage testing.
189-206
Parallelizing compilers
- Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv:
HAWKEYE: effective discovery of dataflow impediments to parallelization.
207-224
- Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic fine-grain locking using shape properties.
225-242
- Chuanle Ke, Lei Liu, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding:
Safe parallel programming using dynamic dependence hints.
243-258
- Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav:
Sprint: speculative prefetching of remote data.
259-274
Memory management
Specification and verification tools
Award papers
- Amin Shali, William R. Cook:
Hybrid partial evaluation.
375-390
- Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann:
SugarJ: library-based syntactic language extensibility.
391-406
- Camil Demetrescu, Irene Finocchi, Andrea Ribichini:
Reactive imperative programming with dataflow constraints.
407-426
- Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball:
Two for the price of one: a model for parallel and incremental computation.
427-444
Language implementation I
- Kai Tian, Eddy Z. Zhang, Xipeng Shen:
A step towards transparent integration of input-consciousness into dynamic program optimizations.
445-462
- Youngjoon Jo, Milind Kulkarni:
Enhancing locality for recursive traversals of recursive structures.
463-482
- Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig:
Flow-sensitive type recovery in linear-log time.
483-498
- Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Oracle scheduling: controlling granularity in implicitly parallel languages.
499-518
Parallel/concurrent programming I
Type systems I
Empirical results
Language design
Language implementation II
- Prasad A. Kulkarni:
JIT compilation policy for modern machines.
773-788
- Peng Wu, Hiroshige Hayashizaki, Hiroshi Inoue, Toshio Nakatani:
Reducing trace selection footprint for large-scale Java applications without performance loss.
789-804
- Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger:
Variability-aware parsing in the presence of lexical macros and conditional compilation.
805-824
- Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck:
Safe and atomic run-time code evolution for Java and its application to dynamic AOP.
825-844
Parallel/concurrent programming II
- Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse:
A simple abstraction for complex concurrent indexes.
845-864
- Zachary R. Anderson, David Gay:
Composable, nestable, pessimistic atomic statements.
865-884
- Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Delegated isolation.
885-902
- Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy:
AC: composable asynchronous IO for native languages.
903-920
Reflection and meta-programming
Type systems II
- Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.:
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.
973-992
- Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park:
A syntactic type system for recursive modules.
993-1012
- Alexander J. Summers, Peter Müller:
Freedom before commitment: a lightweight type system for object initialisation.
1013-1032
Program analysis
Last update Fri May 25 08:30:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
