default search action

combined dblp search
author search
venue search
publication search

ask others

27. OOPSLA 2013: Indianapolis, IN, USA

> Home > Conferences and Workshops > OOPSLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/2013
Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes:
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. ACM 2013, ISBN 978-1-4503-2374-1

Best paper awards

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MeyerovichR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MeyerovichR13
Leo A. Meyerovich, Ariel S. Rabkin:
Empirical analysis of programming language adoption. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LiSWL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LiSWL13
You Li, Zhendong Su, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CarbinMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CarbinMR13
Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. 33-52

Memory & size management

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/HuangB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/HuangB13
Jipeng Huang, Michael D. Bond:
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. 53-72
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/UrecheTO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/UrecheTO13
Vlad Ureche, Cristian Talau, Martin Odersky:
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. 73-92
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ShahriyarBYM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ShahriyarBYM13
Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley:
Taking off the gloves with reference counting Immix. 93-110
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Xu13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Xu13
Guoqing Xu:
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs. 111-130

Best artifact awards

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/NorrisD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/NorrisD13
Brian Norris, Brian Demsky:
CDSchecker: checking concurrent data structures written with C/C++ atomics. 131-150
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RaychevVS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RaychevVS13
Veselin Raychev, Martin T. Vechev, Manu Sridharan:
Effective race detection for event-driven programs. 151-166
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BolzDT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BolzDT13
Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt:
Storage strategies for collections in dynamically typed languages. 167-182

Language design

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MillerHBO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MillerHBO13
Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky:
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. 183-202
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SalkeldK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SalkeldK13
Robin Salkeld, Gregor Kiczales:
Interacting with dead objects. 203-216
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PolitzMMWPLCK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PolitzMMWPLCK13
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi:
Python: the full monty. 217-232
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/GerakiosBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/GerakiosBS13
Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis:
Forsaking inheritance: supercharged delegation in DelphJ. 233-252

Security & optimization

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SmaragdakisBK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SmaragdakisBK13
Yannis Smaragdakis, George Balatsouras, George Kastrinis:
Set-based pre-processing for points-to analysis. 253-270
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TetaliLMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TetaliLMM13
Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein:
MrCrypt: static analysis for secure cloud computations. 271-286
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DeLozierENOMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DeLozierENOMZ13
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic:
Ironclad C++: a library-augmented type-safe subset of c++. 287-304
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RichardsHNJV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RichardsHNJV13
Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek:
Flexible access control for javascript. 305-322

Design & analysis tools

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/FeldthausM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/FeldthausM13
Asger Feldthaus, Anders Møller:
Semi-automatic rename refactoring for JavaScript. 323-338
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RaychevSSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RaychevSSV13
Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev:
Refactoring with synthesis. 339-354
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BoisSEE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BoisSEE13
Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout:
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. 355-372
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DEliaD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DEliaD13
Daniele Cono D'Elia, Camil Demetrescu:
Ball-Larus path profiling across multiple loop iterations. 373-390

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/0001SCA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/0001SCA13
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken:
Data-driven equivalence checking. 391-406
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KneussKKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KneussKKS13
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. 407-426
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ShiBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ShiBH13
Yao Shi, Bernard Blackham, Gernot Heiser:
Code optimizations using formally verified properties. 427-442
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DilligDLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DilligDLM13
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan:
Inductive invariant generation via abductive inference. 443-456

Types & contracts

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/HoppeH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/HoppeH13
Michael Hoppe, Stefan Hanenberg:
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. 457-474
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DimoulasFF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DimoulasFF13
Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen:
Option contracts. 475-494
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TreichlerBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TreichlerBA13
Sean Treichler, Michael Bauer, Alex Aiken:
Language support for dynamic, hierarchical data partitioning. 495-514
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BalatsourasS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BalatsourasS13
George Balatsouras, Yannis Smaragdakis:
Class hierarchy complementation: soundly completing a partial type graph. 515-532

Distribution & parallelism

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RavichandranP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RavichandranP13
Kaushik Ravichandran, Santosh Pande:
Multiverse: efficiently supporting distributed high-level speculation. 533-552
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ClebschD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ClebschD13
Sylvan Clebsch, Sophia Drossopoulou:
Fully concurrent garbage collection of actors on many-core machines. 553-570
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ZhaoLBCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ZhaoLBCS13
Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Isolation for nested task parallelism. 571-588
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TrippKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TrippKS13
Omer Tripp, Eric Koskinen, Mooly Sagiv:
Turning nondeterminism into parallelism. 589-604

Mobile & graphics

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ChongDKKQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ChongDKKQ13
Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer:
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. 605-622
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ChoiNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ChoiNS13
Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. 623-640
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AzimN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AzimN13
Tanzirul Azim, Iulian Neamtiu:
Targeted and depth-first exploration for systematic testing of android apps. 641-660
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KansalSBMMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KansalSBMMZ13
Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola:
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. 661-676

Parallelism & concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BerganCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BerganCG13
Tom Bergan, Luis Ceze, Dan Grossman:
Input-covering schedules for multithreaded programs. 677-692
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BondKCZSBSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BondKCZSBSH13
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang:
OCTET: capturing and controlling cross-thread dependences efficiently. 693-712
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/NollG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/NollG13
Albert Noll, Thomas R. Gross:
Online feedback-directed optimizations for parallel Java code. 713-728
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/HerhutHSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/HerhutHSS13
Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram:
River trail: a path to parallelism in JavaScript. 729-744

Faults & errors

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BhattacharyaGN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BhattacharyaGN13
Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda:
Combining concern input with program analysis for bloat detection. 745-764
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Zhang0K13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Zhang0K13
Lingming Zhang, Lu Zhang, Sarfraz Khurshid:
Injecting mechanical faults to localize developer faults for evolving software. 765-784
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Deng0L13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Deng0L13
Dongdong Deng, Wei Zhang, Shan Lu:
Efficient concurrency-bug detection across inputs. 785-802
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ZhongS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ZhongS13
Hao Zhong, Zhendong Su:
Detecting API documentation errors. 803-816

Concurrency & performance tuning

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BaoZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BaoZ13
Tao Bao, Xiangyu Zhang:
On-the-fly detection of instability problems in floating-point program execution. 817-832
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CoonsMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CoonsMM13
Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley:
Bounded partial-order reduction. 833-848
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MitchellS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MitchellS13
Nick Mitchell, Peter F. Sweeney:
On-the-fly capacity planning. 849-866
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/VafeiadisN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/VafeiadisN13
Viktor Vafeiadis, Chinmay Narayan:
Relaxed separation logic: a program logic for C11 concurrency. 867-884

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.