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.
