Table of Contents

• Internet voting: an idea whose time has not comeBarbara Simons. 1-2 [doi]
• Staged program developmentK. Rustan M. Leino. 3-4 [doi]
• Go at GoogleRob Pike. 5-6 [doi]
• Reflections on reflectionJames Coplien. 7-10 [doi]
• Truffle: a self-optimizing runtime systemChristian Wimmer, Thomas Würthinger. 13-14 [doi]
• A semantic integrated development environmentFrancesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot. 15-16 [doi]
• The storyteller version control system: tackling version control, code comments, and team learningMark Mahoney. 17-18 [doi]
• The ALIA4J approach to efficient language implementationChristoph Bockisch, Andreas Sewe. 19-20 [doi]
• Upload your program, share your modelJens Dietrich. 21-22 [doi]
• Citisense: mobile air quality sensing for individuals and communitiesCelal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth Bales, Ingolf Krueger, William G. Griswold. 23-24 [doi]
• Analyzing ultra-large-scale code corpus with boaRobert Dyer 0001, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen. 25-26 [doi]
• OpenRefactory/C: an infrastructure for developing program transformations for C programsMunawar Hafiz, Jeffrey Overbey. 27-28 [doi]
• SCuV: a novel software clustering and visualization toolXiaomin Xu, Sheng Huang, Yanghua Xiao, Wei Wang 0009. 29-30 [doi]
• Generic adaptable test cases for software product line testing: software product lineSuriya Priya R. Asaithambi, Stan Jarzabek. 33-36 [doi]
• Using software quality standards to assure the quality of the mobile software productLuis Corral. 37-40 [doi]
• Reifying and optimizing collection queries for modularityPaolo G. Giarrusso. 41-44 [doi]
• Developing a new computer music programming language in the 'research through design' contextHiroki Nishino. 45-48 [doi]
• Automated behavioral testing of refactoring enginesGustavo Soares Soares. 49-52 [doi]
• Understanding communication within pair programmingMark Zarb. 53-56 [doi]
• Software tools research: a matter of scale and scope - or commoditization?Steven Fraser, Kendra Cooper, Jim Coplien, Ruth G. Lennon, Ramya Ravichandar, Diomidis Spinellis, Giancarlo Succi. 59-62 [doi]
• Trade-offs in software design and deliverySteven Fraser, Richard P. Gabriel, Gail E. Harris, Ricardo Lopez, Dennis Mancl, William F. Opdyke. 63-66 [doi]
• Programming language abstractions for self-reconfigurable robotsUlrik Pagh Schultz. 69-70 [doi]
• JaDaRD: java data-race detectorFilip Vorácek, Zdenek Tronícek. 71-72 [doi]
• From actors to agent-oriented programming abstractions in simpALAlessandro Ricci, Andrea Santi. 73-74 [doi]
• The nature of order: from security patterns to a pattern languageMunawar Hafiz, Paul Adamczyk. 75-76 [doi]
• Reifying and optimizing collection queries for modularityPaolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner. 77-78 [doi]
• Applying aspect mining techniques to understand an existing programFernanda Campos, Yadran Eterovic. 81-82 [doi]
• Migration and execution of JavaScript applications between mobile devices and cloudXudong Wang, Xuanzhe Liu, Ying Zhang, Gang Huang 0001. 83-84 [doi]
• How to achieve scalable fork/join on many-core architectures?Mattias De Wael, Tom Van Cutsem. 85-86 [doi]
• Boa: analyzing ultra-large-scale code corpusRobert Dyer 0001, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen. 87-88 [doi]
• Mostly-strongly-timed programmingHiroki Nishino. 93-94 [doi]
• Standard-based strategy to assure the quality of the mobile software productLuis Corral. 95-96 [doi]
• Parallel gesture recognition with soft real-time guaranteesThierry Renaux. 97-98 [doi]
• Declarative access policies based on objects, relationships, and statesSimin Chen. 99-100 [doi]
• Blended analysis for JavaScript: a practical framework to analyze dynamic featuresShiyi Wei. 101-102 [doi]
• Security-oriented program transformations to cure integer overflow vulnerabilitiesZack Franklin Coker. 103-104 [doi]
• Automated behavioral testing of refactoring enginesGustavo Soares. 105-106 [doi]
• Security through extensible type systemsNathan Fulton. 107-108 [doi]
• JavaScript: the used partsSharath Chowdary Gude. 109-110 [doi]
• CnC-Python: multicore programming with high productivityShams Mahmood Imam. 111-112 [doi]
• Active type-checking and translationCyrus Omar. 113-114 [doi]
• A methodology for managing database and code changes in a regression testing frameworkRoberto Salama, James McGuire, Michael K. Rosenberg. 117-120 [doi]
• mbeddr: an extensible C-based programming language and IDE for embedded systemsMarkus Völter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb. 121-140 [doi]
• The CloudBrowser web application frameworkBrian McDaniel, Godmar Back. 141-156 [doi]
• Is text search an effective approach for fault localization: a practitioners perspectiveVibha Singhal Sinha, Senthil Mani, Debdoot Mukherjee. 159-158 [doi]
• Bring your own device (BYOD) with Cloud 4 educationRuth G. Lennon. 171-180 [doi]
• Migration to model driven engineering in the development process of distributed scientific application softwareDaniel Rahon, Raphaël Gayno, Jean-Marc Gratien, Goulwen Le Fur, Sébastien Schneider. 181-190 [doi]
• MySQL to NoSQL: data modeling challenges in supporting scalabilityAaron Schram, Kenneth Mark Anderson. 191-202 [doi]
• Automated trendline generation for accurate software effort estimationKarthikeyan Ponnalagu, Nanjangud C. Narendra. 203-212 [doi]
• AGERE!: programming based on actors, agents, and decentralized controlAlessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha. 215-216 [doi]
• A programmatic introduction to Neo4jJim Webber. 217-218 [doi]
• Evaluation and usability of programming languages and tools (PLATEAU)Shane Markstrum, Emerson R. Murphy-Hill, Caitlin Sadowski. 219-220 [doi]
• Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012)Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin Rinard, David Ungar. 221-222 [doi]
• 6th workshop on virtual machines and intermediate languages (VMIL'12)Hridesh Rajan, Michael Haupt, Christoph Bockisch, Steve Blackburn. 223-224 [doi]
• Workshop: what drives design?Dennis Mancl, Steven Fraser, Gail E. Harris, Bill Opdyke. 225-226 [doi]
• The data, context and interaction paradigmJames Coplien, Trygve Mikkjel Heyerdahl Reenskaug. 227-228 [doi]
• Developing competency in parallelism: techniques for education and trainingRichard A. Brown, Edward F. Gehringer. 229-230 [doi]
• The 12th workshop on domain-specific modelingJuha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Jeff Gray. 231-232 [doi]
• 19th international workshop on foundations of object-oriented languages (FOOL'12)Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland. 233-234 [doi]
• 3rd international workshop on free composition (FREECO'12)Christoph Bockisch, Lodewijk Bergmans, Steven te Brinke, Ian Piumarta. 235-236 [doi]