default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28. OOPSLA 2014: Portland, OR, USA
- Andrew P. Black, Todd D. Millstein:
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. ACM 2014, ISBN 978-1-4503-2585-1
Program analysis and the web
- Asger Feldthaus, Anders Møller
:
Checking correctness of TypeScript interfaces for JavaScript libraries. 1-16 - Esben Andreasen, Anders Møller:
Determinacy in static analysis for jQuery. 17-31 - Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. 33-47 - Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy:
Using web corpus statistics for program analysis. 49-65
Runtime systems
- Earl T. Barr, Mark Marron:
Tardis: affordable time-travel debugging in managed runtimes. 67-82 - Jonathan Bell, Gail E. Kaiser:
Phosphor: illuminating dynamic data flow in commodity jvms. 83-101 - Luís Pina, Luís Veiga, Michael W. Hicks:
Rubah: DSU for Java on a stock JVM. 103-119 - Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley:
Fast conservative garbage collection. 121-139
Domain specific languages
- Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine:
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. 141-155 - Richard Uhler, Nirav Dave:
Smten with satisfiability-based search. 157-176 - Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe:
StreamJIT: a commensal compiler for high-performance stream programming. 177-195 - Emma Tosch, Emery D. Berger:
SurveyMan: programming and automatically debugging surveys. 197-211
Type systems
- Thomas Bartenstein, Yu David Liu:
Rate types for stream programs. 213-232 - Nada Amin, Tiark Rompf, Martin Odersky:
Foundations of path-dependent types. 233-249 - Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter:
Confined gradual typing. 251-270 - John Altidor, Yannis Smaragdakis:
Refactoring Java generics by inferring wildcards, in practice. 271-290
Energy and performance
- Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Continuously measuring critical section pressure with the free-lunch profiler. 291-307 - Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard:
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. 309-328 - Melanie Kambadur, Martha A. Kim:
An experimental survey of energy management across the stack. 329-344 - Gustavo Pinto, Fernando Castor, Yu David Liu:
Understanding energy behaviors of thread management constructs. 345-360
Languages
- Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini:
Distributed REScala: an update algorithm for distributed reactive programming. 361-376 - Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann:
From object algebras to attribute grammars. 377-395 - Vlad Ureche, Eugene Burmako, Martin Odersky:
Late data layout: unifying data representation transformations. 397-416 - Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi:
i3QL: language-integrated live data views. 417-432
Concurrency
- Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari:
Atlas: leveraging locks for non-volatile memory consistency. 433-452 - Guy L. Steele Jr., Doug Lea, Christine H. Flood:
Fast splittable pseudorandom number generators. 453-472 - Malavika Samak, Murali Krishna Ramanathan:
Multithreaded test synthesis for deadlock detection. 473-489 - Tom Bergan, Dan Grossman, Luis Ceze:
Symbolic execution of multithreaded programs from arbitrary program contexts. 491-506
Debugging
- Daniel W. Barowy, Dimitar Gochev, Emery D. Berger:
CheckCell: data debugging for spreadsheets. 507-523 - Zvonimir Pavlinovic, Tim King, Thomas Wies:
Finding minimum type error sources. 525-542 - Peng Liu, Omer Tripp, Xiangyu Zhang:
Flint: fixing linearizability violations. 543-560 - Linhai Song, Shan Lu:
Statistical debugging for real-world performance problems. 561-578
Compilation tools
- Terence Parr, Sam Harwell, Kathleen Fisher:
Adaptive LL(*) parsing: the power of dynamic analysis. 579-598 - Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits:
Automated migration of build scripts using dynamic analysis and search-based refactoring. 599-616 - Vineet Kumar, Laurie J. Hendren:
MIX10: compiling MATLAB to X10 for high performance. 617-636 - Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky:
Staged parser combinators for efficient data processing. 637-653
Specification and verification
- Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid:
Bounded exhaustive test input generation from hybrid invariants. 655-674 - Peng Wang, Santiago Cuéllar, Adam Chlipala:
Compiler verification meets cross-language linking via data abstraction. 675-690 - Aaron Turon, Viktor Vafeiadis, Derek Dreyer:
GPS: navigating weak memory with ghosts, protocols, and separation. 691-707 - Ankush Desai, Pranav Garg, P. Madhusudan:
Natural proofs for asynchronous programs using almost-synchronous reductions. 709-725
Dynamic optimization
- Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz:
Accelerating iterators in optimizing AST interpreters. 727-743 - Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu:
Call sequence prediction through probabilistic calling automata. 745-762 - Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu:
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations. 763-776 - Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi:
The hiphop virtual machine. 777-790
Static analysis
- Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira:
Validation of memory accesses through symbolic analyses. 791-809 - Nimrod Partush, Eran Yahav:
Abstract semantic differencing via speculative correlation. 811-828 - Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su:
Efficient subcubic alias analysis for C. 829-845 - Lucas Brutschy, Pietro Ferrara, Peter Müller:
Static analysis for independent app developers. 847-860
Distributed computing
- Keval Vora, Sai Charan Koduru, Rajiv Gupta:
ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM. 861-878 - Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin:
Alembic: automatic locality extraction via migration. 879-894 - Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou:
Cybertron: pushing the limit on I/O reduction in data-parallel programs. 895-908 - Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan:
Translating imperative code to MapReduce. 909-927
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 2025-10-31 21:53 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:
