Selected Publications of Current Software Engineering PhD Students
Jeffrey Barnes
David Garlan, Jeffrey M. Barnes, and Bradley Schmerl. "Evolution Styles: Foundations and Models for Software Architecture Evolution," submitted to Software and Systems Modeling.
David Garlan, Jeffrey M. Barnes, Bradley Schmerl, and Orieta Celiku (2009). Evolution styles: Foundations and tool support for software architecture evolution. In Proceedings of the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA’09), pp. 131–140.
Marwan Abi-Antoun and Jeffrey M. Barnes (2010). Analyzing security architectures. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Architecture (ASE’10), pp. 3–12.
Additional details available at: http://www.cs.cmu.edu/~jmbarnes/papers/
Paulo Casanova
Architecture-Based Run-Time Fault Diagnosis, Paulo Casanova, Bradley Schmerl, David Garlan and Rui Abreu, Published: Lecture Notes in Computer Science, 2011, Volume 6903/2011, 261-277, DOI: 10.1007/978-3-642-23798-0_29
Vishal Dwivedi
Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael Bigrigg, and Kathleen M. Carley, "SORASCS: A Case Study in SOA-based Platform Design for Socio-Culteral Analysis". International Conference of Software Engineering (ICSE), 2011.
Liang-Jie Zhang, Vishal Dwivedi, Nianjun Zhou, "Formalizing 'Traceability' for Architectural Evolutions". IEEE Asia-Pacific Services Computing Conference (APSCC), 2010 : 285-292
Submitted
Vishal Dwivedi, Perla Velasco Elizondo, Jose Maria Fernandes, David Garlan and Bradley Schmerl, "An Architectural Approach to End User Orchestrations"
David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama, Nina Patel, "SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis"
Additional details available at: http://www.cs.cmu.edu/~vdwivedi/#Publications
Ciera Christopher-Jaspan
Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas Gross. Statically Checking API Protocol Conformance with Mined Multi-Object Specifications. Submitted to SPLASH/OOPSLA.
Ciera Jaspan. Verifying Configuration Files, in the Companion Proceedings of Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH/OOPSLA), Reno, Nevada, USA, 2010.
Leigh Ann Sudol and Ciera Jaspan. Analyzing the Strength of Undergraduate Misconceptions about Software Engineering, in the Proceedings of International Computing Education Research (ICER), Aarhus, Denmark, 2010.
Ciera Jaspan, Michael Keeling, Larry Maccharone, Gabriel L. Zenarosa, and Mary Shaw. “Software Mythbusters Explore Formal Methods”, IEEE Software, vol. 26, no. 6, pp. 60-63, November/December 2009.
Ciera Jaspan and Jonathan Aldrich. Retrieving Relationships from Declarative Files, In Proceedings of Relationships and Associations in Object-Oriented Programming, Genova, Italy, 2009.
Ciera Jaspan and Jonathan Aldrich. Checking Framework Interactions with Relationships. In Proceedings of the European Conference on Object Oriented Programming, Genova, Italy, 2009.
Ciera Jaspan and Jonathan Aldrich: Checking Framework Interactions with Relationships. Technical Report CMU-ISR-08-140, Institute for Software Research, Carnegie Mellon University. December, 2008.
Ciera Jaspan, Trisha Quan, and Jonathan Aldrich: Error Reporting Logic. Technical Report CMU-ISR-08-120, Institute for Software Research, Carnegie Mellon University. June, 2008. Originally written April 2008.
Ciera Jaspan and Jonathan Aldrich: Checking Temporal Relations between Multiple Objects. Technical Report CMU-ISR-08-119, Institute for Software Research, Carnegie Mellon University. June, 2008. Originally written December 2007.
Ciera Jaspan, Trisha Quan, and Jonathan Aldrich: Error Reporting Logic. In Proceedings of the Conference on Automated Software Engineering, L'Aquila, Italy, 2008.
Ciera Jaspan. Checking Framework Interactions with Relationships, In Proceedings of the OOPSLA Doctoral Symposium, Nashville, USA, 2008. Received the ACM SIGPLAN John Vlissides Award.
Ciera Jaspan, I-Chin Chen, and Anoop Sharma: Understanding the value of program analysis tools. OOPSLA Companion, Montreal, Quebec, Canada, 2007.
Ciera Jaspan and Jonathan Aldrich: Checking Semantic Usage of Frameworks. Library Centric Software Design Symposium, Montreal, Quebec, Canada, 2007.
Brian French
Brian French, Dan Siewiorek, Asim Smailagic, Tom Kamarck. Lessons Learned Designing Multi-modal Ecological Momentary Assessment Tools. Technology and Disability. 2010
Submitted
Yuan Shi, Minh Hoai Nguyen, Patrick Blitz, Brian French, Scott Fisk, Fernando De la Torre, Asim Smailagic and Daniel P. Siewiorek. Personalized Stress Detection from Physiological Measurements. International Symposium on Quality of Life Technology. 2010
mStress: Supporting Continuous Collection of Objective and Subjective Measures of Psychosocial Stress on Mobile Devices. Wireless Health. 2010
Jung Soo Kim
Jung Soo Kim and David Garlan. Analyzing Architectural Styles. Journal of Systems and Software 2007. To be submitted for Publication.
Jung Soo Kim and David Garlan. Analyzing Architectural Styles with Alloy. In Workshop on the Role of Software Architecture for Testing and Analysis 2006 (ROSATEA 2006), Portland, ME, USA, 17 July 2006.
Christopher Nelson and Jung Soo Kim, Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report, Rapid Integration of Software Engineering Techniques 2004 (RISE 2004), pp 1-10.
Rick Kazman, Jai Asundi, Jung Soo Kim, B. Sethananda, "A Simulation Testbed for Mobile Adaptive Architectures", Computer Standards and Interfaces, Vol. 25, Issue 3, June 2003, pp 291-298.
David Garlan, Serge Khersonsky, and Jung Soo Kim, Model Checking Publish-Subscribe Systems, Proceedings of the 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, OR, May 2003.
Madhu Keshavamurthy, Jung Soo Kim, Mona Li, and Vichaya Sagetong, Plug-in Architecture for Mobile Devices, SEI Tech Note (CMU/SEI-2002-TN-023).
Thomas LaToza
LaToza, T.D., and Myers, B.A. (in submission). Visualizing call graphs. In submission to Visual Languages and Human-Centric Computing (VL/HCC) 2011.
Thomas D. LaToza, David Garlan, James D. Herbleb, and Brad A. Myers.
Program Comprehension as Fact Finding. In Proceedings of Foundations of Software Engineering (FSE), 2007.
Thomas D. LaToza, Gina Venolia, & Rob Deline. Maintaining Mental Models:A Study of Developer Work Habits. Experience Report in Proceedings of International Conference on Software Engineering (ICSE), 2006.
Goldberg, D.E., Sastry, K, & LaToza, T. (2001). On the supply of building blocks. Genetic and Evolutionary Computation Conference, San Francisco, CA, July 7 - 11, 336-342.
LaToza, T.D. & Myers, B.A. (2010). Searching across paths. In Proc. of the 2nd Intl. Workshop on Search-driven development: Users, Infrastructure, Tools and Evaluation at ICSE '10.
LaToza, T.D. & Myers, B.A. (2010). On the importance of understanding the strategies that developers use. In the Proc. of the Workshop on Cooperative and Human Aspects of Software Engineering at ICSE '10.
Abi-Antoun, M., Ammar, N., and LaToza, T. (2010). Questions about object structure during coding activities. In the Proc. of the Workshop on Cooperative and Human Aspects of Software Engineering at ICSE '10.
Abi-Antoun, M., Selitsky, T.F., & LaToza, T. (2010). Developer refinement of runtime architectural structure. In the Proc. of the Fifth Workshop on SHAring and Reusing architectural Knowledge at ICSE '10.
Paul Luo Li
Paul Luo Li, James D. Herbsleb, Mary Shaw, Forecasting Field Defect Rates Using a Combined Time-based and Metrics-based Approach: A Case Study of OpenBSD. In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, Nov 2005.
Paul Luo Li, James D. Herbsleb, Mary Shaw, Finding Predictors of Field Defects for Open Source Software Systems in Commonly Available Data Sources: A Case Study of OpenBSD. In Proceedings of the 11th International Software Metrics Symposium, Sep 2005.
Audris Mockus, Ping Zhang, Paul Luo Li, Drivers for Customer Perceived Software Quality. To appear in Proceedings of the 27th International Conference on Software Engineering (ICSE) 2005, St. Louis, MO, May 2005.
Paul Luo Li, Mary Shaw, Jim Herbsleb, Bonnie Ray, P. Santhanam, Empirical Evaluation of Defect Projection Models for Widely-deployed Production Software Systems. In Proceedings of FSE 12, Newport Beach, CA, November 2004.
Paul Luo Li, Mary Shaw, Jim Herbsleb, Bonnie Ray, P. Santhanam, Empirical Evaluation of Defect Projection Models for Widely-deployed Production Software Systems. CMU tech report CMU-ISRI-04-130, 2004.
Paul Luo Li, Mary Shaw, and James D. Herbsleb, Selecting a Defect Prediction Model for Maintenance Resource Planning and Software Insurance. Position paper for the Fifth Workshop on Economics-Driven Software Research (EDSER-5), affiliated with the 25th International Conference on Software Engineering (ICSE), 2003, IEEE Computer Society, pp. 32-37.
Paul Luo Li, Mary Shaw, Kevin Stolarick, and Kurt Wallnau, The Potential for Synergy Between Certification and Insurance. Special edition of ACM SIGSOFT from the International Workshop on Reuse Economics in conjunction with the Seventh International Conference on Software Reuse (ICSR7), April 2002.
Larry Maccherone
Larry Maccherone, Anita Sarma, Patrick Wagstrom, and Jim Herbsleb. Tesseract: Interactive Environment for Exploration of Project Relationships. Accepted for publication at ICSE, 2009.
Anita Sarma, Larry Maccherone, Patrick Wagstrom, and Jim Herbsleb. Tesseract: Interactive Visual Exploration of Socio-Technical Relationships
in Software Development. accepted for publication at ICSE, 2009.
Larry Maccherone. Code Assessment Methodology Project, Positive Assurance: an approach to making the assurance case for software. December 27, 2007.
Larry Maccherone. Code Assessment Methodology Project, Comparative Evaluation - Appendix B. October 2, 2006.
Larry Maccherone (Primary Author), Others from Concurrent Technology Corporation and Carnegie Mellon's CyLab. Code Assessment Methodology Project, Comparative Evaluation of Five Static Analysis Tools for C/C++, Classified FOUO by Department of Defense (no link available). 88 pages. October 2, 2006.
Concurrent Technology Corporation and Carnegie Mellon's CyLab (including Larry Maccherone). Code Assessment Methodology Project, Evaluation of Static Analysis Tools, Individual Reports on Five Static Analysis Tools for C/C++. Classified FOUO by Department of Defense (no link available). 347 pages. September 1, 2006.
Ciera Jaspan, Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa, Mary Shaw, "Software Mythbusters Explore Formal Methods," IEEE Software, vol. 26, no. 6, pp. 60-63, Nov./Dec. 2009, doi:10.1109/MS.2009.188
Sven Stork
Reducing STM Overhead with Access Permissions. Nels E. Beckman, Yoon Phil Kim, Sven Stork, and Jonathan Aldrich. In Proceedings of the International Workshop on Aliasing, Confinement and Ownership 2009 (IWACO '09), July 2009.
Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. Sven Stork, Paulo Marques, and Jonathan Aldrich. In Proceedings of Onward!, 2009.
Joshua Sunshine
First-Class State Change in Plaid. Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter. in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011Permission-Based Programming Languages (NIER Track). Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff. in Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011.
Typestate-oriented programming. Jonathan Aldrich, Joshua Sunshine, Darpan Saini, and Zachary Sparks. in Proceedings of Onward! 2009
Crying wolf: An empirical study of SSL warning effectiveness. Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, and Lorrie Cranor. in Proceedings of Usenix Security 2009
A theory of typestate-oriented programming. Darpan Saini, Joshua Sunshine, and Jonathan Aldrich. in Proceedings of Fundamental Techniques for Java Like Programs (FTfJP) 2010
DynXML: safely programming the dynamic web. Joshua Sunshine and Jonathan Aldrich. in Proceedings of Analysis and Programming Languages for Web Applications and Cloud Applications (APLWACA) 2010
Language support for distributed proxies. Darpan Saini, Joshua Sunshine, and Jonathan Aldrich. in Proceedings of Distributed Objects for the 21st Century
YoungSeok Yoon
YoungSeok Yoon and Brad A. Myers, 2011, "Capturing and Analyzing Low-Level Events from the Cdoe Editor", in Proceedings of the 3rd Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2011) at SPLASH, 2011.
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, and Brad A. Myers, "Active Code Completion", demonstration at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), 2011.