Abstract is missing.
- What exactly is inexact computation good for?Krishna V. Palem. 1 [doi]
- Taming the parallel effect zoo: extensible deterministic parallelism with LVishLindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton. 2 [doi]
- Test-driven repair of data races in structured parallel programsRishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar. 3 [doi]
- Æminium: a permission based concurrent-by-default programming language approachSven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich. 4 [doi]
- Atomicity refinement for verified compilationSuresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte. 5 [doi]
- DoubleChecker: efficient sound and precise atomicity checkingSwarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond. 6 [doi]
- Herding cats: modelling, simulation, testing, and data-mining for weak memoryJade Alglave, Luc Maranget, Michael Tautschnig. 7 [doi]
- Surgical precision JIT compilersTiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun. 8 [doi]
- Stochastic optimization of floating-point programs with tunable precisionEric Schkufza, Rahul Sharma 0001, Alex Aiken. 9 [doi]
- A framework for enhancing data reuse via associative reorderingKevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan. 10 [doi]
- First-class runtime generation of high-performance types using exotypesZachary Devito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan. 11 [doi]
- Getting F-bounded polymorphism into shapeBen Greenman, Fabian Muehlboeck, Ross Tate. 12 [doi]
- Optimal inference of fields in row-polymorphic recordsAxel Simon. 13 [doi]
- Expressing and verifying probabilistic assertionsAdrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze. 14 [doi]
- Compositional solution space quantification for probabilistic software analysisMateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser. 15 [doi]
- Slicing probabilistic programsChung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel. 16 [doi]
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiationYufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann. 17 [doi]
- Adapton: composable, demand-driven incremental computationMatthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster. 18 [doi]
- Specialization slicingMin Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps. 19 [doi]
- Laws of concurrent programmingTony Hoare. 20 [doi]
- Adaptive, efficient, parallel execution of parallel programsSrinath Sridharan, Gagan Gupta, Gurindar S. Sohi. 21 [doi]
- Globally precise-restartable execution of parallel programsGagan Gupta, Srinath Sridharan, Gurindar S. Sohi. 22 [doi]
- Accurate application progress analysis for large-scale parallel debuggingSubrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin. 23 [doi]
- Compiler-assisted detection of transient memory errorsSanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan. 24 [doi]
- Compiler validation via equivalence modulo inputsVu Le, Mehrdad Afshari, Zhendong Su. 25 [doi]
- Automatic runtime error repair and containment via recovery shepherdingFan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard. 26 [doi]
- On abstraction refinement for program analyses in DatalogXin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang. 27 [doi]
- Hybrid top-down and bottom-up interprocedural analysisXin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang. 28 [doi]
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel. 29 [doi]
- End-to-end verification of stack-space bounds for C programsQuentin Carbonneaux, Jan Hoffmann 0002, Tahina Ramananandro, Zhong Shao. 30 [doi]
- VeriCon: towards verifying controller programs in software-defined networksThomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky. 31 [doi]
- Verification modulo versions: towards usable verificationFrancesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear. 32 [doi]
- Commutativity race detectionDimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen. 33 [doi]
- Race detection for Android applicationsPallavi Maiya, Aditya Kanade, Rupak Majumdar. 34 [doi]
- Race detection for event-driven mobile applicationsChun-Hung Hsiao, Cristiano Pereira, Jie Yu, Gilles Pokam, Satish Narayanasamy, Peter M. Chen, Ziyun Kong, Jason Flinn. 35 [doi]
- Maximal sound predictive race detection with control flow abstractionJeff Huang, Patrick O'Neil Meredith, Grigore Rosu. 36 [doi]
- Tracelet-based code search in executablesYaniv David, Eran Yahav. 37 [doi]
- Resugaring: lifting evaluation sequences through syntactic sugarJustin Pombrio, Shriram Krishnamurthi. 38 [doi]
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statechartsReinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquin Aguado, Stephen Mercer, Owen O'Brien. 39 [doi]
- Fast: a transducer-based language for tree manipulationLoris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar. 40 [doi]
- A personal perspective on concurrencyJayadev Misra. 41 [doi]
- Chlorophyll: synthesis-aided compiler for low-power spatial architecturesPhitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, Rastislav Bodík. 42 [doi]
- Test-driven synthesisDaniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost. 43 [doi]
- Code completion with statistical language modelsVeselin Raychev, Martin T. Vechev, Eran Yahav. 44 [doi]
- Don't sweat the small stuff: formal verification of C code without the painDavid Greenaway, Japheth Lim, June Andronick, Gerwin Klein. 45 [doi]
- Natural proofs for data structure manipulation in C using separation logicEdgar Pek, Xiaokang Qiu, P. Madhusudan. 46 [doi]
- Automating formal proofs for reactive systemsDaniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner. 47 [doi]
- Persistent pointer informationXiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang. 48 [doi]
- Selective context-sensitivity guided by impact pre-analysisHakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi. 49 [doi]
- Introspective analysis: context-sensitivity, across the boardYannis Smaragdakis, George Kastrinis, George Balatsouras. 50 [doi]
- Improving JavaScript performance by deconstructing the type systemWonsun Ahn, Jiho Choi, Thomas Shull, María Jesús Garzarán, Josep Torrellas. 51 [doi]
- Doppio: breaking the browser language barrierJohn Vilk, Emery D. Berger. 52 [doi]
- Dynamic enforcement of determinism in a parallel scripting languageLi Lu, Weixing Ji, Michael L. Scott. 53 [doi]
- A lightweight symbolic virtual machine for solver-aided host languagesEmina Torlak, Rastislav Bodík. 54 [doi]
- FlashExtract: a framework for data extraction by examplesVu Le, Sumit Gulwani. 55 [doi]
- Consolidation of queries with user-defined functionsMarcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis. 56 [doi]
- A model counter for constraints over unbounded stringsLoi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky. 57 [doi]
- Modular control-flow integrityBen Niu, Gang Tan. 58 [doi]
- Dynamic space limits for HaskellEdward Z. Yang, David Mazières. 59 [doi]