Departmental Papers (CIS)
Papers from 2013
Assessing the Overall Sufficiency of Safety Arguments, Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee
Papers from 2012
Reliable Client Accounting for Hybrid Content-Distribution Networks, Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce Maggs, and Bill Wishon
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
Streaming Tree Transducers, Rajeev Alur and Loris D'Antoni
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems, Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan
Protocol Design with Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa
Regular Transformations of Infinite Strings, Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi
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
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Anaheed Ayoub, Baekgyu Kim, Insup Lee, and Oleg Sokolsky
Step-Indexed Normalization for a Language with General Recursion, Chris Cainghino, Vilhelm Sjoberg, and Stephanie Weirich
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
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
Learning and Predicting Dynamic Behavior with Graphical Multiagent Models, Quang Duong, Michael P. Wellman, Satinder Singh, and Michael J. Kearns
Spectral dimensionality reduction for HMMs, Dean P. Foster, Jordan Rodu, and Lyle Ungar
Competitive Contagion in Networks, Sanjeev Goyal and Michael J. Kearns
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
Edit Lenses, Martin Hoffmann, Benjamin C. Pierce, and Daniel Wagner
Querying Provenance for Ranking and Recommending, Zachary G. Ives, Andreas Haeberlen, Tao Feng, and Wolfgang Gatterbauer
Towards A Secure and Verifiable Future Internet, Limin Jia, Chen Chen, Sangeetha A. Jyothi, Wenchao Zhou, Suyog Mapara, and Boon Thau Loo
Behavioral Experiments on a Network Formation Game, Michael J. Kearns, Stephen Judd, and Yevgeniy Vorobeychik
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
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
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
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
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
Take it or Leave it: Running a Survey when Privacy Comes at a Cost, Katrina Ligett and Aaron Roth
Declarative Constraint Optimization in Distributed Systems, Changbin Liu and Boon Thau Loo
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
Cologne: A Declarative Distributed Constraint Optimization Platform, Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu
Implementing Network Protocols as Distributed Logic Programs, Boon Thau Loo
Recent Advances in Declarative Networking, Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhuo
Declarative Networking, Boon Thau Loo and Wenchao Zhuo
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
MOSAIC: Declarative Platform for Dynamic Overlay Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith
Why On-Chip Cache Coherence is Here to Stay, Milo Martin, Mark D. Hill, and Daniel J. Sorin
Multicore Acceleration for Priority Based Schedulers for Concurrency Bug Detection, Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, and Madan Musuvathi
Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling, Anna Philippou, Insup Lee, and Oleg Sokolsky
Computational Sprinting, Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, and Milo Martin
Clinical Decision Support for Integrated Cyber-Physical Systems: A Mixed Methods Approach, Alex Roederer, Andrew R. Hicks, Enny Oyeniran, Insup Lee, and Soojin Park
Conducting Truthful Surveys, Cheaply, Aaron Roth and Grant Schoenebeck
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
Introduction to the Special Issue on Runtime Verification, Oleg Sokolsky and Grigore Roşu
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
Security and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications, Eugene Vasserman, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
Security and Interoperable Medical Device Systems: Part 1, Krishna K. Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee
Breif Announcement: A Calculus of Policy-Based Routing Systems, Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo, and Andre Scedrov
Giving Haskell a Promotion, Stephanie Weirich, Brent A. Yorgey, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, and Jose P. Magalhaes
Trust in Collaborative Web Applications, Andrew G. West, Jian Chang, Krishna Venkatasubramanian, and Insup Lee
Spamming for Science: Active Measurement in Web 2.0 Abuse Research, Andrew G. West, Pedram Hayati, Vidyasagar Potdar, and Insup Lee
Towards Content-driven Reputation for Collaborative Code Repositories, Andrew G. West and Insup Lee
Formalizing the LLVM Intermediate Representation for Verified Program Transformations, Jianzhou Zhao, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic
Formalizing the LLVM Intermediate Representation for Verified Program Transformations, Jianzhou Zhao, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic
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
Nondeterministic Streaming String Transducers, Rajeev Alur and Jyotirmoy Deshmukh
Graphical Models for Bandit Problems, Kareem Amin, Michael J. Kearns, and Umar Syed
Putting Lipstick on Pig: Enabling Database-Style Workflow Provenance, Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Julia Stoyanovich, and Val Tannen
On Provenance Minimization, Yael Amsterdamer, Daniel Deutch, Tova Milo, and Val Tannen
On the Limitations of Provenance for Queries With Difference, Yael Amsterdamer, Daniel Deutch, and Val Tannen
Provenance for Aggregate Queries, Yael Amsterdamer, Daniel Deutch, and Val Tannen
Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
Challenges in Experimenting with Botnet Detection Systems, Adam J. Aviv and Andreas Haeberlen
Generative-Discriminitive Basis Learning for Medical Imaging, Nematollah K. Batmanghelich, Ben Taskar, and Christos Davatzikos
Optimal Lower Bounds for Universal and Differentially Private Steiner Trees and TSPs, Anand Bhalgat, Deeparnab Chakrabarty, and Sanjeev Khanna
Social Welfare in One-Sided Matching Markets Without Money, Anand Bhalgat, Deeparnab Chakrabarty, and Sanjeev Khanna
Improved Approximation Results for Stochastic Knapsack Problems, Anand Bhalgat, Ashish Goel, and Sanjeev Khanna
A Clustering Coefficient Network Formation Game, Michael Brautbar and Michael J. Kearns
Approximability of Capacitated Network Design, Deeparnab Chakraborty, Chandra Chekuri, Sanjeev Khanna, and Nitish Korula
Market Making and Mean Reversion, Tanmoy Chakraborty and Michael J. Kearns
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
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
Learning from Partial Labels, Timothee Cour, Benjamin Sapp, and Ben Taskar
Hiding Data and Structure in Workflow Provenance, Susan B. Davidson, Zhuowei Bao, and Sudeepa Roy
Provenance Views for Module Privacy, Susan B. Davidson, Sanjeev Khanna, Tova Milo, Debmalya Panigrahi, and Sudeepa Roy
On Provenance and Privacy, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, and Yi Chen
Enabling Privacy in Provenance-Aware Workflow Systems, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen, and Tova Milo
Keyword Search in Workflow Repositories with Access Control, Susan B. Davidson, Soohyun Lee, and Julia Stoyanovich
Preliminary Design of the SAFE Platform, André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoit Montagu, Robin Morrisett, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Johnathan Smith, and Gregory Sullivan
Multi-View Learning of Word Embeddings via CCA, Paramveer S. Dhillon, Dean Foster, and Lyle Ungar
On Some Quadratic Optimization Problems Arising in Computer Vision, Jean H. Gallier
Parametric Pseudo-Manifolds, Jean H. Gallier, Dianna Xu, and Marcelo Siqueira
Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee
Selling Privacy at Auction, Aripta Ghosh and Aaron Roth
Multi-hypothesis Motion Planning for Visual Object Tracking, Haefong Gong, Jack Sim, Maxim Likhachev, and Jianbo Shi
Controlling Complexity in Part-of-Speech Induction, João V. Graça, Kuzman Ganchev, Luísa Coheur, Fernando Pereira, and Ben Taskar
Ronciling Differences, Todd J. Green, Zachary G. Ives, and Val Tannen
Having Your Cake and Eating It Too: Routing Security with Privacy Protections, Alexander JT Gurney, Andreas Haeberlen, Wenchao Zhuo, Micah Sherr, and Boon Thau Loo
Partial Specification of Routing Configurations, Alexander JT Gurney, Limin Jia, Anduo Wang, and Boon Thau Loo
Fighting Cybercrime with Packet Attestation, Andreas Haeberlen, Pedro Fonseca, Rodrigo Rodrigues, and Peter Druschel
Differential Privacy Under Fire, Andreas Haeberlen, Benjamin C. Pierce, and Arjun Narayan
Datalog and Emerging Applications: An Interactive Turtorial, Shan Shan Huang, Todd J. Green, and Boon Thau Loo
Algorithms for the Generalized Sorting Problem, Zhiyi Huang, Sampath Kannan, and Sanjeev Khanna
Sharing Work in Keyword Search Over Databases, Marie Jacobs and Zachary G. Ives
Compression Without a Common Prior: An Information-Theoretic Justification for Ambiguity in Language, Brendan Juba, Adam T. Kalai, Sanjeev Khanna, and Madhu Sudan
Behavioral Conflict and Fairness in Social Networks, Stephen Judd, Michael J. Kearns, and Yevgeniy Vorobeychik