Table of Contents

• The yin and yang of hardware heterogeneity: can software survive?Kathryn S. McKinley. 1-2 [doi]
• Two solitudesGregory V. Wilson. 3-4 [doi]
• Declarative programming for the cloudMolham Aref. 5-6 [doi]
• Does thought crime pay?Gilad Bracha. 7-8 [doi]
• Client-aware checking and information hiding in interface specifications with JML/ajmlcHenrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima. 11-12 [doi]
• Mining source code repositories with boaRobert Dyer 0001, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen. 13-14 [doi]
• NitroGen: rapid development of mobile applicationsAharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad. 15-16 [doi]
• ZipPy on truffle: a fast and simple implementation of pythonChristian Wimmer, Stefan Brunthaler. 17-18 [doi]
• Panini: a capsule-oriented programming language for implicitly concurrent program designEric Lin, Hridesh Rajan. 19-20 [doi]
• Finding architectural flaws in android apps is easyRadu Vanciu, Marwan Abi-Antoun. 21-22 [doi]
• Finding the missing eclipse perspective: the runtime perspectiveAndrew Giang, Marwan Abi-Antoun. 23-24 [doi]
• Objektgraph: why code when MVC applications can be generated with UML-based diagrams?Duane Buck, Ira Diethelm, Stephen Sheneman. 25-26 [doi]
• VM-level memory monitoring for resolving performance problemsPhilipp Lengauer. 29-32 [doi]
• TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systemsLahiru S. Gallege. 33-36 [doi]
• Automated assessment of students' testing skills for improving correctness of their codeZalia Shams. 37-40 [doi]
• PyLOM: an interpreted language for planning applicationsScotty Smith. 41-44 [doi]
• Implementing a scripting language parser with self-extensible syntaxMasahiro Ide. 45-48 [doi]
• Program transformation techniques applied to languages used in high performance computingSongqing Yue. 49-52 [doi]
• Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concernsYoung-Woo Kwon. 53-56 [doi]
• A secure play store for androidFeng Shen. 57-60 [doi]
• Refactoring multicore applications towards energy efficiencyGustavo Pinto. 61-64 [doi]
• Technical debt: from source to mitigationSteven Fraser, Dennis Mancl, Bill Opdyke, Judith Bishop, Pradeep Kathail, Junilu Lacar, Ipek Ozkaya, Alexandra Szynkarski. 67-70 [doi]
• Should software conferences respect software?Shriram Krishnamurthi, James Noble, Jan Vitek. 71-72 [doi]
• The poor man's proof assistant: using prolog to develop formal language theoretic proofsJoey Eremondi. 75-76 [doi]
• Dictionary-based query recommendation for local code searchXi Ge. 77-78 [doi]
• A screen-oriented representation for mobile applicationsAharon Abadi, Yishai A. Feldman, Konstantin Shagin. 79-80 [doi]
• Hardware and software support for fine-grained memory access control and encapsulation in C++Eugen Leontie, Gedare Bloom, Rahul Simha. 81-82 [doi]
• Source code management for projectional editingDavid H. Lorenz, Boaz Rosenan. 83-84 [doi]
• Migration from deprecated API in JavaRoman Strobl, Zdenek Tronícek. 85-86 [doi]
• On testing the source compatibility in JavaJan Hýbl, Zdenek Tronícek. 87-88 [doi]
• Concurrent object-oriented programming with agentsAlessandro Ricci, Andrea Santi. 89-90 [doi]
• PyLOM: a language and run-time system for planning applicationsScotty Smith, Gedare Bloom, Rahul Simha. 91-92 [doi]
• Model-driven generative framework for automated OMG DDS performance testing in the cloudKyoungho An, Takayuki Kuroda, Aniroddha Gokhale, Sumant Tambe, Andrea Sorbini. 93-94 [doi]
• On the implications of language constructs for concurrent execution in the energy efficiency of multicore applicationsGustavo Pinto, Fernando Castor. 95-96 [doi]
• Open pattern matching for C++Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup. 97-98 [doi]
• The poor man's proof assistant: using prolog to develop formal language theoretic proofsJoey Eremondi. 101-102 [doi]
• Dictionary-based query recommendation for local code searchXi Ge. 103-104 [doi]
• Secure development tool adoption in open-sourceJim Witschey. 105-106 [doi]
• Documenting software using adaptive software artifactsFilipe Figueiredo Correia. 107-108 [doi]
• Development of automatically verifiable systems using data representation synthesisBryce W. Cronkite-Ratcliff. 109-110 [doi]
• HJ-Hadoop: an optimized mapreduce runtime for multi-core systemsYunming Zhang. 111-112 [doi]
• Structured statistical syntax tree predictionCyrus Omar. 113-114 [doi]
• Identifying and specifying crosscutting contracts with AspectJMLHenrique Rebêlo. 115-116 [doi]
• Task fusion: improving utilization of multi-user clustersRobert Dyer. 117-118 [doi]
• Cloud twin: interactive cross-platform replay for mobile applicationsEthan Holder. 119-120 [doi]
• Do language constructs for concurrent execution have impact on energy efficiency?Gustavo Pinto. 121-122 [doi]
• CSI: crash scene investigationPeter Ohmann. 123-124 [doi]
• Orchestrating mobile application execution for performance and energy efficiencyYoung-Woo Kwon. 125-126 [doi]
• Investigation of error notifications through categorizationMichael Bazik. 127-128 [doi]
• Tackling the efficiency problem of gradual typingEsteban Allende. 129-130 [doi]
• Effective use of non-blocking data structures in a deduplication applicationSteven D. Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian Dechev. 133-142 [doi]
• DevOps patterns to scale web applications using cloud servicesDaniel Cukier. 143-152 [doi]
• Ultimate architecture enforcement: custom checks enforced at code-commit timePaulo Merson. 153-160 [doi]
• Sensors, actuators and services: a distributed approachTiago Boldt Sousa. 161-166 [doi]
• Producing and delivering a coursera MOOC on pattern-oriented software architecture for concurrent and networked softwareDouglas C. Schmidt, Zach McCormick. 167-176 [doi]
• Splash'13 workshops summaryStephanie Balzer, Ulrik Pagh Schultz. 177-178 [doi]