Selected Publications of Current Software Engineering PhD Students
Marwan Abi-Antoun
Abi-Antoun, M. and Aldrich, J. Static Extraction of Sound Hierarchical Runtime Object Graphs. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), 2009. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISR-08-127, March 2008.
Abi-Antoun, M. and Aldrich, J. Static Conformance Checking of Runtime Architectural Structure. Carnegie Mellon University Technical Report CMU-ISR-08-132. September 2008. [This report supersedes the earlier technical report CMU-ISRI-07-119]
Abi-Antoun, M. and Aldrich, J. A Field Study in Static Extraction of Runtime Architectures. In 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2008. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISR-08-133, June 2008.
Abi-Antoun, M. and Aldrich, J. Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems. Carnegie Mellon University Technical Report CMU-ISRI-07-119R, December 2007.
Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Automated Software Engineering Journal, Special Issue on Selected Papers from Automated Software Engineering (ASE'06), 15(1), pp. 35--74, 2008. [Preprint (PDF)] [Published Link] Extended version of ASE'06 paper.
Abi-Antoun, M. and Aldrich, J. Compile-Time Views of Execution Structure Based on Ownership. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.
Abi-Antoun, M. and Aldrich, J. Ownership Domains in the Real World. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.
Abi-Antoun, M., Wang, D. and Torr, P. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security (Short Paper). International Conference on Automated Software Engineering (ASE), pp. 393–396, 2007. An extended version appeared as Carnegie Mellon University Technical Report CMU-ISRI-06-124.
Abi-Antoun, M. Making Frameworks Work: a Project Retrospective (Practitioner Report). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2007.
Abi-Antoun, M., Aldrich, J., and Coelho, W. A Case Study in Re-engineering to Enforce Architectural Control Flow and Data Sharing. In Journal of Systems and Software, 80(2), pp. 240--264, 2007. [Published Link]
Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISRI-05-128R, August 2005.
Abi-Antoun, M., and Coelho, W. A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 2005.
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B. and Nahas, N. Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (Position Paper). Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 2005.
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., and Tseng, T. Improving System Dependability by Enforcing Architectural Intent. In Proceedings of the Workshop on Architecting Dependable Systems (WADS), 2005.
Additional details available at: http://www.cs.cmu.edu/~mabianto/publications.html
Jeffrey Barnes
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.
Additional details available at: http://www.cs.cmu.edu/~jmbarnes/papers/
Nels Beckman
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich. Practical API Protocol Checking with Access Permissions. In Proceedings of European Conference on Object-Oriented Programming 2009 (ECOOP '09) Genova, Italy. July, 2009.
N. Beckman. Verifying Correct Usage of Atomic Blocks Using Access Permissions. In Companion To the 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (Nashville, TN, USA, October 19 - 23, 2008). OOPSLA Companion '08. ACM, New York, NY, 905-906.
N. Beckman, K. Bierhoff, J. Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate. In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications 2008 (OOPSLA '08) Nashville, TN, USA. October 19-23, 2008.
N. Beckman, A. Nori, S. Rajamani, R. Simmons. Proofs from Tests. In Proceedings of International Symposium on Software Testing and Analysis 2008 (ISSTA '08) Seattle, WA. July 20, 2008.
N. Beckman and J. Aldrich. A Programming Model for Failure-Prone, Collaborative Robots. 2nd International Workshop on Software Development and Integration in Robotics (SDIR). Rome, Italy. April 14, 2007.
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering: Special Issue on the ISSTA 2008 Best Papers, February 2010. To Appear.
Nels E. Beckman, Yoon Phil Kim, Sven Stork, Jonathan Aldrich. Reducing STM Overhead with Access Permissions. The International Workshop on Aliasing, Confinement and Ownership 2009 (IWACO '09). Genova, Italy. July, 2009.
C. Mattmann, S. Malek, N. Beckman, M. Mikic-Rakic, N. Medvidovic and D. Crichton. GLIDE: A Grid-based, Lightweight, Infrastructure for Data-intensive Environments. In Proceedings of the European Grid Conference (EGC2005), Amsterdam, the Netherlands, February 14th-16th, 2005.
Marija Mikic-Rakic, Sam Malek, Nels Beckman, and Nenad Medvidovic. A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. Proceedings of the Conference on Component Deployment (CD2004).
Marija Mikic-Rakic, Sam Malek, Nels Beckman, and Nenad Medvidovic Improving Availability of Distributed Event-Based Systems via Run-Time Monitoring and Analysis. Twin Workshops on Architecting Dependable Systems (WADS2004).
Additional details available at: http://www.cs.cmu.edu/~nbeckman/papers.html
Vishal Dwivedi
Ciera Christopher-Jaspan
Conferences and Symposia:
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, Trisha Quan, and Jonathan Aldrich: Error Reporting Logic. In Proceedings of the Conference on Automated Software Engineering, L'Aquila, Italy, 2008.
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.
Technical Reports:
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.
Uri Dekel
Uri Dekel and James D. Herbsleb, Improving API Documentation Usability with Knowledge Pushing, ACM/IEEE International Conference of Software Engineering (ICSE ’09), May 2009.
Uri Dekel and James D. Herbsleb, Reading the Documentation of Invoked API functions in Program Comprehension, IEEE International Conference on Program Comprehension (ICPC ’09), May 2009.
Uri Dekel and James D. Herbsleb, Improving API Documentation Usability with Knowledge Pushing, ACM International Conference on Software Engineering (ICSE '09), to appear.
Uri Dekel and James D. Herbsleb, Pushing Relevant Artifact Annotations in Collaborative Software Development, ACM Conference on Computer Supported Cooperative Work (CSCW ‘08).
Uri Dekel and James D. Herbsleb, ³Notation and Representation in Collaborative Object-Oriented Design², ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA¹07), October 2007.
Uri Dekel, ³A Framework for Studying the Use of Wikis in Knowledge Work using Client-Side Access Data², ACM International Symposium on Wikis (WikiSym¹07), October 2007.
Uri Dekel and James D. Herbsleb, "Supporting Distributed Software Design
Meetings: What Can we Learn from Collocated Meetings?", Workshop on Human and Social Factors in Software Engineering (HSSE) at ICSE'05.
Uri Dekel and Steven Ross, "Eclipse as a Platform for Research on Interruption Management in Software Development", Eclipse Technology Exchange workshop at OOPSLA '04.
Uri Dekel and Yossi Gil, Revealing Class Structure with Concept Lattices, Proceedings of the 10th Working Conference on Reverse Engineering, Victoria, BC, November 2003.
Uri Dekel, Tal Cohen and Sara Porat, Towards a Standard Family of Languages for Matching Patterns over Source Code, Proceedings of the IEEE International Conference on Software - Science, Technology & Engineering (SWSTE 03), Herzlia, Israel, November 2003.
Tim Halloran
Aaron Greenhouse, T.J. Halloran, William L. Scherlis, Using Eclipse to Demonstrate Positive Static Assurance of Java Program Concurrency Design Intent, Eclipse Technology eXchange (eTX) Workshop. OOPSLA 2003, Anaheim, CA, October 2003.
Tim Halloran, William L. Scherlis and Justin Erenkrantz, Beyond Code: Content Management and the Open Source Development Portal, in 3rd Workshop on Open Source Software Engineering ICSE 2003, Portland, OR, May 2003.
Tim Halloran and William L. Scherlis, Models of Thumb: Assuring Best Practice Source Code in Large Java Software Systems, Fluid Technical Report, Sep 2002.
Greg Hartman
Gregory S. Hartman and Len Bass. Logging events crossing architectural boundaries. To appear: Proceedings of the Tenth IFIP TC.13 Conference On Human-Computer Interaction (INTERACT 2005), September 2005.
Gregory S. Hartman and Len Bass. Interpreting audio/video recordings and logs. Paper for CHI2005 Workshop 6: Usage analysis, Combining Logging and Qualitative Methods, April 2005.
Gregory S. Hartman and Priya Narasimhan, Virtual Memory-Induced Priority Inversion in Multi-Tasked Systems, Workshop on Duplicating, Deconstructing, and Debunking (WDD), held in conjunction with the International Symposium on Computer Architecture (ISCA-30), San Diego, CA, June 2003.
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
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.
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.
Elissa Newman
Elissa Newman and William L. Scherlis, Toward Query-based Constraints (position paper). Software Engineering Properties of Languages for Aspect Technologies (SPLAT) 2003, at AOSD 2003, Boston, MA, March 2003.
Elissa Newman, Localizing Views for Separation of Concerns (position paper). Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, Toronto, CAN, May 2001.
Elissa Newman, Aaron Greenhouse, and William L. Scherlis. Annotation-Based Diagrams for Shared-Data Concurrency. Presented at Workshop on Concurrency Issues in UML at UML 2001, Toronto, CAN, October 2001.
Sven Stork
Joshua Sunshine
Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, Lorrie Faith Cranor. "Crying Wolf: An Empirical Study of SSL Warning Effectiveness." Accepted to USENIX Security 2009.
