2010 Technical Reports

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