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.

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

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

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

YALE/DCS/TR1426 forthcoming

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

YALE/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

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

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

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

YALE/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

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

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

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

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

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

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

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

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

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

YALE/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

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

YALE/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

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

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

YALE/DCS/TR1447
Richard Yang

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

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

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