default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26. OOPSLA 2011: Portland Oregon, USA - Proceedings
- Cristina Videira Lopes, Kathleen Fisher:
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
- Ivan E. Sutherland:
The sequential prison. 1-2
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
- Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav:
Asynchronous assertions. 275-288 - Kevin J. Hoffman, Harrison Metzger, Patrick Eugster:
Ribbons: a partially shared memory programming model. 289-306 - Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley:
Why nothing matters: the impact of zeroing. 307-324
Specification and verification tools
- Eva Darulova, Viktor Kuncak:
Trustworthy numerical computation in Scala. 325-344 - Siliang Li, Gang Tan:
JET: exception checking in the Java native interface. 345-358 - Cristina David, Wei-Ngan Chin:
Immutable specifications for more concise and precise verification. 359-374
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
- Donghwan Jeon, Saturnino Garcia, Christopher M. Louie, Michael Bedford Taylor:
Kismet: parallel speedup estimates for serial programs. 519-536 - Romain Cledat, Tushar Kumar, Santosh Pande:
Efficiently speeding up sequential computation through the n-way programming model. 537-554 - Hari K. Pyla, Calvin J. Ribbens, Srinidhi Varadarajan:
Exploiting coarse-grain speculative parallelism. 555-574 - Aaron Joseph Turon, Claudio V. Russo:
Scalable join patterns. 575-594
Type systems I
- Benjamin Delaware, William R. Cook, Don S. Batory:
Product lines of theorems. 595-608 - Lintaro Ina, Atsushi Igarashi:
Gradual typing for generics. 609-624 - Jesse A. Tov, Riccardo Pucella:
A theory of substructural types and control. 625-642
Empirical results
- Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer:
Benefits and barriers of user evaluation in software engineering research. 643-656 - Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder:
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. 657-676 - Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek:
Automated construction of JavaScript benchmarks. 677-694
Language design
- Zef Hemel, Eelco Visser:
Declaratively programming the mobile web with Mobl. 695-712 - Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter:
First-class state change in plaid. 713-732 - David H. Lorenz, Boaz Rosenan:
Cedalion: a language for language oriented programming. 733-752 - Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-adjusting stack machines. 753-772
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
- Thomas H. Austin, Tim Disney, Cormac Flanagan:
Virtual values for language extension. 921-938 - Zachary Palmer, Scott F. Smith:
Backstage Java: making a difference in metaprogramming. 939-958 - Toon Verwaest, Camillo Bruni, Mircea Lungu, Oscar Nierstrasz:
Flexible object layouts: enabling lightweight language extensions by intercepting slot access. 959-972
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
- Ravichandhran Madhavan, Raghavan Komondoor:
Null dereference verification via over-approximated weakest pre-conditions analysis. 1033-1052 - Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg:
F4F: taint analysis of framework-based web applications. 1053-1068 - Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov:
RoleCast: finding missing security checks when you do not know what checks are. 1069-1084
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-10-31 20:21 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:
