Departmental Papers (CIS)

 

Follow


Papers from 2010

PDF

Model-Based Programming of Modular Robots, David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim

PDF

Toward Patient Safety in Closed-Loop Medical Device Systems, David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky

PDF

Approximating Pure Nash Equilibrium in Cut, Party Affiliation, and Satisfying Games, Anand Bhalgat, Tanmoy Chakraborty, and Sanjeev Khanna

PDF

Class-Level Spectral Features for Emotion Recognition, Dmitri Bitouk, Ragini Verma, and Ani Nenkova

PDF

Local Algorithms for Finding Interesting Individuals in Large Networks, Michael Brautbar and Michael J. Kearns

PDF

Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts, Michael Brautbar, Michael J. Kearns, and Umar Syed

PDF

Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing, Patrick Briest, Parinya Chalermsook, Sanjeev Khanna, Bundit Laekhanukit, and Danupon Nanongkai

PDF

Model Checking of Linearizability of Concurrent List Implementations, Pavol Cerný, Arjun Radhakrishnan, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur

PDF

A Behavioral Study of Bargaining in Social Networks, Tanmoy Chakraborty, Stephen Judd, Michael J. Kearns, and Jinsong Tan

PDF

A Bi-Labeling Based XPath Processing System, Yi Chen, Susan B. Davidson, and Yifei Zheng

Talking Pictures: Temporal Grouping and Dialog-Supervised Person Recognition, Timothee Cour, Benjamin Sapp, Akash Nagle, and Ben Taskar

PDF

Privacy Issues in Scientific Workflow Provenance, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, and Sarah Cohen Boulakia

PDF

Permission to Speak: A Logic for Access Control and Conformance, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky

PDF

Notes on RSA, Jean H. Gallier

PDF

Notes on the Schur Complement, Jean H. Gallier

PDF

Posterior Regularization for Structured Latent Varaible Models, Kuzman Ganchev, João Graça, Jennifer Gillenwater, and Ben Taskar

PDF

Censored Exploration and the Dark Pool Problem, Kuzman Ganchev, Michael J. Kearns, Yuriy Nevmyvaka, and Jennifer Wortman Vaughn

PDF

Sparsity in Dependency Grammar Induction, Jennifer Gillenwater, Kuzman Ganchev, Joao V. Graca, Fernando Pereira, and Ben Taskar

PDF

Perfect Matchings in O(n log n) Time in Regular Bipartite Graphs, Ashish Goel, Michael Kapralov, and Sanjeev Khanna

PDF

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

PDF

Provenance in ORCHESTRA, Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen

PDF

Accountable Virtual Machines, Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel

PDF

Overcoming and Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically, Matthew Hicks, Murph Finnicum, Samuel T. King, Milo Martin, and Jonathan M. Smith

PDF

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

PDF

Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram, Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee

PDF

Assurance Cases in Model-Driven Development of the Pacemaker Software, Eunkyoung Jee, Insup Lee, and Oleg Sokolsky

PDF

A Safety-Assured Development Approach for Real-Time Software, Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee

PDF

Dependent types and Program Equivalence, Limin Jia, Jianzhou Zhao, Vilhelm Sjoberg, and Stephanie Weirich

PDF

Behavioral Dynamics and Influence in Networked Coloring and Consensus, Stephen Judd, Michael J. Kearns, and Yevgeniy Vorobeychik

PDF

Representation Dependence Testing Using Program Inversion, Aditya Kanade, Rajeev Alur, Sriram Rajamani, and Ganesan Ramalingam

PDF

Querying Data Provenance, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen

PDF

Empirical Limitations on High Frequency Trading Profitability, Michael J. Kearns, Alex Kulesza, and Yuriy Nevmyvaka

PDF

Prototyping Closed Loop Physiologic Control With the Medical Device Coordination Framework, Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Procter

PDF

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

PDF

Structured Determinantal Point Processes, Alex Kulesza and Ben Taskar

PDF

Medical Cyber Physical Systems, Insup Lee and Oleg Sokolsky

PDF

Improving Resource Utilization for Compositional Scheduling Using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee

PDF

A Policy-Based Constraint-Solving Platform Towards Extensible Wireless Channel Selection and Routing, Changbin Liu, Xiaozhou Li, Shiv Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, and Prithwish Basu

PDF

SmartCIS: Integrating Digital and Physical Environments, Mengmeng Liu, Svilen Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, and Sudipto Guha

PDF

Maintaining Recursive Views of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo

PDF

Discourse Indicators for Content Selection in Summaization, Annie Louis, Aravind K. Joshi, and Ani Nenkova

PDF

Using Entity Features to Classify Implicit Discourse Relations, Annie Louis, Aravind K. Joshi, Rashmi Prasad, and Ani Nenkova

PDF

Creating Local Coherence: An Empirical Assessment, Annie Louis and Ani Nenkova

PDF

SecureBlox: Customizable Secure Distributed Data Processing, William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, and Molham Aref

PDF

Lolliproc: to Concurrency from Classical Linear Logic via Curry-Howard and Control, Karl Mazurak and Stephan A. Zdancewic

PDF

Lightweight linear types in System F°, Karl Mazurak, Jianzhou Zhao, and Stephan A. Zdancewic

PDF

Dynamic Join Optimization in Multi-Hop Wireless Sensor Networks, Svilen Mihaylov, Marie Jacob, Zachary G. Ives, and Sudipto Guha

PDF

CETS: Compiler Enforced Temporal Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic

PDF

CETS: Compiler-Enforced Temporal Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic

PDF

Structural Features for Predicting the Linguistic Quality of Text: Applications to Machine Translation, Automatic Summarization and Human-Authored Text, Ani Nenkova, Jieun Chae, Annie Louis, and Emily Pitler

PDF

Ontologies for Distributed Command and Control Messaging, Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, and William C. Regli

PDF

Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

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

PDF

Modeling Buffers With Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee

PDF

A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi

PDF

Automatic Evaluation of Linguistic Quality in Multi-Document Summarization, Emily Pitler, Annie Louis, and Ani Nenkova

PDF

Token Tenure and PATCH: A Predictive/Adaptive Token-Counting Hybrid, Arun Raghavan, Colin Blundell, and Milo Martin

PDF

Differential Privacy for Collaborative Security, Jason Reed, Adam Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, and Jonathan M. Smith

PDF

Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy, Jason Reed and Benjamin C. Pierce

PDF

Cascaded Models for Articulated Pose Estimation, Benjamin Sapp, Alexander Toshev, and Ben Taskar

PDF

Language-Based Verification Will Change The World, Tim Sheard, Aaron Stump, and Stephanie Weirich

PDF

A³: An Extensible Platform for Application-Aware Anonymity, Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, and Matthew A. Blaze

PDF

Many-to-one Contour Matching for Describing and Discriminating Object Shape, Praveen Srinivasan, Qihui Zhu, and Jianbo Shi

PDF

Semi-Supervised Learning with Adversarially Missing Label Information, Umar Syed and Ben Taskar

PDF

Automatically Incorporating New Sources in Keyword Search-Based Data Integration, Partha Talukdar, Zachary G. Ives, and Fernando Pereira

PDF

Graph-Based Weakly-Supervised Methods for Information Extraction & Integration, Partha P. Talukdar

PDF

Adaptive Pose Priors for Pictorial Structures, Ben Taskar, Benjamin Sapp, and Chris Jordan

PDF

Reliable Storage and Querying for Collaborative Data Sharing Systems, Nicolas Taylor and Zachary G. Ives

PDF

Detecting and Parsing Architecture at City Scale from Range Data, Alexander Toshev, Philippos Mordohai, and Ben Taskar

PDF

Object Detection via Boundary Structure Segmentation, Alexander Toshev, Ben Taskar, and Kostas Daniilidis

PDF

Parametricity, Type Equality and Higher-order Polymorphism, Dimitrios Vytiniotis and Stephanie Weirich

PDF

Arity-Generic Datatype-Generic Programming, Stephanie Weirich and Chris Casinghino

PDF

Sidestepping Intractable Inference with Structured Ensemble Cascades, David Weiss, Benjamin Sapp, and Ben Taskar

PDF

Stuctured Predictions Cascades, David Weiss and Ben Taskar

PDF

Spam Mitigation Using Spatio-Temporal Reputations From Blacklist History, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee

PDF

Spatio-Temporal Analysis of Wikipedia Metadata and the STiki Anti-Vandalism Tool, Andrew G. West, Sampath Kannan, and Insup Lee

PDF

STiki: An Anti-Vandalism Tool for Wikipedia Using Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee

PDF

Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Insup Lee, and Sampath Kannan

PDF

Species and Functors and Types, Oh My!, Brent A. Yorgey

PDF

Robust Speaking Rate Estimation Using Broad Phonetic Class Recognition, Jiahong Yuan and Mark Liberman

PDF

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

PDF

Relational Parametricity for Polymorphic Linear Lambda Calculus, Jianzhou Zhao, Qi Zhang, and Stephan A. Zdancewic

Papers from 2009

PDF

Graph Sparsification in the Semi-Streaming Model, KookJin Ahn and Sudipto Guha

PDF

On Omega-Languages Defined by Mean-Payoff Conditions, Rajeev Alur, Aldric Degorre, Oded Maler, and Gera Weiss

PDF

Adding Nesting Structure to Words, Rajeev Alur and P. Madhusudan

PDF

Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Network Infrastructure Configuration, P Anderson, C A. Gunter, C R. Kalmenek, S Narain, Jonathan M. Smith, R Talpade, G G. Xie, and M Steenstrup

Link

Plug-and-Play for Medical Devices: Experiences From a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth

PDF

Improving Patient Safety With X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead, and Insup Lee

PDF

Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, and Wenke Lee

PDF

Reactive Noninterference, Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjoberg, Stephanie Weirich, and Stephan A. Zdancewic

PDF

Automated Analysis of Java Methods for Confidentiality, Pavol Cerný and Rajeev Alur

PDF

Predicting the Fluency of Text with Shallow Structural Features: Case Studies of Machine Tanslation and Human-Written Text, Jieun Chae and Ani Nenkova

PDF

Edge-Disjoint Paths in Planar Graphs with Constant Congestion, Chandra Chekuri, Sanjeev Khanna, and F. Bruce Shepherd

PDF

Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones

PDF

A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal

PDF

Prediction of HIV-1 virus-host protein interactions using virus and host sequence motifs, Perry Evans, William Dampier, Lyle Ungar, and Aydin Tozerin

PDF

Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee

PDF

Updatable Security Views, John Nathan Foster, Benjamin C. Pierce, and Stephan A. Zdancewic

PDF

Tight results for clustering and summarizing data streams, Sudipto Guha