Publications - Department Technical Reports

The below links 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. If there is a paper you are interested in that does not have an electronic version, please send email to request a hard copy of it, if available. Be sure to list the tr number, title and author(s). Some reports are no longer available from the Department.

The following are some of the department's more recent technical reports, starting with tr number 1377 from March, the first report of 2007. 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/TR1377 forthcoming
Haiyong Xie
Arvind Krishnamurthy
Yang Richard Yang
Avi Silberschatz
March 2007

YALE/DCS/TR1378 A General Framework for Certifying Garbage Collectors and Their Mutators (extended version)
Andrew McCreight
Zhong Shao
Chunxiao Lin
March 2007

YALE/DCS/TR1379 Certified Self-Modifying Code
Hongxu Cai
Zhong Shao
Alexander Vaynberg
March 2007

YALE/DCS/TR1380 [.pdf] [.ps] A Preliminary Report on a Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
April 2007

YALE/DCS/TR1381 [.pdf] [.ps] Fast Algorithms for Spherical harmonic Expansions, II
Mark Tygert
May 2007

YALE/DCS/TR1382 [.pdf] [.ps] A New Class of Highly Accurate Solvers for Ordinary Differential Equations
Andreas Glaser
Vladimir Rokhlin
June 2007

YALE/DCS/TR1383 Mathematical Foundations of Consciousness
Willard L. Miranker
Gregg J. Zuckerman
July 2007

YALE/DCS/TR1384 [.pdf] [.ps] A New Class of Analysis-Based Fast Transforms
Michael O'Neil
Vladimir Rokhlin
August 2007

YALE/DCS/TR1385 [.pdf] Fast Dimension Reduction Using Rademacher Series on Dual BCH Codes
Nir Ailon
Edo Liberty
July 2007

YALE/DCS/TR1386 [.pdf] [.ps] A Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
July 2007

YALE/DCS/TR1387 Qsearch
Dana Angluin
Sara Eisenstat
Jiang Chen
November 2007

YALE/DCS/TR1388 [.pdf] [.ps] Randomized Algorithms for the Low-Rank Approximation of Matrices
Edo Liberty
Franco Woolfe
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
September 2007

YALE/DCS/TR1389 Cryo-EM Structure Determination Through Eigen Vectors of Sparse Matrices
Ronald Coifman
Yoel Shkolnisky
F.J. Sigworth
A. Singer
November 2007

YALE/DCS/TR1390 [.pdf] [.ps] Fast Random Projections using Lean Walsh Transforms
Edo Liberty
Nir Ailon
Amit Singer
December 2007

YALE/DCS/TR1391 [.pdf] The Sentinal Algorithm: Distributed Dynamic Coverage
John Corwin
Ana Cerejo
Diego Montenegro
January 2008

YALE/DCS/TR1392 Entrywise Bounds for Eigenvectors of Random Graphs
Pradipta Mitra
January 2008

YALE/DCS/TR1393 [.pdf] Memes and their Themata
Willard L. Miranker
February 2008

YALE/DCS/TR1394 forthcoming

YALE/DCS/TR1395 [.pdf] On the Inverse Scattering Problem in the Acoustic Environment
R. Duan
V. Rokhlin
March 2008

YALE/DCS/TR1396 Certifying Low-Level Programs With Hardware Interrupts and Preemptive Threads
Xinyu Feng
Zhong Shao
Yuan Dong
Yu Guo
March 2008

YALE/DCS/TR1397 An Open Framework for Certified System Software
Xinyu Feng
December 2007

YALE/DCS/TR1398 Local Reasoning and Information Hiding in SCAP
Xinyu Feng
Zhong Shao
February 2008

YALE/DCS/TR1399 [.pdf] [.ps] An Algorithm for the Rapid Evaluation of Special Function Transforms
Michael O'Neil
Franco Woolfe
Vladimir Rokhlin
April 2008

YALE/DCS/TR1400
Richard Yang

YALE/DCS/TR1401 [.pdf] High-Order Quadratures for the Solution of Scattering Problem in Two Dimensions
Ran Duan
Vladimir Rokhlin
April 2008

YALE/DCS/TR1402 [.pdf] [.ps] The Mailman Algorithm: a Note on Matrix Vector Multiplication
Edo Liberty
Steven Zucker
April 2008

YALE/DCS/TR1403 [.pdf] [.ps] A Fast Randomized Algorithm for Overdetermined Linear Least-Squares Regression
Vladimir Rokhlin
Mark Tygert
April 2008

YALE/DCS/TR1404 [.pdf] Neural Network Applications
Willard Miranker
April 2008

YALE/DCS/TR1405 Look Ma, No Arrows -- A Functional Reactive Real-Time Sound Synthesis Framework
Paul Hudak
July 2008

YALE/DCS/TR1406 [.pdf] A Nonlinear Optimization Procedure for Generalized Gaussian Quadratures
James Bremer
Zydrunas Gimbutas
Vladimir Rokhlin
June 2008

YALE/DCS/TR1407 [.pdf] [.ps] Learning Meaning Before Syntax
Dana Angluin
Leonor Becerra-Bonache
July 2008

YALE/DCS/TR1408 Yampa Meets the Worm
Paul Hudak
Paul Liu
Michael Stern
Ashish Agarwal
July 2008

YALE/DCS/TR1409 [.pdf] Querying RDF Data Stored in DBMS: SPARQL to SQL Conversion
Kamil Bajda-Pawlikowski
August 2008