Abstract is missing.
- Empirical analysis of programming language adoptionLeo A. Meyerovich, Ariel S. Rabkin. 1-18 [doi]
- Steering symbolic execution to less traveled pathsYou Li, Zhendong Su, Linzhang Wang, Xuandong Li. 19-32 [doi]
- Verifying quantitative reliability for programs that execute on unreliable hardwareMichael Carbin, Sasa Misailovic, Martin C. Rinard. 33-52 [doi]
- Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory managementJipeng Huang, Michael D. Bond. 53-72 [doi]
- Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translationsVlad Ureche, Cristian Talau, Martin Odersky. 73-92 [doi]
- Taking off the gloves with reference counting ImmixRifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley. 93-110 [doi]
- Resurrector: a tunable object lifetime profiling technique for optimizing real-world programsGuoqing Xu. 111-130 [doi]
- CDSchecker: checking concurrent data structures written with C/C++ atomicsBrian Norris, Brian Demsky. 131-150 [doi]
- Effective race detection for event-driven programsVeselin Raychev, Martin T. Vechev, Manu Sridharan. 151-166 [doi]
- Storage strategies for collections in dynamically typed languagesCarl Friedrich Bolz, Lukas Diekmann, Laurence Tratt. 167-182 [doi]
- Instant pickles: generating object-oriented pickler combinators for fast and extensible serializationHeather Miller, Philipp Haller, Eugene Burmako, Martin Odersky. 183-202 [doi]
- Interacting with dead objectsRobin Salkeld, Gregor Kiczales. 203-216 [doi]
- Python: the full montyJoe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi. 217-232 [doi]
- Forsaking inheritance: supercharged delegation in DelphJProdromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis. 233-252 [doi]
- Set-based pre-processing for points-to analysisYannis Smaragdakis, George Balatsouras, George Kastrinis. 253-270 [doi]
- MrCrypt: static analysis for secure cloud computationsSai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein. 271-286 [doi]
- Ironclad C++: a library-augmented type-safe subset of c++Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic. 287-304 [doi]
- Flexible access control for javascriptGregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek. 305-322 [doi]
- Semi-automatic rename refactoring for JavaScriptAsger Feldthaus, Anders Møller. 323-338 [doi]
- Refactoring with synthesisVeselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev. 339-354 [doi]
- Bottle graphs: visualizing scalability bottlenecks in multi-threaded applicationsKristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout. 355-372 [doi]
- Ball-Larus path profiling across multiple loop iterationsDaniele Cono D'Elia, Camil Demetrescu. 373-390 [doi]
- Data-driven equivalence checkingRahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken. 391-406 [doi]
- Synthesis modulo recursive functionsEtienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter. 407-426 [doi]
- Code optimizations using formally verified propertiesYao Shi, Bernard Blackham, Gernot Heiser. 427-442 [doi]
- Inductive invariant generation via abductive inferenceIsil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan. 443-456 [doi]
- Do developers benefit from generic types?: an empirical comparison of generic and raw types in javaMichael Hoppe, Stefan Hanenberg. 457-474 [doi]
- Option contractsChristos Dimoulas, Robby Findler, Matthias Felleisen. 475-494 [doi]
- Language support for dynamic, hierarchical data partitioningSean Treichler, Michael Bauer, Alex Aiken. 495-514 [doi]
- Class hierarchy complementation: soundly completing a partial type graphGeorge Balatsouras, Yannis Smaragdakis. 515-532 [doi]
- Multiverse: efficiently supporting distributed high-level speculationKaushik Ravichandran, Santosh Pande. 533-552 [doi]
- Fully concurrent garbage collection of actors on many-core machinesSylvan Clebsch, Sophia Drossopoulou. 553-570 [doi]
- Isolation for nested task parallelismJisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar. 571-588 [doi]
- Turning nondeterminism into parallelismOmer Tripp, Eric Koskinen, Mooly Sagiv. 589-604 [doi]
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernelsNathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer. 605-622 [doi]
- Guided GUI testing of android apps with minimal restart and approximate learningWontae Choi, George C. Necula, Koushik Sen. 623-640 [doi]
- Targeted and depth-first exploration for systematic testing of android appsTanzirul Azim, Iulian Neamtiu. 641-660 [doi]
- The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensingAman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola. 661-676 [doi]
- Input-covering schedules for multithreaded programsTom Bergan, Luis Ceze, Dan Grossman. 677-692 [doi]
- OCTET: capturing and controlling cross-thread dependences efficientlyMichael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang. 693-712 [doi]
- Online feedback-directed optimizations for parallel Java codeAlbert Noll, Thomas R. Gross. 713-728 [doi]
- River trail: a path to parallelism in JavaScriptStephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram. 729-744 [doi]
- Combining concern input with program analysis for bloat detectionSuparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda. 745-764 [doi]
- Injecting mechanical faults to localize developer faults for evolving softwareLingming Zhang, Lu Zhang 0023, Sarfraz Khurshid. 765-784 [doi]
- Efficient concurrency-bug detection across inputsDongdong Deng, Wei Zhang 0022, Shan Lu. 785-802 [doi]
- Detecting API documentation errorsHao Zhong, Zhendong Su. 803-816 [doi]
- On-the-fly detection of instability problems in floating-point program executionTao Bao, Xiangyu Zhang. 817-832 [doi]
- Bounded partial-order reductionKatherine E. Coons, Madan Musuvathi, Kathryn S. McKinley. 833-848 [doi]
- On-the-fly capacity planningNick Mitchell, Peter F. Sweeney. 849-866 [doi]
- Relaxed separation logic: a program logic for C11 concurrencyViktor Vafeiadis, Chinmay Narayan. 867-884 [doi]