Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27. OOPSLA 2013: Indianapolis, IN, USA
- 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
- Leo A. Meyerovich, Ariel S. Rabkin:
Empirical analysis of programming language adoption. 1-18 - You Li, Zhendong Su
, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. 19-32 - Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. 33-52
Memory & size management
- Jipeng Huang, Michael D. Bond:
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. 53-72 - Vlad Ureche, Cristian Talau, Martin Odersky:
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. 73-92 - Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley:
Taking off the gloves with reference counting Immix. 93-110 - Guoqing Xu:
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs. 111-130
Best artifact awards
- Brian Norris, Brian Demsky:
CDSchecker: checking concurrent data structures written with C/C++ atomics. 131-150 - Veselin Raychev, Martin T. Vechev, Manu Sridharan:
Effective race detection for event-driven programs. 151-166 - Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt:
Storage strategies for collections in dynamically typed languages. 167-182
Language design
- Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky:
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. 183-202 - Robin Salkeld, Gregor Kiczales:
Interacting with dead objects. 203-216 - Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi:
Python: the full monty. 217-232 - Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis:
Forsaking inheritance: supercharged delegation in DelphJ. 233-252
Security & optimization
- Yannis Smaragdakis, George Balatsouras, George Kastrinis:
Set-based pre-processing for points-to analysis. 253-270 - Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein:
MrCrypt: static analysis for secure cloud computations. 271-286 - 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 - Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek:
Flexible access control for javascript. 305-322
Design & analysis tools
- Asger Feldthaus, Anders Møller:
Semi-automatic rename refactoring for JavaScript. 323-338 - Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev:
Refactoring with synthesis. 339-354 - Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout:
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. 355-372 - Daniele Cono D'Elia, Camil Demetrescu:
Ball-Larus path profiling across multiple loop iterations. 373-390
Verification
- Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken:
Data-driven equivalence checking. 391-406 - Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. 407-426 - Yao Shi, Bernard Blackham, Gernot Heiser:
Code optimizations using formally verified properties. 427-442 - Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan:
Inductive invariant generation via abductive inference. 443-456
Types & contracts
- Michael Hoppe, Stefan Hanenberg:
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. 457-474 - Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen:
Option contracts. 475-494 - Sean Treichler, Michael Bauer, Alex Aiken:
Language support for dynamic, hierarchical data partitioning. 495-514 - George Balatsouras, Yannis Smaragdakis:
Class hierarchy complementation: soundly completing a partial type graph. 515-532
Distribution & parallelism
- Kaushik Ravichandran, Santosh Pande:
Multiverse: efficiently supporting distributed high-level speculation. 533-552 - Sylvan Clebsch, Sophia Drossopoulou:
Fully concurrent garbage collection of actors on many-core machines. 553-570 - Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Isolation for nested task parallelism. 571-588 - Omer Tripp, Eric Koskinen, Mooly Sagiv:
Turning nondeterminism into parallelism. 589-604
Mobile & graphics
- 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 - Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. 623-640 - Tanzirul Azim, Iulian Neamtiu:
Targeted and depth-first exploration for systematic testing of android apps. 641-660 - 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
- Tom Bergan, Luis Ceze, Dan Grossman:
Input-covering schedules for multithreaded programs. 677-692 - 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 - Albert Noll, Thomas R. Gross:
Online feedback-directed optimizations for parallel Java code. 713-728 - Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram:
River trail: a path to parallelism in JavaScript. 729-744
Faults & errors
- Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda:
Combining concern input with program analysis for bloat detection. 745-764 - Lingming Zhang, Lu Zhang, Sarfraz Khurshid:
Injecting mechanical faults to localize developer faults for evolving software. 765-784 - Dongdong Deng, Wei Zhang, Shan Lu:
Efficient concurrency-bug detection across inputs. 785-802 - Hao Zhong, Zhendong Su:
Detecting API documentation errors. 803-816
Concurrency & performance tuning
- Tao Bao, Xiangyu Zhang:
On-the-fly detection of instability problems in floating-point program execution. 817-832 - Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley:
Bounded partial-order reduction. 833-848 - Nick Mitchell, Peter F. Sweeney:
On-the-fly capacity planning. 849-866 - Viktor Vafeiadis, Chinmay Narayan:
Relaxed separation logic: a program logic for C11 concurrency. 867-884
a service of 
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-04-26 18:33 CEST 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:
