Technical Reports (CIS)

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

Online Learning a Labeling of a Graph, Michael 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

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

SoftBound: Highly Compatible and Complete Spatial Memory Safety for C, Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Stephan A. Zdancewic

Papers from 2008

Algorithmic Analysis of Array-Accessing Programs, Rajeev Alur, Pavol Cernı, and Scott Weinstein

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

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

Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions: The Pin and Spin Groups , Jean H. Gallier

Discrete Mathematics for Computer Science Some Notes, Jean H. Gallier

Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations, Jean H. Gallier

The Classification Theorem for Compact Surfaces and a Detour on Fractals, Jean H. Gallier

Update Exchange with Mappings and Provenance, Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen

Sideways Information Passing for Push-Style Query Processing, Zachary G. Ives and Nicholas E. Taylor

Living up to Expectations: Computing Expert Responses, Aravind K. Joshi, Bonnie L. Webber, and Ralph Weischedel

MOSAIC: Multiple Overlay Selection and Intelligent Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith

Learning Plans for Safety and Reachability Goals with Partial Observability, Wonhong Nam and Rajeev Alur

Graphical Models for Primarily Unsupervised Sequence Labeling, Neal Parikh and Mark Dredze

Computer Analysis and Description of Pottery Sherd Patterns, Sandra L. Skidmore

Principia Narcissus: How to Avoid Being Caught by Your Reflection, Geoffrey Alan Washburn

Provenance-aware Declarative Secure Networks, Wenchao Zhou, Eric Cronin, and Boon Thau Loo

Papers from 2006

Security Protocols with Isotropic Channels, Madhukar Anand, Eric Cronin, Micah Sherr, Matthew A. Blaze, and Sampath Kannan

Unrestricted Transactional Memory:Supporting I/O and System Calls within Transactions, Colin Blundell, E. Christopher Lewis, and Milo Martin

The Eavesdropper's Dilemma, Eric Cronin, Micah Sherr, and Matthew A. Blaze

Network-Code Machine: Programmable Real-Time Communication Schedules (Supplemental Material), Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee

Spanning Tree Methods for Discriminative Training of Dependency Parsers, Ryan McDonald, Koby Crammer, and Fernando C.N. Pereira

Decentralized Access Control in Networked File Systems, Stefan Miltchev, Jonathan M. Smith, Vassilis Prevelakis, Angelos Keromytis, and Sotiris Ioannidis

A Review of Three Techniques for Formally Representing Variable Binding, Jeffrey A. Vaughan

Papers from 2005

Sound Code Generation from Hybrid System Models: Some Theoretical Results, Madhukar Anand, Jesung Kim, and Insup Lee

PolyAML: A Polymorphic Aspect-Oriented Functional Programming Language (Extended Version), Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie C. Weirich

Optimal Control of Software Ensuring Safety and Functionality, Arvind Easwaran, Sampath Kannan, and Insup Lee

An Introduction to Multi-Valued Model Checking, Georgios E. Fainekos

Schema-Directed Data Synchronization, J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt

Statically Typed Document Transformation: An XTATIC Experience, Vladimir Gapeyev, François Garillot, and Benjamin C. Pierce

Approximate Bisimulation Relations for Constrained Linear Systems, Antoine Girard and George J. Pappas

Approximation Metrics for Discrete and Continuous Systems, Antoine Girard and George J. Pappas

The Unique Games Conjecture and some of its Implications on Inapproximability, Boulos Harb

CCGbank: User's Manual, Julia Hockenmaier and Mark Steedman

Practical Type Inference for Arbitrary-Rank Types: Technical Appendix, Dimitrios Vytiniotis, Stephanie C. Weirich, and Simon Peyton Jones

Cause and Effect: Type Systems for Effects and Dependencies, Geoffrey Washburn

Generalizing Parametricity Using Information Flow (Extended Version), Geoffrey Washburn and Stephanie C. Weirich

Papers from 2004

Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles, Selcuk Bayraktar, Georgios E. Fainekos, and George J. Pappas

Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments, Calin Belta, Volkan Isler, and George J. Pappas

A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov

A Learnable Spectral Memory Graph for Recognition and Segmentation, Timothée Cour and Jianbo Shi

Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem, J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt

The XTATIC Experience, Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt

XML Goes Native: Run-time Representations for XTATIC, Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt

Paths Into Patterns, Vladimir Gapeyev and Benjamin C. Pierce

Motion estimation using a spherical camera, Ameesh A. Makadia and Kostas Daniilidis

Finding Matchings in the Streaming Model, Andrew McGregor

RENO: A Rename-Based Instruction Optimizer, Vlad Petric, Tingting Sha, and Amir Roth

Bringing Harmony to Optimism: An Experiment in Synchronizing Heterogeneous Tree-Structured Data, Benjamin C. Pierce, Alan Schmitt, and Michael B. Greenwald

What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer, Benjamin C. Pierce and Jerome Vouillon

A high-bandwidth load-store unit for single- and multi- threaded processors, Amir Roth

Store Vulnerability Window (SVW): Re-Execution Filtering for Enhanced Load/Store Optimization, Amir Roth

Bayesian Example Selection using BaBiES, Andrew I. Schein, S. Ted Sandler, and Lyle H. Ungar

A-Optimality for Active Learning of Logistic Regression Classifiers, Andrew I. Schein and Lyle Ungar

Making 3D Binary Digital Images Well-Composed, Marcelo Siqueira, Longin Jan Latecki, and Jean Gallier

Typed Intermediate Languages, Stephen Tse

An Open and Shut Typecase (Extended Version), Dimitrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich

Conditional Random Fields: An Introduction, Hanna M. Wallach

Papers from 2003

Exchange-based Incentive Mechanisms for Peer-to-Peer File Sharing, Kostas G. Anagnostakis and Michael B. Greenwald

Intricacies of Collins' Parsing Model, Daniel M. Bikel

A Low Cost Tactor Suit for Vibrotactile Feedback, Aaron Bloomfield and Norman I. Badler

Enhanced Collision Perception Using Tactile Feedback, Aaron Bloomfield and Norman I. Badler

Reasoning about the updatability of XML views over relational databases, Vanessa P. Braganholo, Susan B. Davidson, and Carlos A. Heuser

Using XQuery to build updatable XML views over relational databases, Vanessa P. Braganholo, Susan B. Davidson, and Carlos A. Heuser