Departmental Papers (CIS)
Papers from 2011
A Data-Driven Appearance Model for Human Fatigue, Joseph T. Kider Jr., Kaitlin Pollock, and Alla Safonova
Fruit Senescence and Decay Simulation, Joseph T. Kider Jr., Samantha Raja, and Norman I. Badler
Safety-Assured Development of the GPCA Infusion Pump Software, BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley
Learning Determinantal Point Processes, Alex Kulesza and Ben Taskar
Declarative Policy-Based Adaptive Mobile Ad Hoc Networking, Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao
Declarative Automated Cloud Resource Orchestration, CHangbin Liu, Boon Thau Loo, and Yun Mao
Intelligent Camera Control Using Behavior Trees, Daniel Markowitz, Joseph T. Kider Jr., Alexander Shoulson, and Norman I. Badler
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
Automatic Summarization, Ani Nenkova and Kathleen McKeown
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
An Empirical Analysis of Scheduling Techniques for Real-Time Cloud-Based Data Processing, Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee
Faster query answering in probalistic databases using read-once functions, Sudeepa Roy, Vittorio Perduca, and Val Tannen
Information Status Distinctions and Referring Expressions: An Empirical Study of References to People in News Summaries, Advaith Siddharthan, Ani Nenkova, and Kathleen McKeown
Human Model Reaching, Grasping, Looking and Sitting Using Smart Objects, D. Slonneger, Matthew Croop, J. Cytryn, Joseph T. Kider Jr., R. Rabbitz, E. Halpern, and Norman I. Badler
Challenges in the Regulatory Approval of Medical Cyber-Physical Systems, Oleg Sokolsky, Insup Lee, and Mats Heimdahl
CRAM It! A Comparison of Virtual, Live-Action and Written Training Systems for Preparing Personnel to Work in Hazardous Environments, Catherine Stocker, Benjamin Sunshine-Hill, John Drake, Ian Perera, Joseph T. Kider Jr., and Norman I. Badler
Deriving Probabilistic Databases with Inference Ensembles, Julia Stoyanovich, Susan B. Davidson, Tova Milo, and Val Tannen
Reputation-based Networked Control with Data-Corrupting Channels, Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, and George Pappas
Shape-based Object Detection via Boundary Structure, Alexander Toshev, Ben Taskar, and Kostas Daniilidis
Runtime Verification of Traces under Recording Uncertainty, Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, and Insup Lee
Generative Type Abstraction and Type-level Computation, Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephan A. Zdancewic
Binders Unbound, Stephanie Weirich, Brent A. Yorgey, and Tim Sheard
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
Discrimintive Image Warping with Attribute Flow, Weiyu Zhang, Praveen Srinivasan, and Jianbo Shi
Towards Self-Explaining Networks, Wenchao Zhou, Qiong Fei, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
Secure Network Provenance, Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
TAP: Time-Aware Provenance for Distributed Systems, Wenchao Zhuo, Ling Ding, Andreas Haeberlen, Zachary G. Ives, and Boon Thau Loo
Secure Network Provenance, Wenchao Zhuo, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
Secure Network Provenance, Wenchao Zhuo, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
NetTrails: A Declarative Platform for Maintaining and Querying Provenance in Distributed Systems, Wenchao Zhuo, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, and Micah Sherr
Papers from 2010
Simulating Human Activities for Synthetic Inputs to Sensor Systems, Jan Allbeck and Norman I. Badler
Temporal Reasoning for Procedural Programs, Rajeev Alur and Swarat Chaudhuri
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
Approximating Pure Nash Equilibrium in Cut, Party Affiliation, and Satisfying Games, Anand Bhalgat, Tanmoy Chakraborty, and Sanjeev Khanna
Class-Level Spectral Features for Emotion Recognition, Dmitri Bitouk, Ragini Verma, and Ani Nenkova
Local Algorithms for Finding Interesting Individuals in Large Networks, Michael Brautbar and Michael J. Kearns
Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts, Michael Brautbar, Michael J. Kearns, and Umar Syed
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing, Patrick Briest, Parinya Chalermsook, Sanjeev Khanna, Bundit Laekhanukit, and Danupon Nanongkai
Model Checking of Linearizability of Concurrent List Implementations, Pavol Cerný, Arjun Radhakrishnan, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur
A Behavioral Study of Bargaining in Social Networks, Tanmoy Chakraborty, Stephen Judd, Michael J. Kearns, and Jinsong Tan
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
Privacy Issues in Scientific Workflow Provenance, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, and Sarah Cohen Boulakia
Permission to Speak: A Logic for Access Control and Conformance, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky
Notes on RSA, Jean H. Gallier
Notes on the Schur Complement, Jean H. Gallier
Posterior Regularization for Structured Latent Varaible Models, Kuzman Ganchev, João Graça, Jennifer Gillenwater, and Ben Taskar
Censored Exploration and the Dark Pool Problem, Kuzman Ganchev, Michael J. Kearns, Yuriy Nevmyvaka, and Jennifer Wortman Vaughn
Sparsity in Dependency Grammar Induction, Jennifer Gillenwater, Kuzman Ganchev, Joao V. Graca, Fernando Pereira, and Ben Taskar
Perfect Matchings in O(n log n) Time in Regular Bipartite Graphs, Ashish Goel, Michael Kapralov, and Sanjeev Khanna
Contracts Made Manifest, Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich
Provenance in ORCHESTRA, Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen
Accountable Virtual Machines, Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel
Overcoming and Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically, Matthew Hicks, Murph Finnicum, Samuel T. King, Milo Martin, and Jonathan M. Smith
Symmetric Lenses, Martin Hoffmann, Benjamin C. Pierce, and Daniel Wagner
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
Dependent types and Program Equivalence, Limin Jia, Jianzhou Zhao, Vilhelm Sjoberg, and Stephanie Weirich
Behavioral Dynamics and Influence in Networked Coloring and Consensus, Stephen Judd, Michael J. Kearns, and Yevgeniy Vorobeychik
Representation Dependence Testing Using Program Inversion, Aditya Kanade, Rajeev Alur, Sriram Rajamani, and Ganesan Ramalingam
Querying Data Provenance, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen
Empirical Limitations on High Frequency Trading Profitability, Michael J. Kearns, Alex Kulesza, and Yuriy Nevmyvaka
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
Structured Determinantal Point Processes, Alex Kulesza and Ben Taskar
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
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
SmartCIS: Integrating Digital and Physical Environments, Mengmeng Liu, Svilen Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, and Sudipto Guha
Maintaining Recursive Views of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
Discourse Indicators for Content Selection in Summaization, Annie Louis, Aravind K. Joshi, and Ani Nenkova
Using Entity Features to Classify Implicit Discourse Relations, Annie Louis, Aravind K. Joshi, Rashmi Prasad, and Ani Nenkova
Creating Local Coherence: An Empirical Assessment, Annie Louis and Ani Nenkova
SecureBlox: Customizable Secure Distributed Data Processing, William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, and Molham Aref
Lolliproc: to Concurrency from Classical Linear Logic via Curry-Howard and Control, Karl Mazurak and Stephan A. Zdancewic
Lightweight linear types in System F°, Karl Mazurak, Jianzhou Zhao, and Stephan A. Zdancewic
Dynamic Join Optimization in Multi-Hop Wireless Sensor Networks, Svilen Mihaylov, Marie Jacob, Zachary G. Ives, and Sudipto Guha
CETS: Compiler Enforced Temporal Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic
CETS: Compiler-Enforced Temporal Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic
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
Ontologies for Distributed Command and Control Messaging, Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, and William C. Regli
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
Automatic Evaluation of Linguistic Quality in Multi-Document Summarization, Emily Pitler, Annie Louis, and Ani Nenkova
Token Tenure and PATCH: A Predictive/Adaptive Token-Counting Hybrid, Arun Raghavan, Colin Blundell, and Milo Martin
Differential Privacy for Collaborative Security, Jason Reed, Adam Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, and Jonathan M. Smith
Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy, Jason Reed and Benjamin C. Pierce
Cascaded Models for Articulated Pose Estimation, Benjamin Sapp, Alexander Toshev, and Ben Taskar