Follow

Submissions from 2010

Link

ATLAS: Automatic Term-Level Abstraction of RTL Designs, Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, and John W. O'Leary

PDF

A Method to Acquire Compliance Monitors from Regulations, Travis D. Breaux

Link

Legally “Reasonable” Security Requirements: A 10-year FTC Retrospective, Travis D. Breaux and David L. Baumer

PDF

Graph-Structured Multi-task Regression and an Efficient Optimization Method for General Fused Lasso Manuscript, Xi Chen, Seyoung Kim, Qihang Lin, Jaime G. Carbonell, and Eric P. Xing

Link

An Efficient Proximal-Gradient Method for Single and Multi-task Regression with Structured Sparsity, Xi Chen, Qihang Lin, Seyoung Kim, Javier Peña, Jaime G. Carbonell, and Eric P. Xing

Link

Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis, Xi Chen, Yan Liu, Han Liu, and Jaime G. Carbonell

Link

DeNovo: Rethinking Hardware for Disciplined Parallelism, Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Bocchino, Sarita Adve, and Vikram Adve

Link

Software Engineering for Self-Adaptive Systems II, Rogério de Lemos, Holger Giese, Hausi A. Müller, and Mary Shaw

PDF

A Probabilistic Framework to Learn from Multiple Annotators with Time-Varying Accuracy, Pinar Donmez, Jaime G. Carbonell, and Jeff Schneider

PDF

End User Orchestrations, Vishal Dwivedi, David Garlan, and Bradley Schmerl

PDF

Featherweight Typestate (CMU-ISR-10-115), Ronald Garcia, Roger Wolff, Eric Tanter, and Jonathan Aldrich

PDF

Attentiveness: Reactivity at Scale, Gregory S. Hartman

PDF

Socio-technical logics of correctness in the scientific software development ecosystem, James Howison and James Herbsleb

Link

Adaptive Gaussian Process for Short-TermWind Speed Forecasting, Xiaoqian Jiang, Bing Dong, Le Xie, and Latanya Sweeney

PDF

Chunk-Based EBMT, Jae Dong Kim, Ralf D. Brown, and Jaime G. Carbonell

PDF

Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways, Philip Koopman and Justin Ray

PDF

Active Learning for Human Protein-Protein Interaction Prediction, Thahir P. Mohamed, Jaime G. Carbonell, and Madhavi K. Ganapathiraju

Link

A framework for synthesis of human gait oscillation using Intelligent Gait Oscillation Detector (IGOD), Soumik Mondal, Anup Nandy, Anirban Chakrabarti, Pavan Chakraborty, and Gora Nandi

Link

Recognizing & Interpreting Indian Sign Language Gesture for Human Robot Interaction, Anup Nandy, Soumik Mondal, Jay Shanka Prasad, Pavan Chakraborty, and Gora Nandi

PDF

Active Learning for Membrane Protein Structure Prediction, Hatice U. Osmanbeyoglu, Jessica A. Wehner, Jaime G. Carbonell, and Madhavi K. Ganapathiraju

Link

The Impact of Process Discipline on Personal Software Quality and Productivity, Mark C. Paulk

Link

Research toward an engineering discipline for software, Mary Shaw

Link

Efficient Temporal Pattern Mining for Humanoid Robot, Upasna Singh and Gora Nandi

Link

Enhancing the efficiency of secure network monitoring through mobile agents, Shashank Srivastava and Gora Nandi

Link

Localization of Mobile Robots in a Network using Mobile Agents, Shashank Srivastava and Gora Nandi

PDF

Low Cost Multicast Authentication via Validity Voting in Time-Triggered Embedded Control Networks, Chris Szilagy and Philip Koopman

PDF

Gradual Featherweight Typestate (CMU-ISR-10-116R), Roger Wolff, Ronald Garcia, Eric Tanter, and Jonathan Aldrich

PDF

Temporal Collaborative Filtering with Bayesian Probabilistic Tensor Factorization, Liang Xiong, Xi Chen, Tzu-Kuo HUang, Jeff Schneider, and Jaime G. Carbonell

Link

Time-Evolving Collaborative Filtering, Liang Xiong, Xi Chen, Tzu-Kuo Huang, Jeff Schneider, and Jaime G. Carbonell

Submissions from 2009

Link

Proactive Learning for Building Machine Translation Systems for Minority Languages, Vamshi Ambati and Jaime G. Carbonell

PDF

Extraction of Syntactic Translation Models from Parallel Data using Syntax from Source and Target Languages, Vamshi Ambati, Alon Lavie, and Jaime G. Carbonell

PDF

Alternative Paths in HIV-1 Targeted Human Signal Transduction Pathways, Sivaraman Balakrishnan, Oznur Tastan, Jaime Carbonell, and Judith Klein-Seetharaman

PDF

Proceedings of the Workshop on Software Engineering Foundations for End-User Programming (SEEUP 2009), Len Bass, Grace A. Lewis, Brad Myers, and Dennis B. Smith

Link

Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions, Michael Benisch, Norman Sadeh, and Tuomas Sandholm

PDF

System Safety as an Emergent Property in Composite Systems, Jennifer Black and Philip Koopman

Link

Parallel Programming Must Be Deterministic by Default, Robert L. Bocchino, Vikram S. Adve, Sarita V. Adve, and Marc Snir

Link

Engineering Self-Adaptive Systems through Feedback Loops, Yuriy Brun, Giovann Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi Muller, Mauro Pezze, and Mary Shaw

Link

Software Engineering for Self-Adaptive Systems: A Research Roadmap, Betty H.C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, and Mary Shaw

Link

Accelerated Gradient Method for Multi-Task Sparse Learning Problems, Xi Chen, Weike Pan, James T. Kwok, and Jaime G. Carbonell

Link

"The Golden Age of Software Architecture" Revisited, Paul Clements and Mary Shaw

PDF

Pushing the limits of rational agents: the Trading Agent Competition for Supply Chain Management (CMU-ISR-09-129), John Collins, Wolfgang Ketter, and Norman Sadeh

PDF

API usability: Report on Special Interest Group at CHI, John Daughtry, Umer Farooq, Brad Myers, and Jeffrey Stylos

PDF

Active Sampling for Rank Learning via Optimizing the Area Under the ROC Curve, Pinar Donmez and Jaime G. Carbonell

PDF

Data Network Evaluation Criteria Handbook, Kevin Driscoll, Brendan Hall, Philip Koopman, Justin Ray, and Mike DeWalt

PDF

Pairwise Document Classification for Relevance Feedback, Jonathan L. Elsas, Pinar Donmez, Jaime Callan, and Jaime G. Carbonell

PDF

Analysis of uncertain data: Smoothing of histograms, Eugene Fink, Ankur Sarin, and Jaime G. Carbonell

Link

Active Learning in Example-Based Machine Translation, Rashmi Gangadharaiah, Ralf D. Brown, and Jaime G. Carbonell

PDF

Analysis of uncertain data: Evaluation of given hypotheses, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Analysis of uncertain data: Selection of probes for information gathering, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Prior-Free Rare Category Detection, Jingrui He and Jaime G. Carbonell

Link

Software Mythbusters Explore Formal Methods, Ciera Jaspan, Michael Keeling, Larry MacCherone, Gabriel L. Zenarosa, and Mary Shaw

Link

From Sensor Network To Social NetworkÐ A Study On The Energy Impact In Buildings, Xiaoqian Jiang, Bing Dong, and Latanya Sweeney

Link

Designing CPG For Biped Locomotion Control Using Nonlinear Dynamical Theory, Preeti Kanyal

Link

A “Nutrition Label” for Privacy, Patrick Gage Kelley, Joanna Bresee, Lorrie Faith Cranor, and Robert W. Reeder

Link

The State of the Art in End-User Software Engineering, Andrew J. Ko, Robin Abraham, Laura Beckwith, Alan Blackwell, Margaret Burnett, Martin Erwig, Joseph Lawrance, Henry Lieberman, Brad Myers, Mary Beth Rosson, Gregg Rothermel, Chris Scaffidi, Mary Shaw, and Susan Wiedenbeck

Link

School of Phish: A Real-World Evaluation of Anti-Phishing Training, Ponnurangam Kumaraguru, Justin Cranshaw, Alessandro Acquisti, Lorrie Faith Cranor, Jason Hong, Mary Ann Blair, and Theodore Pham

PDF

Information-Theoretic Approach to Efficient Adaptive Path Planning for Mobile Robotic Environmental Sensing, Kian Hsiang Low, John M. Dolan, and Pradeep Khosla

Link

Holistic Query Transformations for Dynamic Web Applications, Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, and Anthony Tomasic

Link

A Comparative Study of Online Privacy Policies and Formats, Aleecia M. McDonald, Robert W. Reeder, Patrick Gage Kelley, and Lorrie Faith Cranor

PDF

A Comparison of Strategies for Developmental Action Acquisition in QLAP, Jonathan Mugan and Benjamin Kuipers

PDF

Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation, Jonathan Mugan and Benjamin Kuipers

PDF

Skill Reuse in Lifelong Developmental Learning, Jonathan Mugan and Benjamin Kuipers

PDF

The Past, Present and Future of Programming in HCI, Brad Myers and Andrew Ko

Link

Development of Adaptive Modular Active Leg (AMAL) Using Bipedal Robotics Technology, Gora Nandi, A. J. Ijspeert, Pavan Chakraborty, and Anirban Nandi

Link

Statistical Sampling for Process Assessments, David M. Northcutt and Mark C. Paulk

PDF

Visions for Euclase: Ideas for Supporting Creativity through Better Prototyping of Behaviors, Stephen Oney, Brad Myers, and John Zimmerman

Link

A History of the Capability Maturity Model for Software, Mark C. Paulk

Link

Identify Outliers, Understand the Process, Mark C. Paulk, Kim Lascola Needy, and Jayant Rajgopal

Link

MILO - Mobile Intelligent Linux Robot, Alok Rao, Satish Kumar, Amit Renu, and Gora Nandi

Link

Capturing Social Networking Privacy Preferences: Can Default Policies Help Alleviate Tradeoffs between Expressiveness and User Burden?, Ramprasad Ravichandran, Michael Benisch, Patrick Gage Kelley, and Norman Sadeh

PDF

Data Management Mechanisms for Embedded System Gateways, Justin Ray and Philip Koopman

Link

Predicting Reuse of End-User Web Macro Scripts, Chris Scaffidi, Chris Bogart, Margaret Burnett, Allen Cypher, Brad Myers, and Mary Shaw

PDF

Using traits of web macro scrips to predict reuse, Chris Scaffidi, Chris Bogart, Margaret Burnett, Allen Cypher, Mary Shaw, and Brad Myers

Link

Fast, Accurate Creation of Data Validation Formats by End-User Developers, Chris Scaffidi, Brad Myers, and Mary Shaw

Link

Inferring Reusability of End-User Programmers ’ Code from Low-Ceremony Evidence, Chris Scaffidi and Mary Shaw

Link

Reuse in the world of end-user programmers, Chris Scaffidi and Mary Shaw

Link

Software: The Endless Value Spiral, William L. Scherlis

Link

Continuing Prospects for an Engineering Discipline of Software, Mary Shaw

Link

Frequently Asked Questions on Implementing GSwE2009, Mary Shaw

Link

Graduate Software Engineering 2009 (GSwE2009): Curriculum Guidelines for Graduate Degree Programs in Software Engineering., Mary Shaw

Link

Knowledge Discovery for Mining Patterns in Spatio-Temporal Databases, Upasna Singh and Gora Nandi

Link

SH-Struct: An Affirmative Advanced Method for Mining Frequent Patterns, Upasna Singh and Gora Nandi

Link

Crying Wolf: An Empirical Study of SSL Warning Effectiveness, Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, and Lorrie Faith Cranor

Link

The Medical Billing Framework as the Backbone of the National Health Information Infrastructure, Latanya Sweeney

PDF

Flexible Multicast Authentication for Time-Triggered Embedded Control Network Applications, Chris Szilagy and Philip Koopman

Link

Prediction of Interactions between HIV-1 and Human Proteins by Information Integration, Oznur Tastan, Yanjun Qi, Jaime G. Carbonell, and Judith Klein-Seetharaman

Link

Location-Sharing Technologies: Privacy Risks and Controls, Janice Y. Tsai, Patrick Gage Kelley, Lorrie Faith Cranor, and Norman Sadeh

Link

Inferring Method Effect Summaries for Nested Heap Regions, Mohsen Vakilian, Danny Dig, Robert Bocchino, Jeffrey Overbey, Vikram Adve, and Ralph Johnson

PDF

Heartbeat: Measuring active user base and potential user interest in FLOSS projects, Andrea Wiggins, James Howison, and Kevin Crowston

PDF

Adaptive Proactive Learning with Cost-Reliability Tradeoff, Liu Yang and Jaime G. Carbonell

PDF

Cost Complexity of Proactive Learning via a Reduction to Realizable Active Learning, Liu Yang and Jaime G. Carbonell

Submissions from 2008

Link

Document Representation and Query Expansion Models for Blog Recommendation, Jaime Arguello, Jonathan L. Elsas, Jamie Callan, and Jaime G. Carbonell

PDF

A User Study of Policy Creation in a Flexible Access-Control System, Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, and Kami Vaniea

PDF

Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems, Jennifer Black and Philip Koopman

Link

Traffic Based Clustering in Wireless Sensor Network, Vijay Kr. Chaurasiya, S. Rahul Kumar, Shekhar Verma, and Gora Nandi

PDF

A Framework for Reasoning About the Human in the Loop, Lorrie F. Cranor

PDF

P3P Deployment on Websites, Lorrie F. Cranor, Serge Egelman, Steve Sheng, Aleecia M. McDonald, and Abdur Chowdhury

Link

Optimizing Estimated Loss Reduction for Active Sampling in Rank Learning, Pinar Donmez and Jaime G. Carbonell

Link

Paired Sampling in Density-Sensitive Active Learning, Pinar Donmez and Jaime G. Carbonell

PDF

You’ve Been Warned: An Empirical Study of the Effectiveness of Web Browser Phishing Warnings, Serge Egelman, Lorrie Faith Cranor, and Jason Hong