Departmental Papers (CIS)

 

Follow

Papers from 2014

PDF

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal, Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee

PDF

Attack-Resilient Sensor Fusion, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Resilient Multidimensional Sensor Fusion Using Measurement History, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

A Layered Approach for Testing Timing in the Model-Based Implementation, BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee

PDF

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems With OpenFlow, Andrew L. King, Sanjian Chen, and Insup Lee

PDF

Linking Abstract Analysis to Concrete Design: A Hierarchical Approach to Verify Medical CPS Safety, Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, and Insup Lee

PDF

Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas

PDF

Functional Alarms for Systems of Interoperable Medical Devices, Krishna Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee

Papers from 2013

PDF

Regular Functions and Cost Register Automata, Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan

PDF

Assessing the Overall Sufficiency of Safety Arguments, Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee

PDF

AS-CRED: Reputation and Alert Service for Inter-domain Routing, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky

PDF

Platform-Dependent Code Generation for Embedded Real-Time Software, BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky, and Insup Lee

PDF

A Modal Specification Approach for On-Demand Medical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Assuring the Safety of On-Demand Medical Cyber-Physical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation, Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, and Insup Lee

PDF

A Trust Model for Vehicular Network-Based Incident Reports, Cong Liao, Jian Chang, Insup Lee, and Krishna K. Venkatasubramanian

PDF

Model-based development of the Generic PCA infusion pump user interface prototype in PVS, Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, and Harold Thimbleby

PDF

Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract, Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee

PDF

Safety-critical Medical Device Development using the UPP2SF Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Co-design of Control and Platform with Dropped Signals, Damoon Soudbakhsh, Linh T.X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy

PDF

Contract-based Blame Assignment by Trace Analysis, Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, and Insup Lee

PDF

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control, James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee

PDF

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms, Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, and Christopher Gill

Papers from 2012

PDF

Reliable Client Accounting for Hybrid Content-Distribution Networks, Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce Maggs, and Bill Wishon

PDF

Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem, KookJin Ahn and Sudipto Guha

PDF

Analyzing Graph Structure via Linear Measurements, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor

PDF

Graph Sketches: Sparsification, Spanners, and Subgraphs, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor

PDF

Streaming Tree Transducers, Rajeev Alur and Loris D'Antoni

PDF

Protocol Design With Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa

PDF

Regular Transformations of Infinite Strings, Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi

PDF

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

PDF

A Safety Case Pattern for Model-Based Development Approach, Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky

PDF

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Anaheed Ayoub, Baekgyu Kim, Insup Lee, and Oleg Sokolsky

PDF

Step-Indexed Normalization for a Language with General Recursion, Chris Cainghino, Vilhelm Sjoberg, and Stephanie Weirich

PDF

HMM-Based Characterization of Channel Behavior for Networked Control Systems, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee

PDF

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines, Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Learning and Predicting Dynamic Behavior with Graphical Multiagent Models, Quang Duong, Michael P. Wellman, Satinder Singh, and Michael J. Kearns

PDF

Spectral dimensionality reduction for HMMs, Dean P. Foster, Jordan Rodu, and Lyle Ungar

PDF

Competitive Contagion in Networks, Sanjeev Goyal and Michael J. Kearns

PDF

Contracts Made Manifest, Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich

PDF

Rationale and Architecture Principles for Medical Application Platforms, John Hatcliff, Andrew King, Insup Lee, Alasdair MacDonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger, and Julian M. Goldman

PDF

Edit Lenses, Martin Hoffmann, Benjamin C. Pierce, and Daniel Wagner

PDF

Querying Provenance for Ranking and Recommending, Zachary G. Ives, Andreas Haeberlen, Tao Feng, and Wolfgang Gatterbauer

PDF

Towards A Secure and Verifiable Future Internet, Limin Jia, Chen Chen, Sangeetha A. Jyothi, Wenchao Zhou, Suyog Mapara, and Boon Thau Loo

PDF

Behavioral Experiments on a Network Formation Game, Michael J. Kearns, Stephen Judd, and Yevgeniy Vorobeychik

PDF

A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling, BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics, Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjoberg, Nathan Collins, and Ki Yung Ahn

PDF

Evaluation of a Smart Alarm for Intensive Care using Clinical Data, Andrew King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, and Insup Lee

PDF

Colonel Blotto on Facebook: The Effect of Social Relations on Strategic Interaction, Pushmeet Kohli, Yoram Bachrach, David Stillwell, Michael J. Kearns, Ralf Herbrich, and Thore Graepel

PDF

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

PDF

Realizing Compositional Scheduling through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky

PDF

Take it or Leave it: Running a Survey when Privacy Comes at a Cost, Katrina Ligett and Aaron Roth

PDF

Declarative Constraint Optimization in Distributed Systems, Changbin Liu and Boon Thau Loo

PDF

TROPIC: Transactional Resource Orchestration Platform In The Cloud, Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernández, Boon Thau Loo, and Jacobus E. Van der Merwe

PDF

Cologne: A Declarative Distributed Constraint Optimization Platform, Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu

PDF

Implementing Network Protocols as Distributed Logic Programs, Boon Thau Loo

PDF

Recent Advances in Declarative Networking, Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhuo

PDF

Declarative Networking, Boon Thau Loo and Wenchao Zhuo

PDF

An Axiomatic Memory Model for POWER Multiprocessors, Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo Martin, Peter Sewell, and Derek Williams

PDF

MOSAIC: Declarative Platform for Dynamic Overlay Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith

PDF

Why On-Chip Cache Coherence is Here to Stay, Milo Martin, Mark D. Hill, and Daniel J. Sorin

PDF

Multicore Acceleration for Priority Based Schedulers for Concurrency Bug Detection, Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, and Madan Musuvathi

PDF

Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic

PDF

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling, Anna Philippou, Insup Lee, and Oleg Sokolsky

PDF

Computational Sprinting, Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, and Milo Martin

PDF

Clinical Decision Support for Integrated Cyber-Physical Systems: A Mixed Methods Approach, Alex Roederer, Andrew R. Hicks, Enny Oyeniran, Insup Lee, and Soojin Park

PDF

Conducting Truthful Surveys, Cheaply, Aaron Roth and Grant Schoenebeck

PDF

Irrelevance, Heterogeneous Equity, and Call-by-value Dependent Type Systems, Vilhelm Sjoberg, Chris Casinghino, Nathan Collins, Ki Yung Ahn, Tim Sheard, Harley D. Eades III, Peng Fu, Garrin Kimmell, Aaron Stump, and Stephanie Weirich

PDF

Introduction to the Special Issue on Runtime Verification, Oleg Sokolsky and Grigore Roşu

PDF

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

PDF

Security and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications, Eugene Vasserman, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

PDF

Security and Interoperable Medical Device Systems: Part 1, Krishna K. Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee

PDF

Breif Announcement: A Calculus of Policy-Based Routing Systems, Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo, and Andre Scedrov

PDF

Giving Haskell a Promotion, Stephanie Weirich, Brent A. Yorgey, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, and Jose P. Magalhaes

PDF

Trust in Collaborative Web Applications, Andrew G. West, Jian Chang, Krishna Venkatasubramanian, and Insup Lee

PDF

Spamming for Science: Active Measurement in Web 2.0 Abuse Research, Andrew G. West, Pedram Hayati, Vidyasagar Potdar, and Insup Lee

PDF

Towards Content-driven Reputation for Collaborative Code Repositories, Andrew G. West and Insup Lee

PDF

Monoids: Theme and Variations (Functional Pearl), Brent A. Yorgey

PDF

Formalizing the LLVM Intermediate Representation for Verified Program Transformations, Jianzhou Zhao, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic

PDF

Formalizing the LLVM Intermediate Representation for Verified Program Transformations, Jianzhou Zhao, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic

Papers from 2011

PDF

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

PDF

Nondeterministic Streaming String Transducers, Rajeev Alur and Jyotirmoy Deshmukh

PDF

Graphical Models for Bandit Problems, Kareem Amin, Michael J. Kearns, and Umar Syed

PDF

Putting Lipstick on Pig: Enabling Database-Style Workflow Provenance, Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Julia Stoyanovich, and Val Tannen

PDF

On Provenance Minimization, Yael Amsterdamer, Daniel Deutch, Tova Milo, and Val Tannen

PDF

On the Limitations of Provenance for Queries With Difference, Yael Amsterdamer, Daniel Deutch, and Val Tannen

PDF

Provenance for Aggregate Queries, Yael Amsterdamer, Daniel Deutch, and Val Tannen

PDF

Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

PDF

Challenges in Experimenting with Botnet Detection Systems, Adam J. Aviv and Andreas Haeberlen

PDF

Generative-Discriminitive Basis Learning for Medical Imaging, Nematollah K. Batmanghelich, Ben Taskar, and Christos Davatzikos

PDF

Optimal Lower Bounds for Universal and Differentially Private Steiner Trees and TSPs, Anand Bhalgat, Deeparnab Chakrabarty, and Sanjeev Khanna

PDF

Social Welfare in One-Sided Matching Markets Without Money, Anand Bhalgat, Deeparnab Chakrabarty, and Sanjeev Khanna

PDF

Improved Approximation Results for Stochastic Knapsack Problems, Anand Bhalgat, Ashish Goel, and Sanjeev Khanna

PDF

A Clustering Coefficient Network Formation Game, Michael Brautbar and Michael J. Kearns

PDF

Approximability of Capacitated Network Design, Deeparnab Chakraborty, Chandra Chekuri, Sanjeev Khanna, and Nitish Korula

PDF

Market Making and Mean Reversion, Tanmoy Chakraborty and Michael J. Kearns

PDF

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP, Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, and Insup Lee

PDF

ToMaTo: A Trustworthy Code Mashup Development Tool, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee

PDF

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky

PDF

Learning from Partial Labels, Timothee Cour, Benjamin Sapp, and Ben Taskar