Publications - Department Technical Reports

The links below are to technical/research reports for each year listed. They are listed by tr number in chronological order. The number of reports for each month/year varies. Reports with electronic versions have a link to the paper in .tex, .pdf and/or .ps format listed next to the report number in brackets.

Some reports are no longer available from the Department; they are listed with *.

The following are some of the department's more recent technical reports, starting with tr number 1423, from 2010. Reports with electronic versions have a link to the paper in .pdf and/or .ps format listed next to the report number in brackets.

YALEU/DCS/TR1423 [.pdf] Assigning Tasks for Efficiency in Hadoop
Michael Fischer
Xueyuan Su
Yitong Yin
March 2010 (with corrections)

YALEU/DCS/TR1424 [.pdf] Usability of Browser-Based Tools for Web-Search Privacy
Felipe Saint-Jean
Joan Feigenbaum
March 2010

YALEU/DCS/TR1425 [.pdf] A Model of Semantics and Corrections in Language Learning
Dana Angluin
Leonor Becerra-Bonache
April 2010

YALEU/DCS/TR1426 forthcoming

YALEU/DCS/TR1427 [.pdf] Mosaic: Policy Homomorphic Network Extention
L. Erran Li
M.F. Nowlan
C. Tian
Y.R. Yang
M. Zhang
February 2010

YALEU/DCS/TR1428 Reasoning about Optimistic Concurrency using a Program Logic for History
Ming Fu
Yong Li
Xin Yu Feng
Zhong Shao
Yu Zhang
May 2010

YALEU/DCS/TR1429 [.pdf] Privacy-Preserving Discovery of Consensus Signatures
Felipe Saint-Jean
Jian Zhang
Joan Feigenbaum
Phillip Porras

YALEU/DCS/TR1430 VeriML: Typed Computation of Logical Terms inside a Language with Effects
Antonis Stampoulis
Zhong Shao

YALEU/DCS/TR1431 [.pdf] Nettle: Functional Reactive Programming for OpenFlow Networks
Andreas Voellmy
Ashish Agarwal
July 1, 2010

YALEU/DCS/TR1432 [.pdf] Don't Configure the Network, Program It!
Andreas Voellmy
Paul Hudak
Ashish Agarwal
Sam Burnett
Nick Feamster
John Launchbury
July 10, 2010

YALEU/DCS/TR1433 [.pdf] On the Nyström discretization of integral equations on planar curves with corners
James Bremer

YALEU/DCS/TR1434 [.pdf] A Randomized Approximate Nearest Neighbors Algorithm
Peter W. Jones
Andrei Osipov
Vladimir Rokhlin
July 30, 2010

YALEU/DCS/TR1435 [.pdf] A Highly Accurate Solver for Stiff Ordinary Differential Equations
Dan Kushnir
Vladimir Rokhlin
September 2010

YALEU/DCS/TR1436 [.pdf] Advanced Development of Certified OS Kernels
Zhong Shao
Bryan Ford
July 2010

YALEU/DCS/TR1437 [.pdf] Anisotropic Diffusion on Sub-Manifolds with Application to Earth Structure Classification
Dan Kushnir
Ali Haddad
Ronald R. Coifman
October 15, 2010

YALEU/DCS/TR1438 [.pdf] Slightly smaller splitter networks
James Aspnes
November 2010

YALEU/DCS/TR1439 [.pdf] A Randomized Approximate Nearest Neighbors Algorithm - a short version
Peter W. Jones
Andrei Osipov
Vladimir Rokhlin
January 2011

YALEU/DCS/TR1440 Generating Music Using Concepts from Schenkerian Analysis and Chord Spaces
Donya Quick
May 2010

YALEU/DCS/TR1441 [.pdf] Filtering Via a Reference Set
A. Haddad
D. Kushnir
R.R. Coifman
February 2011

YALEU/DCS/TR1442 A Fast Divide-and-Conquer Algorithm for Computing the Spectra of Real Symmetric Tridiagonal Matrices
Support: AFOSR #FA9550-09-1-02-41 ONR N00014-10-1-0570
E.S. Coakley
V. Rokhlin
February 2011

YALEU/DCS/TR1443 [.pdf] Spectra of Multiplication Operators as a Numerical Tool
V. Rokhlin
B. Vioreanu
February 2011

