Technical Reports (CIS)
Papers from 2012
Experiences in Teaching an Educational User-Level Operating Systems Implementation Project, Adam J. Aviv, Vin Mannino, Thanat Owlarn, Seth Shannin, Kevin Xu, and Boon Thau Loo
Reduction-based Formal Analysis of BGP Instances, Anduo Wang, Carolyn Talcott, Alexander JT Gurney, Boon Thau Loo, and Andre Scedrov
High-Level Model Extraction via Symbolic Execution, Shaohui Wang, Srinivasan Dwarakanathan, Oleg Sokolsky, and Insup Lee
Papers from 2011
Steganographic Timing Channels, Adam Aviv, Guarav Shah, and Matt Blaze
Labeling Recursive Workflow Executions On-the-Fly, Zhuowei Bao, Susan B. Davidson, and Tova Milo
Rethinking Mobile Telephony with the IMP, M. DeYoung, N. Henke, G. Wai, and Jonathan M. Smith
Conditional entropies as over-segmentation and under-segmentation metrics for multi-part image segmentation, Haifeng Gong and Jianbo Shi
Tracking by Planning, Haifeng Gong, Jiwoong Sim, Maxim Likhachev, and Jianbo Shi
Dual Periodic Resource Model, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Realizing Compositional Scheduling through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky
PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking, Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, and Prithwish Basu
Unsupervised Models of Text Structure, Annie Louis
General versus specific sentences: automatic identification and application to analysis of news summaries, Annie Louis and Ani Nenkova
Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?, Sela Mador-Haim, Rajeev Alur, and Milo Martin
On Effective Testing of Health Care Simulation Software, Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbraino, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil
Structure from Motion with Directional Correspondence for Visual Odometry, Oleg Naroditsky, Xun S. Zhou, Jean H. Gallier, Stergios I. Roumeliotis, and Kostas Daniilidis
Maintaining Distributed Recursive Views Incrementally, Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov
An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming, Taher Saeed, Harjot Gill, Qiong Fei, Zhuoyao Zhang, and Boon Thau Loo
FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing, Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, and Carolyn Talcott
Analyzing BGP Instances in Maude, Anduo Wang, Carolyn Talcott, Limin Jia, Boon Thau Loo, and Andre Scedrov
Papers from 2010
Lessons Learned from a PLTL-CS Program
Disinformation: A Taxonomy, James M. Alexander and Jonathan M. Smith
Moving Targets: Geographically Routed Human Movement Networks, Adam J. Aviv, Micah Sherr, Matt Blaze, and Jonathan M. Smith
LNgen: Tool Support for Locally Nameless Representations, Brian Aydemir and Stephanie Weirich
An Optimal Labeling Scheme for Workflow Provenance Using Skeleton Labels, Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, and Sudeepa Roy
AS-CRED: Reputation Service for Trustworthy Inter-domain Routing, Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky
AS-TRUST: A Trust Characterization Scheme for Autonomous Systems in BGP, Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, and Insup Lee
Security Weaknesses in the APCO Project 25 Two-Way Radio System, Sandy Clark, Perry Metzger, Zachary Wasserman, Kevin Xu, and Matthew A. Blaze
Notes on Theoretical Limitations and Practical Vulnerabilities of Internet Surveillance Capture, Eric C. Cronin and Matthew A. Blaze
Matching Lenses: Alignment and View Update, Barbosa M.J. Davi, Cretin Julien, Foster Nate, Greenberg Michael, and Benjamin C. Pierce
Preserving Module Privacy in Workflow Provenance, Susan B. Davidson, Sanjeev Khanna, Debmalya Panigrahi, and Sudeepa Roy
Inference Driven Metric Learning (IDML) for Graph Construction, Paramveer S. Dhillon, Partha Pratim Talukdar, and Koby Crammer
Bidirectional Programming Languages, John Nathan Foster
Posterior Sparsity in Unsupervised Dependency Parsing, Jennifer Gillenwater, Kuzman Ganchev, João Graça, Fernando Pereira, and Ben Taskar
Plug and Play Components for the Exploration of Memory Consistency Models, Sela Mador-Haim, Rajeev Alur, and Milo Martin
Generating Litmus Tests for Contrasting Memory Consistency Models - Extended Version, Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin
Maintaining Distributed Recursive Views Incrementally, Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov
An Operational Semantics for Network Datalog, Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, and Andre Scedrov
Cost-based Dynamic Job Rescheduling: A Case Study of the Intel Distributed Computing Platform, Linh T.X. Phan, Zhuoyao Zhang, Saumya Jain, Godfrey Tan, Boon Thau Loo, and Insup Lee
Real-time MapReduce Scheduling, Linh T.X. Phan, Zhuoyao Zhang, Boon Thau Loo, and Insup Lee
Methods for Sentence Compression, Emily Pitler
Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee
Termination Casts: A Flexible Approach to Termination with General Recursion (Technical Appendix), Aaron Stump, Vilhelm Sjoberg, and Stephanie Weirich
XenITH: Xen In The Hand, Kyle Super and Jonathan M. Smith
Formal Analysis of Network Protocols, Anduo Wang
Calculating and Presenting Trust in Collaborative Content, Andrew G. West
Mitigating Spam Using Spatio-Temporal Reputation, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee
Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee
Fault Management in Distributed Systems, Wenchao Zhou
Tracking Adversarial Behavior in Distributed Systems with Secure Network Provenance, Wenchao Zhou, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
Towards Secure Cloud Data Management, Wenchao Zhou, William R. Marczak, Tao Tao, Zhuoyao Zhang, Micah Sherr, Boon Thau Loo, and Insup Lee
Efficient Querying and Maintenance of Network Provenance at Internet-Scale, Wenchao Zhou, Micah Sherr, Tao T, Xiaozhou Li, Boon Thau Loo, and Yun Mao
Papers from 2009
Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0, David E. Arney, Raoul Jetley, Paul Jones, Insup Lee, Arnab Ray, Oleg Sokolsky, and Yi Zhang
Abstracting Syntax, Brian Aydemir, Stephan A. Zdancewic, and Stephanie Weirich
RETCON: Transactional Repair without Replay, Colin Blundell, Arun Raghavan, and Milo Martin
Online Learning a Binary Labeling of a Graph, Mickey Brautbar
Learning from Ambiguously Labeled Images, Timothee Cour, Benjamin Sapp, Chris Jordan, and Ben Taskar
AAAI 2008 Workshop Reports, Mark Dredze
A Compositional Framework for Avionics (ARINC-653) Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal
Quotient Lenses, J. Nathan Foster, Alexandre Pilkiewicz, and Benjamin C. Pierce
Discrete Mathematics, Some Notes, Jean H. Gallier
Posterior Regularization for Structured Latent Variable Models, Kuzman Ganchev, João Graça, Jennifer Gillenwater, and Ben Taskar
Encoding Information Flow in AURA, Technical Appendix, Limin Jia and Stephan A. Zdancewic
Spectrum Sharing In Dynamic Spectrum Access Networks: WPE-II Written Report, Changbin Liu
Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Stephan A. Zdancewic
SoftBound: Highly Compatible and Complete Spatial Memory Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic
Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
Topics in Graph Construction for Semi-Supervised Learning, Partha Pratim Talukdar
Verifiable Policy-based Routing with DRIVER, Anduo Wang, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwash Basu
Papers from 2008
Algorithmic Analysis of Array-Accessing Programs, Rajeev Alur, Pavol Cerný, and Scott Weinstein
Differencing Provenance in Scientific Workflows, Zhuowei Bao, Sarah Cohen-Boulakia, Susan B. Davidson, Anat Eyal, and Sanjeev Khanna
Improved Sequence-based Speculation Techniques for Implementing Memory Consistency, Colin Blundell, Milo M.K. Martin, and Tom Wenisch
Encoding Mini-Graphs with Handle Prefix Outlining, Anne W. Bracy and Amir Roth
A Default Temporal Logic for Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky
Further Results and Analysis of Icelandic Part of Speech Tagging, Mark Dredze and Joel Wallenberg
Logarithms and Square Roots of Real Matrices, Jean H. Gallier
Unsupervised distance metric learning using predictability, Abhishek A. Gupta, Dean P. Foster, and Lyle H. Ungar
AURA: Preliminary Technical Results, Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, and Stephan A. Zdancewic
Conjunctive queries and mappings with unequalities, Grigoris Karvounarakis and Val Tannen
A Declarative Perspective on Adaptive MANET Routing, Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, and Boon Thau Loo
Recursive Computation of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith
A Substrate for In-Network Sensor Data Integration, Svilen R. Mihaylov, Marie Jacob, Zachary G. Ives, and Sudipto Guha
Easily Identifiable Discourse Relations, Emily Pitler, Mridhula Raghupathy, Hena Mehta, Ani Nenkova, Alan Lee, and Aravind K. Joshi
Token tenure: PATCHing token counting using directory-based cache coherence, A Raghavan, C Blundell, and Milo MK Martin
Adding Token Counting to Directory-Based Cache Coherence, Arun Raghavan, Colin Blundell, and Milo M.K. Martin
A Tutorial of the Poisson Random Field Model in Population Genetics, Praveen Sethupathy and Sridhar Hannenhalli
Construction of C∞ Surfaces from Triangular Meshes Using Parametric Pseudo-Manifolds, Marcelo Siqueira, Dianna Xu, and Jean H. Gallier
Analysis of AADL Models Using Real-Time Calculus with Applications to Wireless Architectures, Oleg Sokolsky and Alexander Chernoguzov
On the Optimal Assignment of Conference Papers to Reviewers, Camillo J. Taylor
Recovery from Node Failure in Distributed Query Processing, Nicholas E. Taylor
Concise Concrete Syntax, Stephen Tse and Stephan A. Zdancewic
Evidence-based Audit, Technical Appendix, Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, and Stephan A. Zdancewic
Declarative Network Verification, Anduo Wang, Prithwish Basu, Boon Thau Loo, and Oleg Sokolsky
Viral Marketing and the Diffusion of Trends on Social Networks, Jennifer Wortman
Unified Platform for Secure Networked Information Systems, Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martín Abadi
Papers from 2007
The MASKS Face Image Data Set: Collection Procedures and Progress Report, James Alexander
Integrating Ontologies and Relational Data, Sören Auer and Zachary G. Ives
Solving the Graph Cut Problem via l1 Norm Minimization, Arvind Bhusnurmath and Camillo J. Taylor
Boomerang: Resourceful Lenses for String Data, Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt