2002 Technical Reports

YALEU/DCS/TR1222 [.pdf] [.ps] Counting Predicates of Conjunctive Complexity One supported in part by NSF grant CCR-0081823
Michael Fischer
Rene Peralta
December 2001
Revised Feb.2002

YALEU/DCS/TR1223 Precision in Practice: A Typing-Preserving Compiler for Java Funded by DARPA
Chris League
Zhong Shao
Valery Trifonov
March 2002

YALEU/DCS/TR1224 A Syntactic Approach to Foundational Proof-Carrying Code
Nadeem A. Hamid
Zhong Shao
Valery Trifonov
Stefan Monnier
Zhaozhong Ni
March 2002

YALEU/DCS/TR1225 High Assurance Common Language Runtime Funded by DARPA
Andrew Appel
Zhong Shao
Valery Trifonov
David Walker
March 2002

YALEU/DCS/TR1226 [.pdf] Path Integrals of Information
Willard L. Miranker
March 2002

YALEU/DCS/TR1227 [.pdf] Neural Net Reports CS 477/577
Willard L. Miranker
April 2002

YALEU/DCS/TR1228 Type Preserving Compilation of Featherweight IL Funding: DARPA
Dachuan Yu
Valery Trifonov
Zhong Shao

YALEU/DCS/TR1229 [.pdf] PATH, a Program Transformation System for Haskell (Dissertation Director: Paul Hudak)
Mark Anders Tullsen
May 2002

YALEU/DCS/TR1230 [.pdf] Consciousness and the Scientific Method
Willard Miranker
May 2002

YALEU/DCS/TR1231
Carsten Schurmann
June 2002

YALEU/DCS/tr1232 [.ps] Hardness Results for Multicast Cost Sharing
Joan FeigenbTRm
Arvind Krishnamurthy
Rahul Sami
Scott Shenker

YALEU/DCS/TR1233 [.pdf] Second Kind Integral Equations for Scattering by Open Surfaces I: Analytical Apparatus
Shidong Jiang
V. Rokhlin
August 2002

YALEU/DCS/TR1234 [.pdf] Quantum Neurons
Willard L. Miranker
August 2002

YALEU/DCS/TR1235 [.ps] Sprite: A simple, cheat-proof, credit-based system for mobile ad-hoc networks sponsored in part by NSF grant #ANIR-0207399
Sheng Zhong
Yang Richard Yang
Jiang Chen
July 2002

YALEU/DCS/TR1236 Incorporating the Torrance and Sparrow Model of Reflectance in Uncalibrated Photometric Stereo
Athinodoros Georghiades
October 2002

YALEU/DCS/TR1237 A Type System for Certified Runtime Type Analysis
Bratin Saha
June 2002

YALEU/DCS/TR1238 A Type-Preserving Compiler Infrastructure
Christopher League
June 2002

YALEU/DCS/TR1239 [.pdf] [.ps file] Analyzing DoS-Resistance of Protocols Using a Cost-Based Framework Supported in part by a 2001 Dept. of Defense NDSEG Fellowship
and ONR Grant N00014-01-1-0447
Vijay Ramachandran
July 2002

YALEU/DCS/TR1240 Intensional Analysis of Higher-Kinded Recursive Types supported in part by DARPA OASIS NSF ITR-grant CCR-0081590, and PGSA-242848-2001
Gregory D. Collins
Zhong Shao

YALEU/DCS/TR1241 [.pdf] Verifiable Distributed Oblivious Transfer
Sheng Zhong
Yang Richard Yang
October 2002

YALEU/DCS/TR1242 Typed Regions
Stefan Monnier
Zhong Shao

YALEU/DCS/TR1243 [.ps] fixclock: Removing Clock Artifacts from Communication Timestamps
Raphael S. Ryger
December 2002