Thomas LaToza
Graduated: May 2012
Advisor: Brad Myers and Jonathan Aldrich
Research Interests: Program comprehension, human-computer interaction, program analysis, machine learning.
Publications
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.
Ciera Jaspan
Graduated: December 2011
Advisor: Jonathan Aldrich
Research Interests: Frameworks, software architecture, software design, quality assurance, and developer productivity.
Publications
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.
Nels Beckman
Graduated: February 2011
Advisor: Jonathan Aldrich
Research Interests: Programming Languages, Static Analysis and Software Transactional Memory
Publications
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.htmlGreg Hartman
Graduated: December 2010
Advisor: William Scherlis
Research Interests: My research focuses on the intersection between systems, usability, and software engineering.
Publications
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.
Marwan Abi-Antoun
Graduated: May 2010
Advisor: Jonathan Aldrich
Research Interests: Software architectures, emerging middleware technologies, component frameworks.
Publications
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 reportCMU-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
Tim Halloran
Graduated: May 2010
Advisor: William Scherlis
Research Interests: Quality improvement of software systems, program assurance, program analysis, and programmer tools.
Publications
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.
Uri Dekel
Website: http://www.uridekel.com/
Graduated: December 2009
Advisor: Jim Herbsleb
Research Interests: Collaboration and knowledge retention in software development teams; software understanding and reverse engineering
Thesis: CMU-ISR-09-130 Increasing Awareness of Delocalized Information to Facilitate API Usage
Publications
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.
Kevin Bierhoff
Website: http://www.cs.cmu.edu/~kbierhof/
Graduated: May 2009
Advisor: Jonathan Aldrich
Thesis: CMU-ISR-09-108 API Protocol Compliance in Object-Oriented Software
Publications
Kevin Bierhoff and Jonathan Aldrich. Permissions to Specify the Composite Design Pattern. In SAVCBS '08, Atlanta, GA, USA, November 2008.
Nels Beckman, Kevin Bierhoff, and Jonathan Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate. In OOPSLA '08, Nashville, TN, USA, pages 227-244. ACM Press, New York, October 2008.
Kevin Bierhoff. Checking API Protocol Compliance in Java. Student Research Competition poster in OOPSLA '08 Companion, Nashville, TN, USA, pages 915-916. ACM Press, New York, October 2008.
Kevin Bierhoff and Jonathan Aldrich. PLURAL: Checking Protocol Compliance under Aliasing. Demonstration in ICSE-30 Companion, Leipzig, Germany, pages 971-972. ACM Press, New York, May 2008.
Kevin Bierhoff and Chris Hawblitzel. Checking the Hardware-Software Interface in Spec#. In Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS '07) at SOSP '07, Stevenson, WA, USA, October 18, 2007.
Kevin Bierhoff and Jonathan Aldrich. Modular Typestate Checking of Aliased Objects. In Proceedings of the 22nd ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '07), Montreal, Canada, October 21-25, 2007, pages 301-320. ACM Press, New York, October 2007.
Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, and Chun Jin. RedOpal: Product-Features Scoring from Reviews. In Proceedings of the 8th ACM Conference on Electronic Commerce (EC '07), San Diego, CA, USA, June 11-15, 2007, pages 182-191. ACM Press, New York, June 2007.
Kevin Bierhoff, Mark Grechanik, and Edy S. Liongosari. Architectural Mismatch in Service-Oriented Architectures. In International Workshop on Systems Development in SOA Environments (SDSOA '07) at ICSE-29, Minneapolis, MN, USA, May 21, 2007.
Kevin Bierhoff and Jonathan Aldrich. Modular Typestate Verification of Aliased Objects. Technical Report CMU-ISRI-07-105, March 2007.
Kevin Bierhoff. Iterator Specification with Typestates. In SAVCBS '06, Portland, OR, USA, pp. 79-82. ACM Press, New York, November 2006.
George Fairbanks, Kevin Bierhoff, and Desmond D'Souza. Software Architecture at a Large Financial Firm. In OOPSLA '06 Companion, Portland, OR, USA, pp. 815-823. ACM Press, New York, October 2006.
Kevin Bierhoff, Edy S. Liongosari, and Kishore S. Swaminathan. Incremental Development of a Domain-Specific Language That Supports Multiple Application Styles. In DSM '06, Portland, OR, USA, pages 79-86, October 2006.
Kevin Bierhoff, Jonathan Aldrich, and Sangjin Han. A Language-based Approach to Specification and Enforcement of Architectural Protocols. Technical Report CMU-ISRI-07-121, April 2006
Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff. Ego: Controlling the Power of Simplicity. In FOOL/WOOD '06, Charleston, SC, USA, January 2006.
Kevin Bierhoff and Jonathan Aldrich, Lightweight Object Specification with Typestates. In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), Lisbon, Portugal, pp. 217-226, September 2005.
Michael G Merideth
Website: http://www-2.cs.cmu.edu/~mgm/
Graduated: May 2009
Advisor: Michael Reiter
Thesis: CMU-ISR-09-112 Efficient Survivability for Highly-Replicated Services
Publications
Conference papers
Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. International Conference On Principles Of Distributed Systems (OPODIS). Luxor, Egypt. December, 2008.
Michael G. Merideth and Michael K. Reiter. Probabilistic Opaque Quorum Systems. International Symposium on Distributed Computing (DISC). Lemosos, Cyprus. September, 2007. link: http://www.cs.unc.edu/~reiter/papers/2007/DISC.pdf
Michael G. Merideth, A. Iyengar, T. Mikalsen, S. Tai, I. Rouvellou, P. Narasimhan, Thema: Byzantine-Fault-Tolerant Middleware for Web-Service Applications. The 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005). Orlando, FL. October 2005.
Michael G. Merideth and Priya Narasimhan, Retrofitting Networked Applications to Add Autonomic Reconfiguration. Workshop on the Design and Evolution of Autonomic Application Software (DEAS'05) at the ACM/IEEE 27th International Conference on Software Engineering (ICSE'05). St Louis, MO. May 2005.
Michael G. Merideth and Priya Narasimhan, Elephant: Network Intrusion Detection Systems that Don't Forget. January 2005.
Michael G. Merideth and Priya Narasimhan, Proactive Containment of Malice in Survivable Distributed Systems. International Conference on Security and Management, Las Vegas, NV, June 2003.
Michael G. Merideth, Enhancing Survivability with Proactive Fault-Containment. Student Forum, IEEE Conference on Dependable Systems and Networks, San Francisco, CA, June 2003.
Michael G. Merideth and Priya Narasimhan, Metrics for the Evaluation of Proactive and Reactive Survivability. Fast Abstracts Session, IEEE Conference on Dependable Systems and Networks, San Francisco, CA, June 2003.
Technical reports
Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. CMU-ISRI-07-118R. Supersedes CMU-ISRI-07-118. Also appears as CMU-CS-07-165R. November, 2008
Michael G. Merideth. Tradeoffs in Byzantine-Fault-Tolerant State-Machine-Replication Protocol Design. Technical Report CMU-ISR-08-110. March, 2008.
Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. CMU-ISRI-07-118. Superseded by CMU-ISRI-07-118R. Also appears as CMU-CS-07-165. November, 2007.
Michael G. Merideth and Michael K. Reiter. Probabilistic Opaque Quorum Systems. CMU-ISRI-07-117. Also appears as CMU-CS-07-117. March, 2007.
Christopher Scaffidi
Website: http://www-2.cs.cmu.edu/~cscaffid/index.shtml
Graduated: May 2009
Advisor: Mary Shaw
Thesis: CMU-ISR-09-105
Publications
Formally Refereed
Chris Scaffidi, Chris Bogart, Margaret Burnett, Allen Cypher, Brad Myers, and Mary Shaw. Predicting Reuse of End-User Web Macro Scripts, Submitted to IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, OR, September 2009. (Paper)
Chris Scaffidi, Brad Myers, and Mary Shaw. Fast, Accurate Creation of Data Validation Formats by End-User Developers. 2nd International Symposium on End-User Development (ISEUD 2009), March 2009, 242-261. (Paper) (Presentation)
Chris Scaffidi, Brad Myers, and Mary Shaw. Intelligently Creating and Recommending Reusable Reformatting Rules. Intl. Conf. on Intelligent User Interfaces (IUI 2009), Sanibel Island, FL, February 2009, 297-306. (Paper) (Presentation)
Chris Scaffidi, Brad Myers, and Mary Shaw. Fast, Accurate Creation of Data Validation Formats by End-User Developers. 2nd International Symposium on End-User Development (ISEUD 2009), March 2009, to appear. (Paper)
Andhy Koesnandar, Sebastian Elbaum, Gregg Rothermel, Lorin Hochstein, Kathryn Thomasset, and Chris Scaffidi. Using Assertions to Help End-User Programmers Create Dependable Web Macros. Proc. 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2008), Atlanta, GA, November 2008, 124-134. (Paper)
Chris Bogart, Margaret Burnett, Allen Cypher, and Chris Scaffidi. End-User Programming in the Wild: A Field Study of CoScripter Scripts. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), Herrsching am Ammersee, Germany, September 2008, 39-46. (Paper)
Andy Ko, Robin Abraham, Laura Beckwith, Alan Blackwell, Margaret Burnett, Martin Erwig, Joey Lawrence, Henry Lieberman, Brad Myers, Mary Beth Rosson, Gregg Rothermel, Chris Scaffidi, Mary Shaw, and Susan Wiedenbeck. The State of the Art in End-User Software Engineering, Submitted to ACM Computing Surveys, Jul 2008. (Paper)
Chris Scaffidi, Brad Myers, and Mary Shaw. Tool Support for Data Validation by End-User Programmers. International Conference on Software Engineering - Formal Research Demonstrations (ICSE 2008), Leipzig, Germany, May 2008, pp. 867-870. (Paper) (Presentation)
Chris Scaffidi, Brad Myers, and Mary Shaw. Topes: Reusable Abstractions for Validating Data, International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008, pp. 1-10. (Paper) (Presentation)
Chris Scaffidi, Allen Cypher, Sebastian Elbaum, Andhy Koesnandar, and Brad Myers. Using Scenario-Based Requirements to Direct Research on Web Macro Tools. Journal of Visual Languages and Computing, Vol. 19, No. 4, Aug 2008, 485-498. (Paper)
Chris Scaffidi, Allen Cypher, Sebastian Elbaum, Andhy Koesnandar, and Brad Myers. Scenario-Based Requirements for Web Macro Tools. Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), Coeur d'Alene, ID, September 2007, pp. 197-204. (Paper) (Presentation)
Chris Scaffidi. Unsupervised Inference of Data Formats in Human-Readable Notation. Proceedings of 9th International Conference on Enterprise Information Systems - HCI Volume (ICEIS 2007), Madeira, Portugal, June 2007, pp. 236-241. (Paper) (Presentation)
Chris Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, Chun Jin. Red Opal: Product-Feature Scoring from Reviews. Proceedings of 8th ACM Conference on Electronic Commerce (ACMEC 2007), San Diego, CA, June 2007, pp. 182-191. (Paper) (Presentation)
Chris Scaffidi, Andy Ko, Brad Myers, Mary Shaw. Dimensions Characterizing Programming Feature Usage by Information Workers. Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton, UK, September 2006, pp. 59-62. (Paper) (Presentation)
Chris Scaffidi, Mary Shaw, and Brad Myers. Estimating the Numbers of End Users and End User Programmers. Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX, September 2005, pp. 207-214. (Paper) (Presentation)
Workshops & Posters
Chris Scaffidi and Mary Shaw. Inferring Reusability of End-User Programmers’ Code from Low-Ceremony Evidence, End User Programming for the Web Workshop, at the Conference on Human Factors in Computing Systems (CHI 2009), Boston, MA, April 2009. (Paper)
Chris Scaffidi, Chris Bogart, Margaret Burnett, Allen Cypher, Brad Myers, and Mary Shaw. Characterizing Reusability of End-User Web Macro Scripts, Presentation at the Intl. Workshop on Recommendation Sys. for Software Engineering, co-located with FSE 2008, 10 Nov 2008, unpublished. (Paper) (Presentation)
Chris Scaffidi, Allen Cypher, Sebastian Elbaum, Andhy Koesnandar, James Lin, Brad Myers, and Mary Shaw. Using Topes to Validate and Reformat Data in End-User Programming Tools. Fourth Workshop on End-User Software Engineering (WEUSE IV), at the International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008, pp. 11-15. (Paper)
Chris Scaffidi and Mary Shaw. Accommodating Data Heterogeneity in ULS Systems. Second International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), at the International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008, pp. 15-18. (Paper) (Presentation)
Chris Scaffidi, Brad Myers, and Mary Shaw. Toped: Enabling End-User Programmers to Validate Data. Conference on Human Factors in Computing Systems - Work-in-Progress Posters (CHI 2008), Florence, Italy, April 2008, pp. 3519-3524. (Paper) (Presentation)
Chris Scaffidi and Mary Shaw. Developing Confidence in Software through Credentials and Low-Ceremony Evidence. International Workshop on Living with Uncertainties at the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, GA, November 2007. (Paper) (Presentation)
Chris Scaffidi, Mary Shaw. Toward a Calculus of Confidence. First International Workshop on the Economics of Software and Computation, at the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007. (Paper) (Presentation)
Chris Scaffidi, Brad Myers, and Mary Shaw. Challenges, Motivations, and Success Factors in the Creation of Hurricane Katrina "Person Locator" Web Sites, Psychology of Programming Interest Group Workshop at 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton, UK, September 2006. (Paper) (Presentation)
Chris Scaffidi, Mary Shaw, Brad Myers. Games Programs Play: Obstacles to Data Reuse, 2nd Workshop on End User Software Engineering (WEUSE), at the Conference on Human Factors in Computing Systems (CHI 2006), Montreal, Canada, April 2006. (Paper)
Chris Scaffidi, Ashish Arora, Shawn Butler, and Mary Shaw. A Value-Based Approach to Predicting System Properties From Design. 5th Workshop on Economics-Driven Software Engineering Research (EDSER), at the International Conference on Software Engineering (ICSE 2005), St. Louis, MO, May 2005. (Paper)
Chris Scaffidi, Mary Shaw, and Brad Myers. An Approach for Categorizing End User Programmers to Guide Software Engineering Research. 1st Workshop on End User Software Engineering (WEUSE), at the International Conference on Software Engineering (ICSE 2005), St. Louis, MO, May 2005. (Paper)
Doctoral Symposia
Chris Scaffidi. A Lightweight Model for End Users' Data: Progress and Future Work. Doctoral Consortium at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), Coeur d'Alene, ID, September 2007, pp. 268-269. (Paper) (Presentation)
Chris Scaffidi. A Data Model to Support End User Software Engineering. Companion to Proc. 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007, pp. 79-80. (Paper) (Presentation)
Chris Scaffidi. A Lightweight Model for End Users' Domain-Specific Data. Doctoral Consortium at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton, UK, September 2006, pp. 242-243. (Paper) (Presentation)
Technical Reports
Chris Scaffidi, Brad Myers, and Mary Shaw. The Topes Format Editor and Parser. Technical Report CMU-ISRI-07-104 / CMU-HCII-07-100, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 2007. (Paper)
Chris Scaffidi, Allen Cypher, Sebastian Elbaum, Andhy Koesnandar, and Brad Myers. The EUSES Web Macro Scenario Corpus, Version 1.0. Technical Report CMU-HCII-06-105, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, November 2006. (Paper) (Presentation)
Chris Scaffidi. Application of a Probability-Based Algorithm to Extraction of Product Features from Online Reviews. Technical Report CMU-ISRI-06-111, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, June 2006. (Paper)
Chris Scaffidi, Andy Ko, Brad Myers, Mary Shaw. Identifying Categories of End Users Based on the Abstractions That They Create, Technical Report CMU-ISRI-05-110/CMU-HCII-05-101, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 2005. (Paper)
Mary Shaw, Ashish Arora, Shawn Butler, Vahe Poladian, and Chris Scaffidi. In Search of a Unified Theory for Early Predictive Design Evaluation for Software. Technical Report CMU-ISRI-05-114, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 2005 (Revised Oct 2005). (Paper)
Chris Scaffidi, Mary Shaw, and Brad Myers. The "55M End user Programmers" Estimate Revisited. Technical Report CMU-ISRI-05-100/CMU-HCII-05-100, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, February 2005. (Paper) (Presentation)
Book/Magazine Contributions
Chris Scaffidi, Brad Myers, and Mary Shaw. Trial By Water: Creating Hurricane Katrina "Person Locator" Web Sites. In Leadership at a Distance: Research in Technologically-Supported Work (S. Weisband, ed), Lawrence Erlbaum Publishers, Mahwah, NJ, July 2007, pp. 209-222. (Paper)
Chris Scaffidi. Why Are APIs Difficult To Learn and Use? ACM Crossroads, Vol. 12.4, May 2006, pp. 4-9. (Paper)
Chris Scaffidi. Preparing for Graduate School Examinations in Computer Science, (ISBN 0972732446), 117 pgs, http://titanium.bits.googlepages.com/home, 2006.
Lu (Annie) Luo
Website: http://www-2.cs.cmu.edu/~luluo/
Graduated: May 2008
Advisor: Daniel P Siewiorek
Thesis: CMU-ISR-08-102 Designing Energy and User Efficient Interactions with Mobile Systems
Publications
Lu Luo and Daniel P. Siewiorek, KLEM: A Method for Predicting User Interaction Time and System Energy Consumption during Application Design. In Proceedings of 11th International Symposium on Wearable Computers, Boston, MA, October 2007
Lu Luo and Bonnie E. John. Predicting Task Execution Time on Handheld Devices Using the Keystroke-Level Model. In Proceeddings of the International Conference on Human Factors in Computing System (CHI 2005) extended abstracts on Human factors in computing system, Portland, OR, April 2005
Marcel C. Rosu, C. Michael Olsen, Chandrasekhar Narayanaswami, and Lu Luo, PAWP: A Power Aware Web Proxy for Wireless LAN Clients. In Proceedings of the 6th IEEE Workshop on Mobile Computing Systems & Applications (WMCSA 2004), UK, December 2004.
M. Rosu, C. Olsen, L. Luo, and C. Narayanaswami, The Power-Aware Streaming Proxy Architecture. In Proceedings of the First International Workshop on Broadband Wireless Multimedia: Algorithms, Architectures and Applications (BroadWim 2004), San Jose, CA, October 2004.
Asim Smailagic, Daniel Siewiorek, and Lu Luo. A System Design and Rapid Prototyping of Wearable Computers Course. In Proceedings of 2003 IEEE International Conference on Microelectronic Systems Education, 1-2 June 2003, pp. 80-82.
Subu Iyer, Lu Luo, Robert Mayo and Parthasarathy Ranganathan, Energy-Adaptive Display System Designs for Future Mobile Environments. MobiSys, Proceedings of the First International Conference on Mobile Systems, Applications, and Services, San Francisco, May 2003.
Lu Luo, Fault Manifestation Model for Predicting Anomalous System Behavior. International Conference on Dependable Systems and Networks (DSN), Bethesda, MD, June 2002. Student Forum.
Shang-Wen (Owen) Cheng
Website: http://owen.tofudo.com/mosquito/
Graduated: May 2008
Advisor: David Garlan
Thesis: CMU-ISR-08-113 Rainbow: Cost-Effective Software Architecture-Based Self-Adapation
Publications
Shang-Wen Cheng and David Garlan. Handling Uncertainty in Autonomic Systems. To appear in the International Workshop on Living with Uncertainties (IWLU'07), co-located with ASE'07, November 5, 2007, Atlanta, Georgia, USA. /IWLU07-HandlingUncertainties-2007-10-15-web.pdf
Shang-Wen Cheng, David Garlan and Bradley Schmerl. Architecture-based Self-adaptation in the Presence of Multiple Objectives. In ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, 21-22 May 2006.
Shang-Wen Cheng, David Garlan and Bradley Schmerl. Making Self-Adaptation an Engineering Reality. Proceedings of the Conference on Self-Star Properties in Complex Information Systems, Vol. 3460 of LNCS, Springer-Verlag, 2005.
Shang-Wen Cheng, Robert Nord and Judith Stafford. WICSA Wiki WAN Party:
Capturing experience in software architecture best practices. ACM SIGSOFT Software Engineering Notes, Volume 30, Number 1, January 2005.
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley
Schmerl, and Peter Steenkiste, Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. IEEE Computer Vol. 37 Num. 10, October 2004.
Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, and Peter Steenkiste, An Architecture for Coordinating Multiple Self-Management Systems. Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures, Oslo, Norway, June 11-14, 2004, pp. 243-252.
David Garlan, Shang-Wen Cheng, and Bradley Schmerl, Increasing System Dependability through Architecture-based Self-repair, in Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (Eds), Springer-Verlag, 2003.
Shang-Wen Cheng, David Garlan, Bradley Schmerl, João Pedro Sousa, Bridget Spitznagel, and Peter Steenkiste, Using Architectural Style as a Basis for Self-repair, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture) Jan Bosch, Morven Gentleman, Christine Hofmeister, Juha Kuusela (Eds), Kluwer Academic Publishers, August 25-31, 2002. pp. 45-59.
David Garlan, Andrew J. Kompanek, and Shang-Wen Cheng, Reconciling the Needs of Architectural Description with Object-Modeling Notations, Science of Computer Programming, Volume 44, 2001, Elsevier Press, pp. 23-49.
Publications link: http://acme.able.cs.cmu.edu/pubs/show.php?author=Shang-Wen_Cheng
Dean F. Sutherland
Graduated: May 2008
Advisor: William Scherlis
Thesis: CMU-ISR-08-112 The Code of Many Colors: Semi-Automated Reasoning about Multi-Thread Policy for Jave
Publications
Dean F. Sutherland, Aaron Greenhouse, and William L. Scherlis, The Code of Many Colors: Relating Threads to Code and Shared State. Program Analysis for Software Tools and Environments (PASTE) '02 at FSE-10, Charleston, SC, November 2002.
P. Dinda, T. Gross, R. Karrer, B. Lowekamp, N. Miller, P. Steenkiste, and D. Sutherland. The Architecture of the Remos System. In Proc. 10th IEEE Symp. on High Performance Distributed Computing, 2001.
George Fairbanks
Website: http://georgefairbanks.com/
Graduated: May 2007
Advisors: David Garlan, William Scherlis
Thesis: CMU-ISRI-07-108 Design Fragments
Publications
George Fairbanks, Kevin Bierhoff and Desmond D'Souza. Software Architecture at a Large Financial Firm. In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR USA, 22-27 October 2006.
George Fairbanks. Why Can't They Create Architecture Models Like Developer X? An Experience Report. In The 2003 International Conference on Software Engineering (ICSE'03), Portland, OR, 3-10 May 2003.
Orna Raz
Graduated: May 2004
Advisor: Mary Shaw
Thesis: CMU-ISRI-04-119 Helping Everyday Users Find Anomalies in Data Feeds
Publications
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos, Detecting Semantic Anomalies in Truck Weigh-In-Motion Traffic Data Using Data Mining. Journal of Computing in Civil Engineering. To appear.
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos, Automated Assistance for Eliciting User Expectations. International Conference on Software Engineering and Knowledge Engineering (SEKE'04), Banff, Canada, June 2004.
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos, Eliciting User Expectations for Data Behavior via Invariant Templates. Technical report CMU-CS-03-105, January 2003.
Orna Raz, Philip Koopman, and Mary Shaw, Enabling Automatic Adaptation in Systems with Under-Specified Elements.1st Workshop on Self-Healing Systems (WOSS'02), affiliated with the 10th International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, USA, November 2002.
Orna Raz, Philip Koopman, and Mary Shaw, Semantic Anomaly Detection in Online Data Sources.24th International Conference on Software Engineering (ICSE'02), Orlando, Florida, USA, May 2002.