default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27. OOPSLA 2012: Tucson, Arizona, USA - Proceedings
- Gary T. Leavens, Matthew B. Dwyer:
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, ISBN 978-1-4503-1561-6
Concurrency I
- Kohei Suenaga
, Ryota Fukuda, Atsushi Igarashi:
Type-based safe resource deallocation for shared-memory concurrency. 1-20 - Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy:
Uniqueness and reference immutability for safe parallelism. 21-40 - Jaswanth Sreeram, Santosh Pande:
Safe compiler-driven transaction checkpointing and recovery. 41-56 - Stefan K. Muller, Stephen Chong:
Towards a practical secure concurrent language. 57-74
Verification
- Pavel Parízek, Ondrej Lhoták:
Predicate abstraction of Java programs with collections. 75-94 - Todd W. Schiller, Michael D. Ernst:
Reducing the barriers to writing verified specifications. 95-112 - Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson:
GPUVerify: a verifier for GPU kernels. 113-132 - Francesco Logozzo, Thomas Ball:
Modular and verified automatic program repair. 133-146
Compilation
- Sameer Kulkarni, John Cavazos:
Mitigating the compiler optimization phase-ordering problem using machine learning. 147-162 - Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen:
Optimization coaching: optimizers learn to communicate with programmers. 163-178 - Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Toshio Nakatani:
Adaptive multi-level compilation in a trace-based Java JIT compiler. 179-194 - José G. Castaños, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara, Peng Wu:
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages. 195-212
Updating software
- Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett:
An abstract interpretation framework for refactoring with application to extract methods with contracts. 213-232 - Ying Zhang, Gang Huang, Xuanzhe Liu, Wei Zhang, Hong Mei, Shunxiang Yang:
Refactoring android Java code for on-demand computation offloading. 233-248 - Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster:
Kitsune: efficient, general-purpose dynamic software updating for C. 249-264 - Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley:
Automating object transformations for dynamic software updating. 265-280
Concurrency II
- Jennifer B. Sartor, Lieven Eeckhout:
Exploring multi-threaded Java application performance on multicore hardware. 281-296 - Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu:
Work-stealing without the baggage. 297-314 - Sébastien Bocq, Koen Daenen:
Molecule: using monadic and streaming I/O to compose process networks on the JVM. 315-334 - Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek:
A black-box approach to understanding concurrency in DaCapo. 335-354
Synthesis
- Youngjoon Jo, Milind Kulkarni:
Automatically enhancing locality for tree traversals with traversal splicing. 355-374 - Dimitrios Prountzos, Roman Manevich, Keshav Pingali:
Elixir: a system for synthesizing concurrent graph programs. 375-394 - Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski:
From clarity to efficiency for distributed algorithms. 395-410 - K. Rustan M. Leino, Aleksandar Milicevic:
Program extrapolation with jennisys. 411-430
Fault detection & avoidance
- Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard:
Bolt: on-demand infinite loop escape in unmodified binaries. 431-450 - Jeff Huang, Charles Zhang:
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. 451-466 - Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm:
IFRit: interference-free regions for dynamic data-race detection. 467-484 - Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam:
Maple: a coverage-driven testing tool for multithreaded programs. 485-502
Program analysis I
- Anton Willy Dubrau, Laurie J. Hendren:
Taming MATLAB. 503-522 - Junaid Haroon Siddiqui, Sarfraz Khurshid:
Scaling symbolic execution using ranged analysis. 523-536 - Sam Tobin-Hochstadt, David Van Horn:
Higher-order symbolic execution via contracts. 537-554 - Grigore Rosu, Andrei Stefanescu:
Checking reachability using matching logic. 555-574
Dynamic languages
- Haiping Zhao, Iain Proctor, Minghui Yang, Xin Qi, Mark Williams, Qi Gao, Guilherme Ottoni, Andrew Paroski, Scott MacVicar, Jason Evans, Stephen Tu:
The HipHop compiler for PHP. 575-586 - Ravi Chugh, David Herman, Ranjit Jhala:
Dependent types for JavaScript. 587-606 - Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek:
Eval begone!: semi-automated removal of eval from javascript programs. 607-620 - Seonghoon Kang, Sukyoung Ryu:
Formal specification of a JavaScript module system. 621-638
Programming support I
- Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor:
AutoMan: a platform for integrating human-based and digital computation. 639-654 - Subhajit Datta, Renuka Sindhgatta, Bikram Sengupta:
Talk versus work: characteristics of developer collaboration on the jazz platform. 655-668 - Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis of integrated development environment recommendations. 669-682 - Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik:
An empirical study of the influence of static type systems on the usability of undocumented software. 683-702
Concurrency III
- Hung-Wei Tseng, Dean M. Tullsen:
Software data-triggered threads. 703-716 - Zachary R. Anderson:
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. 717-736 - Jeff Huang, Charles Zhang:
Execution privatization for scheduler-oblivious concurrent programs. 737-752 - Shams Mahmood Imam, Vivek Sarkar:
Integrating task parallelism with actors. 753-772
Types & modules
- Christian Kästner, Klaus Ostermann, Sebastian Erdweg:
A variability-aware module system. 773-792 - Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen:
Gradual typing for first-class classes. 793-810 - Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat:
Constrained kinds. 811-830 - Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu:
Energy types. 831-850
Program analysis II
- Bo Wu, Zhijia Zhao, Xipeng Shen, Yunlian Jiang, Yaoqing Gao, Raúl Silvera:
Exploiting inter-sequence correlations for program behavior prediction. 851-866 - Giorgio Ausiello, Camil Demetrescu, Irene Finocchi, Donatella Firmani:
k-Calling context profiling. 867-878 - Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst:
Reim & ReImInfer: checking and inference of reference immutability and method purity. 879-896 - Tao Bao, Yunhui Zheng, Xiangyu Zhang:
White box sampling in uncertain data processing enabled by program analysis. 897-914
Programming support II
- Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum:
Detecting problematic message sequences and frequencies in distributed systems. 915-926 - Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su:
Reusing debugging knowledge via trace-based bug search. 927-942 - T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt:
Chaperones and impersonators: run-time support for reasonable interposition. 943-962 - Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup:
Open and efficient type switch for C++. 963-982
Program understanding
- Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv:
Understanding the behavior of database operations under program control. 983-996 - Alon Mishne, Sharon Shoham, Eran Yahav:
Typestate-based semantic code search over partial programs. 997-1016 - Guoqing Xu:
Finding reusable data structures. 1017-1034
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-11-20 21:06 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:
