default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLASH Companion 2013: Indianapolis, IN, USA
- Antony L. Hosking
, Patrick Th. Eugster:
SPLASH'13 - The Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, & Applications: Software for Humanity, Indianapolis, IN, USA, October 26-31, 2013. ACM 2013, ISBN 978-1-4503-1995-9
Keynotes
- Kathryn S. McKinley:
The yin and yang of hardware heterogeneity: can software survive? 1-2 - Gregory V. Wilson:
Two solitudes. 3-4 - Molham Aref:
Declarative programming for the cloud. 5-6 - Gilad Bracha:
Does thought crime pay? 7-8
Demos
- Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima:
Client-aware checking and information hiding in interface specifications with JML/ajmlc. 11-12 - Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen:
Mining source code repositories with boa. 13-14 - Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad:
NitroGen: rapid development of mobile applications. 15-16 - Christian Wimmer, Stefan Brunthaler:
ZipPy on truffle: a fast and simple implementation of python. 17-18 - Eric Lin, Hridesh Rajan:
Panini: a capsule-oriented programming language for implicitly concurrent program design. 19-20 - Radu Vanciu, Marwan Abi-Antoun:
Finding architectural flaws in android apps is easy. 21-22 - Andrew Giang, Marwan Abi-Antoun:
Finding the missing eclipse perspective: the runtime perspective. 23-24 - Duane Buck, Ira Diethelm, Stephen Sheneman:
Objektgraph: why code when MVC applications can be generated with UML-based diagrams? 25-26
Doctoral symposium
- Philipp Lengauer:
VM-level memory monitoring for resolving performance problems. 29-32 - Lahiru S. Gallege:
TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systems. 33-36 - Zalia Shams:
Automated assessment of students' testing skills for improving correctness of their code. 37-40 - Scotty Smith:
PyLOM: an interpreted language for planning applications. 41-44 - Masahiro Ide:
Implementing a scripting language parser with self-extensible syntax. 45-48 - Songqing Yue:
Program transformation techniques applied to languages used in high performance computing. 49-52 - Young-Woo Kwon:
Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns. 53-56 - Feng Shen:
A secure play store for android. 57-60 - Gustavo Pinto:
Refactoring multicore applications towards energy efficiency. 61-64
Panels
- Steven Fraser, Dennis Mancl, Bill Opdyke, Judith Bishop, Pradeep Kathail, Junilu Lacar, Ipek Ozkaya, Alexandra Szynkarski:
Technical debt: from source to mitigation. 67-70 - Shriram Krishnamurthi, James Noble, Jan Vitek:
Should software conferences respect software? 71-72
Posters
- Joey Eremondi:
The poor man's proof assistant: using prolog to develop formal language theoretic proofs. 75-76 - Xi Ge:
Dictionary-based query recommendation for local code search. 77-78 - Aharon Abadi, Yishai A. Feldman, Konstantin Shagin:
A screen-oriented representation for mobile applications. 79-80 - Eugen Leontie, Gedare Bloom, Rahul Simha:
Hardware and software support for fine-grained memory access control and encapsulation in C++. 81-82 - David H. Lorenz, Boaz Rosenan:
Source code management for projectional editing. 83-84 - Roman Strobl, Zdenek Tronícek:
Migration from deprecated API in Java. 85-86 - Jan Hýbl, Zdenek Tronícek:
On testing the source compatibility in Java. 87-88 - Alessandro Ricci, Andrea Santi:
Concurrent object-oriented programming with agents. 89-90 - Scotty Smith, Gedare Bloom, Rahul Simha:
PyLOM: a language and run-time system for planning applications. 91-92 - Kyoungho An, Takayuki Kuroda, Aniruddha S. Gokhale, Sumant Tambe, Andrea Sorbini:
Model-driven generative framework for automated OMG DDS performance testing in the cloud. 93-94 - Gustavo Pinto, Fernando Castor:
On the implications of language constructs for concurrent execution in the energy efficiency of multicore applications. 95-96 - Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup:
Open pattern matching for C++. 97-98
Student research competition
- Joey Eremondi:
The poor man's proof assistant: using prolog to develop formal language theoretic proofs. 101-102 - Xi Ge:
Dictionary-based query recommendation for local code search. 103-104 - Jim Witschey:
Secure development tool adoption in open-source. 105-106 - Filipe Figueiredo Correia:
Documenting software using adaptive software artifacts. 107-108 - Bryce W. Cronkite-Ratcliff:
Development of automatically verifiable systems using data representation synthesis. 109-110 - Yunming Zhang:
HJ-Hadoop: an optimized mapreduce runtime for multi-core systems. 111-112 - Cyrus Omar:
Structured statistical syntax tree prediction. 113-114 - Henrique Rebêlo:
Identifying and specifying crosscutting contracts with AspectJML. 115-116 - Robert Dyer:
Task fusion: improving utilization of multi-user clusters. 117-118 - Ethan Holder:
Cloud twin: interactive cross-platform replay for mobile applications. 119-120 - Gustavo Pinto:
Do language constructs for concurrent execution have impact on energy efficiency? 121-122 - Peter Ohmann:
CSI: crash scene investigation. 123-124 - Young-Woo Kwon:
Orchestrating mobile application execution for performance and energy efficiency. 125-126 - Michael Bazik:
Investigation of error notifications through categorization. 127-128 - Esteban Allende:
Tackling the efficiency problem of gradual typing. 129-130
Wavefront and wavefront experience
- Steven D. Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian Dechev:
Effective use of non-blocking data structures in a deduplication application. 133-142 - Daniel Cukier:
DevOps patterns to scale web applications using cloud services. 143-152 - Paulo Merson:
Ultimate architecture enforcement: custom checks enforced at code-commit time. 153-160 - Tiago Boldt Sousa:
Sensors, actuators and services: a distributed approach. 161-166 - Douglas C. Schmidt, Zach McCormick:
Producing and delivering a coursera MOOC on pattern-oriented software architecture for concurrent and networked software. 167-176
Workshops
- Stephanie Balzer, Ulrik Pagh Schultz:
Splash'13 workshops summary. 177-178
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 2026-01-29 02:23 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:
