Computing and Information Science Technical Reports

eCommons will be completely unavailable from 8am, Thursday Nov. 5, until 5pm, Friday Nov. 6 for server upgrades. Thank you for your patience during this planned service interruption.
Please contact us at ecommons-admin@cornell.edu if you have questions or concerns.

Browse by

By Issue Date Authors Titles Subjects Types

This is a collection of technical reports from the Cornell's Computing and Information Science (CIS) Department from the time period of 2003-present. These reports are part of the NCSTRL collection of Computer Science Technical Reports.

For reports prior to 2003, see the Computer Science Technical Reports Collection.

Recent Submissions

Abstraction-Safe Effect Handlers via Tunneling: Technical Report

Zhang, Yizhou (2018-11-09)

Algebraic effect handlers offer a unified approach to expressing control-flow transfer idioms such as exceptions, iteration, and async/await. Unfortunately, previous attempts to make these handlers type-safe have failed ...
A Reactive Approach for Use-Based Privacy

Birrell, Eleanor; Schneider, Fred B. (2017-11-24)

Use-based privacy views privacy in terms of authorized uses, a philosophy well-suited for data collection and data analysis applications that arise in networked information systems. This work takes a first step toward ...
Videos of demo of self-driving robot with map verification

Liu, Jed; Corbett-Davies, Joseph; Ferraiuolo, Andrew; Campbell, Mark; Myers, Andrew C.; Suh, G. Edward (2017-10-06)

Three videos of a self-driving Segway system are shown, following an oval track. Delivering the system an incorrect map causes the system to drive off the track. The third video shows the system running with software that ...
Pushing Bytes: Cloud-Scale Data Replication with RDMC

Behrens, Jonathan; Jha, Sagar; Tremel, Edward; Birman, Ken (2017-06)

Data center infrastructures frequently replicate objects to create backups or to copy executables and input files to compute nodes. This task occurs under time pressure: data is at risk of loss until replicated for ...
Shoal: A Lossless Network for High-density and Disaggregated Racks

Shrivastav, Vishal; Valadarsky, Asaf; Ballani, Hitesh; Costa, Paolo; Lee, Ki Suh; Wang, Han; Agarwal, Rachit; Weatherspoon, Hakim (2017-04-30)

Rack-scale computers comprise hundreds of micro-servers connected to internal storage and memory through an internal network. However, their density and disaggregated nature pose a problem for existing packet-switched ...