Technical Reports (CIS)
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
XML Vectorization: a Column-Based XML Storage Model, Byron Choi and Peter Buneman
Locating and Capturing an Evader in a Polygonal Environment, Volkan Isler, Sampath Kannan, and Sanjeev Khanna
Randomized Pursuit-Evasion with Limited Visibility, Volkan Isler, Sampath Kannan, and Sanjeev Khanna
Target Tracking with Distributed Sensors: The Focus of Attention Problem, Volkan Isler, John Spletzer, Sanjeev Khanna, and Camillo J. Taylor
On the Coordinated Navigation of Multiple Independent Disk-Shaped Robots, Cem Serkan Karagöz, H. Isil Bozma, and Daniel E. Koditschek
Reflections on Active Networking, Jonathan M. Smith
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism (Extended Version), Geoffrey Washburn and Stephanie Weirich
Papers from 2002
Safety and Performance in an Open Packet Monitoring Architecture, Kostas G. Anagnostakis, Sotiris Ioannidis, Stefan Miltchev, John Ioannidis, Michael B. Greenwald, and Jonathan M. Smith
Extending Compositional Message Sequence Graphs, Benedikt Bollig, Martin Leucker, and Philipp Lucas
Validating Constraints in XML, Yi Chen, Susan B. Davidson, and Yifeng Zheng
What are Real DTDs Like, Byron Choi
Querying XML with Mixed and Redundant Storage, Alin Deutsch and Val Tannen
On-line payment method for small amount transactions using hierarchical prepaid cards, Toru Egashira and Jonathan M. Smith
Cue Integration using Affine Arithmetic and Gaussians, Siome Goldenstein, Christian Vogler, and Dimitris Metaxas
Testing the Electronic Throttle Control, Hyoung Seok Hong, Insup Lee, Na Young Lee, Martin Leucker, and Oleg Sokolsky
Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem, Franjo Ivancic
Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky
Three Extensions to Register Integration, Amir Roth, Anne Bracy, and Vlad Petric
A Quantitative Framework for Automated Pre-Execution Thread Selection, Amir Roth and Gurindar S. Sohi
Integral Transforms and Signal Processing on the 2-Sphere, Daniel Rudoy
The Influence of ATM on Operating Systems, Jonathan M. Smith
Papers from 2001
A User-Level Introduction to the Nuprl Proof Development System, Eric Aaron
A Framework for Reasoning about Animation Systems, Eric Aaron, Dimitris Metaxas, Franjo Ivancic, and Oleg Sokolsky
Coherency of Shared Memory in Ad-hoc Networks, Rajeev Alur
On the Feasibility of Network Delay Tomography using only Existing Infrastructure, Kostas G. Anagnostakis and Michael B. Greenwald
Multispectral Skin Color Modelling, Elli Angelopoulou, Rana Molana, and Kostas Daniilidis
Spherical Diffusion for Surface Smoothing and Denoising, Thomas Buelow
Consistent Phase Estimation for Recovering Depth from Moiré Interferograms, Thomas Bülow
Spherical Diffusion, Thomas Bülow
Surface Representations Using Spherical Harmonics and Gabor Wavelets on the Sphere, Thomas Bülow and Kostas Daniilidis
Compression of Stereo Disparity Streams Using Wavelets and Optical Flow, Thomas Bülow, Jane Mulligan, Geraud de Bonnafos, Alexandre Chibane, and Kostas Daniilidis
Indexing Keys in Hierarchical Data, Yi Chen, Susan B. Davidson, and Yifeng Zheng
Enumeration and Motion Planning for Modular Mobile Robots, Sachin Chitta and James P. Ostrowski
Chase & Backchase: A Method for Query Optimization with Materialized Views and Integrity Constraints, Alin Deutsch, Lucian Popa, and Val Tannen
Optimization Properties for Classes of Conjunctive Regular Path Queries, Alin Deutsch and Val Tannen
A Framework for Scalable Cooperative Navigation of Autonomous Vehicles, Rafael Fierro, Peng Song, Aveek K. Das, and R. Vijay Kumar