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