Departmental Papers (CIS)

 

Follow

Papers from 2010

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

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

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

PDF

Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams, Sudipto Guha and Zhiyi Huang

PDF

Stream Order and Order Statistics: Quantile Estimation in Random-Order Streams, Sudipto Guha and Andrew Mcgregor

PDF

A Constant Factor Approximation for the Single Sink Edge Installation Problem, Sudipto Guha, Adam Meyerson, and Kamesh Munagala

PDF

iCFP: Tolerating all-level cache misses in in-order processors, Andrew D. Hilton, Santosh Nagarakatte, and Amir Roth

PDF

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models, Aditya Kanade, Rajeev Alur, Franjo Ivanċić, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar

PDF

Recreating Early Islamic Glass Lamp Lighting, Joseph T. Kider Jr., Rebecca Fletcher, Nancy Yu, Renata Holod, Alan Chalmers, and Norman I. Badler

PDF

Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Arrows for Secure Information Flow, Peng Li and Stephan A. Zdancewic

PDF

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

PDF

Automatically Evaluating Content Selection in Summarization Without Human Models, Annie Louis and Ani Nenkova

PDF

Performance Confidence Estimation for Automatic Summarization, Annie Louis and Ani Nenkova

PDF

Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic

PDF

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee

PDF

Automatic Sense Prediction for Implicit Discourse Relations in Text, Emily Pitler, Annie Louis, and Ani Nenkova

PDF

Using Syntax to Disambiguate Explicit Discourse Connectives in Text, Emily Pitler and Ani Nenkova

PDF

Scalable Link-Based Relay Selection for Anonymous Routing, Micah Sherr, Matthew Blaze, and Boon Thau Loo

PDF

RF-mobility gain: Concept, measurement campaign, and exploitation, Jonathan M. Smith, Marc Olivieri, Alex Lackpour, and Nicholas Hinnerschitz

PDF

Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke

PDF

Formally Verifiable Networking, Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu

PDF

A Theorem Proving Approach towards Declarative Networking, Anduo Wang, Boon Thau Loo, Changbin Liu, Oleg Sokolsky, and Prithwish Basu

PDF

Robust Stability of Multi-Hop Networks, Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl H. Johansson, and George J. Pappas

PDF

Specification and Analysis of Network Resource Requirements of Control Systems, Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur

PDF

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

PDF

An Evaluation Framework for Reputation Management Systems, Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky

PDF

Unified Declarative Platform for Secure Networked Information Systems, Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martin Abadi

PDF

DMaC: Distributed Monitoring and Checking, Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee

Papers from 2008

PDF

First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin

PDF

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models, Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar

PDF

Ranking Automata and Games for Prioritized Requirements, Rajeev Alur, Aditya Kanade, and Gera Weiss

PDF

Regular Specifications of Resource Requirements for Embedded Control Software, Rajeev Alur and Gera Weiss

PDF

RTComposer: A Framework for Real-Time Components with Scheduling Interfaces, Rajeev Alur and Gera Weiss

PDF

Compositional Feasibility Analysis for Conditional Real-Time Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee

PDF

Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee

PDF

Engineering Formal Metatheory, Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich

PDF

Face Modeling and Editing with Statistical Local Feature Control Models, Norman I. Badler and Yu Zhang

PDF

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

PDF

Virtual Training via Vibrotactile Arrays, Aaron Bloomfield and Norman I. Badler

PDF

Robust and Scalable Transmission of Arbitrary 3D Models over Wireless Networks, Irene Wan Cheng, Lihang Ying, Kostas Daniilidis, and Anup Basu

PDF

Learning from Multiple Sources, Koby Crammer, Michael Kearns, and Jennifer Wortman

PDF

AspectML: A Polymorphic Aspect-Oriented Functional Programming Language, Daniel Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich