Technical Reports (CIS)

 

Follow

Papers from 2008

PDF

Unsupervised distance metric learning using predictability, Abhishek A. Gupta, Dean P. Foster, and Lyle H. Ungar

PDF

AURA: Preliminary Technical Results, Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, and Stephan A. Zdancewic

PDF

Conjunctive queries and mappings with unequalities, Grigoris Karvounarakis and Val Tannen

PDF

A Declarative Perspective on Adaptive MANET Routing, Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, and Boon Thau Loo

PDF

Recursive Computation of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo

PDF

MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith

PDF

A Substrate for In-Network Sensor Data Integration, Svilen R. Mihaylov, Marie Jacob, Zachary G. Ives, and Sudipto Guha

PDF

Easily Identifiable Discourse Relations, Emily Pitler, Mridhula Raghupathy, Hena Mehta, Ani Nenkova, Alan Lee, and Aravind K. Joshi

PDF

Token tenure: PATCHing token counting using directory-based cache coherence, A Raghavan, C Blundell, and Milo MK Martin

PDF

Adding Token Counting to Directory-Based Cache Coherence, Arun Raghavan, Colin Blundell, and Milo M.K. Martin

PDF

A Tutorial of the Poisson Random Field Model in Population Genetics, Praveen Sethupathy and Sridhar Hannenhalli

PDF

Construction of C Surfaces from Triangular Meshes Using Parametric Pseudo-Manifolds, Marcelo Siqueira, Dianna Xu, and Jean H. Gallier

PDF

Analysis of AADL Models Using Real-Time Calculus with Applications to Wireless Architectures, Oleg Sokolsky and Alexander Chernoguzov

PDF

On the Optimal Assignment of Conference Papers to Reviewers, Camillo J. Taylor

PDF

Recovery from Node Failure in Distributed Query Processing, Nicholas E. Taylor

PDF

Concise Concrete Syntax, Stephen Tse and Stephan A. Zdancewic

PDF

Evidence-based Audit, Technical Appendix, Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, and Stephan A. Zdancewic

PDF

Declarative Network Verification, Anduo Wang, Prithwish Basu, Boon Thau Loo, and Oleg Sokolsky

PDF

Viral Marketing and the Diffusion of Trends on Social Networks, Jennifer Wortman

PDF

Unified Platform for Secure Networked Information Systems, Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martín Abadi

Papers from 2007

PDF

The MASKS Face Image Data Set: Collection Procedures and Progress Report, James Alexander

PDF

Integrating Ontologies and Relational Data, Sören Auer and Zachary G. Ives

PDF

Solving the Graph Cut Problem via l1 Norm Minimization, Arvind Bhusnurmath and Camillo J. Taylor

PDF

Boomerang: Resourceful Lenses for String Data, Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Papers from 2006

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Papers from 2005

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Papers from 2004

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Paths Into Patterns, Vladimir Gapeyev and Benjamin C. Pierce

PDF

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

PDF

Finding Matchings in the Streaming Model, Andrew McGregor

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Typed Intermediate Languages, Stephen Tse

PDF

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

PDF

Conditional Random Fields: An Introduction, Hanna M. Wallach

Papers from 2003

PDF

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

PDF

Intricacies of Collins' Parsing Model, Daniel M. Bikel

PDF

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

PDF

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

PDF

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

PDF

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

PDF

XML Vectorization: a Column-Based XML Storage Model, Byron Choi and Peter Buneman

PDF

Locating and Capturing an Evader in a Polygonal Environment, Volkan Isler, Sampath Kannan, and Sanjeev Khanna

PDF

Randomized Pursuit-Evasion with Limited Visibility, Volkan Isler, Sampath Kannan, and Sanjeev Khanna

PDF

Target Tracking with Distributed Sensors: The Focus of Attention Problem, Volkan Isler, John Spletzer, Sanjeev Khanna, and Camillo J. Taylor

PDF

On the Coordinated Navigation of Multiple Independent Disk-Shaped Robots, Cem Serkan Karagöz, H. Isil Bozma, and Daniel E. Koditschek

PDF

Reflections on Active Networking, Jonathan M. Smith

PDF

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism (Extended Version), Geoffrey Washburn and Stephanie Weirich

Papers from 2002

PDF

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

PDF

Extending Compositional Message Sequence Graphs, Benedikt Bollig, Martin Leucker, and Philipp Lucas

PDF

Validating Constraints in XML, Yi Chen, Susan B. Davidson, and Yifeng Zheng

PDF

What are Real DTDs Like, Byron Choi

PDF

Querying XML with Mixed and Redundant Storage, Alin Deutsch and Val Tannen

PDF

On-line payment method for small amount transactions using hierarchical prepaid cards, Toru Egashira and Jonathan M. Smith

PDF

Cue Integration using Affine Arithmetic and Gaussians, Siome Goldenstein, Christian Vogler, and Dimitris Metaxas

PDF

Testing the Electronic Throttle Control, Hyoung Seok Hong, Insup Lee, Na Young Lee, Martin Leucker, and Oleg Sokolsky

PDF

Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem, Franjo Ivancic

PDF

Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky

PDF

Three Extensions to Register Integration, Amir Roth, Anne Bracy, and Vlad Petric

PDF

A Quantitative Framework for Automated Pre-Execution Thread Selection, Amir Roth and Gurindar S. Sohi