Table of Contents

• Embracing ambiguityKenneth C. Arnold, Henry Lieberman. 1-6 [doi]
• Software economiesDavid F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan. 7-12 [doi]
• Why haven t we automated programmingRobert Balzer. 13-16 [doi]
• The disappearing boundary between development-time and run-timeLuciano Baresi, Carlo Ghezzi. 17-22 [doi]
• On the shoulders of giantsEarl T. Barr, Christian Bird, Eric Hyatt, Tim Menzies, Gregorio Robles. 23-28 [doi]
• Thoughts on automated software design and synthesisDon S. Batory. 29-32 [doi]
• Social media for software engineeringAndrew Begel, Robert DeLine, Thomas Zimmermann. 33-38 [doi]
• Extending software engineering research outside the digital boxBarry W. Boehm. 39-42 [doi]
• A benchmark- and competition-based approach to software engineering researchDerek Bronish, Jason Kirschenbaum, Aditi Tagore. 43-46 [doi]
• Managing technical debt in software-reliant systemsNanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten, Erin Lim, Alan MacCormack, Robert L. Nord, Ipek Ozkaya, Raghvinder S. Sangwan, Carolyn B. Seaman, Kevin J. Sullivan, Nico Zazworka. 47-52 [doi]
• IDE 2.0: collective intelligence in software developmentMarcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini. 53-58 [doi]
• Speculative analysis: exploring future development states of softwareYuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin. 59-64 [doi]
• Domain-specific software engineeringBarrett R. Bryant, Jeffrey G. Gray, Marjan Mernik. 65-68 [doi]
• Software for everyone by everyoneTevfik Bultan. 69-74 [doi]
• The future of software engineering: enhancing human expertise in tackling software qualityMargaret M. Burnett. 75-76 [doi]
• Analytics for software developmentRaymond P. L. Buse, Thomas Zimmermann. 77-80 [doi]
• Multiplicity computing: a vision of software engineering for next-generation computing platform applicationsCristian Cadar, Peter Pietzuch, Alexander L. Wolf. 81-86 [doi]
• Supporting human-intensive systemsLori A. Clarke, Leon J. Osterweil, George S. Avrunin. 87-92 [doi]
• Unifying verification and validation techniques: relating behavior and properties through partial evidenceMatthew B. Dwyer, Sebastian G. Elbaum. 93-98 [doi]
• Climate change: a grand software challengeSteve M. Easterbrook. 99-104 [doi]
• Program fields for continuous softwareMartin Erwig, Eric Walkingshaw. 105-108 [doi]
• Embracing policy engineeringKathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty. 109-110 [doi]
• Latent risks and dangers in the state of climate model software developmentShawn M. Freeman, Thomas L. Clune, Robert W. Burns. 111-114 [doi]
• Software engineering as live performanceRichard P. Gabriel. 115-118 [doi]
• Ad-opera: music-inspired self-adaptive systemsAlessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione. 119-124 [doi]
• Software engineering in an uncertain worldDavid Garlan. 125-128 [doi]
• Lawful software engineeringDaniel M. Germán, Jens H. Webber, Massimiliano Di Penta. 129-132 [doi]
• Software assurance for systems of systemsJohn Goodenough, Linda M. Northrop. 133-136 [doi]
• Top ten ways to make formal methods for HPC practicalGanesh Gopalakrishnan, Robert M. Kirby. 137-142 [doi]
• Advancing software architecture modeling for large scale heterogeneous systemsIan Gorton, Yan Liu. 143-148 [doi]
• Bridging gaps between developers and testers in globally-distributed software developmentMark Grechanik, James A. Jones, Alessandro Orso, André van der Hoek. 149-154 [doi]
• Minding the (semantic) gap: engineering programming language theoryArjun Guha, Shriram Krishnamurthi. 155-156 [doi]
• N-version programming in WCET analysis: revisiting a discredited ideaTrevor Harmon, Michael R. Lowry. 157-160 [doi]
• Software intelligence: the future of mining software engineering dataAhmed E. Hassan, Tao Xie. 161-166 [doi]
• The case for end-user programming of ubiquitous computing environmentsSeth Holloway, Christine Julien. 167-172 [doi]
• Separation of concerns for dependable software designDaniel Jackson, Eunsuk Kang. 173-176 [doi]
• Software development is program transformationRalph E. Johnson. 177-180 [doi]
• Maturity is also about the capability to conform the process to the right context!Mira Kajko-Mattsson. 181-186 [doi]
• The metropolis model and its implications for the engineering of software ecosystemsRick Kazman, Hong-Mei Chen. 187-190 [doi]
• Evidence-based software productionJames Kirby Jr., David M. Weiss, Robyn R. Lutz. 191-194 [doi]
• Designing for incentives: better information sharing for better software engineeringMark Klein, Gabriel A. Moreno, David C. Parkes, Kurt C. Wallnau. 195-200 [doi]
• Differential static analysis: opportunities, applications, and challengesShuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare. 201-204 [doi]
• The case for software evolutionClaire Le Goues, Stephanie Forrest, Westley Weimer. 205-210 [doi]
• The future of library specificationGary T. Leavens. 211-216 [doi]
• An agenda for concern-oriented software engineeringNicolás López, André van der Hoek. 217-222 [doi]
• Towards predictive models of technology impact on software design productivityMichael R. Lowry. 223-228 [doi]
• Software is data tooAndrian Marcus, Tim Menzies. 229-232 [doi]
• Infringo ergo sum: when will software engineering support infringements?Fabio Massacci. 233-238 [doi]
• Community-based, collaborative testing and analysisAtif M. Memon, Adam A. Porter, Alan Sussman. 239-244 [doi]
• The mashware challenge: bridging the gap between web development and software engineeringTommi Mikkonen, Antero Taivalsaari. 245-250 [doi]
• Human-centric software engineeringGail C. Murphy. 251-254 [doi]
• Understanding context: creating a lasting impact in experimental software engineering researchEmerson R. Murphy-Hill, Gail C. Murphy, William G. Griswold. 255-258 [doi]
• Needed foundations for assuring the desirable behavior of software-reliant systemsLinda M. Northrop, Mark Klein, John Goodenough, Dennis B. Smith. 259-262 [doi]
• Monitoring, analysis, and testing of deployed softwareAlessandro Orso. 263-268 [doi]
• Supporting negotiation and dispute resolution with computing and communication technologiesLeon J. Osterweil, Lori A. Clarke. 269-272 [doi]
• Software testing research and software engineering educationThomas J. Ostrand, Elaine J. Weyuker. 273-276 [doi]
• Integrating participatory sensing in application development practicesJamie Payton, Christine Julien. 277-282 [doi]
• Software engineering and wireless sensor networks: happy marriage or consensual divorce?Gian Pietro Picco. 283-286 [doi]
• Evidence-based validation and improvement of electronic health record systemsAndy Podgurski. 287-292 [doi]
• Building scalable software systems in the multicore eraHridesh Rajan. 293-298 [doi]
• Writing and using program specificationsSteven P. Reiss. 299-302 [doi]
• Requirements engineering at the margins: avoiding technological hubris through alternative approachesDebra J. Richardson, Ban Al-Ani, Hadar Ziv. 303-308 [doi]
• The last mile: parallel programming and usabilityCaitlin Sadowski, Andrew Shewmaker. 309-314 [doi]
• The future of research in free/open source software developmentWalt Scacchi. 315-320 [doi]
• Engineering self-coordinating software intensive systemsWilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O Grady, Marco Platzner, Franz-Josef Rammig, Wolfgang Reif, Ansgar Trächtler. 321-324 [doi]
• Rethinking the economics of software engineeringTodd W. Schiller, Michael D. Ernst. 325-330 [doi]
• Towards software health management with bayesian networksJohann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche. 331-336 [doi]
• Research toward an engineering discipline for softwareMary Shaw. 337-342 [doi]
• Language-based verification will change the worldTim Sheard, Aaron Stump, Stephanie Weirich. 343-348 [doi]
• Bayesian reasoning for software testingAkbar Siami Namin, Mohan Sridharan. 349-354 [doi]
• Derivational software engineeringDouglas R. Smith, Louis Hoebel. 355-358 [doi]
• The impact of social media on software engineering practices and toolsMargaret-Anne D. Storey, Christoph Treude, Arie van Deursen, Li-Te Cheng. 359-364 [doi]
• An ultra-large-scale systems approach to national-scale health information systemsKevin Sullivan, William Knaus, Richard Marks. 365-368 [doi]
• Opportunity-centered software developmentKevin Sullivan. 369-374 [doi]
• Enabling innovation: a choice for software engineeringRichard N. Taylor. 375-378 [doi]
• Text to software: developing tools to close the gaps in software engineeringWalter F. Tichy, Sven J. Körner. 379-384 [doi]
• Packaging and prioritizing software engineering research to maximize industry impactWill Tracz. 385-388 [doi]
• Return to the language forrest: the case for DSL oriented software engineeringAndrás Vajda, Johan Eker. 389-392 [doi]
• Static analysis for software assurance: soundness, scalability and adaptivenessArnaud Venet, Michael R. Lowry. 393-396 [doi]
• Software engineering issues for mobile application developmentAnthony I. Wasserman. 397-400 [doi]
• FITE: future integrated testing environmentMichael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser. 401-406 [doi]
• R&D challenges and emerging solutions for multicore deployment/configuration optimizationJules White, Douglas C. Schmidt. 407-410 [doi]
• Validity concerns in software engineering researchHyrum K. Wright, Miryung Kim, Dewayne E. Perry. 411-414 [doi]
• Future of developer testing: building quality in codeTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 415-420 [doi]
• Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applicationsGuoqing (Harry) Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Gary Sevitsky. 421-426 [doi]
• Entropy and software systems: towards an information-theoretic foundation of software testingLinmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan. 427-432 [doi]
• Through the looking glass of immaterial laborYunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto, Kouichi Kishida. 433-438 [doi]
• Sharing what we know about software engineeringMichal Young, Stuart R. Faulk. 439-442 [doi]
• Growth of newcomer competence: challenges of globalizationMinghui Zhou, Audris Mockus. 443-448 [doi]