YALEU/DCS/TR1444 [.pdf] A new class of highly accurate differentiation schemes based on the prolate spheroidal wave functions
W.Y. Kong
V. Rokhlin
April 2011

YALEU/DCS/TR1445 [.pdf] Parametrization of Linear Systems Using Diffusion Kernels
R. Talmon
D. Kushnir
R.R. Coifman
I. Cohen
S. Gannot
April 2011

YALEU/DCS/TR1446 [.pdf] Virtualizing Real-World Objects in FRP
Daniel Winograd-Cort
Hai Liu
Paul Hudak

YALEU/DCS/TR1447
Richard Yang

YALEU/DCS/TR1448 [.pdf] Defining "Anonymity" in Networked Communication, version 1
Joan Feigenbaum

YALEU/DCS/TR1449 [.pdf] Non-asymptotic Analysis of Bandlimited Functions
Andrei Osipov

YALEU/DCS/TR1450 [.pdf] Explicit upper bounds on the eigenvalues associated with prolate spheroidal wave functions
Andrei Osipov

YALEU/DCS/TR1451 [.pdf] Differential Stochastic Sensing: Intrinsic Modeling of Random Time Series with Applications to Nonlinear Tracking
Ronen Talmon
Ronald R. Coifman

YALEU/DCS/TR1452 [.pdf] Systematizing "Accountability" in Computer Science (Version of Feb. 17, 2012)
Joan Feigenbaum
Aaron D. Jaggard
Rebecca N. Wright
Hongda Xiao

YALEU/DCS/TR1453 [.pdf] A Nearest Neighbors Algorithm for Strings
R. Lederman
April 2012

YALEU/DCS/TR1454 [.pdf] On the Resilience of Routing Tables
Joan Feigenbaum
Brighten Godfrey
Aurojit Panda
Michael Schapira
Scott Shenker
Ankit Singla
August 2012

YALEU/DCS/TR1455 [.pdf] Strong Theft-Proof Privacy-Preserving Biometric Authentication
Ewa Syta
Michael J. Fischer
Abraham Silberschatz
Gina Gallegos Garcia
Bryan Ford
May 25, 2012

YALEU/DCS/TR1456 forthcoming
Richard Yang

YALEU/DCS/TR1457 [.pdf] Modeling zonal electricity prices by anisotropic diffusion embeddings
Neta Rabin
Ronald R. Coifman
June 5, 2012


YALEU/DCS/TR1458 [.pdf] Detailed analysis of prolate quadratures and interpolation formulas
Andrei Osipov
Vladimir Rokhlin
June 28, 2012

YALEU/DCS/TR1459 forthcoming

YALEU/DCS/TR1460 [.pdf] Evaluation of small elements of the eigenvectors of certain symmetric tridiagonal matrices with high relative accuracy
Andrei Osipov
August 23, 2012

YALEU/DCS/TR1461 Modular Verification of Concurrent Thread Management
Yu Guo
Xinyu Feng
Zhong Shao
Peizhi Shi

YALEU/DCS/TR1462 A Case for Behavior-Preserving Actions in Separation Logic
David Costanzo
Zhong Shao

YALEU/DCS/TR1463 Compositional Verification of a Baby Virtual Memory Manager
Alexander Vaynberg
Zhong Shao

YALEU/DCS/TR1464 [.pdf] A one-bit swap object using test-and-sets and a max register
James Aspnes

YALEU/DCS/TR1465 [.pdf] Homopolymer Length Filters
Roy Lederman

YALEU/DCS/TR1466 [.pdf] On Backtracking Resistance in Pseudorandom Bit Generation
Michael J. Fischer
Michael S. Paterson
Ewa Syta
October 24, 2012

YALEU/DCS/TR1467 [.pdf] Empirical Intrinsic Modeling of Signals and Information Geometry
Ronen Talmon
Ronald R. Coifman
November 9, 2012

YALEU/DCS/TR1468 Scaling Software-Defined Network Controllers on Multicore Servers
Andreas Voellmy
Bryan Ford
Paul Hudak
Y. Richard Yang
July 2012

YALEU/DCS/TR1469 Efficient and Privacy-Preserving Biometric Authentication
Ewa Syta
David Wolinsky
Michael J. Fischer
Abraham Silberschatz
Bryan Ford
Gina Gallegos-Garcia

YALEU/DCS/TR1470 [.pdf] Building approximate overlap graphs for DNA assembly using random-permutations-based search
Roy Lederman
December 18, 2012