default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLASH 2012: Tucson, Arizona, USA
- Gary T. Leavens:
SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, ISBN 978-1-4503-1563-0
Keynote talks
- Barbara Simons:
Internet voting: an idea whose time has not come. 1-2 - K. Rustan M. Leino:
Staged program development. 3-4 - Rob Pike:
Go at Google. 5-6 - James Coplien:
Reflections on reflection. 7-10
Demonstrations
- Christian Wimmer, Thomas Würthinger:
Truffle: a self-optimizing runtime system. 13-14 - Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. 15-16 - Mark Mahoney:
The storyteller version control system: tackling version control, code comments, and team learning. 17-18 - Christoph Bockisch, Andreas Sewe:
The ALIA4J approach to efficient language implementation. 19-20 - Jens Dietrich
:
Upload your program, share your model. 21-22 - Celal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth S. Bales, Ingolf Krueger, William G. Griswold:
Citisense: mobile air quality sensing for individuals and communities. 23-24 - Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen:
Analyzing ultra-large-scale code corpus with boa. 25-26 - Munawar Hafiz, Jeffrey Overbey:
OpenRefactory/C: an infrastructure for developing program transformations for C programs. 27-28 - Xiaomin Xu, Sheng Huang, Yanghua Xiao, Wei Wang:
SCuV: a novel software clustering and visualization tool. 29-30
Doctoral symposium
- Suriya Priya R. Asaithambi, Stan Jarzabek:
Generic adaptable test cases for software product line testing: software product line. 33-36 - Luis Corral:
Using software quality standards to assure the quality of the mobile software product. 37-40 - Paolo G. Giarrusso:
Reifying and optimizing collection queries for modularity. 41-44 - Hiroki Nishino:
Developing a new computer music programming language in the 'research through design' context. 45-48 - Gustavo Soares:
Automated behavioral testing of refactoring engines. 49-52 - Mark Zarb:
Understanding communication within pair programming. 53-56
Panels
- Steven Fraser, Kendra M. L. Cooper, Jim Coplien, Ruth G. Lennon, Ramya Ravichandar, Diomidis Spinellis, Giancarlo Succi:
Software tools research: a matter of scale and scope - or commoditization? 59-62 - Steven Fraser, Richard P. Gabriel, Gail E. Harris, Ricardo López, Dennis Mancl, William F. Opdyke:
Trade-offs in software design and delivery. 63-66
Posters
- Ulrik Pagh Schultz:
Programming language abstractions for self-reconfigurable robots. 69-70 - Filip Vorácek, Zdenek Tronícek:
JaDaRD: java data-race detector. 71-72 - Alessandro Ricci, Andrea Santi:
From actors to agent-oriented programming abstractions in simpAL. 73-74 - Munawar Hafiz, Paul Adamczyk:
The nature of order: from security patterns to a pattern language. 75-76 - Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner:
Reifying and optimizing collection queries for modularity. 77-78 - Gabriël D. P. Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser:
The spoofax name binding language. 79-80 - Fernanda Campos, Yadran Eterovic:
Applying aspect mining techniques to understand an existing program. 81-82 - Xudong Wang, Xuanzhe Liu, Ying Zhang, Gang Huang:
Migration and execution of JavaScript applications between mobile devices and cloud. 83-84 - Mattias De Wael, Tom Van Cutsem:
How to achieve scalable fork/join on many-core architectures? 85-86 - Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen:
Boa: analyzing ultra-large-scale code corpus. 87-88
Student research competition
- Hiroki Nishino:
Mostly-strongly-timed programming. 93-94 - Luis Corral:
Standard-based strategy to assure the quality of the mobile software product. 95-96 - Thierry Renaux:
Parallel gesture recognition with soft real-time guarantees. 97-98 - Simin Chen:
Declarative access policies based on objects, relationships, and states. 99-100 - Shiyi Wei:
Blended analysis for JavaScript: a practical framework to analyze dynamic features. 101-102 - Zack Franklin Coker:
Security-oriented program transformations to cure integer overflow vulnerabilities. 103-104 - Gustavo Soares:
Automated behavioral testing of refactoring engines. 105-106 - Nathan Fulton:
Security through extensible type systems. 107-108 - Sharath Chowdary Gude:
JavaScript: the used parts. 109-110 - Shams Mahmood Imam:
CnC-Python: multicore programming with high productivity. 111-112 - Cyrus Omar:
Active type-checking and translation. 113-114
Wavefront technical papers
- Roberto Salama, James McGuire, Michael K. Rosenberg:
A methodology for managing database and code changes in a regression testing framework. 117-120 - Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb:
mbeddr: an extensible C-based programming language and IDE for embedded systems. 121-140 - Brian McDaniel, Godmar Back:
The CloudBrowser web application framework. 141-156
Wavefront experience reports
- Vibha Singhal Sinha, Senthil Mani, Debdoot Mukherjee:
Is text search an effective approach for fault localization: a practitioners perspective. 159-158 - Ruth G. Lennon:
Bring your own device (BYOD) with Cloud 4 education. 171-180 - Daniel Rahon, Raphaël Gayno, Jean-Marc Gratien, Goulwen Le Fur, Sébastien Schneider:
Migration to model driven engineering in the development process of distributed scientific application software. 181-190 - Aaron Schram, Kenneth Mark Anderson:
MySQL to NoSQL: data modeling challenges in supporting scalability. 191-202 - Karthikeyan Ponnalagu, Nanjangud C. Narendra:
Automated trendline generation for accurate software effort estimation. 203-212
Workshop summaries
- Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. 215-216 - Jim Webber:
A programmatic introduction to Neo4j. 217-218 - Shane Markstrum, Emerson R. Murphy-Hill, Caitlin Sadowski:
Evaluation and usability of programming languages and tools (PLATEAU). 219-220 - Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar:
Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). 221-222 - Hridesh Rajan, Michael Haupt, Christoph Bockisch, Stephen M. Blackburn:
6th workshop on virtual machines and intermediate languages (VMIL'12). 223-224 - Dennis Mancl, Steven Fraser, Gail E. Harris, Bill Opdyke:
Workshop: what drives design? 225-226 - James Coplien, Trygve Mikkjel Heyerdahl Reenskaug:
The data, context and interaction paradigm. 227-228 - Richard A. Brown, Edward F. Gehringer:
Developing competency in parallelism: techniques for education and training. 229-230 - Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Jeff Gray:
The 12th workshop on domain-specific modeling. 231-232 - Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland:
19th international workshop on foundations of object-oriented languages (FOOL'12). 233-234 - Christoph Bockisch, Lodewijk Bergmans, Steven te Brinke, Ian Piumarta:
3rd international workshop on free composition (FREECO'12). 235-236
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-12-25 23: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:
