Departmental Papers (CIS)
Papers from 2012
Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem, KookJin Ahn and Sudipto Guha
Analyzing Graph Structure via Linear Measurements, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor
Graph Sketches: Sparsification, Spanners, and Subgraphs, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor
The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity, Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew King, Oleg Sokolsky, Insup Lee, Shan Lin, and Margaret Mullen-Fortino
A Safety Case Pattern for Model-Based Development Approach, Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky
Challenges and Research Directions in Medical Cyber-Physical Systems, Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian
Realizing Compositional Scheduling through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling, Anna Philippou, Insup Lee, and Oleg Sokolsky
Smart Alarms: Multivariate Medical Alarm Integration for Post CABG Surgery Patients, Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew King, and Insup Lee
Spamming for Science: Active Measurement in Web 2.0 Abuse Research, Andrew G. West, Pedram Hayati, Vidyasagar Potdar, and Insup Lee
Papers from 2011
Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features, B. Thomas Adler, Luca de Alfaro, Santiago M. Mola-Velasco, Paolo Rosso, and Andrew G. West
Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
ToMaTo: A Trustworthy Code Mashup Development Tool, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky
Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee
Safety-Assured Development of the GPCA Infusion Pump Software, BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley
Lessons Learned from a PLTL-CS Program, Christian Murphy, Rita Powell, Kristen Parton, and Adam Cannon
On Effective Testing of Health Care Simulation Software, Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil
Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems, Linh T.X. Phan and Insup Lee
Compositional Analysis of Real-Time Embedded Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
A Semantic Framework for Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
Information Status Distinctions and Referring Expressions: An Empirical Study of References to People in News Summaries, Advaith Siddharthan, Ani Nenkova, and Kathleen McKeown
Challenges in the Regulatory Approval of Medical Cyber-Physical Systems, Oleg Sokolsky, Insup Lee, and Mats Heimdahl
Reputation-based Networked Control with Data-Corrupting Channels, Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, and George Pappas
Autonomous Link Spam Detection in Purely Collaborative Environments, Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, and Insup Lee
Link Spamming Wikipedia for Profit, Andrew G. West, Jian Chang, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence, Andrew G. West and Insup Lee
Towards the Effective Temporal Association Mining of Spam Blacklists, Andrew G. West and Insup Lee
What Wikipedia Deletes: Characterizing Dangerous Collaborative Content, Andrew G. West and Insup Lee
Papers from 2010
Generating Reliable Code from Hybrid-Systems Models, Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee
Model-based Programming of Modular Robots, David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim
Toward Patient Safety in Closed-Loop Medical Device Systems, David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky
Permission to Speak: A Logic for Access Control and Conformance, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky
Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram, Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee
Assurance Cases in Model-Driven Development of the Pacemaker Software, Eunkyoung Jee, Insup Lee, and Oleg Sokolsky
A Safety-Assured Development Approach for Real-Time Software, Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee
Behavioral Dynamics and Influence in Networked Coloring and Consensus, Stephen Judd, Michael J. Kearns, and Yevgeniy Vorobeychik
Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework, Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Procter
GSA: A Framework for Rapid Prototyping of Smart Alarm Systems, Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, C. William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, and Insup Lee
Medical Cyber Physical Systems, Insup Lee and Oleg Sokolsky
Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Maintaining Recursive Views of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
CARTS: A Tool for Compositional Analysis of Real-Time Systems, Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, and Oleg Sokolsky
Modeling Buffers with Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee
A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi
Spam Mitigation using Spatio-Temporal Reputations from Blacklist History, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee
Spatio-Temporal Analysis of Wikipedia Metadata and the STiki Anti-Vandalism Tool, Andrew G. West, Sampath Kannan, and Insup Lee
STiki: An Anti-Vandalism Tool for Wikipedia using Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee
Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Insup Lee, and Sampath Kannan
Robust Speaking Rate Estimation Using Broad Phonetic Class Recognition, Jiahong Yuan and Mark Liberman
On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform, Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee
Papers from 2009
Graph Sparsification in the Semi-Streaming Model, KookJin Ahn and Sudipto Guha
Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee
Network Infrastructure Configuration, P Anderson, C A. Gunter, C R. Kalmenek, S Narain, Jonathan M. Smith, R Talpade, G G. Xie, and M Steenstrup
Plug-and-Play for Medical Devices: Experiences from a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth
Synchronizing an X-ray and Anesthesia Machine Ventilator: A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead, and Insup Lee
Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, and Wenke Lee
Edge-Disjoint Paths in Planar Graphs with Constant Congestion, Chandra Chekuri, Sanjeev Khanna, and F. Bruce Shepherd
Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones
A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal
Prediction of HIV-1 virus-host protein interactions using virus and host sequence motifs, Perry Evans, William Dampier, Lyle Ungar, and Aydin Tozerin
Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee
Updatable Security Views, John Nathan Foster, Benjamin C. Pierce, and Stephan A. Zdancewic
Tight results for clustering and summarizing data streams, Sudipto Guha
Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams, Sudipto Guha and Zhiyi Huang
Stream Order and Order Statistics: Quantile Estimation in Random-Order Streams, Sudipto Guha and Andrew Mcgregor
A Constant Factor Approximation for the Single Sink Edge Installation Problem, Sudipto Guha, Adam Meyerson, and Kamesh Munagala
iCFP: Tolerating all-level cache misses in in-order processors, Andrew D. Hilton, Santosh Nagarakatte, and Amir Roth
Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee
Recursive Computation of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee
Scalable Link-Based Relay Selection for Anonymous Routing, Micah Sherr, Matthew Blaze, and Boon Thau Loo
RF-mobility gain: Concept, measurement campaign, and exploitation, Jonathan M. Smith, Marc Olivieri, Alex Lackpour, and Nicholas Hinnerschitz
Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke
QuanTM: A Quantitative Trust Management System, Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matthew A. Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, and Oleg Sokolsky
An Evaluation Framework for Reputation Management Systems, Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Unified Declarative Platform for Secure Networked Information Systems, Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martin Abadi
Papers from 2008
First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin
Compositional Feasibility Analysis for Conditional Real-Time Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee
Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee
Engineering Formal Metatheory, Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich
Face Modeling and Editing with Statistical Local Feature Control Models, Norman I. Badler and Yu Zhang
Risking Communications Security: Potential Hazards of the Protect America Act, Steven M. Bellovin, Matthew A. Blaze, Whitefield Diffee, Susan Landau, Peter G. Neumann, and Jennifer Rexford
Virtual Training via Vibrotactile Arrays, Aaron Bloomfield and Norman I. Badler
Robust and Scalable Transmission of Arbitrary 3D Models over Wireless Networks, Irene Wan Cheng, Lihang Ying, Kostas Daniilidis, and Anup Basu
Learning from Multiple Sources, Koby Crammer, Michael Kearns, and Jennifer Wortman
AspectML: A Polymorphic Aspect-Oriented Functional Programming Language, Daniel Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich
Efficient Feature Selection in the Presence of Multiple Feature Classes, Paramveer Singh Dhillon, Dean P. Foster, and Lyle H. Ungar
Checking Traces for Regulatory Conformance, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky
Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, and Oleg Sokolsky
Graph Distances in the Data-Stream Model, Joan Feigenbaum, Sampth Kannan, Andrew Mcgregor, Siddarth Suri, and Jian Zhang
Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, Sebastian Fischmeister, Insup Lee, and Robert Trausmuth
Quotient Lenses, J. Nathan Foster, Alexandre Pilkiewicz, and Benjamin C. Pierce
Approximation Algorithms for Wavelet Transform Coding of Data Streams, Sudipto Guha and Boulos Harb
Reranking candidate gene models with cross-species comparison for improved gene prediction, Qian Liu, Koby Crammer, Fernando CN Pereira, and David S. Roos
Sense Annotation in the Penn Discourse Treebank, Eleni Miltsakaki, Livio Robaldo, Alan Lee, and Aravind K. Joshi
Improving the Persistence of First-Year Undergraduate Women in Computer Science, Rita M. Powell