Research Areas
Computer Science
At Yale Computer Science, our faculty and students are at the forefront of innovation and discoveries. We conduct ground-breaking research covering a full range of areas in theory, systems, and applications.
Our department is currently in the middle of substantial growth. Data and Computer Science is listed as one of the top five Science Priorities in Yale’s recent University Science Strategy Committee Report. Yale’s School of Engineering & Applied Science is also launching a substantial initiative in Artificial Intelligence, broadly construed, that will include research in the foundations of AI, in applications and technology, and in societal and scientific impacts.
Algorithms & Complexity Theory
Bridging Theory and Innovation in Computation
Yale's research in Algorithms and Complexity Theory is characterized by its breadth and depth, advancing our understanding of the fundamental power and limits of computation while creating innovative algorithms to empower society. The department's efforts in this field are broad-ranging and dynamic, encompassing a wide array of theoretical aspects of computing.
Our researchers are making significant contributions in diverse areas such as approximation algorithms, combinatorial algorithms, and data science. The department is also at the forefront of developing distributed algorithms and exploring the theoretical underpinnings of machine learning. Additionally, our faculty are investigating the theoretical aspects of data networking and delving into the complex theories of privacy, security, and accountability in computational systems.
A hallmark of Yale's approach to theoretical computer science is its interdisciplinary nature. Members of the theory group regularly collaborate with colleagues across various areas of Computer Science, including artificial intelligence, databases, networking, and numerical analysis. This collaborative spirit also extends beyond the department, with researchers engaging in joint projects with other disciplines such as biology, engineering, law, mathematics, and data science and statistics. This cross-pollination of ideas not only enriches the theoretical work but also ensures its relevance and applicability to real-world challenges, bridging the gap between abstract concepts and practical solutions.
Associated Faculty
James Aspnes
Harold W. Cheel Professor of Computer Science
Yang Cai
Associate Professor of Computer Science
Joan Feigenbaum
Grace Murray Hopper Professor of Computer Science
Michael Fischer
Professor of Computer Science
Anna C. Gilbert
John C. Malone Professor of Electrical & Computer Engineering
Daniel Spielman
Sterling Professor of Computer Science
Nisheeth Vishnoi
A. Bartlett Giamatti Professor of Computer Science
Andre Wibisono
Assistant Professor of Computer Science
Manolis Zampetakis
Assistant Professor of Computer Science
Artificial Intelligence & Machine Learning
Advancing AI for a Better Future
Yale's computer science department conducts innovative research in Artificial Intelligence and Machine Learning across multiple domains. Our researchers are advancing computer vision, robotics, and depth perception, developing systems that can learn and adapt to new environments without human intervention. This work includes creating robust perception systems for autonomous navigation and manipulation, as well as designing approaches for learning from multiple data modalities. The department is also making significant contributions to the theoretical aspects of AI, exploring multi-agent machine learning, equilibrium computation, and the interface between AI and economics.
Researchers are developing novel machine learning techniques for extracting patterns from scientific data, particularly in biomedical applications. These approaches span applied math, deep learning, data geometry, topology, manifold learning, and graph signal processing. Our faculty are enhancing the field of graph neural networks and geometric representation learning, with applications ranging from social networks to biology. Additionally, the department is exploring the use of AI in physical simulations, knowledge graphs, and large-scale data processing for industry applications.
The department has a strong focus on human-robot interaction, developing models that can reason about individual, pairwise, and group factors in multi-party interactions. This includes creating robot behaviors that can shape and facilitate both human-robot and human-human interactions. Complementing these technical advancements, Yale researchers are actively engaged in addressing the ethical implications of AI, exploring issues such as genomic privacy, and applying AI techniques to empower underserved communities worldwide. The department also contributes to interdisciplinary research, applying computational modeling and AI to areas such as neuroscience, color perception, and social sciences.
Associated Faculty
Yang Cai
Associate Professor of Computer Science
Arman Cohan
Assistant Professor of Computer Science
Ronald Coifman
Sterling Professor of Electrical & Computer Engineering
Tesca Fitzgerald
Assistant Professor of Computer Science
Smita Krishnaswamy
Associate Professor of Computer Science
Daniel Rakita
Assistant Professor of Computer Science
Brian Scassellati
A. Bartlett Giamatti Professor of Computer Science
Daniel Spielman
Sterling Professor of Computer Science
Marynel Vázquez
Assistant Professor of Computer Science
Nisheeth Vishnoi
A. Bartlett Giamatti Professor of Computer Science
Andre Wibisono
Assistant Professor of Computer Science
Alex Wong
Assistant Professor of Computer Science
Rex (Zhitao) Ying
Assistant Professor of Computer Science
Manolis Zampetakis
Assistant Professor of Computer Science
Steven Zucker
David & Lucile Packard Professor of Biomedical Engineering & Computer Science
Computer Architecture
Designing Computing's Next Frontier
Our computer science faculty are pioneering advancements in computer architecture, designing the interface between software and hardware for systems ranging from large-scale AI and cloud services to safety-critical embedded systems and IoT devices. Researchers are developing innovative solutions for highly heterogeneous hardware architectures, offering significant performance improvements while tackling programmability challenges. Their groundbreaking contributions to virtual memory abstraction have already been integrated into commercial chips and operating systems. We are also developing ultra-low-power architectures for implantable brain-computer interfaces, aiming to treat neurological disorders and advance brain sciences.
Simultaneously, our faculty are making significant strides in quantum computing architecture. Recognizing the challenges posed by noisy and small-scale quantum systems, researchers are designing innovative techniques to improve the efficiency of quantum algorithms and software. This work involves constructing novel error-correcting protocols and developing resource-efficient, error-resilient algorithms. These diverse research efforts are laying the groundwork for next-generation processors that meet multifaceted goals including performance, power efficiency, temperature management, reliability, and accuracy. By bridging theoretical concepts with practical implementation, our researchers are shaping the future of computing systems across all scales.
Associated Faculty
Computer Graphics
Transforming How We Interpret and Design the Digital World
Research in computer graphics at Yale includes sketching, alternative design techniques, texture models, the role of models of human perception in computer graphics, recovering shape and reflectance from images, computer animation, simulation, and geometry processing. Applications that drive this work are architectural design, cultural heritage documentation and analysis, the study of biological forms, as well as traditional targets such as feature films, games, and other visual media. Computer graphics is one of the disciplines within Yale C2 (Creative Consilience of Computing and the Arts).
Computer graphics is used extensively in a wide range of domains—from feature film and games to medical visualization and financial analysis. However impressive the growth of computer graphics applications has been over the past 40 years, the goal of easily authoring computer graphics models input remains elusive. At Yale, the research in modeling includes sketching systems for early conceptual design and the capture and editing of digital models of existing physical objects at a range of scales—from entire buildings to individual objects.
Computer graphics models need to include material appearance properties as well as geometry. Unfortunately, the models widely used in computer graphics assume that the materials are both pristine and immutable, even though real materials are neither. The goal of research on material and texture models at Yale is to devise new material representations and expressive interfaces for editing such representations, to develop novel methods to simulate materials and the processes that affect their appearance, and to physically measure the input required for material models.
Realistic, expressive motion remains an ongoing challenge in computer graphics. In order to generate animations that are both visually convincing and narratively compelling, the animation research at Yale examines new methods for computing the physics that underlie natural phenomena such as rising smoke, splashing water, and the forces that form the characteristic shapes of skin and muscle under human movement. While realism is important, expressivity and artistic directability play an equally key role, and distilling the exact parameters that capture an effective performance remains an open area of research.
Associated Faculty
Computer Music
Where Code and Creativity Converge
Yale's Computer Music research represents a vibrant intersection of technology and artistry within the Computer Science Department. This interdisciplinary field combines technical innovation with creative expression, building upon a strong foundation in functional programming and music representation.
The department offers a comprehensive range of courses that cover the spectrum of computer music, from high-level music representation and algorithmic composition to low-level audio processing and sound synthesis. These offerings include explorations in live coding, musical analysis, MIDI and OSC protocols, and virtual instrument design. The curriculum also extends to creative applications of embedded systems, bridging the gap between computer science and musical creativity. SuperCollider and Python serve as the primary programming languages in these courses, providing students with powerful tools for musical experimentation and innovation.
Research in this area is broad and dynamic, encompassing open music technologies, improvisational electronic music, analog electronic instrument design, live coding, and experimental music programming techniques. More details and current work can be found at openmusicinitiative.org, which exists in the broader context of Yale C2 (Creative Consilience of Computing and the Arts).
Associated Faculty
Computer Networks
Connecting the Future
Yale's Computer Networks research focuses on improving essential network system properties such as efficiency, robustness, and programmability. The department's work spans all networking layers, addressing critical challenges in modern network infrastructures that support our increasingly connected society.
A key area of research is Application-Network Integration (ANI), where Yale plays a leading role. This work has led to the establishment of the Application-Layer Traffic Optimization (ALTO) Working Group and the ALTO Protocol, the first Internet standard supporting joint application and network interactions. Current research extends to ANI in 5G cellular networks, application-defined networking, and joint network-application programmable networking.
The department is also at the forefront of developing highly robust and flexible networking architectures, designing novel control systems based on multiple control plane composition to achieve unprecedented levels of network reliability and programmability. This research has applications in tactical networks, large cloud data centers, and mobile networks.
Additionally, Yale researchers are making significant contributions to Software-Defined Networking (SDN) and programmable networking applications, developing high-level programming languages for SDN and exploring novel applications of programmable data paths.
In the realm of mobile networks, the department is leading efforts in the virtualization of resources across the entire network stack and the development of massive MIMO technology, contributing to the transformation of mobile network infrastructures towards more flexible, efficient, and powerful systems.
Associated Faculty
Database Systems
Advancing Systems for the Digital Age
Database systems provide an environment for storage and retrieval of both structured and semi-structured data.
Such systems were originally designed for use in business-type applications. Today, however, they are being utilized in many other application domains, including scientific computing, networking, and bioinformatics. Research topics at Yale include transaction management, data warehousing, Web-scale databases, real-time systems, multimedia systems, approximate queries, and data mining.
Associated Faculty
Distributed Computing
Designing a More Connected, Scalable Future
Yale's research in Distributed Computing encompasses a wide range of topics, from theoretical foundations to practical applications, addressing the challenges of systems involving multiple loosely-coupled components. The department's work in this field is characterized by its depth and breadth, tackling issues of nondeterminism and unpredictability inherent in distributed systems. On the theoretical side, Yale researchers have made pioneering contributions to the understanding of distributed algorithms, employing adversary arguments to prove lower bounds and impossibility results. This work has significantly shaped the field's research direction. The department also emphasizes the use of randomization in solving fundamental problems in distributed computing, developing and analyzing algorithms that leverage probabilistic techniques to overcome deterministic limitations.
In the realm of applied research, Yale's efforts span programming language support for distributed computing and the application of distributed systems techniques to parallel programming. This includes the development of novel abstractions like the Atomic Distributed Object (ADO) model, which simplifies the verification of consensus protocols and their extensions. The department is at the forefront of applying formal verification technologies to build trustworthy ecosystems for modern distributed applications, including smart contracts and blockchain systems. Researchers are also working on innovative coordination languages and tools that provide virtual spaces for process communication, simplifying information management tasks and freeing users from traditional clerical duties imposed by filesystems.
Yale researchers are making significant strides in distributed cloud systems, tackling challenges related to processing, storing, and serving big data. This includes exploring innovative designs for distributed shared memory abstractions and resource management in emerging serverless and disaggregated data center architectures. The department's work also extends to transaction management techniques for distributed database systems and multidatabase systems. Through these diverse research efforts, Yale continues to contribute to the advancement of distributed computing, developing solutions that address the complex challenges of modern distributed systems and shaping the future of this critical field.
Associated Faculty
James Aspnes
Harold W. Cheel Professor of Computer Science
Michael Fischer
Professor of Computer Science
Ben Fisch
Assistant Professor of Computer Science
David Gelernter
Professor of Computer Science
Anurag Khandelwal
Assistant Professor of Computer Science
Zhong Shao
Thomas L. Kempner Professor of Computer Science
Abraham Silberschatz
Sidney J. Weinberg Professor of Computer Science
Natural Language Processing
Advancing LLMs: Evaluation, Adaptation, and Reasoning Across Domains
Our research focuses on developing robust evaluation frameworks to assess the capabilities and limitations of large language models (LLMs) in both general and specialized, high-stakes domains. We evaluate their performance in instruction-following tasks and critical fields such as science, finance, law, and healthcare, where accuracy and nuanced understanding are essential. By assessing their ability to generate factual summaries, facilitate professional decision-making, and enhance knowledge accessibility, we aim to ensure LLMs meet the demands of domain-specific applications. Example applications include generating factual summaries under specific domains for specific user needs and queries, curating professional analyses to facilitate decision-making, and enabling knowledge access with high accuracy and efficiency, etc. Additionally, we work on post-training and adaptation techniques to enhance LLM instruction-following capabilities, improving preference optimization algorithms and using LLMs for self-evaluation and supervision. We also focus on adapting LLMs to unfamiliar or out-of-domain tasks, leveraging efficient training and limited in-domain corpora to extend their real-world utility. Our efforts include developing continual pre-training methods, large-scale data synthesis, and domain-specific post-training to improve adaptability.
Beyond evaluation and adaptation, we explore mechanistic interpretability techniques to better understand how LLMs process information and make decisions. We investigate their potential to perform logical reasoning and solve mathematical problems, enhancing their ability to handle structured problem-solving. This includes building new benchmarks, designing evaluation paradigms, and training process-reward models to improve LLMs' logical reasoning. We also develop strategies for multi-document reasoning, improving retrieval systems and synthesis capabilities, as seen in MDCure, which enhances multi-document instruction tuning, and DocMath-Eval, which evaluates LLM performance in financial math reasoning. Our research extends to scientific applications, where we create specialized language models, embedding techniques, and benchmarks to enhance LLM understanding of technical knowledge. Projects such as SciRIFF support instruction-following for scientific literature, improving tasks like table extraction, cross-document summarization, and context-grounded reasoning. Through these initiatives, we aim to make LLMs more transparent, adaptable, and effective across diverse domains.
Associated Faculty
Operating Systems
Building Systems Without Boundaries
Yale researchers are addressing the evolving challenges of the ubiquitous computing era, where operating systems must manage a user's information and computation across numerous devices and platforms. The department is developing innovative operating system architectures, application environments, and security frameworks to meet these challenges across a wide spectrum of computing environments, including IoT devices, cyber-physical systems, cloud computers, and blockchain ecosystems.
A key focus of Yale's research is on next-generation operating systems for emerging heterogeneous computer systems. As Moore's Law and Dennard scaling wane, and AI continues to advance, researchers are exploring new OS abstractions and hardware/software interfaces to make complex, heterogeneous systems more programmable. This work encompasses systems that integrate various accelerators (GPUs, TPUs, neural network hardware, DSPs) and heterogeneous memory devices. Additionally, the department is investigating novel OS stack designs for serverless and disaggregated architectures, aiming to balance application performance with resource elasticity in modern data centers. Their efforts involve developing network-centric designs that place resource management and access functionality in the data center network fabric.
Yale is also at the forefront of developing formally verified operating systems for modern heterogeneous platforms. Researchers have made significant breakthroughs in constructing hacker-resistant concurrent OS kernels, developing novel methodologies for specifying, programming, verifying, and composing abstraction layers. This work has led to the creation of CertiKOS, the world's first functionally correct, general-purpose concurrent OS kernel with fine-grained locking. Furthermore, the department is examining foundational assumptions made by modern OSes in the context of mobile and edge computing. Their research extends to the use of safe languages like Rust to enforce correctness invariants at compile-time, while also investigating both incremental changes to existing OSes and clean-slate designs to enhance security and privacy in operating systems.
Associated Faculty
Abhishek Bhattacharjee
A. Bartlett Giamatti Professor of Computer Science
Anurag Khandelwal
Assistant Professor of Computer Science
Zhong Shao
Thomas L. Kempner Professor of Computer Science
Abraham Silberschatz
Sidney J. Weinberg Professor of Computer Science
Robert Soulé
Associate Professor of Computer Science
Lin Zhong
Joseph C. Tsai Professor of Computer Science
Programming Languages & Compilers
Building a Better Digital Future
Yale's research in Programming Languages and Verification is focused on creating expressive, efficient, flexible, secure, and reliable programming environments for future information, computation, and communication systems. The department approaches this challenge from multiple angles, including language design, formal methods, compiler implementation, programming environments, and run-time systems. A primary objective of this research is to enable the construction of secure, error-free programs and to develop frameworks that facilitate this goal for other developers.
One key area of research involves the development of certified system software, such as OS kernels and hypervisors. Researchers are exploring new language-based technologies to create software that comes with rigorous, machine-checkable proofs of its correctness with respect to specific requirements. This work extends to investigating optimal OS kernel structures for resilience, extensibility, and security, as well as developing new programming languages and environments suitable for implementing such low-level certified programs. The department is also advancing formal methods to support these new languages and make certified programming both practical and scalable.
Another significant focus is on software synthesis and verification, aimed at detecting and preventing software errors that cost the global economy trillions annually. This includes projects on automatically learning specifications for complex, unstructured languages, synthesizing Functional Reactive Programming programs from logical specifications, and developing modular verification engines for functional programming languages. Additionally, researchers are exploring privacy-preserving formal methods, heterogeneous computing systems, and the broader field of software ensemble research. This latter area encompasses the study of programs built out of many separate, coordinated activities, including parallel and distributed programs, and draws connections between software ensembles and naturally occurring systems in economics, biology, and physics.
Associated Faculty
Quantum Computing
Transforming Technology through Quantum Innovation
Quantum computing is entering an exciting new era. Small to medium-scale quantum computers are being built and tested; fast quantum algorithms are being discovered for problems that were previously unsolvable on conventional computers. Yale has been at the forefront of that progress, recognized for its leadership in Quantum Science. Through interdisciplinary research and pioneering innovations, our faculty are advancing the frontiers of quantum computing and quantum information science, building upon insights and lessons from classical computer science.
Our researchers are tackling the challenges of current quantum computing systems through diverse approaches. One focus area is developing innovative techniques to improve the efficiency of quantum algorithms and software by adapting to hardware architectures. This includes constructing novel error-correcting protocols to ensure robust computation and designing algorithms that are less resource-intensive and more error-resilient, addressing the limitations of today's moderate-sized and error-prone quantum computers.
Yale's quantum computing research also extends to the design of quantum algorithms that surpass classical algorithms for optimization and sampling problems, as well as developing algorithms for computational problems arising in quantum mechanics. In parallel, our researchers are leveraging expertise in wireless communication systems to design and experiment with scalable control systems for fully error-corrected, fault-tolerant quantum computers. This work involves controlling hundreds or thousands of qubits in tight synchrony with error correction, drawing parallels between quantum computing hardware and massive MIMO communication systems.
The strength of Yale's quantum computing research lies in its interdisciplinary nature. Experts from computer science, applied physics, electrical engineering, chemistry, physics, statistics & data science, mathematics, and beyond collaborate to advance the frontier of quantum computing and information processing. Quantum at Yale is a showcase of the vibrant research activities here at Yale.
Associated Faculty
Scientific Computing & Applied Math
Bridging Mathematics and Computation for Scientific Discovery
Computers have dramatically changed the practice of many disciplines including engineering, medicine, and science. The advancement has enabled the simulation and testing of thousands of designs and trials without physical prototypes, revolutionizing research practices and product development. The reliability, flexibility, efficiency, and (often attractive) costs of scientific computation have placed scientific computation as the keystone between theory and applications.
Basic research in scientific computing conducted at Yale is being applied to a wide range of applications. Currently, the emphasis is on problems originating in the biomedical sciences, ranging from high throughput genomic search engines to simulations of biological cells. Active collaborations are in place with several researchers in the Yale Biology Departments and the Yale Medical School, showcasing that high performance scientific computing is an essential component of the “genomic revolution.”
Scientific computing research at Yale emphasizes algorithm development, theoretical analysis, systems modeling, and programming considerations. Researchers are developing new, fast, and parallel methods, evaluating their convergence rates, stability, and optimality. One area of focus is the adaptation of fast serial algorithms to parallel multiprocessor environments, utilizing clusters or LANs of workstations as virtual multiprocessors.
The department's work in applied mathematics underpins these computational advances, providing essential techniques for modeling physical systems. Research spans both discrete mathematics (including discrete algorithms, combinatorics, and graph algorithms) and continuous mathematics (covering areas such as partial differential equations, numerical analysis, and geometric algorithms).
Associated Faculty
Security & Cryptography
Securing the Digital Frontier
Securing the Internet presents great challenges and research opportunities. Potential applications such as Internet voting, universally available medical records, and ubiquitous e-commerce are all being hindered because of serious security and privacy concerns. The epidemic of hacker attacks on personal computers and web sites only highlights the inherent vulnerability of the current computer and network infrastructure.
Adequately addressing security and privacy concerns requires a combination of technical, social, and legal approaches. Topics currently under active investigation in the department include mathematical modeling of security properties, implementation and application of cryptographic protocols, secure and privacy-preserving distributed algorithms, trust management, verification of security properties, and proof-carrying code. There is also interest in the legal aspects of security, privacy, and intellectual property, both within the department and in the world-famous Yale Law school, with which we cooperate.
Associated Faculty
Joan Feigenbaum
Grace Murray Hopper Professor of Computer Science
Ben Fisch
Assistant Professor of Computer Science
Michael Fischer
Professor of Computer Science
Anurag Khandelwal
Assistant Professor of Computer Science
Charalampos Papamanthou
Associate Professor of Computer Science
Ruzica Piskac
Professor of Computer Science
Zhong Shao
Thomas L. Kempner Professor of Computer Science
Societal & Humanistic Aspects of Computation
Developing Computing Technologies to Benefit Society
Today’s society comprises humans living in a complex and interconnected world that is intertwined with a variety of computing, sensing, and communicating devices. Human-generated data is being recorded at unprecedented rates and scales. Knowledge from such data can no longer be derived through simple manual algorithms and require sophisticated AI algorithms. Such powerful algorithms, which are capable of learning from large-scale human-generated data, are increasingly controlling various aspects of modern society, including social interactions (social media and search platforms, newsfeeds), economics (sharing platforms, blockchains, banking), learning, and governance (judgements, policing, voting).
While these algorithms have a tremendous potential to change our lives for the better, but, via the ability to mimic and nudge human behavior, they also have the potential to be discriminatory, reinforce societal prejudices, violate privacy, polarize opinions, and influence political processes. As a consequence, the trust in such systems–from a societal, and legal standpoint–is plummeting. Further, the lack of an understanding of how humans generate data and how these algorithms extract knowledge from it, or how they influence human behavior, has become a major bottleneck in designing mechanisms to regulate modern society.
A key area of study is the development of context-aware decision-making methods. This work aims to mitigate explicit and implicit biases, control polarization, improve diversity, and ensure privacy in algorithmic systems. Researchers are exploring the foundations of these issues and designing new approaches that can enhance the trustworthiness and fairness of computational systems that impact society.
The work in this field is inherently interdisciplinary, bridging computer science with political science, law, sociology, economics, psychology and beyond. By studying how humans generate data, how algorithms extract knowledge from it, and how these systems influence human behavior, Yale researchers are contributing to the critical task of designing mechanisms to regulate and improve the integration of advanced computational systems in modern society.
Associated Faculty
Jump to Section
- Algorithms & Complexity Theory
- Artificial Intelligence & Machine Learning
- Computer Architecture
- Computer Graphics
- Computer Music
- Computer Networks
- Database Systems
- Distributed Computing
- Natural Language Processing
- Operating Systems
- Programming Languages & Compilers
- Quantum Computing
- Social Robotics
- Scientific Computing & Applied Math
- Security & Cryptography
- Societal & Humanistic Aspects of Computation
Technical Reports
The links below are to technical/research reports for each year listed up to 2010. 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.
2024-2020
YALEU/DCS/TR1567 [.pdf] Single Pass Client Preprocessing Private Information Retrieval
A. Lazzaretti
C. Papamanthou
February 2024
YALEU/DCS/TR1568 AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honore
Longfei Qiu
Yoonseung Kim
Ji-Yong Shin
Jieung Kim
Zhong Shao
March 2024
YALEU/DCS/TR1569 LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Longfei Qiu
Yoonseung Kim
Ji-Yong Shin
Jieung Kim
Wolf Honore
Zhong Shao
April 2024
YALEU/DCS/TR1570 Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale
Zhongye Wang
Yixuan Chen
Peixin You
Zhong Shao
August 2024
YALEU/DCS/TR1571 [.pdf] A high-order procedure for computing globally optimal Wannier functions in one-dimensional crystalline insulators
Abinand Gopal
Hanwen Zhang
September 19, 2024
YALEU/DCS/TR1572 [.pdf] Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra
Yu Zhang
Jeremie Koenig
Zhong Shao
Yuting Wang
November 2024
YALEU/TR1560 Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honore
Ji-Yong Shin
Jieung Kim
Zhong Shao
March 2022
YALEU/TR1561 forthcoming
YALEU/TR1562 [.pdf] Equispaced Fourier representations enable fast iterative Gaussian process regression
Alex Barnett
Philip Greengard
Manas Rachh
YALEU/TR1563 [.pdf] A fast procedure for the construction of quadrature formulas for bandlimited functions
A. Gopal
V. Rokhlin
July 27, 2022
YALEU/TR1564/ A Compositional Theory of Linearizability
Arthur Oliveira Vale
Zhong Shao
Yixuan Chen
YALEU/DCS/TR1556 [.pdf] CompCertO: Compiling Certified Open C Components
Jeremie Koenig
Zhong Shao
April 2021
YALEU/DCS/TR1557 [.pdf] Much ADO About Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honore
Jieung Kim
Ji-Yong Shin
Zhong Shao
September 2021
YALEU/DCS/TR1558 [.pdf] Invited Paper: Privacy-Preserving Data Sharing for Medical Research
Michael J. Fischer
Jonathan E. Hochman
Daniel Boffa
September 2021
YALEU/DCS/TR1559 [.pdf] Layered and Object-Based Game Semantics
Arthur Oliveira Vale
Paul-Andre Mellies
Zhong Shao
Jeremie Koenig
Leo Stefanesco
YALEU/DCS/TR1551 [.pdf] On the discretization of Laplace’s equation with Neumann boundary conditions on polygonal domains
Jeremy Hoskins
Manas Rachh
January 8, 2020
YALEU/DCS/TR1552 [.pdf] Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
Shenshen Chen
Geng Li
Kerim Gokarslan
Bin Li
Qiao Xiang
Haitao Yu
Franck Le
Richard Yang
Ying Zhang
February 7, 2020
YALEU/DCS/TR1553 Compositional Atomic Specifications for Distributed System Verification
Wolf Honore
Jieung Kim
Ji-Yong Shin
Zhong Shao
YALEU/DCS/TR1554 [.pdf] PRShare: A Framework for Privacy-Preserving, Interorganizational Data Sharing
Lihi Idan
Joan Feigenbaum
September 2020
YALEU/DCS/TR1555 Refinement-Based Game Semantics for Certified Components
Jérémie Koenig
2019-2010
YALEU/DCS/TR1545 [.pdf] A fast adaptive algorithm for two-dimensional scattering from a radially-symmetric potential
Jeremy Hoskins
Vladimir Rokhlin
February 13, 2019
YALEU/DCS/TR1546 [.pdf] On the inverse scattering problem for radially-symmetric domains in two dimensions
Jeremy Hoskiins
Vladimir Rokhlin
February 13, 2019
YALEU/DCS/TR1547 [.pdf] On generalized prolate spheroidal functions
Philip Greengard
April 24, 2019
YALEU/DCS/TR1548 [.pdf] Update Algebra: Toward Continuous, Non-Blocking Composition of Network Updates in SDN
Geng Li
Y. Richard Yang
Franck Le
Yeon-sup Lim
Junqi Wang
Sanat Khurana
May 2019
YALEU/DCS/TR1549 Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation
Mengqi Liu
Lionel Rieg
Zhong Shao
Ronghui Gu
David Costanzo
Jung-Eun Kim
Man-Ki Yoon
YALEU/DCS/TR1550 [.pdf] On the solution of Laplace’s equation in the vicinity of triple-junctions
Jeremy Hoskins
Manas Rachh
July 29, 2019
YALEU/DCS/TR1539 [.pdf] Zernike Polynominals: Evaluation, Quadrature, and Interpolation
Philip Greengard
Kirill Serkh
February 20, 2018
YALEU/DCS/TR1540 [.pdf] On the Solution of Elliptic Partial Differential Equations on Regions with Corners III: Curved Boundaries
Kirill Serkh
March 23, 2018
YALEU/DCS/TR1541 [.pdf] A Note of the Use of the Spectra of Multiplication Operators as a Numerical Tool
Kirill Serkh
March 23, 2018
YALEU/DCS/TR1542 [.pdf] On generalized prolate spheroidal functions
Philip Greengard
Kirill Serkh
April 16, 2018
YALEU/DCS/TR1543 [.pdf] On the Numerical Solution of Transmission Problems for the Laplace equation on Polygonal Domains
Jeremy Hoskins
June 15, 2018
YALEU/DCS/TR1544 [.pdf] Write-Once-Registers: A Modular Foundation for Simple, Verifiable Distributed Systems
Ji-Yong Shin
Jieung Kim
Wolf Honore
Hernan Vanzetto
Srihari Radhakrishnan
Mahesh Balakrishnan
Zhong Shao
December 18, 2018
YALEU/DCS/TR1532 [.pdf] Localized Quantitative Criteria for Equidistribution
Stefan Steinerberger
January 24, 2017
YALEU/DCS/TR1533 [.pdf] Topological Bounds for Fourier Coefficients and Applications to Torsion
Stefan Steinerberger
May 5, 2017
YALEU/DCS/TR1534 [.pdf] An Algorithm for the Evaluation of the Incomplete Gamma Function
P. Greengard
V. Rokhliin
June 20, 2017
YALEU/DCS/TR1535 Safety and Liveness of MCS Lock—Layer by Layer (long version)
Jieung Kim
Vilhelm Sjöberg
Ronghui Gu
Zhong Shao
YALEU/DCS/TR1536 [.pdf] On the solution of Stokes equation on regions with corners
M. Rachh
K. Serkh
December 20, 2017
YALEU/DCS/TR1537
YALEU/DCS/TR1538 [.pdf] On the Numerical Solution of Elliptic Partial Differential Equations on Polygonal Domains
Jeremy Hoskins
Vladimir Rokhlin
Kirill Serkh
December 19, 2017
YALEU/DCS/TR1520 [.pdf] Fast Escape in Incompressible Vector Fields
Stefan Steinerberger
March 11, 2016
YALEU/DCS/TR1521 [.pdf] Games Programs Play: Analyzing Multiplayer Programs
Eric Koskinen
Hiroshi Unno
Moshe Vardi
YALEU/DCS/TR1522 End-to-End Verification of Information-Flow Security For C and Assembly Programs
David Costanzo
Zhong Shao
Ronghui Gu
April 2016
YALEU/DCS/TR1523 [.pdf] On the Solution of Elliptic Partial Differential Equations on Regions with Corners
Kirill Serkh
April 23, 2016
YALEU/DCS/TR1524 [.pdf] On the solution of the Helmholtz equation on regions with corners
Kirill Serkh
Vladimir Rokhlin
May 11, 2016
YALEU/DCS/TR1525 [.pdf] Automatic Single Page-Based Algorithms For Medieval Manuscript Analysis
Ying Yang
Ruggero Pintus
Enrico Gobbetti
Holly Rushmeier
June 2016
YALEU/DCS/TR1526 [.pdf] Open, privacy-preserving protocols for lawful surveillance
Aaron Segal
Joan Feigenbaum
Bryan Ford
YALEU/DCS/TR1527 [.pdf] A Population Protocol for Binary Signaling Consensus
Dana Angluin
James Aspnes
Dongqu Chen
August 2016
YALEU/DCS/TR1528 [.pdf] The class DBW $\cap$ DCW of $\omega$-languages is identifiable in the limit from positive data and membership queries with polynomial time and data
Dana Angluin
August 2016
YALEU/DCS/TR1529 [.pdf] Vertical Composition of Reversible Atomic Objects
Timos Antonopoulos
Paul Gazzillo
Eric Koskinen
Zhong Shao
September 2016
YALEU/DCS/TR1530 Certified Concurrent Abstraction Layers
Ronghui Gu
Zhong Shao
Xiongnan (Newman) Wu
Jieung Kim
Jeremie Koenig
Tahina Ramananandro
Vilhelm Sjoberg
Hao Chen
David Costanzo
YALEU/DCS/TR1531 [.pdf] An Amusing Sequence of Functions
Stefan Steinerberger
October 13, 2016
YALEU/DCS/TR1503 [.pdf] On decoding of digital data sent over a noisy MIMO channel
Andrei Osipov
January 6, 2015
YALEU/DCS/TR1504 [.pdf] Towards Automatic Generation of Multi-table Datapath from Datapath-Oblivious Algorithmic SDN Policies
Andreas Voellmy
Richard Yang
Xiao Shi
January 30, 2015
YALEU/DCS/TR1505 Compositional Certified Resource Bounds
Quentin Carbonneaux
Jan Hoffmann
Zhong Shao
April 2015
YALEU/DCS/TR1506 [.pdf] Common Variable Discovery and Invariant Representation Learning using Artificial Neural Networks
Uri Shaham
Roy R. Lederman
YALEU/DCS/TR1507 [.pdf] On the Analytical Numerical Properties of the Truncated Laplace Transform II
Roy R. Lederman
Vladimir Rokhlin
May 29, 2015
YALEU/DCS/TR1508 [.pdf] A hidden signal in the Ulam sequence
Stefan Steinerberger
May 4, 2015
YALEU/DCS/TR1509 [.pdf] On the Discrepancy of Jittered Sampling
Florian Pausinger
Stefan Steinerberger
May 19, 2015
YALEU/DCS/TR1510 [.pdf] Private Eyes: Secure Remote Biometric Authentication
Ewa Syta
Michael J. Fischer
David Wolinsky
Abraham Silberschatz
Gina Gallegos-Garcia
Bryan Ford
March 2015
YALEU/DCS/TR1511 [.pdf] Learning a Random DFA from Uniform Strings and State Information
Dana Angluin
Dongqu Chen
YALEU/DCS/TR1512 [.pdf] Spectral Deferred Corrections for Parabolic Partial Differential Equations
Daniel Beylkin
June 8, 2015
YALEU/DCS/TR1513 [.pdf] Provable approximation properties for deep neural networks
Uri Shaham
Alexander Cloninger
Ronald R. Coifman
YALEU/DCS/TR1514 [.pdf] On the solution of elliptic partial differential equations on regions with corners
Kirill Serkh
Vladimir Rokhlin
YALEU/DCS/TR1515 Routing State Abstraction Based on Declarative Equivalence
Kai Gao
X. Tony Wang
Jun Bi
G. Robert Chen
Andreas Voellmy
Y. Richard Yang
YALEU/DCS/TR1516 [.pdf] Nonlinear Phase Unwinding of Functions
Ronald R. Coifman
Stefan Steinerberger
August 5, 2015
YALEU/DCS/TR1517 [.pdf] Similarity Detection via Random Subsets for Cyber War Protection in Big-Data using Hadoop Framework
Dafna Ackerman
Amir Averbuch
Avi Silberschatz
Moshe Salhov
July 10, 2015
YALEU/DCS/TR1518 [.pdf] Learning Random Regular Graphs
Dongqu Chen
September 2015
YALEU/DCS/TR1519 [.pdf] On generalized prolate spheroidal functions
Kirill Serkh
December 14, 2015
YALEU/DCS/TR1486 [.pdf] Deniable Anonymous Group Authentication
Ewa Syta
Benjamin Peterson
David Isaac Wolinsky
Michael Fischer
Bryan Ford
February 2014
YALEU/DCS/TR1487 End-to-End Verification of Stack-Space Bounds for C Programs
Quentin Carbonneaux
Jan Hoffmann
Tahina Ramananandro
Zhong Shao
March 2014
YALEU/DCS/TR1488 [.pdf] Scheduling Heuristics for Lazy Database Systems
Daniel Tahara
May 2014
YALEU/DCS/TR1489 Athena: Automatic Text Height Extraction For the Analysis of Text Lines in Old Handwritten Manuscripts
Ruggero Pintus
Ying Yang
Holly Rushmeier
May 2014
YALEU/DCS/TR1490 [.pdf] On the Analytical and Numerical Properties of the Truncated Laplace Transform
Roy R. Lederman
May 2014
YALEU/DCS/TR1491 [.pdf] Manifold Learning for Latent Variable Inference in Dynamical Systems
Ronen Talmon
Stéphane Mallat
Hitten Zaveri
Ronald R. Coifman
June 10, 2014
YALEU/DCS/TR1492 [.pdf] On the asymptotics of Bessel functions in the Fresnel regime
Z. Heitman
J. Bremer
V. Rokhlin
B. Vioreanu
July 10, 2014
YALEU/DCS/TR1493 [.pdf] On the existence of non-oscillatory phase functions for second order ordinary differential equations in the high-frequency regime
Z. Heitman
J. Bremer
V. Rokhlin
August 4, 2014
YALEU/DCS/TR1494 A Compositional Semantics for Verified Separate Compilation and Linking
Tahina Ramananandro
Zhong Shao
Shuchun Weng
Jeremie Koenig
YALEU/DCS/TR1495 [.pdf] Small coordinates of eigenvectors of certain symmetric tridiagonal matrices: numerical evaluation and error analysis
Andrei Osipov
August 25, 2014
YALEU/DCS/TR1496 [.pdf] On the Analytical and Numerical Properties of the Truncated Laplace Transform I
Roy R. Lederman
Vladimir Rokhlin
September 5, 2014
YALEU/DCS/TR1497 [.pdf] Common Manifold Learning Using Alternating-Diffusion
Roy R. Lederman
Ronen Talmon
September 15, 2014
YALEU/DCS/TR1498 [.pdf] Analysis of Optimizations of Angluin’s $L^*$ Learning Algorithm
David Beam
YALEU/DCS/TR1499 [.pdf] Lipschitz norms, mixed Lipschitz norms and their duals on spaces with semigroups, with applications to Earth Mover’s Distance
William Leeb
Ronald Coifman
September 30, 2014
YALEU/DCS/TR1500 Deep Specifications and Certified Abstraction Layers
Ronghui Gu
Jérémie Koenig
Tahina Ramananandro
Zhong Shao
Xiongnan (Newman) Wu
Shu-Chun Weng
Haozhong Zhang
Yu Guo
October 2014
YALEU/DCS/TR1501 [.pdf] A note on approximating snowflake metrics by trees
William Leeb
November 20, 2014
YALEU/DCS/TR1502 [.pdf] The mixed Lipschitz space and its dual for tree metrics
William Leeb
November 21, 2014
YALEU/DCS/TR1471 [.pdf] On the evaluation of prolate spheroidal wave functions and associated quadrature rules
Andrei Osipov
Vladimir Rokhlin
January 8, 2013
YALEU/DCS/TR1472 [.pdf] Security Analysis of Accountable Anonymity in Dissent
Ewa Syta
Aaron Johnson
Henry Corrigan-Gibbs
Shu-Chun Weng
David Wolinsky
Bryan Ford
January 31, 2013
Revised June 5, 2014
YALEU/DCS/TR1473 [.pdf] A Note about the Resolution-Length Characteristics of DNA
Roy Lederman
April 2, 2013
YALEU/DCS/TR1474 [.pdf] A permutations-based algorithm for fast alignment of long paired-end reads
Roy Lederman
April 10, 2013
YALEU/DCS/TR1475 [.pdf] Oblivious periodic traversal of anonymous, undirected graphs with advice and adversarial port numbers
John Maheswaran
April 2013
YALEU/DCS/TR1476 Quantitative Reasoning for Proving Lock-Freedom
Jan Hoffmann
Michael Marmar
Zhong Shao
YALEU/DCS/TR1477 [.pdf] Using the Long Range “Independence” in DNA: Coupled-Seeds and Pre-Alignment Filters
Roy Lederman
August 7, 2013
YALEU/DCS/TR1478 [.pdf] Proactively Accountable Anonymous Messaging in Verdict
Henry Corrigan-Gibbs
David Isssac Wolinsky
Bryan Ford
June 2013
YALEU/DCS/TR1479 [.pdf] Auditing the structural reliability of the clouds
Ennan Zhai
David Isaac Wonlinsky
Hongda Xiao
Hongqiang Liu
Xueyuan Su
Bryan Ford
July 2013
YALEU/DCS/TR1480 [.pdf] Fitting a Bandlimited Curve to Points in a Plane
Daniel Beylkin
Vladimir Rokhlin
YALEU/DCS/TR1481 [.pdf] Earth Mover’s Distance and Equivalent Metrics for Spaces with Semigroups
R.R. Coifman
W.E. Leeb
July 22, 2013
YALEU/DCS/TR1482 [.pdf] Earth Mover’s Distance and Equivalent Metrics for Spaces with Hierarchical Partition Trees
R.R. Coifman
W.E. Leeb
July 22, 2013
YALEU/DCS/TR1483 Creating Texture Exemplars from Unconstrained Images
Yitzchak David Lockerman
Su Xue
Julie Dorsey
Holly Rushmeier
October 2013
YALEU/DCS/TR1484 Crypto-Book in Action: Bootstrapping Privacy Preserving Online Identities from Social Networks
John Maheswaran
David Isaac Wolinsky
Bryan Ford
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
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
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 [.pdf] Scaling Software-Defined Network Controllers on Multicore Servers
Andreas Voellmy
Bryan Ford
Paul Hudak
Y. Richard Yang
July 2012
YALEU/DCS/TR1469 [.pdf] 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
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 Defining “Anonymity” in Networked Communication, version 1
Joan Feigenbaum
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
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
2009-2000
YALEU/DCS/TR1413 Causal Commutative Arrows (supported by NSF grant CSR-EHS/CPS 0720682)
Paul Liu
Paul Hudak
February 2009
YALEU/DCS/TR1414 [.pdf] Dynamics of Mental Activity
Willard L.Miranker
Gregg J. Zuckerman
January 2009
YALEU/DCS/TR1415 [.pdf] Psychic Waves
Willard L. Miranker
YALEU/DCS/TR1416 [.pdf] Neural Networks
Willard L. Miranker
YALEU/DCS/TR1417 [.pdf] A Psychophysical Study of Dominant Texture Detection
Jianye Lu
Alexandra Garr-Schultz
Julie Dorsey
Holly Rushmeier
June 2009
YALEU/DCS/TR1418 [.pdf] An adaptive fast direct solver for boundary integral equations in two dimensions
W.Y. Kong
J. Bremer
V. Rokhlin
August 2009
YALEU/DCS/TR1419 [.pdf] A Renormalization Group Theory for the Mind
Willard Miranker
October 2009
YALEU/DCS/TR1420 [.pdf] Universal quadratures for boundary integral equations on two-dimensional domains with corners
J. Bremer
V. Rokhlin
I. Sammis
November 2009
YALEU/DCS/TR1421 [.pdf] Lower Bounds on Learning Random Structures with Statistical Queries
Dana Angluin
David Eisenstat
Leonid (Aryeh) Kontorovich
Lev Reyzin
December 2009
YALEU/DCS/TR1422 Parametrized Memory Model and Concurrency Separation Logic
Rodrigo Ferreira
Xinyu Feng
Zhong Shao
December 2009
YALEU/DCS/TR1391 [.pdf] The Sentinal Algorithm: Distributed Dynamic Coverage
John Corwin
Ana Cerejo
Diego Montenegro
January 2008
YALEU/DCS/TR1392 Entrywise Bounds for Eigenvectors of Random Graphs
Pradipta Mitra
January 2008
YALEU/DCS/TR1393 [.pdf] Memes and their Themata
Willard L. Miranker
February 2008
YALEU/DCS/TR1394
YALEU/DCS/TR1395 [.pdf] On the Inverse Scattering Problem in the Acoustic Environment
R. Duan
V. Rokhlin
March 2008
YALEU/DCS/TR1396 Certifying Low-Level Programs With Hardware Interrupts and Preemptive Threads
Xinyu Feng
Zhong Shao
Yuan Dong
Yu Guo
March 2008
YALEU/DCS/TR1397 An Open Framework for Certified System Software
Xinyu Feng
December 2007
YALEU/DCS/TR1398 Local Reasoning and Information Hiding in SCAP
Xinyu Feng
Zhong Shao
February 2008
YALEU/DCS/TR1399 [.pdf] [.ps] An Algorithm for the Rapid Evaluation of Special Function Transforms
Michael O’Neil
Franco Woolfe
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1400
Richard Yang
YALEU/DCS/TR1401 [.pdf] High-Order Quadratures for the Solution of Scattering Problem in Two Dimensions
Ran Duan
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1402 [.pdf] [.ps] The Mailman Algorithm: a Note on Matrix Vector Multiplication
Edo Liberty
Steven Zucker
April 2008
YALEU/DCS/TR1403 [.pdf] [.ps] A Fast Randomized Algorithm for Overdetermined Linear Least-Squares Regression
Vladimir Rokhlin
Mark Tygert
April 2008
YALEU/DCS/TR1404 [.pdf] Neural Network Applications
Willard Miranker
April 2008
YALEU/DCS/TR1405 Look Ma, No Arrows – A Functional Reactive Real-Time Sound Synthesis Framework
Paul Hudak
July 2008
YALEU/DCS/TR1406 [.pdf] A Nonlinear Optimization Procedure for Generalized Gaussian Quadratures
James Bremer
Zydrunas Gimbutas
Vladimir Rokhlin
June 2008
YALEU/DCS/TR1407 [.pdf] [.ps] Learning Meaning Before Syntax
Dana Angluin
Leonor Becerra-Bonache
July 2008
YALEU/DCS/TR1408 Yampa Meets the Worm
Paul Hudak
Paul Liu
Michael Stern
Ashish Agarwal
July 2008
YALEU/DCS/TR1409 [.pdf] Querying RDF Data Stored in DBMS: SPARQL to SQL Conversion
Kamil Bajda-Pawlikowski
August 2008
YALEU/DCS/TR1410 [.pdf] Descent Minimization on A Quantum Computer
Willard L. Miranker
July 2008
YALEU/DCS/TR1411 [.pdf] Memes and their Themata
Willard L. Miranker
October 2008
YALEU/DCS/TR1412 [.pdf] Correlation Clustering Revisited: The “True” Cost of Error Minimization Problems
Nir Ailon
Edo Liberty
YALEU/DCS/TR1377
Haiyong Xie
Arvind Krishnamurthy
Yang Richard Yang
Avi Silberschatz
March 2007
YALEU/DCS/TR1378 A General Framework for Certifying Garbage Collectors and Their Mutators (extended version)
Andrew McCreight
Zhong Shao
Chunxiao Lin
March 2007
YALEU/DCS/TR1379 Certified Self-Modifying Code
Hongxu Cai
Zhong Shao
Alexander Vaynberg
March 2007
YALEU/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
YALEU/DCS/TR1381 [.pdf] [.ps] Fast Algorithms for Spherical Harmonic Expansions, II
Mark Tygert
May 2007
YALEU/DCS/TR1382 [.pdf] [.ps] A New Class of Highly Accurate Solvers for Ordinary Differential Equations
Andreas Glaser
Vladimir Rokhlin
June 2007
YALEU/DCS/TR1383 [.pdf] Mathematical Foundations of Consciousness
Willard L. Miranker
Gregg J. Zuckerman
July 2007
YALEU/DCS/TR1384 [.pdf] [.ps] A New Class of Analysis-Based Fast Transforms
Michael O’Neil
Vladimir Rokhlin
August 2007
YALEU/DCS/TR1385 [.pdf] Fast Dimension Reduction Using Rademacher Series on Dual BCH Codes
Nir Ailon
Edo Liberty
July 2007
YALEU/DCS/TR1386 [.pdf] [.ps] A Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
July 2007
YALEU/DCS/TR1387 NOT ASSIGNED
YALEU/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
YALEU/DCS/TR1389 [.pdf] Cryo-EM Structure Determination Through Eigen Vectors of Sparse Matrices
Ronald Coifman
Yoel Shkolnisky
F.J. Sigworth
A. Singer
November 2007
YALEU/DCS/TR1390 [.pdf] [.ps] Fast Random Projections using Lean Walsh Transforms
Edo Liberty
Nir Ailon
Amit Singer
December 2007
YALEU/DCS/TR1346 Multilevel Compression of Linear Operators
Mark Tygert
March 2006
YALEU/DCS/TR1347 [.pdf] A Fast Direct Solver for Scattering Problems Involving Elongated Structures
Per Gunnar Martinsson
Vladimir Rokhlin
March 2006
YALEU/DCS/TR1348 Not Available
YALEU/DCS/TR1349 [.pdf] Lower Bounds on the VC Dimension of Unions of Concept Classes
Lev Reyzin
April 2006
YALEU/DCS/TR1350 not assigned
YALEU/DCS/TR1351 [.pdf] Analogues for Bessel Functions of the Christoffel-Darboux Identity
Mark Tygert
March 2006
YALEU/DCS/TR1352 [.pdf] [.ps] A Randomized Algorithm for the Approximation of Linear Operators
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
April 2006
YALEU/DCS/TR1353 [.pdf] An Accelerated Kernel-Independent Fast Multipole Method in One Dimension
Per-Gunnar Martinsson
Vladimir Rokhlin
April 2006
YALEU/DCS/TR1354 [.pdf] Spectral Clustering by Recursive Partitioning
Anirban Dasgupta
John Hopcroft
Ravi Kannan
Pradipta Mitra
April 2006
YALEU/DCS/TR1355 [.pdf] A Temporal-Logic Approach to Programming with Dependent Types and Higher-Order Encodings
Adam Poswolsky
Carsten Schuermann
April 2006
YALEU/DCS/TR1356 [.pdf] Hydra: A Functional Hybrid Modeling Language
Hai Liu
May 2006
YALEU/DCS/TR1357 [.pdf] Neural Network Applications
Willard L. Miranker
April 2006
YALEU/DCS/TR1358 [.pdf] Fast Computation by Population Protocols With a Leader
Dana Angluin
James Aspnes
David Eisenstat
May 2006
YALEU/DCS/TR1359 Greedy Basis Pursuit
Patrick S. Huggins
Steven W. Zucker
June 2006
YALEU/DCS/TR1360 [.pdf] The VC Dimension of k-fold Union
David Eisenstat
Dana Angluin
June 2006
YALEU/DCS/TR1361 [.pdf] [.ps] A Randomized Algorithm for the Approximation of Matrices
Per Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
June 2006
YALEU/DCS/TR1362 On the Representation of Logical Relations
Carsten Schuermann
Jeffrey Sarnat
July 2006
YALEU/DCS/TR1363 [.pdf] Path-Independent Load Balancing With Unreliable Machines
James Aspnes
Richard Yang
Yitong Yin
July 2006
YALEU/DCS/TR1364 [.pdf] A Temporal-Logic Approach to Functional Calculi for Dependent Types and Higher-Order Encodings
Adam Poswolsky
July 2006
YALEU/DCS/TR1365 A General Framework for Adaptive Regularization Based on Diffusion Processes On Graphs
Arthur Szlam
Mauro Maggioni
Ronald R. Coifman
July 2006
YALEU/DCS/TR1366 Traffic Engineering in MPLS and VPN Networks
Zheng Ma
Hao Wang
Richard Yang
Arvind Krishnamurthy
Avi Silberschatz
July 2006
YALEU/DCS/TR1367 [.pdf] A Fast Algorithm for the Calculation of the Roots of Special Functions
Andreas Glaser
Xiangotao Liu
Vladimir Rokhlin
August 2006
YALEU/DCS/TR1368 [.pdf] A Model of Onion Routing With Provable Anonymity
Aaron Johnson
August 2006
YALEU/DCS/TR1369 [.pdf] Modeling Awareness in a Bacterial Colony
Vladimir Barash
Willard Miranker
September 2006
YALEU/DCS/TR1370 [.pdf] Self-Stabilizing Leader Election in Networks of Finite-State Anonymous Agents
Michael Fischer
Hong Jiang
October 2006
YALEU/DCS/TR1371 Using Quasi-Randomness to Model Partitioning Problems in Sparse Graphs and Matrices
Pradipta Mitra
November 2006
YALEU/DCS/TR1372
Yinghua Wu
James Aspnes
November 2006
YALEU/DCS/TR1373 An Open Framework for Foundational Proof-Carrying Code
Xinyu Feng
Zhaozhong Ni
Zhong Shao
Yu Guo
November 2006
YALEU/DCS/TR1374 [.pdf] On the Relationship Between Concurrent Separation Logic Assume-Guarantee Reasoning
Xinyu Feng
Rodrigo Ferreira
Zhong Shao
YALEU/DCS/TR1375 Extended Report on Delphin: A Functional Programming Language with Higher-Order Encodings and Dependent Types
Adam Poswolsky
YALEU/DCS/TR1376 [.pdf] Neural Network Theory and Applications
Willliard L. Miranker
December 2006
YALEU/DCS/TR1314 [.pdf] [.ps] Robustness of Path-Vector Protocols without Independent Route Ranking
Aaron D. Jaggard
Vijay Ramachandran
February 2005
YALEU/DCS/TR1315 [.pdf] Neural Net Applications ‘04
Willard L. Miranker
February 2005
YALEU/DCS/TR1316 [.pdf] On Stable Route Selection for Interdomain Traffic Engineering
Hao Wang
Haiyong Xie
Yang Richard Yang
Li Li
Yanbin Liu
Avi Silberschatz
February 2005
YALEU/DCS/TR1317 [.pdf] [.ps] On Interpolation and Integration in Finite-Dimensional Spaces of Bounded Functions
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
February 2005
YALEU/DCS/TR1318 [.pdf] Learning-Based Anomaly Detection in BGP Updates
Jian Zhang
Jennifer Rexford
Joan Feigenbaum
April 2005
YALEU/DCS/TR1319 On the Nystrom Method for Approximating a Gram Matrix for Improved Kernal-Based Learning
P. Drineas
M.W. Mahoney
April 2005
YALEU/DCS/TR1320 Diffusion Maps: A Unified Framework for Dimension Reduction, Data Partitioning and Graph Subsampling
Stephane Lafon
Ann B. Lee
March 2005
YALEU/DCS/TR1321 [.pdf] Global Minimization on a Quantum Computer
Willard Miranker
May 2005
YALEU/DCS/TR1322 [.pdf] Apoptosis, Neurogenesis, and Information Content in Hebbian Networks
Christopher Crick
Willard Miranker
May 2005
YALEU/DCS/TR1323 Approximate Formulae for Certain Prolate Wave Functions Valid for Large Values of Both Order and Band Limit
Vladimir Rokhlin
Hong Xiao
May 2005
YALEU/DCS/TR1324 [.pdf] Contour-Based Binocular Stereo: Inferring Coherence in Stereo Tangent Space
Gang Li
Steven Zucker
May 2005
YALEU/DCS/TR1325 [.pdf] [.ps] Distributed Block Ciphers: Sharing the Luby-Rackoff Construction
Yevgeniy Dodis
Aleksandr Yampolskiy
May 2005
YALEU/DCS/TR1326 [.pdf] [.ps] Spreading Alerts Quietly and the Subgroup Escape Problem
James Aspnes
Zoe Diamadi
Kristian Gjosteen
Rene Peralta
Aleksandr Yampolskiy
June 2005
YALEU/DCS/TR1327 Randomized Algorithms for a Sensor-Based Generalization of the SVD
Petros Drineas
M.W. Mahoney
June 2005
YALEU/DCS/TR1328 [.pdf] Posters Presented at the Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Rida Bazzi
James Aspnes
June 2005
YALEU/DCS/TR1329 [.pdf] Observing and Transferring Material Histories
A.S. Georghiades
J. Lu
C. Xu
J. Dorsey
H. Rushmeier
June 2005
YALEU/DCS/TR1330 [.pdf] Stereo for Slanted Surfaces: First Order Disparities and Normal Consistency
Gang Li
Steven Zucker
June 2005
YALEU/DCS/TR1331 Interdomain Routing as Social Choice: A New Perspective
Ronny R. Dakdouk
Hao Wang
Haiyong Xie
Yang Richard Yang
July 2005
YALEU/DCS/TR1332 [.pdf] [.ps] Exposing Computationally-Challenged Byzantine Imposters
James Aspnes
Collin Jackson
Arvind Krishnamurthy
July 2005
YALEU/DCS/TR1333 [.pdf] Java Implementation of a Single-Database Computationally Symmetric Private Information Retrieval (CSRIR) Protocol
Felipe Saint-Jean
August 2005
YALEU/DCS/TR1334 Lightweight Types For Machine Level Objects
Andrew McCreight
August 2005
YALEU/DCS/TR1335 Multiscale Analysis of Data Sets with Diffusion Wavelets
Ronald R. Coifman
Mauro Maggioni
September 2005
YALEU/DCS/TR1336 Modular Verification of Assembly Code with Stack-Based Control Abstractions
Xinyu Feng
Zhong Shao
Alexander Vaynberg
Sen Xiang
Zhaozhong Ni
November 2005
YALEU/DCS/TR1337 Pass-Efficient Algorithms for Facility Location
Kevin L. Chang
November 2005
YALEU/DCS/TR1338 [.pdf] A Verifiable SSA Program Representation for Aggressive Compiler Optimization
Vijay Menon
Neal Glew
Brian Murphy
Andrew McCreight
Tatiana Shpeisman
Ali-Reza Adl-Tabatabai
Leaf Petersen
November 2005
YALEU/DCS/TR1339 [.pdf] [.ps] Fast Algorithms for the Solution of Eigenfunction Problems for One-Dimensional Self-Adjoint Linear Differential Operators
Mark Tygert
November 2005
YALEU/DCS/TR1340 [.pdf] Special Clustering with Limited Independence
Anirban Dasgupta
John Hopkroft
Ravi Kannan
Pradipta Mitra
November 2005
YALEU/DCS/TR1341 [.pdf] [.ps] Learning a Circuit by Injecting Values
Dana Angluin
James Aspnes
Jiang Chen
Yinghua Wu
December 2005
YALEU/DCS/TR1342 [.pdf] [.ps] Incentive Compatible Inter-Domain Routing
Joan Feigenbaum
Vijay Rmachandran
Michael Schapira
December 2005
YALEU/DCS/TR1343 [.pdf] Recurrence Relations and Fast Algorithms
Mark Tygert
December 2005
YALEU/DCS/TR1344 [.pdf] Consciousness, A Darwinian Process
Willard L. Miranker
December 2005
YALEU/DCS/TR1345 [.pdf] On a Differential Equation Arising in Plant Vascular Biology
Pavel Dimitrov
Steven Zucker
December 2005
YALEU/DCS/TR1269 Fast Monte Carlo Algorithms for Matrices I: Approximating Matrix Multiplication
P. Drineas
R. Kannan
M.W. Mahoney
February 2004
YALEU/DCS/TR1270 Fast Monte Carlo Altorithms for Matrices II: Computing Low-Rank Approximation to a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004
YALEU/DCS/TR1271 Fast Monte Carlo Algorithms for Matrices III: Computing on Efficient Approximation Decomposition of a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004
YALEU/DCS/TR1272 [.pdf] The V-Calculus Functional Programming with Higiher-order Encodings
Carsten Schuermann
Adam Poswolsky
Jeffrey Sarnat
November 2004
YALEU/DCS/TR1273 [.pdf] Neural Net Applications
Willard Miranker
February 2004
YALEU/DCS/TR1274 [.ps] Polylogarithmic Inapproximability of the Radio Broadcast Problem
Michael Elkin
Guy Kortsarz
February 2004
YALEU/DCS/TR1275 [.ps] Efficient Algorithms for Constructing $(1+\epsilon,\beta)$-Spanners in the Distributed and Streaming Models
Michael Elkin
Jian Zhang
February 2004
YALEU/DCS/TR1276 Load-Balancing and Locality in Range-Queriable Data Structures
James Aspnes
Jonathan Kirsch
Arvind Krishnamurthy
February 2004
YALEU/DCS/TR1277 [.pdf] [.ps] Towards a Theory of Entanglement
James Aspnes
Joan Feigenbaum
Aleksandr Yampolskiy
Sheng Zhong
March 2004
YALEU/DCS/TR1278 [.pdf] Experience with Two Systems Supporting Proofs
Dana Angluin
Michael Bell
May 2003
YALEU/DCS/TR1279 How close can \/a + \/b be to an integer?
Dana Angluin
Sarah Eisenstat
February 2004
YALEU/DCS/TR1280 [.pdf] [.ps] Urn Automata
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
November 2003
YALEU/DCS/TR1281 [.pdf] [.ps] Computation in Networks of Passively Mobile Finite-State Sensors
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
February 2004
YALEU/DCS/TR1282 [.pdf] [.ps] On the Computational Complexity of Sensor Network Localization
James Aspnes
David Goldenberg
Yang Richard Yang
April 2004
YALEU/DCS/TR1283 Sampling Sub-problems of Heterogeneous Max-Cut Problems and Approximation Algorithms
P. Drineas
R. Kannan
M.W. Mahoney
April 2004
YALEU/DCS/TR1284 [.pdf] Apoptosis/Neurogenesis Favorably Informs Memory Development
Willard Miranker
April 2004
YALEU/DCS/TR1285 [.pdf] [.ps] Tiny Systematic Vote Manipulations Can Swing Elections
Anthony DiFranco
Andrew Petro
Emmett Shear
Vladimir Vladimirov
April 2004
YALEU/DCS/TR1286 On Designing Incentive-Compatible Routing and Forwarding Protocols in Wireless Ad-Hoc Networks – an Integrated Approach Using Game Theoretical and Cryptographic Techniques
Sheng Zhong
Li Li
Yangin Liu
Yang Richard Yang
May 2004
YALEU/DCS/TR1287 [.pdf] Think-A-Dot
Michael J. Fischer
Albert R. Meyer
Michael S. Paterson
May 2004
YALEU/DCS/TR1288 [.ps] Graph Distances in the Streaming Model: The Value of Space
Joan Feigenbaum
Sampth Kannan
Andrew McGregor
Siddhart Suri
Jian Zhang
May 2004
YALEU/DCS/TR1289 [.pdf] On Self Adaptive Routing in Dynamic Environments - An Evaluation and Design Using a Simple, Probabilistic Scheme
Haiyong Xie
May 2004
YALEU/DCS/TR1290 [.pdf] [.ps] Privacy from Untrusted Web Servers
Robert Fischer
Margo Seltzer
Michael Fischer
May 2004
YALEU/DCS/TR1291 [.pdf] Typed Computational Email for Serverless Distributed Applications
Robert Fischer
Hong Jiang
Michael Fischer
May 2004
YALEU/DCS/TR1292 Multiresolution Analysis Associated to Diffusion Semigroups: Construction and Fast Algorithms
Ronald Coifman
Mauro Maggioni
June 2004
YALEU/DCS/TR1293 Logosphere/Idealized PVS
Carsten Schuermann
June 2004
YALEU/DCS/TR1294
Zhaozhong Ni
June 2004
YALEU/DCS/TR1295 [.pdf] [.ps] Innoculation Strategies for Victims of Viruses and the Sum of-Squares Partition Problem
James Aspnes
Kevin Chang
Aleksandr Yampolskiy
July 2004
YALEU/DCS/TR1296 [.pdf] [.ps] Robustness of Class-Based Path-Vector Systems
Aaron D. Jaggard
Vijay Ramachandran
July 2004
YALEU/DCS/TR1297 [.pdf] Privacy-Preserving Location-based Services for Mobile Users in Wireless Networks
Sheng Zhong
Li (Erran) Li
Yanbin Grace Liu
Richard Yang
July 2004
YALEU/DCS/TR1298 Diffusion Maps and Geometric Harmonics
Ronald R. Coifman
Stephane Lafon
May 2004
YALEU/DCS/TR1299 [.pdf] Optimal ISP Subscription for Internet Multihoming: Algorithm Design and Implication Analysis
Hao Wang
Haiyong Xie
Lili Qiu
Avi Silberschatz
Richard Yang
July 2004
YALEU/DCS/TR1300 Ontology Translation by Ontology Merging and Automated Reasoning
Dejing Dou
July 2004
YALEU/DCS/TR1301 [.pdf] [.ps] Relating Two Formal Models of Path-Vector Routing
Aaron D. Jaggard
Vijay Ramachandran
July 2004
YALEU/DCS/TR1302 [.ps] Subject-Cost Policy Routing
Joan Feigenbaum
David Karger
Vahab Mirrokni
Rahul Sami
August 2004
YALEU/DCS/TR1303 Diffusion Wavelets
Ronald Coifman
Mauro Maggioni
September 2004
YALEU/DCS/TR1304 Diffusion Wavelets Pockets
Ronald Coifman
Mauro Maggioni
September 2004
YALEU/DCS/TR1305 [.ps] On Sparse Additive Spanners
Bela Bollobas
Don Coppersmith
Michael Elkin
September 2004
YALEU/DCS/TR1306 H Porter: Using Arrows to Compose Parallel Processes
Liwen Huang
Paul Hudak
John Peterson
September 2004
YALEU/DCS/TR1307 Fast Evaluation of Electro-Static Interactions in a two-Phase Dielectric Medium
Per-Gunnar Martinsson
September 2004
YALEU/DCS/TR1308 An O(Nbg2N) algorithm for the inversion of general toeplitz matrices
P.G. Martinsson
V. Rokhlin
M. Tygert
December 2004
YALEU/DCS/TR1309 [.pdf] [.ps] Fast Algorithms for Spherical Harmonic Expansions
Vladimir Rokhlin
Mark Tygert
December 2004
YALEU/DCS/TR1310
Zhaozhong Ni
December 2004
YALEU/DCS/TR1311 [.pdf] Algorithms from Signal and Data Processing Applied to Hyperspectral Analysis: Discriminating Normal and Malignant Microarray Colon Tissue Sections Using a Novel Digital Mirror Device System
M. Maggioni
G. Davis
F. Warner
F. Geshwind
A. Coppi
R. Deversi
R. Coifman
December 2004
YALEU/DCS/TR1312
Carsten Schuermann
December 2004
YALEU/DCS/TR1313 [.pdf] [.ps] Diagonal Representation of Certain Matrices
Mark Tygert
December 2004
YALEU/DCS/TR1244 [.pdf] Second-Kind Integral Equations for Scattering by Open Surfaces II
S.Jiang
V. Rokhlin
January 2003
YALEU/DCS/TR1245 [.pdf] Computing Diameter in the Streaming and Sliding-Window Models
Joan Feigenbaum
Sampath Kannan
Jian Zhang
December 2002
YALEU/DCS/TR1246 Generalized ______ Wave Functions support: DARPA
Ronald Coifman
Stephane Lafon
December 2002
YALEU/DCS/TR1247 [.pdf] [.ps] Building Certified Libraries for PCC: Dynamic Storage Allocation support: DARPA
Dachuan Yu
Nadeem A. Hamid
Zhong Shao
December 2002
YALEU/DCS/TR1248 [.pdf] Neural Net Applications
Willard Miranker
March 2003
YALEU/DCS/TR1249 [.pdf] Annotation and Computational Geometry in the Streaming Model
Joan Feigenbaum
Sampath Kannan
Jian Zhang
May 2003
YALEU/DCS/TR1250 [.pdf] [.ps] Design Principles of Policty Languages for Path Vector Protocols
Timothy G. Griffin
Aaron D. Jaggard
Vijay Ramachandran
May 2003
YALE DCS/TR1251 [.pdf] On the Compression of Low Rank Matrices
H. Cheng
Z. Gimbutas
P.G. Martinsson
V. Rokhlin
July 2003
YALE DCS/TR1252 [.pdf] Approximating x^2 mod N by a function f: N -> N
Rene Peralta
Jatin Shah
June 2003
YALE DCS/TR1253 Dance: A Language for Humanoid Robot Motion
Liwen Huang
Paul Hudak
July 2003
YALE DCS/TR1254 [.pdf] Representing Reductions of NP-Complete Problems in Logical Frameworks
Carsten Schuermann
Jatin Shah
August 2003
YALE DCS/TR1255 [.pdf] Privacy-Preserving Algorithms for Distributed Mining of Frequent Itemsets
Sheng Zhong
August 2003
YALE DCS/TR1256 [.pdf] Factoring Report
Adam Poswolsky
September 29, 2003
(revised 11/19/03)
YALE DCS/TR1257 [.ps] Rigidity, Complexity, and Randomization in Network Localization
Tolga Eren
David Goldenberg
Walter Whiteley
Yang Richard Yang
Stephen Morse
Brian D.O. Anderson
Peter Belhumeur
November 2003
YALE DCS/TR1258 [.ps] Mechanism Design for Policy Routing
Rahul Sami
Scott Shenker
Joan Feigenbaum
November 2003
YALE DCS/TR1259 [.pdf] An Algebraic Theory of Polymorphic Temporal Media
Paul Hudak
August 2003
YALE DCS/TR1260 [.pdf] [.ps] The Exact Multiplicative Complexity of the Hamming Weight Function
Rene Peralta
November 2003
YALE DCS/TR1261 [.pdf] Jump Relations of the Quadruple Layer Potential on a Regular Surface in Three Dimensions Support: Dapra Grant #MDA972-00-1-0033, ONR Grant #N0001401-1-0364
S. Jiang
Nov. 2003
YALE DCS/TR1262 [.ps] On Graph Problems in a Semi-Streaming Model
Joan Feigenbaum
Sampath Kannan
Andrew McGregor
Siddharth Suri
Jian Zhang
December 2003
YALE DCS/TR1263 A Hybrid Approach to Overlay Networks
Anthony Young
Adam Poswolsky
Arvind Krishnamurthy
Randolph Wang
December 2003
YALE DCS/TR1264 [.pdf] A Fast direct solver four boundary integral equations in two dimensions Support ONR N00014-01-1-0364
P.G. Martinsson
V. Rokhlin
December 2003
YALE DCS/TR1265 [.pdf] Towards Mobility as a Network Control Primitive
David Goldenberg
Jie Lin
A. Stephen Morse
Brad Rosen
Y. Richard Yang
December 2003
YALEU/DCS/TR1266 Mechanics of Materials With Periodic Truss or Frame Micro-Structures I: Korn’s Inequality Army Research Office DAAD 19-99-1-014
P.G. Martinsson
I. Babuska
December 13, 2003
YALEU/DCS/TR1267 Mechanics of Materials With Periodic Truss or Frame Micro-Structures II: Homogenization Army Research Office DAAD 19-99-1-014
P.G. Martinsson
I. Babuska
December 13, 2003
YALEU/DCS/TR1268 not assigned
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 Feigenbaum
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] 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 fixclock: Removing Clock Artifacts from Communication Timestamps
Raphael S. Ryger
December 2002
YALEU/DCS/TR1209 Type-Preserving Compilation of Featherweight Java
Chrisopher League
Valery Trifonov
Zhong Shao
March 2001
YALEU/DCS/TR1210 Secure Multiparty Computation of Approximations
Joan Feigenbaum
Yuval Ishay
Tal Malkin
Kobbi Nissim
Martin Strauss
Rebecca Wright
March 2001
YALEU/DCS/TR1211 A Type System for Certified Binary
Zhong Shao
Bratin Saha
Valery Trifonov
Nikolas Papaspyrou
YALEU/DCS/TR1212 [.pdf] Approximation and Collusion in Multicast Cost Sharing
Joan Feigenbaum
Arvind Krishnamurthy
Rahul Sami
Scott Shenker
April 2001
YALEU/DCS/TR1213 [.pdf] Prolate Spheroidal Wave Functions, Quadrature, Interpolation, and Asymtotic Formulae
Hong Xiao
May 2001
YALEU/DCS/TR1214 [.pdf] The Prisoner’s Dilemma and Predator-Prey Coevolution
Joel Pomerantz
Willard Miranker
August 2001
YALEU/DCS/TR1215 [.pdf] The Renormalization of Information
Willard Miranker
August 2001
YALEU/DCS/TR1216 High-Frequency Asymptotic Expansions for Certain Prolate Spheroidal Wave Functions
Hong Xiao
Vladimir Rokhlin
August 2001
YALEU/DCS/TR1217 Comparing Object Encodings for Typed Intermediate Languages
Christopher League
Valery Trifonov
September 2001
YALEU/DCS/TR1218
YALEU/DCS/TR1219 [.ps] Concrete Conjunctive Complexity of Symmetric Functions
Joan Boyar
Rene Peralta
Denis Pochuev
November 2001
YALEU/DCS/TR1220 [.ps] Fast Mixnets for Small Message Spaces
Rene Peralta
Sheng Zhong
November 2001
YALEU/DCS/TR1221 YALE FRP User’s Manual
Paul Hudak
November 2001
YALEU/DCS/TR1199 [.pdf] Prolate Spheroidal Wave Functions, Quadrature and Interpulation Support: DARPA
Hong Xiao
Vladimir Rokhlin
Norman Yarvin
June 2000
YALEU/DCS/TR1200 [.pdf] Neural Net Term Projects CS477/577; 2000
W.L. Miranker
June 2000
YALEU/DCS/TR1201 Quadruple and Octuple Layer Potentials in Two Dimensions
Petter N. Kolm
May 2000
YALEU/DCS/TR1202 [.pdf] A Generalized Fast Multipole Method for Non-Oscillatory Kernals
Vladimir Rokhlin
Zydrunas Gimbutas
July 2000
YALEU/DCS/TR1203 [.pdf] Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation (Position Paper)
Ninghui Li
Joan Feigenbaum
October 2000
YALEU/DCS/TR1204 Compiling Haskell to Java Support: Intermetrics Inc. Grant - Hudak Grant exp. date: 8/2/97
“CAETI Program” Computer Aided Education and Training Initiative
Mark Tullsen
May 1996
YALEU/DCS/TR1205 [.ps] Principled Scavenging
Stefan Monnier
November 2000
YALEU/DCS/TR1206 [.pdf] Competition and Cooperation in Neuronal Processing with application to associative memory
Haim Bar
Alexander Ambash
Willard Miranker
November 2000
YALEU/DCS/TR1207 [.ps] A Simple Game for the Study of Trust in Distributed Systems
Zoe Diamadi
Michael J. Fischer
January 2001
YALEU/DCS/TR1208 Neural Net Term Projects CS 477-577/ Fall 2000
W.L. Miranker
1999-1990
YALEU/DCS/TR1174 Visual Learning for Collision Avoidance in a Simulated Environment
C. Rasmussan
January 1999
YALEU/DCS/TR1175 Handling Exceptions in Haskell
Reid
January 1999
YALEU/DCS/TR1176 [.pdf] Quadruple and Octuple Layer Potentials in Two Dimensions: Analytical Apparatus
P. Kolm
V. Rokhlin
March 1999
YALEU/DCS/TR1177 A Quantum State Model of Consciousness
Willard Miranker
April 1999
YALEU/DCS/TR1178 [.pdf] The Pseudopolar TFT and its Application
A. Averbuch
R. Coifman
D. Donoho
M. Israeli
J. Walden
YALEU/DCS/TR1179 On the Evolution of the Skeleton
Jonas August
Allen Tannenbaum
Steven Zucker
YALEU/DCS/TR1180 Representing Java Classes in a Typed Intermediate Language
Christopher League
Zhong Shao
Valery Trivonov
May 1999
YALEU/DCS/TR1181 Transparent Modules with Fully Syntactic Signatures
Zhong Shao
May 1999
YALEU/DCS/TR1182 Scaling Proof-Carrying Code to Production Compilers and Security Policies
Andrew W. Appel
Edward Felton
Zhong Shao
May 1999
YALEU/DCS/TR1183 Contour Fragment Grouping and Shared, Simple Occluders
Jonas August
Kaleem Siddiqi
Steven Zucker
May 1999
YALEU/DCS/TR1184 Solving the Compressible Euler and Navier-Stokes Equations with the Filter Bauk Method
Johan Walden
July 1999
YALEU/DCS/TR1185 [.pdf] Coulomb Interaction on Planar Structures: Inverting the Square Root of the Laplacian
Zydrunas Bimbutas
Leslie Greengard
Michale Minion
July 1999
YALEU/DCS/TR1186 On the Method of Images for Systems of Closely Spaced Conducting Spheres
Hongwei Cheng
September 1999
YALEU/DCS/TR1187 [.pdf] Progressive Wavelet Package Image Cooling Using Compatible Zerotree Quantization
N. Rajpoot
F. Meyer
R. Coifman
R. Wilson
September 1999
YALEU/DCS/TR1188 [.pdf] The Robot, the Grid, and the Algorithm
Chinda Wongngamnit
Dana Angluin
December 1999
YALEU/DCS/TR1189 Cross-Functor Inlining in FLINT
Stefan Monnier
Matthias Blume
Zhong Shao
YALEU/DCS/TR1190 [.pdf] Numerical Quadratures for Singular and Hypersingular Integrals
V. Rokhlin
P. Kolm
December 1999
YALEU/DCS/TR1191 [.pdf] The Zip Calculus
Mark Tullsen
YALEU/DCS/TR1192 Image Texture Flaw: Representation Local Modeling and Implications
Ohad Ben-Shahar
Steven Zucker
YALEU/DCS/TR1193 Inlining as Staged Computation
Stefan Monnier
Zhong Shao
YALEU/DCS/TR1194 Reflexive Intensional Type Analysis
Bratin Saha
Valery Trivonov
Zhong Shao
YALEU/DCS/TR1195 Platform-independent Framework for Verifying Integer Constraints
David Teller
Zhong Shao
YALEU/DCS/TR1196 [.pdf] A Procedure for the Design of Apparata for the Measurement and Generation of Band-Limited Signals
V. Rokhlin
March 2000
YALEU/DCS/TR1197 Fully Reflexive Intensional Type Analysis in a Type Erasure Framework
Bratin Saha
Valery Trifonov
Zhong Shao
YALEU/DCS/TR1198 [.pdf] Well-Conditioned Boundary Integral Equations Contopanagos for Three Dimensional Electromagnetic Embart Scattering
Harry Benjamin
Michael Epton
John J. Ottusch
Vladimir Rokhlin
John Visher
Stephen Wandzura
YALEU/DCS/TR1142 [.pdf] A Generalized One-Dimensional Fast Multipole Method with Application to Filtering of Spherical Harmonics
Norman Yarvin
Vladimir Rokhlin
January 1998
YALEU/DCS/TR1143 [.pdf] Spectral Deferred Correction Method for Ordinary Differential Equations
Alok Dutt
Leslie Greengard
Vladimir Rokhlin
January 1998
YALEU/DCS/TR1144 [.pdf] Interfacing Hugs and COM
William Javorcik
John Peterson
January 1998
YALEU/DCS/TR1145 Fast and Globally Convergent Pose Estimation From Video Images
Chien-Ping Lu
Greg Hager
Eric Mjolsness
February 1998
YALEU/DCS/TR1146 [.tex] Area and Length Minimizing Flows for Shape Segmentation
Kaleem Siddiqi
Yves Berube Lauziere
Allen Tannenbaum
Steven W. Zucker
March 1998
YALEU/DCS/TR1147 [.tex] Shock Graphs and Shape Matching
Kaleem Siddiqi
Ali Shokoufandeh
March 1998
YALEU/DCS/TR1148 [.tex] Matching Hierarchical Structures Using Association Graphs
Marcell Pelillo
Kaleem Siddiqi
Steven Zucker
March 1998
YALEU/DCS/TR1149 [.tex] Replicator Equations Maximal Cliques and Graph Isomorphism
Marcello Pelillo
March 1998
YALEU/DCS/TR1150 [.tex] On the Psycholphysics of the Shape Triangle
Kaleem Siddiqi
Benjamin B. Kimia
Allen Tannenbaum
Steven Zucker
February 1998
YALEU/DCS/TR1151 An Improved Operator Expansion Algorithm for Direct and Inverse Scattering Computations
R. Coifman
M. Goldberg
T. Hrycak
M. Israeli
V. Rokhlin
May 1998
YALEU/DCS/TR1152 Selections of Fall 97 Term for CS 477/577
Neural Networks and Applications, Fall 1997
Willard Miranker
June 1, 1998
YALEU/DCS/TR1153 [.pdf] Combining Variational Calculus and Wavelets for Image Enhancement
R. Coifman
A. Sowa
June 1998
YALEU/DCS/TR1154 An Intermediate Meta-Language For Program Transformation
Mark Tullsen
Paul Hudak
June 1998
YALEU/DCS/TR1155 Polymorphism and Constraints in Hindley/Milner Style Type System
Martin Sulzmann
July 1998
YALEU/DCS/TR1156 An Alternative Operator Expansion Formalism for Electromagnetic Scattering From a Perfectly Conducting Rough Surface
Maxim J. Goldberg
July 1998
YALEU/DCS/TR1157 Using Type Systems for Architecture Based Analysis
Martin Sulzmann
John Peterson
July 1998
YALEU/DCS/TR1158 [.pdf] A Fast Adaptive Multipole Algorithm in Three Dimensions
H. Cheng
L. Greengard
V. Rokhlin
August 1998
YALEDCS/TR1159 Optimal Type Lifting
Zhong Shao
Bratin Saha
July 1998
YALEU/DCS/TR1160 Implementing Typed Intermediate Languages
Zhong Shao
Christopher League
Stefan Monnier
July 1998
YALEU/DCS/TR1161 Parameterized Signatures and Higher-Order Modules
Zhong Shao
July 1998
YALEU/DCS/TR1162 Safe and Modular Language Interoperation
Valery Trifonov
July 1998
YALEU/DCS/TR1163 Analysis of the Direct Fourier Method for Computer Tomography
Johan Walden
September 1998
YALEU/DCS/TR1164 Prototyping Real-Time Vision Systems: An Experiment in DSL Design
A. Reid
John Peterson
Greg Hager
Paul Hudak
October 1998
YALEU/DCS/TR1165 The Planning Domain Definition Language Supported by BBN
Drew McDermott
October 1998
YALEU/DCS/TR1166 Subtransitive CFA Usin Types YALE University and Bell Laboratories
Bratin Saha
Nevin Heintze
Dino Oliva
October 1998
YALEU/DCS/TR1167 Learning Monotone DNF With Random Errors in Membership Queries
Dana Angluin
Martin Krikis
November 1998
YALEU/DCS/TR1168 Quadrature Rules on Triangles in R2
Stephen Wandzura
Hong Xiao
November 1998
YALEU/DCS/TR1169 [.pdf] Non-linear Optimization, Quadratures, and Interpolation
H. Cheng
V. Rokhlin
N. Yarvin
December 1998
YALEU/DCS/TR1170 Towards a Principled Common Runtime Environment
Zhong Shao
December 1998
YALEU/DCS/TR1171 Formal Semantics of the FLINT Intermediate Language
Christopher League
Zhong Shao
December 1998
YALEU/DCS/TR1172 The FLINT Optimizer
S. Monnier
Z. Shao
December 1998
YALEU/DCS/TR1173 Encoding Java Classes in a Typed Intermediate Language
C. League
Z. Shao
V. Trifonov
December 1998
YALEU/DCS/TR1121 Locating Landmarks Using Color
Zachary Dodds
Greg Hager
February 1997
YALEU/DCS/TR1122 Efficient Region Tracking with Parametric Models of Geometry and Illumination
Greg Hager
Peter Belhumeur
February 1997
YALEU/DCS/TR1123 Hugs 1.4 Users Manual
John Peterson
Mark Jones
March 1997
YALEU/DCS/TR1124 Collaboratiave Applications Experience with the Bauhaus Coordination Language
N. Carriero
D. Gelernter
S. Hupfer
January 1997
YALEU/DCS/TR1125 Flexible Representation Analysis
Zhong Shao
March 1997
YALEU/DCS/TR1126 Typed Cross-Module Compilation
Zhong Shao
March 1997
YALEU/DCS/TR1127 [.pdf] Selections of Term Papers for CS 426/477 for 95, 96
Willard Miranker
authors et al
April 1997
YALEU/DCS/TR1128 Designing Record Systems
Martin Sulzman
April 1997
YALEU/DCS/TR1129 Type Inference With Constrained Types
Martin Sulzmann
May 1997
YALEU/DCS/TR1130 Teachers, Learners and Black Boxes
Dana Angluin
Martin Krikis
May 1997
YALEU/DCS/TR1131 From Malicious to Random Errors - The Bottle Shooting Game
Dana Angluin
Martin Krikis
May 1997
YALEU/DCS/TR1132 [.tex] Consciousness is an Information Field Induced by Hebbian Dynamics
Willard Miranker
May 1997
YALEU/DCS/TR1133 [.pdf] Programming in Distributed Systems Logic
Kevin Lynch
June 1997
YALEU/DCS/TR1134 The Lifestreams Software Architecture
Eric Freeman
May 1997
YALEU/DCS/TR1135 [.pdf] Principled Dynamic Code Improvement
John Peterson
Paul Hudak
G.S. Ling
July 1997
YALEU/DCS/TR1136 [.pdf] Consciousness is an Information State Induced by Hebbian Dynamics (revised edition of tr1132)
Willard Miranker
August 1997
YALEU/DCS/TR1137 Modeling Control for Mobile Manipulation in Everyday Environments
Hager
Kentar
September 1997
YALEU/DCS/TR1138 [.tex] What Visual Tasks are Decidable With an Uncalibrated Stereo System
J.P.Hespanha
Zachary Dodds
G.D. Hager
October 1997
YALEU/DCS/TR1139 Towards Wide-Area Netowrk Piranha: Implementing Java-Linda
Andrew Smith
November 1997
YALEU/DCS/TR1140 [.pdf] Modular Monadic Semantics and Compilation
Sheng Liang
December 1997
YALEU/DCS/TR1141 Unassigned
YALE/DCS/TR1096 [.pdf] Lifestreams: A Storage Model for Personal Data
Eric Freeman
David Gelernter
January 1996
YALEU/DCS/TR1097 Anticipating and Forestalling Execution Failures in Structured Reactive Plans
Michael Beetz
February 1996
YALEU/DCS/TR1098 [.pdf] Lifestreams: Bigger than Elvis
N. Carriero
S. Fertig
E. Freeman
D. Gelernter YALEU
March 1996
YALEU/DCS/TR1099 [.tex] Reversal of Markov Chains and the Forget Time
L. Lovasz
April 1996
YALEU/DCS/TR1100 [.tex] Mixing Times for Uniformly Ergodic Markov Chains
L. Lovasz
April 1996
YALEU/DCS/TR1101 [.tex] The Membership Problem in Jump Systems
L. Lovasz
April 1996
YALEU/DCS/TR1102 Optimizing Systems for Effective Block Processing: The K-Delay Problem
Kumar W. Lalgudi
Marios Papaefthymious
April 1996
YALEU/DCS/TR1103 Robot navigation Using Image Sequences
Christopher Rasmussen
Gregory D. Hager
April 1996
YALEU/DCS/TR1104 [.pdf] [.tex] Lectures on Network Complexity
Michael Fischer
April 1996
YALEU/DCS/TR1105 [.pdf] The Haskell 1.3 Library Version
Paul Hudak
Phillip Wadler
John Peterson
April 1996
YALEU/DCS/TR1106 A Non-Strict, Purely Functional Language
Paul Hudak
April 1996
YALEU/DCS/TR1107 [.pdf] Calculi for Functional Programming Languages with Assignment
Daniel Eli Rabin
May 1996
YALEU/DCS/TR1108 A Characterization of Mapping Unstructured Grids onto Structured Grids and Using Multigrid as a Preconditioner
S. Malhotra
C.C. Douglas
May 1996
YALEU/DCS/TR1109 [.pdf] Generalized Caussian Quadratures and Singular Value Decompositions of Intregal Operators
V. Rokhlin
N. Yarvin
May 1996
YALEU/DCS/TR1110 Inverse Scattering via Skin Effect
Yu Chen
May 1996
YALEU/DCS/TR1111 [.pdf] Computational Measures of Similarity for Probabilistic Functions
Michael J. Fischer
Sophia A. Paleologou
June 1996
YALEU/DCS/TR1112 [.pdf] On-line Pose Estimation and Model Matching
Chien-Ping Lu
June 1996
YALEU/DCS/TR1113 [.pdf] Principal Component Analysis for Place Recognition
Jonathan Wang
Zachary Dodds
Willard Miranker
June 1996
YALEU/DCS/TR1114 Tracking Objects by Color Alone
C. Rasmussen
K. Toyama
G. Hager
September 1996
YALEU/DCS/TR1115 [.pdf] A New Version of the Fast Multipole Method for the Laplace Equation in three Dimensions
Leslie Greengard
Vladimir Rokhlin
September 1996
YALEU/DCS/TR1116 [.tex] Molecular Computing, Bounded Nondeterminism, and Efficient Recursion
Richard Beigel
Bin Fu
October 1996
YALEU/DCS/TR1117 [.ps] A Comparison of Resource-Bounded Molecular Computation Models
Bin Fu
Richard Beigel
October 1996
YALEU/DCS/TR1118 [.tex] One Help Bit Doesn’t
Richard Beigel
Tizra Hirst
November 1996
YALEU/DCS/TR1119 [.pdf] An Improved Fast Multipole Algorithm for Potential Fields in One Dimension
N. Yarvin
V. Rokhlin
September 1996
YALEU/DCS/TR1120 Proof of the Properties for Constrained Types
Martin Sulzmann
December 1996
YALEU/DCS/TR1057 [.pdf] A Parametric Extension of Haskell’s Type Classes
Kung Chen
January 1995
YALEU/DCS/TR1058 [.tex] Achieving Perfect Secrecy Using Correlated Random Variables
Rebecca Wright
January 1995
YALEU/DCS/TR1059 [.tex] Tracking Tools for Vison Based Navigation
Jiantao Huang
Gregory D. Hager
January 1995
YALEU/DCS/TR1060 [.pdf] Keeping One’s Eye on the Ball: Tracking Occluding Contours of Unfamiliar Objects Without Distraction
Kentao Toyama
Greg Hager
January 1995
YALEU/DCS/TR1061 [.pdf] A Continuation Method for Pose Estimation and Correspondence
Suguna Pappu
Steven Gold
Anand Rangarajan
January 1995
YALEU/DCS/TR1062 [.tex] [.pdf] A Graduated Assignment Algorithm for Graph Matching
Steven Gold
Anand Rangarajan
January 1995
YALEU/DCS/TR1063 [.pdf] Fixed-phase Retiming for Low-power Design
Marios Papaefthymiou
Kumar N. Lalgudi
January 1995
YALEU/DCS/TR1064 [.tex] Tight Analysis of Two-load Balancing Algorithms
B. Ghosh
F.T. Leighton
B.M. Maggs
S. Muthukrishnan
G. Plaxton
R. Rajaraman
A. Richa
A.E. Tarjan
D. Zuckerman
February 1995
YALEU/DCS/TR1065 [.tex] Faster Diffusive Load Balancing Using Over Relaxation
Bhaskar Ghosh
S. Muthukrishnan
Martin Schultz
February 1995
YALEU/DCS/TR1066 Distributed Data Structures, Fine Grained Coordination, and Effective Implementation
Pradeep Varma
February 1995
YALEU/DCS/TR1067 [.pdf] A Modular Semantics for Compiler Generation
Sheng Liang
February 1995
YALEU/DCS/TR1068 [.pdf] A Tutorial on Visual Servo Control
Greg Hager
Seth Hutchinson
Peter Corke
February 1995
YALEU/DCS/TR1069 [.tex] [.pdf] A Type-Based Compiler for Standard ML
Zhong Shao
Andrew W. Appel
February 1995
YALEU/DCS/TR1070 [.pdf] The Lifestreams Approach to Reorganize the Information World
N. Carriero Suppt.
S. Fertig
E. Freeman
D. Gelernter
April 1995
YALEU/DCS/TR1071 [.pdf] A Model for 3D Interaction with Hierarchical Information Spaces
Elisabeth Freeman
Susanne Hupfer
April 1995
YALEU/DCS/TR1072 Cellular Embeddings and Network Flow
Jeff Westbrook
May 1995
YALEU/DCS/TR1073 [.pdf] In search of Simple Visual Vocabulary
D. Gelernter
E. Freeman
May 1995
YALEU/DCS/TR1074 [.pdf] A Modular System for Robust Positioning Using Feedback for Stereo Vision.
Greg Hager
May 1995
YALEU/DCS/RR/1075 Proceedings of Haskell Workshop.
P. Hudak
May 1995
YALEU/DCS/TR1076 [.pdf] ON The Jacobi Polynomial Pn(a-b).
G. Matviyenko
June 1995
YALEU/DCS/TR1077 On Line Pose Estimation and Model Matching.
Chien-Ping Lu
June 1995
YALEU/DCS/TR1078 [.pdf] X-vision System: A Portable Substrate for Real-Time Vision Applications
Greg Hager
June 1995
YALEU/DCS/TR1079 [.pdf] Mind and Interference Effects on Computation
William Miranker
June 1995
YALEU/DCS/TR1080 [.tex] Closure Properties of Gap P and #P.
Richard Beigel
June 1995
YALEU/DCS/TR1081 [.pdf] On the Riccati for the Scattering Matrices in Two Dimension Neurosciences (CTAN)
Y. Chen
V. Rokhlin
June 1995
YALEU/DCS/TR1082 [.tex] [.pdf] *Revised edition of RR-1036
A novel optimizing network architecture with applications
Anand Rangarajan
Steven Gold
Eric Mjolsness
August 1995
YALEU/DCS/TR1083 [.pdf] Lifestreams: Organizing Your Electronic Life
Eric Freeman
Scott Fertig
August 1995
YALEU/DCS/TR1084 [.pdf] Application of High-Order Quadratures to the Evaluation Q Fourier & Hankel Transforms
Sharad Kapur
September 1995
YALEU/DCS/TR1085 Unassigned
YALEU/DCS/TR1086 [.tex] [.pdf] Convex Hulls of f- and ß-Vectors
Dmitry N. Kozlov
September 1995
YALEU/DCS/TR1087 [.tex] [.pdf] Coins and Cones
Dmitry N. Kozlov
Van H. Vu
September 1995
YALEU/DCS/TR1088 [.pdf] Recursive Linearization for Inverse Scattering
Y. Chen
September 1995
YALEU/DCS/TR1089 [.pdf] An Improved Fast Multiple Algorithm for Potential Fields
T. Hrycak
V. Rokhlin
September 1995
YALEU/DCS/TR1090 [.pdf] Finding and Reminding Reconsidered
Soctt Fertig
Eric Freeman
David Gerlernter
September 1995
YALEU/DCS/TR1091 [.pdf] Inverse Scattering via Heisenberg’s Uncertainty Principle
Yu Chen
November 1995
YALEU/DCS/TR1092 [.tex] Random Walks and on 0*(n5) Volume Algotithms for Convex Bodies
R. Kannan
Laszlo Lovasz
November 1995
YALEU/DCS/TR1093 An Abstract Description of Lifestreams
Eric Freeman
November 1995
YALEU/DCS/TR1094 [.tex] Meta Information in Visual Programming
Beth Freeman
David Gelernter
December 1995
YALEU/DCS/TR1095 [.pdf] Sparse Diagonal Forms for Translation Operators for the Helmholtz Equation in Two Dimensions
Vladimir Rokhlin
December 1995
YALEU/DCS/TR1006 [.pdf] Clustering with a Domain-Specific Distance Measure
Steven Gold
Eric Mjolsness
Anand Rangarajan
January 1994
YALEU/DCS/TR1007 [.pdf] Two-Dimensional Object Localization by Coarse-to-Fine Correlation Matching
Chien-Ping Lu
Eric Mjolsness
January 1994
YALEU/DCS/TR1008 [.pdf] Fluid Dynamicist Workbench
Ken Yip Young
January 1994
YALEU/DCS/TR1009 [.pdf] Model Simplification by Asymptotic Order of Magnitude Reasoning
Ken Yip
January 1994
YALEU/DCS/TR1010 [.pdf] Feature-Based Visual Serving and its Application to Telerobotics
Greg Hager
January 1994
YALEU/DCS/TR1011 * Piranha on the Connection Machine CM-5
Eric Freeman
January 1994
YALEU/DCS/TR1012 [.pdf] A Fault-Tolerant PASO for LANS
E. Freeman
D. Gelernter
J. Westbrook
L. Zuck
January 1994
YALEU/DCS/TR1013 [.tex] [.pdf] Adaptive Algorithms for PASO Memory
J. Westbrook
L. Zuck
January 1994
YALEU/DCS/TR1014 [.tex] [.pdf] An Algorithm for Probabilistic, Totally-Ordered Temporal Projection
Drew McDermott
January 1994
YALEU/DCS/TR1015 * On the Inverse Sudtenny Problem for the Helmholtz Equation in Two Dimensions
Y. Chen
V. Rokhlin
February 1994
YALEU/DCS/TR1016 [.pdf] Adaptive Parallelism and Piranha
N Carriero
E. Freeman
D. Gelernter
D. Kaminsky
February 1994
YALEU/DCS/TR1017 * A Functional Approach to Adaptive Computation
Y. Choo
February 1994
YALEU/DCS/TR1018 * Demotational Sengation of Object with Self Reference
Y. Choo
February 1994
YALEU/DCS/TR1019 [.tex] [.pdf] Malicious Membership Queries and Exceptions
Dana Angluin
Martin Krikis
March 1994
YALEU/DCS/TR1020 [.tex] [.pdf] Exact Learning of U-DWF Formulas with Malicious Membership Queries
D. Angluin
March 1994
YALEU/DCS/TR1021 [.pdf] Adaptive Parallelism with Piranha
David Kaminsky
May 1994
YALEU/DCS/TR1022 [.pdf] Dynamic Typing in Yale Haskell
John Peterson
March 1994
YALEU/DCS/TR1023 [.pdf] Six DOF Visual Control of Relative Position
Greg Hager
March 1994
YALEU/DCS/TR1024 Static collecion of Operations over Tuplespaces
Suresh Jagannathan
Pradeep Varma
April 1994
YALEU/DCS/TR1025 Full Resolution of Partitionings in Tuplespace Analysis
Pradeep Varma
April 1994
YALEU/DCS/TR1026 Highly Concurrent Kernels for Tuplespaces
Pradeep Varma
April 1994
YALEU/DCS/TR1027 A Dynamic Fully Resolving Partitioning of Tuplespaces: Multiple Key-based Indexing
Pradeep Varma
April 1994
YALEU/DCS/TR1028 Control Flow Analysis of Scheme Parallelized by First Class Tuplepaces
Pradeep Varma
April 1994
YALEU/DCS/TR1029 [.pdf] Random Walks on Graphs: A Survey
Laszlo Lovasz
May 1994
YALEU/DCS/TR1030 [.pdf] The Implentation of the Gofer Functional Programming System
Mark P. Jones
May 1994
YALEU/DCS/TR1031 [.pdf] An Experiment Using Haskell to Prototype “Geometric Reion Servers” for Navy Command and Control
William E. Carlson
Paul Hudak
Mark P. Jones
May 1994
YALEU/DCS/TR1032 [.tex] Passive Map Learning and Visual Place Recognition
Sean Engelson
May 1994
YALEU/DCS/TR1033 [.pdf] Solving the Exterior Orientation Problem without Initial Guesses
Chien-Ping Lu
Eric Mjolsness
May 1994
YALEU/DCS/TR1034 Robust and Aggressively Robust Methods for the Absolute Orientation Problem
Anand Rangarajan
Eric Mjolsness
Steven Gold
May 1994
YALEU/DCS/TR1035 [.pdf] Fast Algorithms for 2D and 3D Point Matching Pose Estimation and Correspondence
Steven Gold
Chien-Ping Lu
Anand Rangarajan
Suguna Pappu
Eric Mjolsness
May 1994
YALEU/DCS/TR1036 [.pdf] An Optimizing Network Architecture that Works
Anand Rangarajan
Steven Gold
Eric Mjolsness
May 1994
YALEU/DCS/TR1037 [.pdf] Learning with Preknowledge: Clustering with Point and Graph Matching Distance Measures
Steven Gold
Anand Rangarajan
Eric Mjolsness
May 1994
YALEU/DCS/TR1038 * Methods for Realistic Landscape Imaging
F. Kenton Musgrave
May 1994
YALEU/DCS/TR1039 * Grading Arithmetical Operations and Functions
Willard Miranker
May 1994
YALEU/DCS/TR1040 [.pdf] Simplifying and Improving Qualified Types
Mark Jones
June 1994
YALEU/DCS/TR1041 [.pdf] Optimized Local Trigonometric Bases
Gregory Matviyenko
July 1994
YALEU/DCS/TR1042 [.pdf] High-Order Connected Quadrature Rules, for Singular Functions
Sharad Kapur
Vladimir Rokhlin
July 1994
YALEU/DCS/TR1043 [.pdf] A Higher Level Parallel Programming Environment
Shakil Waiz Ahmed
July 1994
YALEU/DCS/TR1044 [.pdf] Model-Based Edge Selection for 2-D Object Recognition
Hemant D. Tagare
Drew McDermott
July 1994
YALEU/DCS/TR1045 [.pdf] An Algorithm For the Fast Hankel Transform
Sharad Kapur
Vladimir Rokhlin
July 1995
YALEU/DCS/TR1046 [.pdf] Online Computation of Exterior Orientation with Application to Hand-Eye Calibration
Chien Ping Lu
Eric Mjolsness
Greg Hager
September 1994
YALEU/DCS/TR1047 [.pdf] A Dynamic, Online Library for Historical Documents
Drew McDermott
David Gelernter
Jeffery Westbrook
Lenore Zuck
Don Waters
September 1994
YALEU/DCS/TR1048 [.pdf] Efficient Retiming Under a General Delay Model
Marios Papaefthymiou
Kumar N. Lalgudi
September 1994
YALEU/DCS/TR1049 [.pdf] Haskell vs. Ada vs. C++…, An Experiment in Software Prototyping Productivity
Paul Hudak
Mark P. Jones
July 1994
YALEU/DCS/TR1050 The Saturation of Iterative Computation In Floating Point
Willard Miranker
Edgar Kaucher
October 1994
YALEU/DCS/TR1051 [.tex] Fault Diagnosis in a Flash
Richard Beigel
Will Hurwood
Nabil Kahale
November 1994
YALEU/DCS/TR1052 [.pdf] A Langrangian Relaxation Network for Graph Matching
Anand Rangarajan
Eric Mjolsness
November 1994
YALEU/DCS/TR1053 [.tex] Dynamic Load Balancing with Limited Link Capacities
Bhaskar Ghosh
S. Muthukrishnan
November 1994
YALEU/DCS/TR1054 Unassigned
YALEU/DCS/TR1055 [.pdf] On the Azimuthal Fourier Components of the Green’s Function for the Helmholtz Equation in Three Dimensions
G. Matviyenko
December 1994
YALEU/DCS/TR1056 [.pdf] [.tex] Dynamic Fault Diagnosis
William Hurwood
December 1994
YALEU/DCS/TR944 [.pdf] A Fast Direct Algorithm for the Solution of the Laplace Equation on Regions with Fractal Boundaries
P. Jones
J. Ma
V. Rokhlin
January 1993
YALEU/DCS/TR945 [.pdf] Greedy Lagrangians for Neural Networks: Three Levels of Optimization in Relaxation Dynamics
Eric Mjolsness
Willard Miranker
January 1993
YALEU/DCS/TR946 [.pdf] Place Recognition Using Image Signatures
Sean Engelson
January 1993
YALEU/DCS/TR947 Class Notes on Interactive Proof Systems
Richard Beigel
et al
January 1993
YALEU/DCS/TR948 [.pdf] Some Problems in Adaptive Visual Servoing or How to Keep the Left Eye From Knowing what the Right Eye is Doing
Greg Hager
January 1993
YALEU/DCS/TR949 [.pdf] Mean Field Point Matching by Vernier Network and by Generalized Hough Transform: Preliminary Report
Chien-Ping Lu
Eric Mjolsness
January 1993
YALEU/DCS/TR950 [.pdf] DAMG: An Abstract Multilevel Solver
Craig Douglas
February 1993
YALEU/DCS/TR951 [.pdf] DPMG: A Multilevel Solver for the Poisson Equation in Two and Three Dimensions
Craig Douglas
February 1993
YALEU/DCS/TR952 * Implementing Abstract Multigrid or Multilevel Methods
Craig Douglas
February 1993
YALEU/DCS/TR953 [.pdf] C++ Interval and Constraint Solving Package
Gregory D. Hager
John M. Lu
February 1993
YALEU/DCS/TR954 [.pdf] Adaptive Parallelism with Piranha
Nicholas Carriero
David Gelernter
David Kaminsky
Jeffery Westbrook
February 1993
YALEU/DCS/TR955 [.pdf] Numerical Solution of Flame Sheet Problems with and Without Multigrid Methods
Craig Douglas
Alexandre Ern
February 1993
YALEU/DCS/TR956 [.pdf] Ordering Times
Vincente Dornic
April 1993
YALEU/DCS/TR957 * Solving Large Systems of Nonlinear Constraints with Application to Data Modeling
Greg Hager
April 1993
YALEU/DCS/TR958 * Experience with the Linda Coordination Language and its Environment
N. Carriero
D. Gelernter
T. Mattson
April 1993
YALEU/DCS/TR959 [.pdf] Partial Evaluation for Dictionary-free Overloading
Mark P. Jones
April 1993
YALEU/DCS/TR960 [.pdf] Towards Geometric Decision Making in Unstructured Environments
Gregory D. Hager
May 1993
YALEU/DCS/TR961 * A Constraint-Based View of Selective Perception
Gregory D. Hager
May 1993
YALEU/DCS/TR962 [.pdf] On Expressing the Mutation of State in a Functional Programming Language
Juan Guzman
May 1993
YALEU/DCS/TR963 [.pdf] A Type System for a Lambda Calculus with Assignments
Kung Chen
Martin Odersky
May 1993
YALEU/DCS/TR964 [.pdf] A Syntactic Method Proving Observational Equivalence
Martin Odersky
May 1993
YALEU/DCS/TR965 [.pdf] A Syntactic Theory of Local Names
Martin Odersky
May 1993
YALEU/DCS/TR966 [.pdf] A Stable and Fast Algorithm for Updating the Singular Value Decompostion
Ming Gu
Stanley Eisenstat
May 1993
YALEU/DCS/TR967 [.pdf] An Efficient Algorithm for Computing a Rank-Revealing QR Factorization
Ming Gu
Stanley C. Eisenstat
May 1993
YALEU/DCS/TR968 Workshop on STATE in Program Languages
Paul Hudak
May 1993
YALEU/DCS/TR969 [.pdf] Adaptive Parallelism on Multiprocessors: Preliminary Experience with Piranha on the Ch-5
Nicholas Carriero
Eric Freeman
David Gelernter
May 1993
YALEU/DCS/TR970 [.pdf] Optimization Dynamics for Partitioned Neural Networks
Dimitris I. Tsioutsias
Eric Mjolsness
May 1993
YALEU/DCS/TR971 * The Haskell-to-CL Interface Document
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR972 [.pdf] The Haskell X Users Manual
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR973 * On the Inverse Scattering Problem for the Helmholtz Equation in Two Dimensions
Yu Chen
Vladimir Rokhlin
June 1993
YALEU/DCS/TR974 [.pdf] Mean Field Point Matching by Vernier Network and by Generalized Hough Transform
Chien-Ping Lu
Eric Mjolsness
June 1993
YALEU/DCS/TR975 [.pdf] A Comparison of CPS, Linda, P4, POSYBL, PVM, and TCGMSG: Two Node Communication Times
Craig C. Douglas
Timothy G. Mattson
Martin H. Schultz
June 1993
YALEU/DCS/TR976 [.pdf] A Generalized Multigrid theory in the Style of Standard Iterative Methods
Craig C. Douglas
July 1993
YALEU/DCS/TR977 [.pdf] Fast Algorithms for Polynomial Interpolation Integration and Differentiation
A. Dutt
M. Gu
V. Rokhlin
July 1993
YALEU/DCS/TR978 * Backward Errors for Eigenvalue and Singular Value Decompositons
S. Chandrasekaran
I.C.F. Ipsen
July 1993
YALEU/DCS/TR979 [.pdf] Modeling the Connection between Development and Evolution: Preliminary Report
Eric Mjolsness
Charles D. Garrett
John Reinitz
David H. Sharp
July 1993
YALEU/DCS/TR980 [.pdf] Fast Fourier Transforms for Nonequispaced Data II
Aloke Dutt
Vladimir Rokhlin
August 1993
YALEU/DCS/TR981 [.pdf] Fast Fourier Transforms for Nonequispaced Data
Aloke Dutt
August 1993
YALEU/DCS/TR982 [.pdf] Implicit and Explicit Parallel Programming in Haskell
Mark P. Jones
Paul Hudak
August 1993
YALEU/DCS/TR983 [.pdf] Piranha Scheduling: Strategies and Their Implememtations
David Gelernter
Mark R. Jourdenais
David Kaminsky
September 1993
YALEU/DCS/TR984 [.pdf] Linda and Message Passing: What Have We Learned?
Nicholas Carriero
David Gelernter
September 1993
YALEU/DCS/TR985 [.pdf] Program Transformation with Piecewise Linear Domain Morphism
Young-il Choo
J. Alan Yang
September 1993
YALEU/DCS/TR986 [.pdf] Fast Fourier Transforms of Piecewise Constant Functions
Eugene Sorets
September 1993
YALEU/DCS/TR987 * On Iterative Techniques for a Load Balancing Problem
Bhaskar Ghosh
Eric Mjolsness
Martin Schultz
September 1993
YALEU/DCS/TR988 [.pdf] A Framework for Real-time Window-based Tracking Using Off-the-shelf Hardware
Greg Hager
Sidd Puri
Kentaro Toyama
September 1993
YALEU/DCS/TR989 [.pdf] Coherence for Qualified Types
Mark P. Jones
September 1993
YALEU/DCS/TR990 [.pdf] Generalized Gaussian Quadreture Rules for Systems of Arbitrary Functions
J. Ma
V. Rokhlin
S. Wandzura
September 1993
YALEU/DCS/TR991 * A Vision Based Grasping System for Unfamiliar Planar Objects
Aage Bendiksen
Greg Hager
October 1993
YALEU/DCS/TR992 [.pdf] Robot Feedback Control Based on Stereo Vision: Towards Calibration-Free Hand-Eye Coordination
Greg Hager
Wen-Chung Chang
Steven Morse
October 1993
YALEU/DCS/TR993 [.pdf] On Line Processes, Outlier Rejection, and Robust Statistics
Michael Black
Anand Rangarajan
October 1993
YALEU/DCS/TR994 [.pdf] Experiments and Bounds on block Diagonal Preconditioning
Mark Yan-Ming Chang
Martin H. Schultz
November 1993
YALEU/DCS/TR995 [.pdf] A Parallel 3D Parabolic Wave Equation Solver
Ding Lee
Diana Resasco
Martin H. Schultz
Faisal Saied
November 1993
YALEU/DCS/TR996 [.pdf] Temporal Domain Parallelism: Does it Work?
Ashish Deshpande
Sachit Malhotra
Craig C. Douglas
Martin H. Schultz
November 1993
YALEU/DCS/TR997 [.pdf] The Design of an Operating System for Modern Programming Languages
James Philbin
May 1993
YALEU/DCS/TR998 [.pdf] Real-Time Feature Tracking and Projective Invarience as a Basis for Hand-Eye Coordination
Greg Hager
November 1993
YALEU/DCS/TR999 [.tex] [.pdf] On the Power of Preemption
Jeffery Westbrook
January 1994
YALEU/DCS/TR1000 [.pdf] Toward an Efficient Reliable Persistent Associative Shared-Object Memory (Postition Paper)
David Gelernter
Jeff Westbrook
Lenore Zuck
November 1993
YALEU/DCS/TR1001 * Formal Reasoning about PASO Systems
Lenore Zuck
November 1993
YALEU/DCS/TR1002 [.tex] [.pdf] The Power of Local Self-Reductions
Richard Beigel
November 1993
YALEU/DCS/TR1003 [.pdf] Semantics and Coherence for Parametric Type Classes
Kung Chen
December 1993
YALEU/DCS/TR1004 [.pdf] Composing Monads
M. Jones
Luc Duponcheel
December 1993
YALEU/DCS/TR1005 A Cache for Associative Memory
Willard Miranker
December 1993
YALEU/DCS/TR889 [.pdf] Incremental Computation via Partial Evaluation
Raman Sundaresh
January 1992
YALEU/DCS/TR890 * Fast Ineremental Planarity Testing
Jeffery Westbrook
February 1992
YALEU/DCS/TR891 [.pdf] A Robust Gradient Method for Determining Optical Flow
Michael J. Black
October 1991
YALEU/DCS/TR892 * An Interpersonal Model of Goal-based Decision Making
Stephen Slade
March 1992
YALEU/DCS/TR893 [.pdf] On the Rapid Evaluation of Trigometric Series
V. Rokhlin
Aloke Dutt
March 1992
YALEU/DCS/TR894 [.pdf] Diagonal Forms of Translation Operators for the Helmholtz Equation in 3 Dimensions
V. Rokhlin
March 1992
YALEU/DCS/TR895 * Abstractions for Parallel N-Body Simulations
Sandeep Bhatt
Marina Chen
Cheng-Yee Lin
Pangfeng Liu
March 1992
YALEU/DCS/TR896 [.pdf] Parameterized Partial Evolutions: Semantic Specifications and Correctness Proofs
C. Consel
S. Khoo
March 1992
YALEU/DCS/TR897 [.tex] Pace Migration Algorithms Using Work Functions
Marek Chrobak
Laurence L. Larmore
Nick Reingold
Jeffery Westbrook
March 1992
YALEU/DCS/TR898 [.pdf] Passive Robot Map Building with Exploration Scripts
Sean P. Engelson
Drew V. McDermott
March 1992
YALEU/DCS/TR899 [.pdf] A Computational and Evolutionary Perspective on the Role of Representation in Vision
Michael J. Tarr
Michael J. Black
October 1991
YALEU/DCS/TR900 [.pdf] Type Inference for Parametric Type Classes
Kung Chen
Martin Odersky
Paul Hudak
April 1992
YALEU/DCS/TR901 [.pdf] A Gentle Introduction to HASKELL
Paul Hudak
Joseph Fasel
April 1992
YALEU/DCS/TR902 [.pdf] Systems of Negative Boolean Constraints
Martin Odersky
Kim Marriott
April 1992
YALEU/DCS/TR903 [.pdf] On the Evaluation of Bessel Functions
Gregory Matvienko
April 1992
YALEU/DCS/TR904 [.pdf] GEMMW: A Portable Level 3 Blas Winograd Variant of Strassen’s Matrix-Matrix Multiply Algorithm
Craig C. Douglas
Michael Heroux
Gordon Slishman
Roger M. Smith
May 1992
YALEU/DCS/TR905 Theory & Art of Semantics-Directed Program Execution Monitoring
Amir Kishon
May 1992
YALEU/DCS/TR906 [.tex] [.pdf] Computing Arbitrary Symmetric Functions
Daniel A. Spielman
May 1992
YALEU/DCS/TR907 [.tex] Fault Diagnosis in 33 Parallel Testing Rounds
Richard Beigel
Daniel A. Spielman
May 1992
YALEU/DCS/TR908 [.tex] [.pdf] An Efficient for Unconditionally Secure Secret Key Exchange
Michael Fischer
Rebecca Wright
May 1992
YALEU/DCS/TR909 [.pdf] PEPM ‘92 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Charles Consel
May 1992
YALEU/DCS/TR910 * A Simple Tree Data Structure for On-Line Problems
Jeffery Westbrook
May 1992
YALEU/DCS/TR911 [.pdf] The Performance of Greedy Algorithms for On-Line Steiner Tree and Related Problems
Jeffery Westbrook
D.C.K. Yan
May 1992
YALEU/DCS/TR912 [.pdf] On-Line & Off-Line Partial Evaluation: Pemantic Specifications and Correctness Proofs
Charles Consel
Siau Cheng Khoo
June 1992
YALEU/DCS/TR913 [.pdf] On the Inverse Scattering Problem for the Helmholtz Equation in One Dimension
Yu Chen
June 1992
YALEU/DCS/TR914 [.pdf] Mutable Abstract Datatypes
Paul Hudak
July 1992
YALEU/DCS/TR915 Inference Record 5th Workshop on Languages & Compilers for Parallel Programming
David Gelernter
August 1992
YALEU/DCS/TR916 [.pdf] A Stable and Efficient Algorithm for the Rank-One Modification Eigenproblem
Ming Gu
Stanley Eisenstat
August 1992
YALEU/DCS/TR917 [.pdf] Analysis of a QR Algorithm for Computing Singular Values
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992
YALEU/DCS/TR918 [.pdf] Uniform Stability of Markov Chains
Ilse Ipsen
Carl D. Meyer
September 1992
YALEU/DCS/TR919 * Finite Precision Analysis of Inverse Iteration
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992
YALEU/DCS/TR920 [.pdf] Automated Fingerprint Identification: An Independent Study
Eric Mjolsness
Carol Crawford
August 1992
YALEU/DCS/TR921 [.pdf] Task-Directed Computation of Qualitative Decisions from Sensor Data
Gregory D. Hager
August 1992
YALEU/DCS/TR922 * Model for Cooperative Control of Positional Information in Drosophila by bcd and Maternal hb
John Reinitz
Eric Mjolsness
David H. Sharp
August 1992
YALEU/DCS/TR923 * Robust Incremental Optical Flow
Michael Julian Black
September 1992
YALEU/DCS/TR924 [.pdf] On Comparing Statistical and Set-Based Methods in Sensor Data Fusion
Gregory D. Hager
Sean Engelson
September 1992
YALEU/DCS/TR925 [.pdf] Sensor Planning for Reactive Robotic Systems
Gregory D. Hager
Gerhard Grumwald
October 1992
YALEU/DCS/TR926 [.pdf] Parameterized Partial Evaluation Principle and Practice
Siau Cheng Khoo
October 1992
YALEU/DCS/TR927 [.pdf] The Rapid Solution of the Laplace Equation on Regions with Fractal Boundaries
Jin Hong Ma
October 1992
YALEU/DCS/TR928 [.tex] [.pdf] ARS MAGNA: The Abstract Robot Simulator Manual
Sean P. Engelson
Niklas Bertani
October 1992
YALEU/DCS/TR929 [.pdf] Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
Paul Hudak
October 1992
YALEU/DCS/TR930 [.pdf] The Unexpurgated Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
October 1992
YALEU/DCS/TR931 [.pdf] Linda on Distributed Memory Multiprocessors
Robert Bjornson
November 1992
YALEU/DCS/TR932 [.pdf] A Divide-and-Conquer Algorithm for the Symmetric Tridiagonal Eigenproblem
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR933 [.pdf] A Divide-and-Conquer Algorithm for the Bidiagonal SVD
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR934 [.pdf] Relative Perturbation Theory for Eigenproblems
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR935 [.pdf] Yale Haskell Users Manual Version Y2.0 Beta The Yale Haskell Group
Paul Hudak
John Peterson
Sandra Loosemore
November 1992
YALEU/DCS/TR936 [.tex] [.pdf] Inductive Inference of Total Recursive Functions by Problemistic and Deterministic Strategies
Martinch Krikis
Rusins Freivalds
November 1992
YALEU/DCS/TR937 [.pdf] Loop Transformations for Massive Parallelism
Lee-Chung Lu
November 1992
YALEU/DCS/TR938 [.pdf] Connectionist Grammars for High-Level Vision
Eric Mjolsness
November 1992
YALEU/DCS/TR939 [.pdf] Downdating the Singular Value Decomposition
Ming Gu
Stanley C. Eisenstat
December 1992
YALEU/DCS/TR940 Analysis of Static Condenstation for Laplace Equation on a Rectangle
Mark Yan-Ming Chang
Martin Schultz
December 1992
YALEU/DCS/TR941 [.tex] [.pdf] Transformational Planning of Reactive Behavior
Drew McDermott
December 1992
YALEU/DCS/TR942 [.pdf] Relative Pertubation Techniques for Singular Value Problems
Stanley C. Eisenstat
Ilse C. F. Ipsen
December 1002
YALEU/DCS/TR943 [.pdf] Some Remarks on Completely Vectorizing Point Gauss-Seidel While Using the Natural Ordering
Craig C. Douglas
December 1992
YALEU/DCS/TR840 * Crystal Reference Manual, Version 3.0
Michel Jacquemin
J. Allan Yang
January 1991
YALEU/DCS/TR841 [.pdf] A Fast Algorithm for the Evaluation of Trigonometric Series
Aloke Dutt
January 1991
YALEU/DCS/TR842 A Lograngian Approach to Fixed Points
Eric Mjolsness
Charles Garrett
Willard L. Mirankar
January 1991
YALEU/DCS/TR843 [.tex] [.pdf] Polynomial Interpolation, Threshhold Circuits, and the Polynomial Hierarchy
Richard Beigel
January 1991
YALEU/DCS/TR844 [.tex] [.pdf] Randomized Algorithms for Multiprocessor Page Migration
Jeffrey Westbrook
January 1991
YALEU/DCS/TR845 [.pdf] Genetic Algorithms for Genetic Neural Nets
David H. Sharp
Jon Reinitz
Eric Mjolsness
February 1991
YALEU/DCS/TR846 * Design Implementation, and Applications of X a Metalanguage for Parallel-Program Transformation
J. Allan Yang
Young-il Choo
February 1991
YALEU/DCS/TR847 [.pdf] Multiple Trellises and the Intelligent Cardiovascular Monitor
Michael Factor
David Gelernter
Dean Sittig
February 1991
YALEU/DCS/TR848 * Space & Time Bases for the Sequentialization of Systolic Array Designs
Alain Darte
Jean-Marc Delosme
March 1991
YALEU/DCS/TR849 * Crystal Compiler Primer: Version 3.0
Michael Hemy
March 1991
YALEU/DCS/TR850 [.pdf] Monitoring Semantics: A Formal Framework for Specifying, Implementing, & Reasoning about execution monitors
A. Kishon
P. Hudak
C. Consel
March 1991
YALEU/DCS/TR851 [.tex] The Design, Implementation, and Performance of a Database-driven Expert System
S. Fertig
D. Gelernter
March 1991
YALEU/DCS/TR852 [.pdf] Software Backplanes, Realtime Data Fusion and the Process Trellis
M. Factor
D. Gelernter
March 1991
YALEU/DCS/TR853 [.pdf] Reliable Communication Over Unreliable Channels
Yehuda Afek
Hagit Attiya
Alan Fakete
Michael Fischer
Nancy Lynch
Yishay Mansour
Da-Wei Wang
Lenore Zuck
March 1991
YALEU/DCS/TR854 [.pdf] Bayesian Inference on Visual Grammars by Neural Nets that Optimize
Eric Mjolsness
April 1991
YALEU/DCS/TR855 [.pdf] Multiparty Secret Key Exchange Using a Random Deal of Cards
Michael J. Fischer
Rebecca N. Wright
April 1991
YALEU/DCS/TR856 [.pdf] Real-Time Sequence Transmission Problem
Da-Wei Wang
Lenore Zuck
May 1991
YALEU/DCS/TR857 [.pdf] Games I/0 Automata Play
Nicholas Reingold
Da-Wei Wang
Lenore Zuck
May 1991
YALEU/DCS/TR858 * Parallelizing FORTRAN Programs for Massively Parallel Machines via Crystal
Marina Chen
Dong-Juan Chen
May 1991
YALEU/DCS/TR859 [.pdf] Parallel Subspace Method for non-Hermitian Eigen Problems on the Connection Machine (CM2)
Serge Petiton
May 1991
YALEU/DCS/TR860 [.pdf] Full Utilization of Communication Resources
David Saks Greenberg
June 1991
YALEU/DCS/TR861 [.pdf] Robot Planning
Drew McDermott
June 1991
YALEU/DCS/TR862 [.pdf] Logi-Calc: An Enviornment for Interactive Proof Development
Denys Duchier
July 1991
YALEU/DCS/TR863 UNASSIGNED
YALEU/DCS/TR864 [.tex] [.pdf] A Reactive Plan Language
Drew McDermott
July 1991
YALEU/DCS/TR865 [.pdf] Parameterized Partial Evaluation Extended Version
Charles Consel
Siau Cheng Khoo
July 1991
YALEU/DCS/TR866A [.pdf] Perturbation Theory for the Solution of Linear Systems of Equations and Least Squares Problems
Shivkumar Chandrasekaran
Ilse Ipsen
July 1991
YALEU/DCS/TR866B [.pdf] Experience with Linda
R. Bjornson
N. Carriero
D. Gelernter
T. Mattson
D. Kaminsky
A. Sherman
July 1991
YALEU/DCS/TR867 [.pdf] Fast Strictness Analysis via Symbolic Fixpoint Iteration
Charles Consel
September 1991
YALEU/DCS/TR868 [.pdf] Real-Time Vision-Based Robot Localization
Greg Hager
September 1991
YALEU/DCS/TR869 [.pdf] Dynamic Partitioning of Parallel Lisp Programs
Eric Mohr
September 1991
YALEU/DCS/TR870 [.pdf] Formal Derivation of an Efficient Parallel Gauss-Seidel Method on a Mesh of Processors
J. Allan Yang
Young-il Choo
September 1991
YALEU/DCS/TR871 [.pdf] Short Encodings of Planar Graphs and Maps
Kenneth Keeler
Jeffrey Westbrook
October 1991
YALEU/DCS/TR872 [.pdf] A New Iterative Pojective Method for Large Symmetric Eigenproblem
Mahid Emad
October 1991
YALEU/DCS/TR873 [.pdf] Combining Intensity and Motion for Incremental Segmentation and Tracking over Long Image Sequences
Michael J. Black
October 1991
YALEU/DCS/TR874 [.pdf] Map Learning with Error Correction for Mobile Robots
Sean P. Engelson
Drew V. McDermott
October 1991
YALEU/DCS/TR875 [.tex] [.pdf] Decision Making in th Presence of Noise
Michael J. Fischer
Sophia A. Paleologou
October 1991
YALEU/DCS/TR876 [.pdf] Compiling Crystal for Distributed-Memory Machines
Jingke Li
October 1991
YALEU/DCS/TR877 [.pdf] A Higher-Level Environment for Parallel Programming
Shakil Ahmed
David Gelernter
November 1991
YALEU/DCS/TR878 * Massively Parallel Sparse Matrix Computations for Ineration Methods
Serge Petiton
November 1991
YALEU/DCS/TR879 * On the Parallel Implementation of Jacobis and Koghetliantz’s Algorithm
Jurgen Goetze
November 1991
YALEU/DCS/TR880 [.pdf] On Rank-Revealing QR Factorisations
Shivkumar Chandrasekaran
Ilse Ipsen
November 1991
YALEU/DCS/TR881 [.pdf] Prototyping FORTRAN-90 Compilers for Massively Parallel Machines
Marina Chen
Jim Cowie
December 1991
YALEU/DCS/TR882 [.tex] [.pdf] Optimizing FORTRAN-90 Programs for Data Motion on Massively Parallel Systems
Marina Chen
Jan Jan Wu
December 1991
YALEU/DCS/TR883 [.pdf] Supercomputing out of Recycled Garbage : Preliminary Experience with Piranha
David Gelernter
David Kaminsky
December 1991
YALEU/DCS/TR884 * PCGPAK 2 Benchmarks
Andrew Sherman
Mark Yan-Ming Chang
Martin H. Schultz
December 1991
YALEU/DCS/TR885 [.tex] [.pdf] When Do Extra Majority Gates Help?
Richard Beigel
December 1991
YALEU/DCS/TR886 [.pdf] Translation of Pattern Matching and Other Context-free Normalization in Haskell
Brian Boutel
December 1991
YALEU/DCS/TR887 [.pdf] Program Builders as Alternatives to High-Level Languages
Shakil Ahmed
David Gelernter
December 1991
YALEU/DCS/TR888 [.pdf] On the Numerical Solution of One-Dementional Intregal and Differential Equations
Harold Page Starr,Jr.
December 1991
YALEU/DCS/TR756 * Projecting Plans for Uncertain Worlds
Steve Hanks
January 1990
YALEU/DCS/TR757 * CS661 Lecture Notes
Prabhakar Raghavan
January 1990
YALEU/DCS/TR758 * Non-Strict Monoloitic Arrays in a Strict Context
Steve Anderson
January 1990
YALEU/DCS/TR759 [.pdf] Memo-Functions in Alfl
Pradeep Varma
Paul Hudak
January 1990
YALEU/DCS/TR760 * Theory and Pragmatics of Compiling Efficient Parallel Code
Marina Chen
Young-il Choo
Jingke Li
January 1990
YALEU/DCS/TR761 [.pdf] Static and Dynamic Semantics Processing
Charles Consel
Oliver Danvy
February 1990
YALEU/DCS/TR762 [.pdf] Some Remarks on the Generalised Bareiss and Levinson Algorithms
Ilse Ipsen
February 1990
YALEU/DCS/TR763 [.pdf] Linear Algorithms for Analysis of Minimum Spanning and Shortest Path Trees of Planar Graphs
Heather Booth
Jeffery Westbrook
February 1990
YALEU/DCS/TR764 [.pdf] Boolean Cube Emulation of Butterfly Networks Encoded by Gray Code
Lennart Johnsson
Ching-Tien Ho
February 1990
YALEU/DCS/TR765 [.pdf] Mathematical Foundations for Fast Algorithms for the Biharmonic Equation
Peter Farkas
February 1990
YALEU/DCS/TR766 * Melinda: Linda with Multiple Tuple Spaces
Susanne C. Hupfer
February 1990
YALEU/DCS/TR767 [.pdf] Improving the Accuracy of Inverse Iteration
Elizabeth R. Jessup
Ilse C.F. Ipsen
February 1990
YALEU/DCS/TR768 [.pdf] Routing Multiple Paths in Hypercubes
David Greenberg
Sandeep N. Bhatt
March 1990
YALEU/DCS/TR769 * Evaluating Explanations
David Leake
March 1990
YALEU/DCS/TR770 [.pdf] Incremental Computation via Partial Evaluation
R.S. Sundaresh
Paul Hudak
March 1990
YALEU/DCS/TR771 [.pdf] The Wakeup Problem
Michael Fischer
Shlomo Moran
Steven Rudich
Gadi Taubenfeld
March 1990
YALEU/DCS/TR772 [.pdf] Sub-domain Dependency Test and Scheduling Algorithms for Massively Parallel Computing
Lee-Chung Lu
Marina Chen
March 1990
YALEU/DCS/TR773 [.pdf] Parallel Performance of Domain-Decomposed Preconditioned Krylov Methods for PDEs with Adaptive Refinement
William Gropp
David Keyes
March 1990
YALEU/DCS/TR774 [.pdf] From Interpreting to Compiling Binding Times
Charles Consel
Olivier Danvy
March 1990
YALEU/DCS/TR775 [.pdf] Data Parallel Algorithms for Finite Element Method
Kapil K. Mathur
S. Lennart Johnsson
March 1990
YALEU/DCS/TR776 [.pdf] Domain Decomposition Algorithms for Elliptic Partial Differential Equations (Thesis)
Diana C. Resasco
March 1990
YALEU/DCS/TR777 * Report on the Programming Language Haskell
Paul Hudak
et al
April 1990
YALEU/DCS/TR778 [.pdf] Supercomputers: Past and Future
S. Lennart Johnsson
April 1990
YALEU/DCS/TR779 * Optimal Communication Primitives and Graph Embeddings on Hypercubes (Thesis)
Ching-Tien Ho
April 1990
YALEU/DCS/TR780 [.pdf] Binding time Analysis for Higher Order Untyped Functional Languages
Charles Consel
April 1990
YALEU/DCS/TR781 [.pdf] Semantics-Directed Generation of a Prolog Compiler
Charles Consel
Siau Cheng Khoo
April 1990
YALEU/DCS/TR782 [.pdf] TupleScope: A Graphical Monitor and Debugger for Linda- Based Parallel Programs
Paul Bercovitz
Nicholas Carriero
April 1990
YALEU/DCS/TR783 * Semantics and Analyst of First-Class Tuple-Spaces
Suresh Jagannathan
April 1990
YALEU/DCS/TR784 * Data Dependencies and Space-Time Algebras in Parallel Programming
Magne Haveraaen
April 1990
YALEU/DCS/TR785 * Automated Reasoning About Machines
Andrew Gelsey
April 1990
YALEU/DCS/TR786 [.pdf] Meta-Crystal – A Metalanguange for Parallel-Program Optimazation
J. Allan Yang
Young-il Choo
April 1990
YALEU/DCS/TR787 [.pdf] The Complexity of Reshaping Arrays on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
April 1990
YALEU/DCS/TR788 * The Semantics of Tuple Space and Correctness of an Implementation
Keld Kondrup Jensen
April 1990
YALEU/DCS/TR789 * Constraints for the Early Detection of Discontinuity from Motion
Michael J. Black
P. Anandan
April 1990
YALEU/DCS/TR790 * Neutral Networks for Model-Based Recognition
Gene Gindi
Eric Mjolsness
P. Anandan
May 1990
YALEU/DCS/TR791 [.pdf] Embedding Meshes into Small Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
May 1990
YALEU/DCS/TR792 [.pdf] Secret Bit Transmission Using a Random Deal of Cards
Michael J. Fischer
Michael S. Paterson
Charles Rackoff
May 1990
YALEU/DCS/TR793 [.pdf] Embedding Three-Demensional Meshes in Boolean Cubes by Graph Decomposition
Ching-Tien Ho
Lennart Johnson
May 1990
YALEU/DCS/TR794 * Linda Coordination Language; Subsystem Kernal Architecture (on transputers)
Steven Ericsson Zenith
May 1990
YALEU/DCS/TR795 [.pdf] A Formal Model for Divide-and-Conquer and its Parallel Realization
Z.G. Mou
May 1990
YALEU/DCS/TR796 * A Connectionist Model of Morphogenesis
Eric Mjolsness
David H. Sharp
John Reinitz
May 1990
YALEU/DCS/TR797 [.pdf] Multiscale Optimization in Neural Nets
Eric Mjolsness
Charles Garrett
Willard L. Miranker
May 1990
YALEU/DCS/TR798 * Modularity & Concurrency through Environment- based reflection
Suresh Jagannathan
May 1990
YALEU/DCS/TR799 [.pdf] How to Create a Failure Tolerant Distributed System
Jonathan Hochman
June 1990
YALEU/DCS/TR800 * Knowledge in Distributed Byzantine Environments
Ruben Michel
June 1990
YALEU/DCS/TR801 [.pdf] The Trade off Between Processor Speed and Paralellism for Supercomputers
Min-You Wu
June 1990
YALEU/DCS/TR802 [.tex] [.pdf] On the Numerical Solution of Two-Point Boundary Value Problems II
V. Rokhlin
P. Starr
June 1990
YALEU/DCS/TR803 [.tex] [.pdf] PP is Closed Under Intersection. Suppt. by: NSF CCR-8601920
Richard Beigel
Nick Reingold
Daniel Spielman
June 1990
YALEU/DCS/TR804 [.tex] [.pdf] Randomized Algorithms for The List Update Problem
Nick Reingold
Jeffery Westbrook
June 1990
YALEU/DCS/TR805 [.tex] [.pdf] Optimal Off-line Algorithms for List Update Problems
Nick Reingold
Jeffery Westbrook
June 1990
YALEU/DCS/TR806 * A Scheme for Supporting Automatic Data Migration on Multicomputers
S. Mirchandaney
J. Saltz
P. Mehrotra
S. Berryman
June 1990
YALEU/DCS/TR807 * Execution Time Support for Adaptive Scientific Algorithms on Distributive Memory Machines
S. Berryman
J. Saltz
J. Scroggs
June 1990
YALEU/DCS/TR808 * Real-Time Performance, Parallelism and Program Visualization in Medical Monitoring
M. Factor
D. Gelernter
C. Kolb
P. Miller
D. Sittig
July 1990
YALEU/DCS/TR809 * Programming with Ease: Semiotic Definition of the Language
S. Ericsson Zenith
July 1990
YALEU/DCS/TR810 [.pdf] A Comparison of Three Column-based Distributed Sparse Ractorization Schemes
Cleve Ashcraft
Stanley Eisenstat
Joseph H. Liu
Andrew H. Sherman
July 1990
YALEU/DCS/TR811 [.pdf] Numerical Techniques for the Solution of the Time- dependent Schrodinger Equation and their Parallel Implementation
Faisal Saied
July 1990
YALEU/DCS/TR812 [.pdf] A Linear Time Algorithm for DNA Sequencing
David E. Foulser
July 1990
YALEU/DCS/TR813 [.tex] [.pdf] The Perceptron Strikes Back
Richard Beigel
Nick Reingold
Daniel Spielman
July 1990
YALEU/DCS/TR814 [.pdf] Sparse Representation of Smooth Linear Operators
Bradley Keith Alpert
August 1990
YALEU/DCS/TR815 * Parallel Computation and FASTA: Confronting the Problems of Parallel Data-base Search for a Fast-Sequence Comparison Algorithm
Perry Miller
Prakash Nadkarni
Nicholas Carriero
August 1990
YALEU/DCS/TR816 * Systematic Applications of Loop Transactions
Marina Chen
Lee-Chung Lu
August 1990
YALEU/DCS/TR817 * Domain Morphisms: A New Construct for Parallel Programming and Formalizing Program Optimization
Marina Chen
Young-il Choo
August 1990
YALEU/DCS/TR818 * Experience with the Process Trellis Software Architecture
Michael Factor
David Gelernter
August 1990
YALEU/DCS/TR819 [.tex] [.pdf] Improved Bounds on Coherence and Checkability
Richard Beigel
Joan Feigenbaum
September 1990
YALEU/DCS/TR820 [.pdf] Partial Evaluation in Parallel
Charles Consel
Olivier Danvy
September 1990
YALEU/DCS/TR821 * True Bigness
Michael Factor
David Gelernter
September 1990
YALEU/DCS/TR822 * A Model for Incremental Motion Estimation
Michael Black
P. Anandan
September 1990
YALEU/DCS/TR823 [.tex] On ACC
Richard Beigel
September 1990
YALEU/DCS/TR824 [.pdf] Parellel Programming Transformation Using a Metalanguage
J. Allen Yang
Young-il Choo
September 1990
YALEU/DCS/TR825 * Parellel Programming with Theory Morphisms
J. Allen Yang
Young-il Choo
September 1990
YALEU/DCS/TR826 * The Hypercomputer: A Network Process Management System
David Kaminsky
September 1990
YALEU/DCS/TR827 [.pdf] Convergence Rate Estimate for A Domain Decomposition Method
Xiao-Chuan Cai
William D. Gropp
David E. Keyes
October 1990
YALEU/DCS/TR828 [.pdf] Building Incremental Programs Using Partial Evaluation
Raman Sundaresh
October 1990
YALEU/DCS/TR829 * Automating the Coordination of Interprocessor Communication
Jinge Li
Marina Chen
October 1990
YALEU/DCS/TR830 * YALE - The Yale Automated Linda Editor
Shakil Ahmed
October 1990
YALEU/DCS/TR831 * Inside Linda
Paolo Ciancarini Consiglio
October 1990
YALEU/DCS/TR832 * The Process Trellis Software Architecture for Parallel, Real-Time Monitors
Michael E. Factor
October 1990
YALEU/DCS/TR833 * New Loop Transformation Techniques for Massive Parallelism
Lee-Chung Lu
Marina Chen
October 1990
YALEU/DCS/TR834 * Global Optimization of Interprocedural Data Movement
Marina Chen
Jan-Jan Wu
October 1990
YALEU/DCS/TR835 [.pdf] Robust Dynamic Motion Estimation Over Time
Michael J. Black
P. Anandan
November 1990
YALEU/DCS/TR836 * Compiling Inheritance using Partial Evaluation
Siau Cheng
R.S. Sundaresh
December 1990
YALEU/DCS/TR837 [.pdf] Wavelets for the Fast Solution of Second Kind Integral Equations
B. Alpert
C. Beylkin
R. Coifman
V. Rokhlin
December 1990
YALEU/DCS/TR838 [.pdf] On the Inverse Scattering Problem for the Helmholtz Equation in One Demension
Y. Chen
V. Rokhlin
December 1990
YALEU/DCS/TR839 [.tex] An Informal Operational Semantics of C-Linda V2.3.5
J. Narem Jr.
December 1990
1989-1980
YALEU/DCS/TR669 [.pdf] A Categorical Approach to Distributed Systems Expressibilities and Knowledge
Ruben Michel
January 1989
YALEU/DCS/TR670 [.pdf] Expotential Lower Bounds for Constant Depth Circuits in the Presence of Help Bits
Jin-yi Cai
January 1989
YALEU/DCS/TR671 [.pdf] A Fast Algorithm for the Evaluation of Legendre Expansions
Bradley Alpert
Vladimir Rokhlin
January 1989
YALEU/DCS/TR672 * Adaptive Execution in Complex Dynamic Worlds
James Firby
January 1989
YALEU/DCS/TR673 * Speedup of a Financial Application Using the Crystal Compiler for Hypercubes
Marina Chen
January 1989
YALEU/DCS/TR674 [.pdf] A Prototype System for Automated Tactical Situation Assessment
Drew McDermott
January 1989
YALEU/DCS/TR675 * Parallel Programming in DIVACON
Zhijing Mou
Paul Hudak
January 1989
YALEU/DCS/TR676 * Polymorphic Array Operations in Divide-and-Conquer
Zhijing Mou
Paul Hudak
January 1989
YALEU/DCS/TR677 [.pdf] Runtime Aggregations of Recursion Relations
Joel Saltz
H. Scott Berryman
January 1989
YALEU/DCS/TR678 * Knowledge Acquisition Planning: Gaining Expertise Through Experience
Larry Hunter
January 1989
YALEU/DCS/TR679 [.pdf] Optimizing Tridiagonal Solvers for Alternating Direction Methods on Boolean Cube Multiprocessors
Lennart Johnsson
Ching-Tien Ho
January 1989
YALEU/DCS/TR680 [.pdf] A Blocked Jacobi Method for the Symmetric Eigen Problem
David Foulser
February 1989
YALEU/DCS/TR681 * Fast Learning in Multi-Resolution Heirarchies
John Moody
February 1989
YALEU/DCS/TR682 [.pdf] Histogram Computation on Distributed Memory Architectures
Dimitris Gerogiannis
Stelios Orphanoudakis
Lennart Johnsson
February 1989
YALEU/DCS/TR683 [.pdf] Parallelism in Sequential Divided-and-Conquer (Extended Abstract)
George Zhijing Mou
Steve Anderson
Paul Hudak
February 1989
YALEU/DCS/TR684 [.pdf] An Exploration of Asynchronous Data-Parallelism
Michael Littman
Chris Metcalf
February 1989
YALEU/DCS/TR685 [.pdf] Krylov Methods Preconditioned with Incompletely Factored Matrices on the CM-2
Harry Berryman
Joel Saltz
William Gropp
February 1989
YALEU/DCS/TR686 [.pdf] Algebraic Transformations of Objective Functions
Eric Mjolsness
Charles Garret
March 1989
YALEU/DCS/TR687 * MARCEL: A Generate-Test-and-Debug (GTD) Impasse/Repair Model of Student Programmers
James C. Spohrer
March 1989
YALEU/DCS/TR688 [.pdf] Solving Laplace Equations on the Connection Machine
Min-You Wu
March 1989
YALEU/DCS/TR689 [.pdf] Embedding Meshes in Boolean Cubes with Graph Decomposition
Ching-Tien Ho
Lennart Johnsson
March 1989
YALEU/DCS/TR690 [.pdf] The Implementation and Performance of Hypercube Linda
Robert Bjornson
Nicholas Carriero
David Gelernter
March 1989
YALEU/DCS/TR691 * A General Framework for Reason Maintenance
Drew McDermott
March 1989
YALEU/DCS/TR692 [.pdf] On the Numerical Solution of Two-Point Boundary Value Problems
Leslie Greengard
Vladimir Rokhlin
March 1989
YALEU/DCS/TR693 [.pdf] Efficient Compilation of Haskell Array Comprehensions
Paul Hudak
Steve Anderson
March 1989
YALEU/DCS/TR694 [.pdf] Using Queries to Identify µ-Formulas
Dana Angluin
March 1989
YALEU/DCS/TR695 * Sets and Arrays as Data Structures for Parallel Programming
Marina Chen
Andrew Kranin
Joseph Rodrigue
March 1989
YALEU/DCS/TR696 [.pdf] Fast Wavelet Transforms and Numerical Algorithms I
Vladimir Rokhlin
R. Coifman
G. Belkyin
April 1989
YALEU/DCS/TR697 * Optimization of Processor Count for Systolic Arrays
Yiwan Wong
Jean-Marc Delsome
April 1989
YALEU/DCS/TR698 * Experience with Lins on the iPSC / 2
Robert Bjornson
April 1989
YALEU/DCS/TR699 * The Theory and Practice of Semantic Program Analysis for Higher-Order Functional Programming Languages
Jonathan Young
May 1989
YALEU/DCS/TR700 [.pdf] A Fast Algorithm for the Evaluation of Heat Potentials
Leslie Greengard
J. Strain
May 1989
YALEU/DCS/TR701 * Transformations of Broadcasts into Propagations in Systolic Algorithms
Yiwan Wong
Jean-Marc Delosme
May 1989
YALEU/DCS/TR702 * Compilation by Program Transformation
Richard Kelsey
May 1989
YALEU/DCS/TR703 [.pdf] Single Assignment Semantics for Imperative Programs
Bjorn Lisper
May 1989
YALEU/DCS/TR704 [.pdf] Path Analysis and the Optimization of Non-strict Functional Languages
Adrienne Bloss
May 1989
YALEU/DCS/TR705 [.pdf] Tight Bounds for the Sequence Transmission Problem
Da Wai Wang
Lenore Zuck
May 1989
YALEU/DCS/TR706 [.pdf] A Fan-in Algorithm for Distributed Sparse Numerical Factorization
C. Ashcraft
S.C. Eisenstat
J.W.H. Liu
May 1989
YALEU/DCS/TR707 [.pdf] Self-Stabilizing Petri Nets
Gadi Taubenfeld
May 1989
YALEU/DCS/TR708 [.pdf] Possibility and Impossibility Results in a Shared Memory Environment
Gadi Taubenfeld
Shlomo Moran
May 1989
YALEU/DCS/TR709 [.pdf] Leader Election in the Presence of ‘N-1’ Initial Failures
Gadi Taubenfeld
May 1989
YALEU/DCS/TR710 [.pdf] Question-Driven Understanding: On Integrated Theory of Story Understanding, Memory and Learning
Ashwin Ram
May 1989
YALEU/DCS/TR711 [.pdf] Connectionist Variable-Binding by Optimization
P. Anandan
Stanley Letovsky
Eric Mjolsness
June 1989
YALEU/DCS/TR712 * Computer Story-Writing: The Role of Reconstructive and Dynamic Memory
Natalie Dehn
June 1989
YALEU/DCS/TR713 [.pdf] Channel Routing for Intergrated Circuits
Ron Pinter
Andrea LaPaugh
June 1989
YALEU/DCS/TR714 * Shared Tuple Memories, Shared Memories, Buses and LANS-Linda Implementations Across the Spectrum of Connectivity
Jerrold Leichter
June 1989
YALEU/DCS/TR715 * Implementing Linda for Distributed and Parallel Proccessing
Jerrold Leichter
Robert Whiteside
July 1989
YALEU/DCS/TR716 * Coordination Languages and Their Significance
Nicholas Carriero
David Gelernter
July 1989
YALEU/DCS/TR717 [.pdf] Performance Study on the Connection Machine
Min-You Wu
Wei Shu
July 1989
YALEU/DCS/TR718 [.pdf] The Fast Gauss Transform
L. Greengard
J. Strain
July 1989
YALEU/DCS/TR719 [.pdf] Efficient Breadth-First Expansion on the Connection Machine or : Parallel Processing of L-Systems
R. Pinter
S. Pinter
July 1989
YALEU/DCS/TR720 [.pdf] Efficient Compilation of Array Expressions for the Connection Machine
L. Ortiz
R. Pinter
July 1989
YALEU/DCS/TR721 [.pdf] Multiplication of Arbitrarily Shaped Matrices on Boolean Cubes Using the Full Communication Bandwidth
S. Johnsson
Ching-Tien Ho
July 1989
YALEU/DCS/TR722 UNASSIGNED
YALEU/DCS/TR723 [.pdf] Domain Decomposition on Parallel Computers
William Gropp
David Keyes
July 1989
YALEU/DCS/TR724 [.pdf] Node Ordering and Concurrency in Structurally Symetric Sparse Problems
I.S. Duff
Lennart Johnsson
July 1989
YALEU/DCS/TR725 [.pdf] Index Domain Alignment: Minimizing Cost of Cross-Referencing Between Distributing Arrays
Jingke Li
Marina Chen
July 1989
YALEU/DCS/TR726 [.pdf] Domain Decomposition with Local Mesh Refinement
William Gropp
David Keyes
July 1989
YALEU/DCS/TR727 [.pdf] Parallel Computation of Multiple Biological Sequence Comparisons
David Foulser
Nolan Core
August 1989
YALEU/DCS/TR728 [.pdf] Parallel Solution of the Symetric of the Tri-Diagonal Eigen Problem
E.R. Jessup
August 1989
YALEU/DCS/TR729 * Bounds on Block Diagonal Preconditioning
Mark Yan-Ming Chang
Martin Schultz
August 1989
YALEU/DCS/TR730 [.pdf] Program Optimization and Parallelization Using Idioms
Ron Pinter
Shlomit Pinter
August 1989
YALEU/DCS/TR731 * Dilation d Embebbing of a Hyper-Pyramid into a Hypercube
Ching-Tien Ho
Lennart Johnsson
September 1989
YALEU/DCS/TR732 [.pdf] A Study of Dissipation Operators for the Euler Equations and a Three-Dementional Channel Flow
Lennart Johnsson
Pelle Ollson
September 1989
YALEU/DCS/TR733 [.pdf] Element Order and Convergence Rate of the Conjugate Gradient Method for Data Parallel
Lennart Johnsson
Kapil K. Mathur
September 1989
YALEU/DCS/TR734 [.pdf] A Radix - 2 FFT on the Connection Machine
L. Johnsson
Robert L. Krawitz
Roger Frye
Douglas MacDonald
September 1989
YALEU/DCS/TR735 [.pdf] QCD with Dynamical Fermions on the Connection Machine
Lennart Johnsson
Ralph G. Brickner
Rajan Gupta
Clive F. Baillie
September 1989
YALEU/DCS/TR736 [.pdf] Matrix Multiplication on the Connection Machine
Lennart Johnsson
Tim Harris
Kapal K. Mathur
September 1989
YALEU/DCS/TR737 [.pdf] Boundary Modifications of the Dissipation Operators for the Three-Dementional Euler Equation
Pele Olsson
S.L. Johnsson
September 1989
YALEU/DCS/TR738 [.pdf] Distributed RC Delay Line Model and MOS PLA Timing Estimation
Chao-Lin Chiang
Lennart Johnsson
September 1989
YALEU/DCS/TR739 * TSNET: A Linda Implementation for Networks of Unix-Based Computers
Mauricio Arango
Donald Berndt
September 1989
YALEU/DCS/TR740 [.pdf] The Finite Element Method on a Data Parallel Architecture
Kapil Mathur
Lennart Johnsson
September 1989
YALEU/DCS/TR741 [.pdf] Data Parallel Super Computing
Lennart Johnsson
September 1989
YALEU/DCS/TR742 [.pdf] The Finite Element Method on a Data Parallel Computing System
Kapil Mathur
S. L. Johnsson
September 1989
YALEU/DCS/TR743 [.pdf] Data Structures and Algorithms for the Finite Element Method on a Data Parallel Super Computer
L. Johnsson
Kapil Mathur
September 1989
YALEU/DCS/TR744 * Is Explicit Parallelism Natural? Hybrid DB Search and Sparse LDL Factorization Using Linda
C. Ashcraft
N. Carriero
D. Gelernter
September 1989
YALEU/DCS/TR745 [.pdf] Discretization of the Steady State Semiconductor Device Equations
Ilan Efrat
September 1989
YALEU/DCS/TR746 [.pdf] Embedding Meshes in Boolean Cubes by Graph Decomposition
S.L. Johnsson
Ching-Tien Ho
September 1989
YALEU/DCS/TR747 [.pdf] A Dataparallel Implementation of an Explicit Method for the Three-Dementional Compressable Navier-Stokes Equation
Pelle Olsson
Lennart Johnsson
October 1989
YALEU/DCS/TR748 * Generalized Secret Sharing and Monotone Functions
Josh Benaloh
Jerrold Leichter
October 1989
YALEU/DCS/TR749 [.pdf] The Parallel Multipole Method on the Connection Machine Supported by: Thinking Machines Corp.
Lennart Johnsson
Feng Zhao
October 1989
YALEU/DCS/TR750 [.pdf] Cooley-Tukey FFR on the Connection Machine
S.Lennart Johnsson
Robert L. Krawitz
Robert Frye
Douglas MacDonald
October 1989
YALEU/DCS/TR751 [.pdf] High Radix FFT on Boolean Cube Networks
Lennart Johnsson
Michel Jacquemin
Ching-Tien Ho
October 1989
YALEU/DCS/TR752 * Regression Planning
Drew McDermott
November 1989
YALEU/DCS/TR753 [.pdf] Experience with the Conjugate Gradient Method for Stress Analysis on a Data Parallel Supercomputer
S.Lennart Johnsson
Kapil Mathur
November 1989
YALEU/DCS/TR754 * Optimal Communication in Distributed and Shared Models of Computation
S.Lennart Johnsson
December 1989
YALEU/DCS/TR755 [.pdf] Synthesis of Explicit Communication from Shared-Memory Program References
Jingke Li
Marina Chen
December 1989
YALEU/DCS/TR594 [.pdf] Implicit Finite-Difference Simulation of an Internal Flow on a Hypercube
Pierre Porta
January 1988
YALEU/DCS/TR595 [.pdf] Composite Semantics: One Generic Environment is Enough
Jonathan Young
January 1988
YALEU/DCS/TR596 * Numerical Simulation of a 2-D Compressible Fluid Flow on a Hypercube
Pierre Porta
Faisal Saied
January 1988
YALEU/DCS/TR597 [.pdf] Adaptive Load Sharing in the Presence of Delays
Ravi Mirchandaney
January 1988
YALEU/DCS/TR598 * Computing Fast Fourier Transforms on Boolean Cubes and Related Networks
Johnsson
Ho (as of Feb. 88)
Jacquemin
Ruttenberg
January 1988
YALEU/DCS/TR599 * Planned Creation Using Strategies as Blueprints
Greg Collins
January 1988
YALEU/DCS/TR600 [.pdf] Performability Analysis: Measures an Algorithm, And a Case Study
R. Smith
K.S. Trivedi
A.V. Ramesh
January 1988
YALEU/DCS/TR601 [.pdf] Using Entropy Minimax Estimation for Load Sharing
Ravi Mirchandaney
L. Sha
J.A. Stankovic
January 1988
YALEU/DCS/TR602 [.pdf] On the Efficient Implementation of the Fast Multipole Algorithm
Leslie Greengard
Vladimir Rokhlin
February 1988
YALEU/DCS/TR603 [.pdf] Efficient Protocols for Common Knowledge and Simultaneous Byzantine Agreement
Ruben Michel
January 1988
YALEU/DCS/TR604 [.pdf] Uncertain Knowledge in Distributed Systems (Revised edition, including title, now #643)
Michael Fischer
Lenore Zuck
January 1988
YALEU/DCS/TR605 [.pdf] Describing Graphs: A First-Order Approach to Graph Canonization
Neil Immerman
Eric Lander
February 1988
YALEU/DCS/TR606 [.pdf] On Projections from Permanent to Determinant
Jin-yi Cai
February 1988
YALEU/DCS/TR607 [.pdf] The Cholesky Factorization, Schur Complements, Correlation Coefficients, Angles between Vectors, and the QR Factorization
Ilse Ipsen
Jean-Marc Delosme
C.C. Paige
February 1988
YALEU/DCS/TR608 [.pdf] A Theory of Parallel Program Optimization
Young-il Choo
Marina Chen
February 1988
YALEU/DCS/TR609 * Footprints of Dependency: Towards Dynamic Memory Management of Massively Paralell Architectures
Marina Chen
Michel Jacquemin
February1988
YALEU/DCS/TR610 [.pdf] Optimum Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
February 1988
YALEU/DCS/TR611 [.pdf] Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
February 1988
YALEU/DCS/TR612 [.pdf] QED on the Connection Machine
Lennart Johnsson
March 1988
YALEU/DCS/TR613 [.pdf] Scaling, Machine Learning, and Generic Neural Nets
Eric Mjolsness
Dave Sharp
Bradley Albert
March 1988
YALEU/DCS/TR614 [.pdf] Identifying Languages from Stochastic Examples
Dana Angluin
March 1988
YALEU/DCS/TR615 The VAX Linda-C User’s Guide
Jerrold Leichter
March 1988
YALEU/DCS/TR616 [.pdf] Recursive Mesh Refinement on Hypercubes
William Gropp
Ilse Ipsen
March 1988
YALEU/DCS/TR617 [.pdf] Stable Dimension Permutaions on Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
March 1988
YALEU/DCS/TR618 [.pdf] Multiprocessor Execution of Functional Programs
Benjamin Goldberg
April 1988
YALEU/DCS/TR619 [.pdf] Systolic FFT Algorithms on Boolean Cube Networks
Lennart Johnsson
Ching-Tien Ho
Michel Jacquemin
Mark Ruttenberg
March 1988
YALEU/DCS/TR620 [.pdf] Optimal Algorithms for Dimension Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
March 1988
YALEU/DCS/TR621 [.pdf] Data Field + Dependency = Parallel Program
Marina Chen
Young-il Choo
Jingke Li
April 1988
YALEU/DCS/TR622 * Linda in Context
Nicholas Carriero
David Gelernter
April 1988
YALEU/DCS/TR623 [.pdf] Expressing Boolean Cube Matrix Algorithms in Shared Memory Primitives
Lennart Johnsson
Ching-Tien Ho
April 1988
YALEU/DCS/TR624 [.pdf] From Bareiss’ Algorithm to the Stable Computation of Partial Correlations
Jean-Marc Delsosme
Ilse Ipsen
April 1988
YALEU/DCS/TR625 Unassigned
YALEU/DCS/TR626 [.pdf] An Optimal Lower Bound on the Number of Variables for Graph Identification
Jin-ji Cai
Neil Immerman
May 1988
YALEU/DCS/TR627 [.pdf] Haskell Solutions to the Language Session Problems at the 1988 Salishan High-speed Computing Conference
Paul Hudak
Steve Anderson
May 1988
YALEU/DCS/TR628 * How to Write Parallel Programs: A Guide to the Perplexed
Nicholas Carriero
David Gelernter
May 1988
YALEU/DCS/TR629 [.pdf] An Experimental Study of Methods for Parallel Preconditioned Krylov Methods
Doug Baxter
Joel Saltz
Martin Schultz
Stan Eisenstat
Kay Crowley
June 1988
YALEU/DCS/TR630 [.pdf] Parallel Processing of Biological Sequence Comparison Algorithms
Nolan Core
Elizabeth Edmundston
Joel Saltz
Roger Smith
June 1988
YALEU/DCS/TR631 Unassigned
YALEU/DCS/TR632 [.pdf] ORBIT: An Optimizing Compiler for Scheme
David Kranz
June 1988
YALEU/DCS/TR633 [.pdf] Compiling Parallel Programs By Optimizing Performance
Marina Chen
Young-il Choo
Jingke Li
June 1988
YALEU/DCS/TR634 [.pdf] Optimization in Model Matoning and Perceptual Organization, A First Look
Eric Mjolsness
Gene Gindi
P. Anandan
June 1988
YALEU/DCS/TR635 [.pdf] Potential Flow in Channels
Leslie Greengard
June 1988
YALEU/DCS/TR636 [.pdf] Matrix Multiplication on Boolean Cubes Using Shared Memory Primitives
Ching-Tien Ho
Lennart Johnson
July 1988
YALEU/DCS/TR637 [.pdf] The Complexity of the Real Line is a Fractal
Jin-Yi Cai
Juris Hartmanis
July 1988
YALEU/DCS/TR638 * Using Linda for Supercomputing on a Local Area Network
R.A. Whiteside
Jerold Leichter
June 1988
YALEU/DCS/TR639 * Grid Tracing: Fast Ray Tracing for Height Fields
F. Kenton Musgrave
June 1988
YALEU/DCS/TR640 * A Parallel Version of the Fast Multipole Method
Leslie Greengard
William Gropp
August 1988
YALEU/DCS/TR641 * Spatial Reasoning About Mechanisms ITT (Partially)
Andrew Gelsey
Drew McDermott
August 1988
YALEU/DCS/TR642 [.pdf] Revised NISP Manual
Drew McDermott
August 1988
YALEU/DCS/TR643 * Reasoning About Uncertainty in Fault - Tolerant Distributed Systems (Revision of #604)
Michael Fischer
Lenore Zuck
August 1988
YALEU/DCS/TR644 * Case-Based Reasoning: A Research Paradigm
Stephen Slade
August 1988
YALEU/DCS/TR645 [.pdf] Explicit Routing in the Fluent Machine
Bjorn Lisper
August 1988
YALEU/DCS/TR646 * Spectral Integration and Two-Point Boundary Value Value Problems
Leslie Greengard
August 1988
YALEU/DCS/TR647 [.pdf] Requests for Hints That Return No Hints
Dana Angluin
September 1988
YALEU/DCS/TR648 [.pdf] Negative Results for Equivalence Queries
Dana Angluin
September 1988
YALEU/DCS/TR649 [.pdf] Learning With Localized Receptive Fields
John Moody
Christian Darken
September 1988
YALEU/DCS/TR650 * On the Performance of Self-Execution Primitives in the PARTY Runtime System
Ravi Mirchandaney
Joel Saltz
September 1988
YALEU/DCS/TR651 * Optimization of Computation Time for Systolic Arrays
Yi Wan Wong
Jean-Marc Delosme
September 1988
YALEU/DCS/TR652 [.pdf] A Rapid Numerical Procedure for Determining Axisymetric Transfer Electric Electromgnetic Fields Via Boundary Intergrals
Vladimir Rokhlin
Ira Bernstein
September 1988
YALEU/DCS/TR653 [.pdf] Shuffle Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
October 1988
YALEU/DCS/TR654 * Learning With Localized Receptive Fields: A Speedy Alternative to Back Propagation
John Moody
Christian Darken
October 1988
YALEU/DCS/TR655 [.pdf] Preconditioned Krylov Solvers and Methods for Runtime Loop Parallelization
Doug Baxter
Joel Saltz
Martin Schultz
Stanley Eisenstat
October 1988
YALEU/DCS/TR656 * Report on the Functional Programming Language Haskell
Paul Hudak
Phil Wadler
October 1988
YALEU/DCS/TR657 [.pdf] Runtime Scheduling and Execution of Loops on Message Passing Machines
Kay Crowley
Joel Saltz
Ravi Mirchandaney
H. Scott Berryman
October 1988
YALEU/DCS/TR658 Unassigned
YALEU/DCS/TR659 [.pdf] Equivalence Queries and DNF Formulas
Dana Angluin
November 1988
YALEU/DCS/TR660 * The LogiCalc Manual
Denys Duchier
November 1988
YALEU/DCS/TR661 [.pdf] Run-Time Parallelization and Scheduling of Loops
Joel Saltz
Ravi Mirchandaney
Doug Baxter
November 1988
YALEU/DCS/TR662 * Plan Analysis of Programs
Stanley Letovsky
November 1988
YALEU/DCS/TR663 * Fluent Parallel Computation
Abriham Ranade
December 1988
YALEU/DCS/TR664 [.pdf] Synthesis of a Systolic Dirichlet Product Using Non-Linear Domain Contraction
Marina Chen
Young-il Choo
December 1988
YALEU/DCS/TR665 [.pdf] On the Expressiveness of Purely Functional Operating Systems
Paul Hudak
R. Sundaresh
December 1988
YALEU/DCS/TR666 * Report on the Functional Programming Language Haskell
Paul Hudak
December 1988
YALEU/DCS/TR667 [.pdf] Embedding Hyper-Pyramids into Hypercubes
Ching-Tien Ho
Lennart Johnsson lll
December 1988
YALEU/DCS/TR668 * Optimal Architectures and Objective Functions for Associative Memory
John Moody
December 1988
YALEU/DCS/TR508 [.pdf] Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
January 1987
YALEU/DCS/TR509 [.pdf] A Fast Algorithm for the Descrete Laplace Transformation
Vladimir Rokhlin
January 1987
YALEU/DCS/TR510 [.pdf] Automated Problem Mapping: The Crystal Runtime System
Joel Saltz
Marina Chen
January 1987
YALEU/DCS/TR511 [.pdf] Constrained Randomization for Parallel Communication
Abhiram Ranade
January 1987
YALEU/DCS/TR512 [.pdf] Equivalence of Message Scheduling Algorithms for Parallel Communication
Abhiram Ranade
January 1987
YALEU/DCS/TR513 [.pdf] Design of Systolic Algorithms for Large Scale Multiprocessors
Jingke Li
Marina Chen
Mark Young
January 1987
YALEU/DCS/TR514 * Ten Problems in Artificial Intelligence
Roger Schank
Christopher Owens
January 1987
YALEU/DCS/TR515 * The Rapid Evaluation of Potential Fields in Three Dimensions
Leslie Greengard
Vladimer Rokhlin
January 1987
YALEU/DCS/TR516 [.pdf] Communication -llfficient Distributed Data Structures on Hypercubes Machines
Zhijing Mou
Marina Chen
February 1987
YALEU/DCS/TR517 * A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
Lenore Zuck
Joseph Halpern
February 1987
YALEU/DCS/TR518 * Creativity in Education: A Standard for Computer-Based Teaching
Roger Schank
Robert Farrell
February 1987
YALEU/DCS/TR519 [.pdf] Solving Banded Systems on a Parallel Processor
J.J. Dongarra
Lennart Johnsson
Febraury 1987
YALEU/DCS/TR520 [.pdf] LINDA The Portable Parallel
Robert Bjornson
Nick Carriero
Jerrold Leichter
February 1987
YALEU/DCS/TR521 * Generating Natural Language Under Pragmatic Constraints
Ed Hovy
February 1987
YALEU/DCS/TR522 * DARPA - Sponsored Planning Research+ Report and Prospectus
Drew McDermott
March 1987
YALEU/DCS/TR523 * Type of Explanations
Alex Kass
David Leake
March 1987
YALEU/DCS/TR524 [.pdf] A Para-Functional Programming Environment for Parallel and Distributed Computing
Paul Hudak
Jean-Marc Delosme
Ilse Ipsen
March 1987
YALEU/DCS/TR525 [.pdf] Complete Operational Semantics for First-Order Lazy Narrowing
Paul Hudak
Juan Guzman
March 1987
YALEU/DCS/TR526 [.pdf] Detecting Sharing of Partial Applications in Functional Programs
Paul Hudak
Benjamin Goldberg
March 1987
YALEU/DCS/TR527 [.pdf] Synthesizing Systolic Arrays from Recurrsion Equations
Marina Chen
March 1987
YALEU/DCS/TR528 [.pdf] PSpace Survives Three-Bit Bottlenecks
Jin-yi Cai
Merrick Furst
March 1987
YALEU/DCS/TR529 * A Linda User’s Manual
Robert Bjornson
March 1987
YALEU/DCS/TR530 [.pdf] Matrix Multiplication on Boolean Cubes Using Generic Communication Primitives
S.Lennart Johnsson
Ching-Tien Ho
March 1987
YALEU/DCS/TR531 * Parrellism Persistence and META-Cleanliness in the Symetric Lisp Interpreter
David Gelernter
Suresh Jagannathan
T. Lyndon
March 1987
YALEU/DCS/TR532 * Solving Multiple Tridiagonal Systems, the Alternating Direction Method, and Boolean Cube Configured Multiprocessors
Lennart Johnsson
Ching-Tien Ho
April 1987
YALEU/DCS/TR533 [.pdf] The Rapid Evaluation of Potential Feilds in Particle Systems
Leslie Greengard
April 1987
YALEU/DCS/TR534 [.pdf] Analysis of Domain Decomposition Preconditioners on Irregular Regions
Tony Chan
Diana Resasco
April 1987
YALEU/DCS/TR535 [.pdf] Minimum Expansion Embebbings of Meshes in Hypercubes
David Greenberg
April 1987
YALEU/DCS/TR536 [.pdf] On The Eventuality Operator in Temporal Logic
A. Prasad Sistla
Lenore Zuck
April 1987
YALEU/DCS/TR537 [.pdf] Analysis of Parameterized Methods for Problem Partitioning
Joel Saltz
May 1987
YALEU/DCS/TR538 [.pdf] Expressability as a Complexity Measure: Results and Directions
Neil Immerman
May 1987
YALEU/DCS/TR539 [.pdf] Systolic Algorithms for the Parallel Solution of Dense Symetric Positive-Definite Toeplitz Systems
Ilse Ipsen
May 1987
YALEU/DCS/TR540 * A Processor for Two-Dimensional Symetric Eigenvalue and Singular Value Arrays
Jean-Marc Delosme
May 1987
YALEU/DCS/TR541 [.pdf] Computing Particle Correlations from the Data Matrix
Jean-Marc Delosme
Ilse Ipsen
May 1987
YALEU/DCS/TR542 [.pdf] A Programmable Systolic Array for Factorial Data Analysis Part I: Matrix Computations
Tiba Porta
May 1987
YALEU/DCS/TR543 [.pdf] A Programmable Systolic Array for Factorial Data Analysis Part II: The Symetric Eigenvalue Problem
Tiba Porta
May 1987
YALEU/DCS/TR544 [.pdf] Transformation of Broadcasting into Pipelining
YiWan Wong
Jean-Marc Delosme
June 1987
YALEU/DCS/TR545 [.pdf] Control of Attention in Neural Networks
Eric Mjolsness
June 1987
YALEU/DCS/TR546 [.pdf] Expressability and Parallel Complexity
Neil Immerman
August 1988
YALEU/DCS/TR547 [.pdf] A Greedy Approximation Algorythm for the Partial Order Search Problem
Phillip Laird
June 1987
YALEU/DCS/TR548 [.pdf] Solving the Symmetric Tridiagonal Eigenvalue Problem on the Hypercube
Ilse Ipsen
Elizabeth Jessup
June 1987
YALEU/DCS/TR549 [.pdf] Recursively Generated Neural Networks
Eric Mjolsness
David H. Sharp
Bradley Alpert
June 1987
YALEU/DCS/TR550 * The FORBIN Paper
Thomas Dean
R. James Firby
David Miller
July 1987
YALEU/DCS/TR551 * Learning From Good Data and Bad
Phil Laird
July 1987
YALEU/DCS/TR552 [.pdf] Nondeterministic Space is Closed Under Complement
Neil Immerman
July 1987
YALEU/DCS/TR553 [.pdf] Implicit Finite Difference Simulation of an Internal Flow in a Nozzle: An Example of a Physical Application on the Hypercube
Pierre Porta
July 1987
YALEU/DCS/TR554 * A Fast Algorithm for the Numerical Evaluation of Conformal Mappings
S.T O’Donnell
Vladimir Rokhlin
July 1987
YALEU/DCS/TR555 Unassigned
YALEU/DCS/TR556 [.pdf] Can Parallel Machines Be Made Easy to Program? A Data-Parallel Model for Functional Languages
Marina Chen
August 1987
YALEU/DCS/TR557 [.pdf] Learning K-Bounded Context-Free Grammars
Dana Angluin
August 1987
YALEU/DCS/TR558 [.pdf] A Numerical Treatment of the Fluid/Elastic Interface Under Range-Dependent Environments
Er Chang Shang
Ding Lee
August 1987
YALEU/DCS/TR559 [.pdf] Learning K-Term DNF Formulas Using Queries and Counter-examples
Dana Angluin
August 1987
YALEU/DCS/TR560 [.pdf] Time-Optimal Synthesis of Systolic Arrays with Pipelined Cell
Bjorn Lisper
September 1987
YALEU/DCS/TR561 [.pdf] Verifiable Secret-Ballot Elections
Josh Benaloh
September 1987
YALEU/DCS/TR562 * From Local to Global-Analysis of Nearest Neighbor Load Balancing on Hypercube
Marina Chen
Jia wei Hong
Xiao Nan Tan
September 1987
YALEU/DCS/TR563 * A Simulator for Mobile Robot Planning
R. James Firby
Steve Hanks
September 1987
YALEU/DCS/TR564 * E Unum Pluribus: Generating Alternative Designs
Elliot Soloway
James Spohrer
David Littman
September 1987
YALEU/DCS/TR565 [.pdf] The Fast Multipole Method for Gridless Particle Simulations
J. Ambrosiano
Leslie Greengard
Vladamir Rohklin
September 1987
YALEU/DCS/TR566 [.pdf] How to Imbed FFTS in Hypercubes
David Greenberg
October 1987
YALEU/DCS/TR567 [.pdf] Implementation of Tuple Space Machines
Nicholas Carriero
October 1987
YALEU/DCS/TR568 * A Symmetric Language
David Gelernter
Suresh Jagannathan
Thomas London
Mark Day
October 1987
YALEU/DCS/TR569 [.pdf] Algorithms for Multiplying Matrices of Arbitrary Shapes Using Shared Memory Primitives on a Boolean Cube
Lennart Johnsson
Ching-Tien Ho
October 1987
YALEU/DCS/TR570 [.pdf] Computational Fluid Dynamics on Parallel Processors
William Gropp
Edward Smith
October 1987
YALEU/DCS/tr571 [.pdf] A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations anllllrrectness Proofs for a Family of Protocols
Lenore Zuck
Joseph Halpern
October 1987
YALEU/DCS/TR572 [.pdf] Algorithms for Matrix Transposition on Boolean-cube Configured Ensemble Architectures
Lennart Johnson
Ching-Tien Ho
October 1987
YALEU/DCS/TR573 * The Fluent Abstract Machine
Abhiram Ranade
Lennart Johnsson
Sandeep Bhatt
October 1987
YALEU/DCS/TR574 [.pdf] Directions in High Performance Computations
Lennart Johnsson
October 1987
YALEU/DCS/TR575 * Take a Walk, Grow a Tree
Sandeep Bhatt
Jin-yi Cai
November 1987
YALEU/DCS/TR576 * On the Embebbing of Arbitrary Meshes in Boolean Cubes With Expansion Two Dilation Two
Ching-Tien Ho
Lennart Johnsson
November 1987
YALEU/DCS/TR577 [.pdf] Algorithms for Matrix Transposition on Boolean N-Cube Configured Ensemble Architechtures
Ching-Tien Ho
Lennart Johnsson
November 1987
YALEU/DCS/TR578 [.pdf] How to Emulate Shared Memory
Abhiram Ranade
November 1987
YALEU/DCS/TR579 [.pdf] The Communication Efficiency of Meshes Boolean Cubes and Cube Connected Cycles for Wafer Scale Intergration
Abhiram Ranade
Lennart Johnsson
November 1987
YALEU/DCS/TR580 [.pdf] Ensemble Architectures and Their Algorithms: An Overview
Lennart Johnsson
November 1987
YALEU/DCS/TR581 [.pdf] Highly Parallel banded Systems Solvers
Lennart Johnsson
November 1987
YALEU/DCS/TR582 [.pdf] The FFT and Fast Poisson Solvers on Parallel Architectures
Lennart Johnsson
November 1987
YALEU/DCS/TR583 [.pdf] Fast PDE Solvers on Fine and Medium Grain Architectures
Lennart Johnsson
November 1987
YALEU/DCS/TR584 [.pdf] Data Parallel Programming and Basic Linear Algebra Subroutines
Lennart Johnsson
November 1987
YALEU/DCS/TR585 [.pdf] Enumerative Counting is Hard
Jin-Yi Cai
Lane H. Hemachandra
November 1987
YALEU/DCS/TR586 [.pdf] Adaptive Load Sharing in Heterogeneous Systems
Ravi Mirchandaney
Don Towsley
John Stankovic
November 1987
YALEU/DCS/TR587 * Directions in High Performance Computation
Lennart Johnsson
November 1987
YALEU/DCS/TR588 [.pdf] The Crytsal Runtime System: A Framework
Joel Saltz
Ravi Mirchandaney
Roger Smith
David Nicol
Kay Crowley
November 1987
YALEU/DCS/TR589 [.pdf] Relative Knowledge and Belief
Michael Fischer
Lenore Zuck
December 1987
YALEU/DCS/TR590 [.pdf] Learning Propositional Horn Sentences with Hints
Dana Angluin
December 1987
YALEU/DCS/TR591 [.pdf] Debugging a DAG Efficiently
Dana Angluin
December 1987
YALEU/DCS/TR592 * A Performability Analysis of a Multi-processor System
R.M. Smith
K.S. Trivedi
A.V. Ramesh
December 1987
YALEU/DCS/TR593 [.pdf] Footprints of Dependency: Towards Dynamic Memory Management for Massively Parallel Architectures
Marina C. Chen
Michel Jacquemin
January 1988
YALEU/DCS/TR450 [.pdf] Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
January 1986
YALEU/DCS/TR451 VOID
YALEU/DCS/TR452 [.pdf] A Multi Processor Simulator
Abhiram Ranade
January 1986
YALEU/DCS/TR453 [.pdf] Keeping Shares of a Secret Secret
Josh Cohen
February 1986
YALEU/DCS/TR454 [.pdf] Improving Privacy in Cryptographic Elections
Josh Cohen
February 1986
YALEU/DCS/TR455 * Automatic Generation of VLSI Architectures: Dynamic Programming Solver
Marina Chen
February 1986
YALEU/DCS/TR456 * Implementation of Domain Fast Poisson Solvers on Multi Processor
Tony Chan
Diana Resasco
Faisal Saied
February 1986
YALEU/DCS/TR457 [.pdf] A Design Methodology for Synthesizing Parallel Algorithms and Architectures
Marina Chen
February 1986
YALEU/DCS/TR458 [.pdf] Dynamic Grid Manipulation for PDEs on Hypercube Parallel Processors
William Gropp
February 1986
YALEU/DCS/TR459 [.pdf] A Fast Algorithm for Particle Simulations
Leslie Greengard
Vladimir Rokhlin
March 1986
YALEU/DCS/TR460 [.pdf] Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse
Michael Fischer
Neil Immerman
March 1986
YALEU/DCS/TR461 [.pdf] Data Communication in Parallel Architectures
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR462 [.pdf] Gaussion Elimination on Hypercubes
Youcef Saad
March 1986
YALEU/DCS/TR463 [.pdf] An effiecient Method fpr Solving the Three-Dimensional Wide Angle Wave Equation
Ding Lee
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR464 [.pdf] Learning Regular Sets from Queries and Counter-examples
Dana Angluin
March 1986
YALEU/DCS/TR465 [.pdf] Crystal: A Synthesis approach to Programming Parallel Machines
Marina Chen
March 1986
YALEU/DCS/TR466 Machine Musing and the Smart Note Pad
David Gelernter
Mitchell Sklar
April 1986
YALEU/DCS/TR467 * Exploring Parafunctional Programming
Paul Hudak
April 1986
YALEU/DCS/TR468 * FAC: Functional Array Calculator and its Application to APL and Functional Programming
Hai-Chen Tu
April 1986
YALEU/DCS/TR469 [.pdf] Transformations of Parallel Programs in Crystal
Marina Chen
April 1986
YALEU/DCS/TR470 * Case-Based Reasoning: A Computer Model of Subjective Assessments
Bill Bain
April 1986
YALEU/DCS/TR471 [.pdf] Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocoles
Josh Cohen
April 1986
YALEU/DCS/TR472 * Linda and Friends
David Gelernter
Sid Ahuja
Nick Carriero
April 1986
YALEU/DCS/TR473 * Floating Point Cordic
Lennart Johnsson
Venkatesh Krishnaswamy
April 1986
YALEU/DCS/TR474 [.pdf] Systolic Array Synthesis: Computability and Time Cones
Ilse Ipsen Supported by:
Jean-Marc Delosme
May 1986
YALEU/DCS/TR475 * Tree Embedding and Optimal Routing for Data Distribution in Hypercubes
Ching-Tien Ho
Lennart Johnsson
May 1986
YALEU/DCS/TR476 [.pdf] A Preliminary Analysis of Recursively Generated Networks
Eric Mjolsness
David Sharp
May 1986
YALEU/DCS/TR477 [.pdf] Synthesis Approach to the Design and Correctness of Systolic Computations
Marina Chen
June 1986
YALEU/DCS/TR478 [.pdf] Identifying k-CNF Formulas From Noisy Examples
Dana Angluin
Philip Laird
June 1986
YALEU/DCS/TR479 [.pdf] Types of Queries for Concept Learning
Dana Angluin
June 1986
YALEU/DCS/TR480 * A Critique of Pure Reason
Drew McDermott
June 1986
YALEU/DCS/TR481 [.pdf] On Scheduling Transmissions in a Network
Dan Gusfield
June 1986
YALEU/DCS/TR482 [.pdf] The Structure of the Stable Roommate Problem: Efficient Representation and Enumeration of all Stalk Assignments
Dan Gusfield
June 1986
YALEU/DCS/TR483 [.pdf] Distributed Routing Algorithms for Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
June 1986
YALEU/DCS/TR484 * The Denotational Semantics of a Para-Functional Programming Language
Paul Hudak
July 1986
YALEU/DCS/TR485 [.pdf] A New Algorithm for Solving the Wide Angle Wave Equation.
Yousef Saad
Ding Lee
July 1986
YALEU/DCS/TR486 * Symmetry and the Non-Evolution of Programming Languages
David Gelernter
August 1986
YALEU/DCS/TR487 * Mercedes: A Realization of Lazy Narrowing Fundacion Gran Mariscal de Ayachuco
Paul Hudak
Juan Carlos Guzman
August 1986
YALEU/DCS/TR488 * Case-based Planning: An integrated theory of planning, learning and memory.
Kristian Hammond
August 1986
YALEU/DCS/TR489 * Integrated Processing in Planning and Understanding.
Lawrence Birnbaum
August 1986
YALEU/DCS/TR490 [.pdf] Partitioning Circuits for Improved Testability
Sandeep Bhatt
Fan Chung
Arnold Rosenberg
September 1986
YALEU/DCS/TR491 * The Complexity of System-Level Fault Diagnosis and Diagrosability.
Gregory Sullivan
September 1986
YALEU/DCS/TR492 * Shared Virtual Memory on Loosely Coupled Multiprocessors
Kai Li
September 1986
YALEU/DCS/TR493 [.pdf] Finding an Opitmal Search Strategy for a Partial Order is NP-Complete
Phil Laird
Leonard Pitt
September 1986
YALEU/DCS/TR494 [.pdf] Matrix Transpose on Boolean n-cube Configured Ensemble Architectures.
Lennart Johnsson
Ching-Tien Ho
September 1986
YALEU/DCS/TR495 [.pdf] Optimal Simulations of Tree Machines
Sandeep Bhatt
Fan Chung
Tom Leighton
Arnold Rosenberg
September 1986
YALEU/DCS/TR496 [.pdf] A Fast Adaptive Multiple Algorithm for Particle Simulations
J. Carrier
Leslie Greengard
Vladimir Rokhlin
September 1986
YALEU/DCS/TR497 [.pdf] Collecting Interpretations of Expressions
Paul Hudak
September 1986
YALEU/DCS/TR498 [.pdf] Placement and Interconnection of Systolic Processing Elements: A New Lu Decomposition Algorithm
Marina Chen
October 1986
YALEU/DCS/TR499 [.pdf] Very-high-level Parallel Programming by Aggregate Set Operations
Marina Chen
October 1986
YALEU/DCS/TR500 [.pdf] Spanning Graphs and Optimum Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
October 1986
YALEU/DCS/TR501 [.pdf] Relativizing Relativized Computations
Neil Immerman
Stephen Mahaney
November 1986
YALEU/DCS/TR502 [.pdf] Solving Schrodinger Equation on the Intel IPSC by the Alternating Direction Method
Faisal Saied
Ching-Tien Ho
Lennart Johnsson
Martin Schultz
November 1986
YALEU/DCS/TR503 * On The Eventually Operator in Temporal Logic
Sistla
Lenore Zuck
December 1986
YALEU/DCS/TR504 * Creativity in Education: A Standard for Computer Based Teaching
Roger Schank
Sarrell
December 1986
YALEU/DCS/TR505 [.pdf] Finding Fixpoints on Function Spaces
Johnathan Young
Paul Hudak
December 1986
YALEU/DCS/TR506 [.pdf] Very-High-Level Parallel Programming in Crystal
Marina Chen
December 1986
YALEU/DCS/TR507 * Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence
Yoav Shoham
December 1986
YALEU/DCS/TR355 * Relational Queries Computable in Polynomial Time
Neil Immerman
January 1985
YALEU/DCS/TR356 [.pdf] Fast Algorithms for Bipartite flow
Daniel Gusfield
Charles Martel
David Fernandez
January 1985
YALEU/DCS/TR357 [.pdf] An Incremental Multigrid Strategy for the Fluid Dynamics Equations
Michele Napolitano
January 1985
YALEU/DCS/TR358 [.pdf] High Re Separated Flow Solutions Using the Navier-Strokes and Approximate Equations
Michele Napolitano
January 1985
YALEU/DCS/TR359 * Parallel Programming in Linda
David Gelernter
January 1985
YALEU/DCS/TR360 [.pdf] Future High performance Computation: The Megaflop per Dollar Alternative’
Lennart Johnsson
January 1985
YALEU/DCS/TR361 [.pdf] Communication Efficient Matrix Operations on a Torus and a Boolean Cube
Lennart Johnsson
January 1985
YALEU/DCS/TR362 [.pdf] A New List Compaction Method
Kai Li
Paul Hudak
February 1985
YALEU/DCS/TR363 [.pdf] Multiple Array Processors for Ocean Acoustic Problems
Martin Schultz
February 1985
YALEU/DCS/TR364 [.pdf] Bulldog: A compiler for VLIW Architectures
John Ellis
February 1985
YALEU/DCS/TR365 [.pdf] A Stability Analysis of Incomplete LU Factorizations
Howard Elman
February 1985
YALEU/DCS/TR366 [.pdf] On the dependence of the covergence of Gummel’s Algorithm on the Regularity of the Solution
Thomas Kerkhoven
February 1985
YALEU/DCS/TR367 [.pdf] Data Permutations and Basic Linear Alegebra Computations on Ensemble Architectures
Lennart Johnsson
February 1985
YALEU/DCS/TR368 [.pdf] Multigrid Algorithms on the Hypercube Multiprocessor
Tony Chan
Youcef Saad
February 1985
YALEU/DCS/TR369 * Reasoning About Access to Equipment
Erik Urdang
February 1985
YALEU/DCS/TR370 [.pdf] Efficient Systolic Arrays for the Solution of Toeplitz Systems: An Illustration of a Methodology for the Construction of Systolic Architectures in VLSI
Jean-Marc Delosme
Ilse Ipsen
February 1985
YALEU/DCS/TR371 * Parallel Programming and Algorithm Synthesis Using Recursion Equations and First Order
Marina Chen
March 1985
YALEU/DCS/TR372 [.pdf] Fairing of Biased Coins in Bounded Time
Josh Cohen
March 1985
YALEU/DCS/TR373 [.pdf] Solving Eliptic Partial Differential Equations on the Hypercube Multiprocessor
Tony Chan
Faisal Saied
Martin Schultz
March 1985
YALEU/DCS/TR374 * Synthesizing Systolic Designs
Marina Chen
March 1985
YALEU/DCS/TR375 [.pdf] Parallelism, Memory Anti-Aiasing and Correctness for Trace Scheduling Compilers
Alex Nicolau
March 1985
YALEU/DCS/TR376 [.pdf] Inductive Inference by Refinement
Philip Laird
November 1985
YALEU/DCS/TR377 * Dense Matrix Operations on a Torus and a Boolean Cube
Lennart Johnsson
March 1985
YALEU/DCS/TR378 [.pdf] Generation of Layouts from Circuit Schematics A Graph Theoretic Approach
Tak NG
Lennart Johnsson
March 1985
YALEU/DCS/TR379 * Banded Systems Solvers for Ensemble Architectures
Lennart Johnsson
March 1985
YALEU/DCS/TR380 [.pdf] Polynomial Interation for Nonsymmetric Indefinite Linear Systems
Howard Elman
Roy Streit
March 1985
YALEU/DCS/TR381 [.pdf] Alternating Direction Methods on Multiprocessors
Lennnart Johnsson
Youcef Saad
Martin Schultz
April 1985
YALEU/DCS/TR382 [.pdf] Alternating Direction on Multiprocessors: An Extended Abstract
Youcef Saad
Martin Schultz
April 1985
YALEU/DCS/TR383 The S/NET’s Linda Kernel
Nicholas Carriero
David Gelernter
March 1985
YALEU/DCS/TR384 Explanation: A Second Pass
Roger C. Schank
Christopher Riesbeck
April 1985
YALEU/DCS/TR385 Questions and Thought
Roger C. Schank
April 1985
YALEU/DCS/TR386 Bug Catalogue 2,3,4.
James Spohrer
Edgar Pope
Michael Lipman
Warren Sack
Scott Freiman
David Littman
W. Lewis Johnson
Elliot Soloway
May 1985
YALEU/DCS/TR387 [.pdf] Parallel Direct Methods for Solving Banded Linear
Youcef Saad
Martin H. Schultz
August 1985
YALEU/DCS/TR388 * Band Matrix Systems Solvers on Ensemble Architecture.
Lennart Johnson
May 1985
YALEU/DCS/TR389 [.pdf] Topological Properties of Hyercubes
Youcef Saad
Martin H. Schultz
April 1985
YALEU/DCS/TR390 [.pdf] Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems
Paul Hudak
Lauren Smith
May 1985
YALEU/DCS/TR391 [.pdf] A Set-Theoretic Characterization of Function Strictness in the Lambda Calculus.
Pual Hudak
Jonathan Young
May 1985
YALEU/DCS/TR392 A Goal/Plan Analysis of Buggy Pascal Programs
James Spohrer
Elliot Soloway
Edgar Pope
May 1985
YALEU/DCS/TR393 [.pdf] Relational Quirie Computable in Polynomial Time
Neil Immerman
May 1985
YALEU/DCS/TR394 [.pdf] Primality and Cryptography
Evangelos Kranakis
May 1985
YALEU/DCS/TR395 Intention-Based Diagnosis of Errors in Novice Programs
William Lewis Johnson
May 1985
YALEU/DCS/TR396 On the Lanczos Method for Solving Symmetric Linear Systems w/ Several Right Hand Slides
Youcef Saad
June 1985
YALEU/DCS/TR397 [.pdf] Partial Eigen-Solutions of Large Nonsemetric Matrices
Youcef Saad
June 1985
YALEU/DCS/TR398 [.pdf] Rank revealing QR-Factorizations
Tony Chan
June 1985
YALEU/DCS/TR399 [.pdf] The DUCK Manual
Drew McDermott
June 1985
YALEU/DCS/TR400 [.pdf] Probabilistic Inductive Inference
Leonard Pitt
June 1985
YALEU/DCS/TR401 [.pdf] On the Solution of Circulant Linear Systems
Mingkui Chen
June 1985
YALEU/DCS/TR402 * Micro-Proust
W. Lewis Johnson
Elliot Soloway
June 1985
YALEU/DCS/TR403 [.pdf] Deflated Decomposition by the Lanczos Process
Tony Chan
Youcef Saad
June 1985
YALEU/DCS/TR404 [.pdf] A Simple Probabilistic Approximation Algorithm for Vertex Cover
Leonard Pitt
June 1985
YALEU/DCS/TR405 [.pdf] Easy Impossibility Proofs for Distributed Consensus Problems
Michael Fischer
Nancy Lynch
Michael Merritt
June 1985
YALEU/DCS/TR406 * An Approach to the Design of Highly Parallel Algorithms in VLSI
Marina Chen
July 1985
YALEU/DCS/TR407 [.pdf] Three Fast Algorithms for Four Problems in Stable Marriage
Dan Gusfield
July 1985
YALEU/DCS/TR408 [.pdf] Analysis of Preconditioners for Domain Decomposition
Tony Chan
July 1985
YALEU/DCS/TR409 [.pdf] A Domain Decomposed Fast Poisson Solver on a Rectangle
Tony Chan
Diana Resasco
July 1985
YALEU/DCS/TR410 * Fourier Analysis of Preconditional Interactive Methods
Tony Chan
Howard Elman
July 1985
YALEU/DCS/TR411 [.pdf] An Explicit Scheme for the Prediction of Ocean Acoustic Propagation in Three Dimensions
Tony Chan
Long-jun Shen
Ding Lee
July 1985
YALEU/DCS/TR412 * A Parallel Language and its Compilation to Multiprocessor Machines or VLSI
Marina Chen
July 1985
YALEU/DCS/TR413 [.pdf] Stability Analysis of Difference Schemes for Variable Cofficient Schrodinger Type Equations
Tony Chan
Long-jun Shen
August 1985
YALEU/DCS/TR414 [.pdf] A Survey of Preconditioners for Domain Decomposition
Tony Chan
Diana Resasco
August 1985
YALEU/DCS/TR415 [.pdf] Dynamic Monotone Priorities on Planer Sets (Extended Abstract)
Michael Fischer
Michael Paterson
August 1985
YALEU/DCS/TR416 [.pdf] A Robust and Varifiable Cryptographically Secure Election Scheme (Extended Abstract)
Josh Cohen
Michael Fischer
August 1985
YALEU/DCS/TR417 [.pdf] On the Solution of a class of Toeplitz Systems
Mingkui Chen
August 1985
YALEU/DCS/TR418 [.pdf] Solving Narrow Banded Systems on Ensemble Architectures
Lennart Johnsson
August 1985
YALEU/DCS/TR419 [.pdf] Probabilistic Analysis of a Network Resource Allocation Algorithm.
Michael Fischer
Nancy A. Lynch
Nancy D. Griffeth
Leonidas J. Guibas
August 1985
YALEU/DCS/TR420 Why Kids Should Learn to Program
Elliot Soloway
August 1985
YALEU/DCS/TR421 [.pdf] Distributed FIFO Allocation of Identical Resources Using Small Shared Space
Michael Fischer
Nancy A. Lynch
Allan Borodin
James E.Burns
August 1985
YALEU/DCS/TR422 [.pdf] Interconnection Networks and Parallel Memory Organizations for Array Processing
Abhiram G. Ranade
September 1985
YALEU/DCS/TR423 [.pdf] Planning by Search through Simulations
David Miller
September 1985
YALEU/DCS/TR424 [.pdf] Complex Shift and Invert Strategies for Real Matrices
Youcef Saad
Breseford Parlett
September 1985
YALEU/DCS/TR425 [.pdf] Parallel Implementations of Preconditioned Conjugate Gradien Methods
Martin Schultz
Youcef Saad
September 1985
YALEU/DCS/TR426 [.pdf] Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
October 1985
YALEU/DCS/TR427 Automatic Generation of VLSI Architectures: Synthesis by Agorithym Transformation
Marina Chen
October 1985
YALEU/DCS/TR428 [.pdf] Data Communications in Hypercubes
Martin Schultz
Youcef Saad
October 1985
YALEU/DCS/TR429 Coupled and lecoupled Algorithms for Semiconductors Simulation
Thomas Kerkhoven
October 1985
YALEU/DCS/TR430 Temporal Reasoning & Default Logics
Drew McDermott
Steven Hanks
October 1985
YALEU/DCS/TR431 Education and Computers: An AI Perspective
Roger Schank
Stephen Slade
October 1985
YALEU/DCS/TR432 Revised: A Systolic Design for the Problem of Partitions of an Integer
Marina Chen
October 1985
YALEU/DCS/TR433 Temporal Imagery: An Approach to Reasoning about Time for Planning and Problem Solving
Thomas Dean
October 1985
YALEU/DCS/TR434 [.pdf] Every Finite Distributive Lattice is a Set of Stable Matchings for a Small Stable Marriage Instance
Daniel Gusfield
R. Irving
P. Leather
M. Saks
October 1985
YALEU/DCS/TR435 [.pdf] The Structure of the Solvable Stable Roommates Problem: It’s the Stable Marriage Problem.
Daniel Gusfield
October 1985
YALEU/DCS/TR436 [.pdf] Solving Tridiagonal Systems on Ensemble Architectures.
Lennart Johnsson
October 1985
YALEU/DCS/TR437 [.pdf] Cyclic Reduction on a Binary Tree.
Lennart Johnsson
October 1985
YALEU/DCS/TR438 Distributed Dated Structures in Linda
David Gelernter
Nicholas Carriero
Jerold Leichter
October 1985
YALEU/DCS/TR439 [.pdf] Combining Parallel and Sequential Sorting on a Boolean Cube
Lennart Johnsson
October 1985
YALEU/DCS/TR440 [.pdf] Rapid Solution of Integral Equations of Scattering Theory in Two Dimensions
Vladimir Rokhlin
November 1985
YALEU/DCS/TR441 [.pdf] End-point Corrected Trapezoidal Quadrature Rules for Singluar Function
Vladimir Rokhlin
November 1985
YALEU/DCS/TR442 * The Generation of a Class of Multipliers: A Synthesis Approach to the Design of Highly Parallel Algorithms in VLSI
Marina Chen
December 1985
YALEU/DCS/TR443 [.pdf] How to Embed lrees into Hypercubes. Supported in part by the Office of Naval Research under contracts Supported by N00014-85-K-0461
Sandeep Bhatt
Ilse Ipsen
December 1985
YALEU/DCS/TR444 [.pdf] The Impact of Parallel Architectures on the Solution of the Eigenvalue Problems.
Ilse Ipsen
Youcef Saad
December 1985
YALEU/DCS/TR445 [.pdf] Orbit: An Optimizing Compiler for Scheme
David Kranz
Richard Kelsey
Paul Hudak
James Philbin
Norman Adams
December 1985
YALEU/DCS/TR446 [.pdf] A Proof-Stream Semantics for Lazy Narrowing
Juan Guzman
Paul Hudak
December 1985
YALEU/DCS/TR447 * Functional Programming on Multiprocessor Architectures
Paul Hudak
December 1985
YALEU/DCS/TR448 [.pdf] Comparison of Domain Decomposition Techniques for Elliptic Partial Differential Equations and their Parallel Implementation
David Keyes
William Gropp
December 1985
YALEU/DCS/TR449 [.pdf] A Projection Method for Partial Pole Assignment in Linear State Feedback
Youcef Saad
December 1985
YALEU/DCS/TR298 [.pdf] VLIW Machines: Multiprocessors We Can Actually Program
J. Fisher
J. O’Donnell
January 1984
YALEU/DCS/TR299 [.pdf] A Parallel QR Method Using Fast Givens Rotations
Ilse Ipsen
January 1984
YALEU/DCS/TR300 [.pdf] An Approximate Newton Method for Coupled Non-Linear
Tony Chan
January 1984
YALEU/DCS/TR301 [.pdf] A Hybrid Chebyshev Krylov Subspace Algorithm for Solving Nonsymmetric Systems of Linear Equations
Howard Elman
Youcef Saad
Paul Saylor
February 1984
YALEU/DCS/TR302 [.pdf] On the Minimization of Quadratic Functions Subject to Box Constraints
Ron Dembo
Ulrich Tulowitzki
September 1984
YALEU/DCS/TR303 [.pdf] A Convergent Framework for Constrained Non-Linear Optimization
Ron Dembo
Siddhartha Sahi
January 1984
YALEU/DCS/TR304 [.pdf] A Primal Truncated Newton Algorithm with Application to Large-Scale Non-Linear Network Optimization
Ron Dembo
March 1984
YALEU/DCS/TR305 [.pdf] Stable Explicit Schemes for Equations of the Schrodinger Type
Tony Chan
Ding Lee
Long-jun Shen
March 1984
YALEU/DCS/TR306 * A Polynomial Time Algorithm for Fault Diagnosability
Sullivan, G.
March 1984
YALEU/DCS/TR307 * The Explanation Game
Roger Schank
March 1984
YALEU/DCS/TR308 [.pdf] Understanding Approximations for Node Cover and Other Subset Selection Problems
Dan Gusfield
Leonard Pitt
April 1984
YALEU/DCS/TR309 [.pdf] Preconditioned Iterative Methods for Nonselfadjoint or Indefinite Elliptic Boundary Value Problems
James Bramble
Joseph Pasciak
March 1984
YALEU/DCS/TR310 [.pdf] The Parallel Scaled Givens Rotations for the Solution of Linear Least Squares Problems.
Jessie Barlow
Ilse Ipsen
March 1984
YALEU/DCS/TR311 [.pdf] A High Performance Bulk Memory System
William Gropp
John O’Donnell
Susan O’Donnell
Martin Schultz
Brian Weston
March 1984
YALEU/DCS/TR312 [.pdf] The Use of Iterative Linear-Equation Solvers and Codes for Large Systems of Stiff IVPs for ODEs
Tony Chan
Kenneth Jackson
April 1984
YALEU/DCS/TR313 [.pdf] Local Uniform Mesh Refinement with Moving Grids
William Gropp
April 1984
YALEU/DCS/TR314 [.pdf] On the Efficiency of Probabilistic Primality Tests
Evangelos Kranakis
April 1984
YALEU/DCS/TR315 [.pdf] A Stable Explicit Scheme for the Ocean Acoustic Wave Equation
Tony Chan
Long-jun Shen
Ding Lee
March 1984
YALEU/DCS/TR316 [.pdf] A Class of Cryptosystems Equivalent to RSA
Evangelos Kranakis
April 1984
YALEU/DCS/TR317 [.pdf] Distributed Applicative Processing Systems: Project Goals, Motivation, and Status Report
Paul Hudak
May 1984
YALEU/DCS/TR318 * TBA
S. Ishizaki
C. Huang
L. Danlos
C. Turk
May 1984
YALEU/DCS/TR319 [.pdf] A Characterization of Probabilistic Inference
Leonard Pitt
July 1984
YALEU/DCS/TR320 [.pdf] Difference Schemes for Equations of Schrodinger Type
Tony Chan
Long-jun Shen
June 1984
YALEU/DCS/TR321 * Convergence of SIP
Pei-xian Chen
1984
YALEU/DCS/TR322 [.pdf] ALFL Reference Manual and Programmers Guide
Paul Hudak
October 1984
YALEU/DCS/TR323 [.pdf] An Efficient Implementation for SSOR and Incomplete Factorisation Preconditionings
Randolph Bank
Craig Douglas
1984
YALEU/DCS/TR324 * Toward a Model of Subjective Interpretation
William Bain
July 1984
YALEU/DCS/TR325 * A Methodology for Hierarchical Simulation of VLSI X Systems
Marina Chen
January 1984
YALEU/DCS/TR326 [.pdf] A Graph Theoretic Approach to Statistical Data Security
Dan Gusfield
August 1984
YALEU/DCS/TR327 [.pdf] Optimal Mixed Graph Augmentation
Dan Gusfield
August 1984
YALEU/DCS/TR328 [.pdf] An Efficient Modular Algorithm for Coupled Nonlinear Systems
Tony Chan
September 1984
YALEU/DCS/TR329 [.pdf] Difference Schemes for the Parabolic Wave Equation in Ocean Acoustics
Tony Chan
Ding Lee
Long-jun Shen
December 1984
YALEU/DCS/TR330 * Explanation: A First Pass
Roger Schank
August 1984
YALEU/DCS/TR331 [.pdf] Theoretical Aspects of the Security of Public Key Cryptography
Evangelos Kranakis
September 1984
YALEU/DCS/TR332 [.pdf] The Steiner Tree Problem in Phylogeny
Dan Gusfield
September 1984
YALEU/DCS/TR333 [.pdf] Fishspear: A Priority Queue Algorithm (Extended Abstract)
Michael Fischer
Michael Paterson
September 1984
YALEU/DCS/TR334 * A Synthesis Method for Systolic Arrays with Space-time Variant, Data Independent Flow
Marina Chen
January 1985
YALEU/DCS/TR335 [.pdf] Improving the Condition of Nearly Singular Matrices by Rank-1 Modification
Tony Chan
Diana Resasco
December 1984
YALEU/DCS/TR336 [.pdf] DBEPACK: A Program Package for Solving Bordered Singular Systems
Tony Chan
Thomas Grossi
August 1984
YALEU/DCS/TR337 [.pdf] Generalized Deflated Block Elimination
Tony Chan
Diana Resasco
February 1985
YALEU/DCS/TR338 [.pdf] Managing Permanent Objects
Nathaniel Mishkin
November 1984
YALEU/DCS/TR339 [.pdf] Odd-Even Cyclic Reduction on Ensemble Architectures and the Solution of Tridiagonal Systems of Equations.
Lennart Johnsson
October 1984
YALEU/DCS/TR340 * The Organization of Knowledge In a Multi-lingual, Integrated Parser
Steven Leo Lytinen
November 1984
YALEU/DCS/TR341 [.pdf] Efficient Parallel Solution of Linear Systems with Hyperbolic Rotations
Jean-Marc Delosme
Ilse Ipsen
November 1984
YALEU/DCS/TR342 A Model of Software Design
Elliot Soloway
Beth Adelson
October 1984
YALEU/DCS/TR343 * Narrow and Wide Banded rystems Solvers for Ensemble Architechures
Lennart Johnsson
November 1984
YALEU/DCS/TR344 * Automatic Evaluation of Design Choices in Digital Controller Systhesis
Douglas Baldwin
December 1984
YALEU/DCS/TR345 [.pdf] Primality Tests
Evangelos Kranakis
December 1984
YALEU/DCS/TR346 Block-Preconditioned Conjugate Gradient-Like Methods for Numerical Reservior Simulation
Stanley Eisenstat
Howard Elman
Martin Schultz
December 1984
YALEU/DCS/TR347 [.pdf] On the Condition Number of Modified Moment Matrices Arising from Least Quares Approximation in the Complex Plane
Youcef Saad
December 1984
YALEU/DCS/TR348 [.pdf] Communication Complexity of the Gaussian Elimination Algorithm on Multiprocessors
Youcef Saad
December 1984
YALEU/DCS/TR349 [.pdf] Complexity of Dense Linear System Solution on a Multiprocessor Ring
Ilse Ipsen
Youcef Saad
Martin Schultz
December 1984
YALEU/DCS/TR350 * On the Choice of Coordinates for Semiconductor Simulation
Thomas Kerkhoven
December 1984
YALEU/DCS/TR351 * Indexing and Causality: The Organization of Plans and Strategies in Memory
Kristian Hammond
December 1984
YALEU/DCS/TR352 [.pdf] Local Uniform Mesh Refinement on Loosely-coupled Parallel Processors
William Gropp
December 1984
YALEU/DCS/TR353 * Symmetric Programming Languages
David Gelernter
December 1984
YALEU/DCS/TR354 * Direct Memory Access Parsing
Christopher Riesbeck
Charles Martin
December 1984
YALEU/DCS/TR253 [.pdf] Very Long Instruction Word Architecture and the ELI-512
J. Fisher
April 1983
YALEU/DCS/TR254 [.pdf] A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz
May 1985
YALEU/DCS/TR255 * Conjugate Gradient-like Algorithms for Solving Nonsymetric Linear Systems
Youcef Saad
June 1983
YALEU/DCS/TR256 [.pdf] Carrier Array: An Extension to APL
P.G. Lowney
May 1983
YALEU/DCS/TR257 * Transfer Effects from Programming to Algebra Word Problems: a Preliminary Study
Kate Ehrlich
Elliot Soloway
Valerie Abbott
December 1983
YALEU/DCS/TR258 * MENO-II: An AI-Based Programming Tutor
Elliot Soloway
Eric Rubin
Beverly Woolf
Jeffrey Bonar
W. Lewis Johnson
December 1983
YALEU/DCS/TR259 [.pdf] Nonlinearly-Preconditioned Krylov Subspace Methods for Discrete Newton Algorithms
Tony Chan
Kenneth Jackson
January 1983
YALEU/DCS/TR260 * Stability Analysis of Finite Difference Schemes for the Advector-Difference Equation
Tony Chan
April 1983
YALEU/DCS/TR261 [.pdf] PLTMGC: A Multi-grid Continuation Program Package for Solving Parametrized Nonlinear Elliptic Systems
Tony Chan
Randolph Bank
December 1983
YALEU/DCS/TR262 [.pdf] Parallel Networks for Multi-Grid Algorithms: Architecture and Complexity
Tony Chan
R. Schreiber
September 1983
YALEU/DCS/TR263 * A Comparison of Elliptic Solvers for General Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #238)
March 1983
YALEU/DCS/TR264 * Scheduling Heuristics for Problem Solvers
David Miller
April 1983
YALEU/DCS/TR265 * The (New) Yale Sparse Matrix Package
Stanley Eisenstat
Howard Elman
Martin Schultz
Andrew Sherman
April 1983
YALEU/DCS/TR266 [.pdf] Iterative Methods for Non-Self-Adjoint Elliptic Problems
Howard Elman
April 1983
YALEU/DCS/TR267 * Design and Use of the Yale Digital Simulator
Doug Baldwin
Richard Kelsey
John Ruttenberg
J. Fisher
J. Ellis
May 1983
YALEU/DCS/TR268 [.pdf] Distributed Graph Marking
Paul Hudak
January 1983
YALEU/DCS/TR269 [.pdf] Squeezing the most out of an Algorithm in Cray Fortran
Jack Dongarra
Stanley Eisenstat
May 1983
YALEU/DCS/TR270 * Knowledge Reorganization & Reasoning Style
Christopher Riesbeck
June 1983
YALEU/DCS/TR271 * Expert Systems & Diagnostic Monitors
David Gelernter
November 1983
YALEU/DCS/TR272 [.pdf] Solving Elliptic Problems on an Array Processor System
Martin Schultz
June 1983
YALEU/DCS/TR273 [.pdf] The Consensus Problem in Unreliable Distributed Systems (A Brief Survey)
Michael Fischer
June 1983
YALEU/DCS/TR274 * The Nisp Manual
Drew McDermott
June 1983
YALEU/DCS/TR275 * Abstract Multi-grid with Applications to Elliptic Boundary-Value Problems
Craig Douglas
Youcef Saad
1983
YALEU/DCS/TR276 [.pdf] Least Squares Polynomials in the Complex Plane with Applications to Solving Sparse Nonsymmetric Matrix Problems
Youcef Saad
August 1984
YALEU/DCS/TR277 [.pdf] Sharp Estimates for the Multigrid Rates of Convergence with General Smoothing and Acceleration
Randolph Bank
Craig Douglas
1983
YALEU/DCS/TR278 [.pdf] Local Uniform Mesh Refinement for Elliptic Partial Differential Eauations
William Gropp
July 1983
YALEU/DCS/TR279 [.pdf] Analysis of an Implicit Finite Difference Solution to an Underwater Wave Propagation Problem
D.F. St. Mary
Ding Lee
July 1983
YALEU/DCS/TR280 [.pdf] Editing by Example
Robert Nix
August 1983
YALEU/DCS/TR281 [.pdf] Large-scale Separation and Wake Closure/ Reattachment – The Cascade Problem
F.T. Smith
August 1983
YALEU/DCS/TR282 [.pdf] Practical use of Polynomial preconditioning for the conjugate gradient method
Youcef Saad
July 1984
YALEU/DCS/TR283 [.pdf] Conugate Gradient Like Methods for Solving Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz
August 1983
YALEU/DCS/TR284 * Classifying Bugs is a Tricky Business
W. Lewis Johnson
Stephen Draper
Elliot Soloway
August 1983
YALEU/DCS/TR285 * PROUST: Knowledge-Based Program Understanding
W. Lewis Johnson
Elliot Soloway
August 1983
YALEU/DCS/TR286 * Bug Catalogue: I
W. Lewis Johnson
Elliot Soloway
Benjamin Cutler
Steven Draper
October 1983
YALEU/DCS/TR287 [.pdf] Preconditioning by Fast Direct Methods for Non-self-Adjoint Nonseperable Elliptic Equations
Howard Elman
Martin Schultz
December 1983
YALEU/DCS/TR288 [.pdf] Provable Security of Cryptosystems: A Survey
Dana Angluin
David Lichtenstein
October 1983
YALEU/DCS/TR289 * Time Map Maintenance
Thomas Dean
October 1983
YALEU/DCS/TR290 * Understanding Node Cover Approximations, Weighted and Unweighted
Dan Gusfield
Leonard Pitt
October 1983
YALEU/DCS/TR291 [.pdf] Singular Value Computations With Systolic Arrays
Ilse Ipsen
November 1983
YALEU/DCS/TR292 * Representing and Acquiring Geographic Knowledge
Ernnest Davis
January 1984
YALEU/DCS/TR293 [.pdf] Solving the Poisson Equation on the FPS-164
Susan O’Donnell
Peter Geiger
Martin Schultz
November 1983
YALEU/DCS/TR294 * Generative Communications in Linda Y
David Gelernter
November 1983
YALEU/DCS/TR295 [.pdf] Fourier Methods with Extended Stability Intervals for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven
December 1983
YALEU/DCS/TR296 [.pdf] Qualitative and Quantitative Temporal Reasoning
Stanley Letovsky
December 1983
YALEU/DCS/TR297 [.pdf] Techniques for Large Sparse Systems Arising from Continuation Methods
Tony Chan
December 1983
YALEU/DCS/TR214 [.pdf] Practical Use of Some Krylov Subspace Methods for Solving Indefinite and Unsymmetric Linear Systems
Youcef Saad
January 1982
YALEU/DCS/TR215 [.pdf] Nonlinear Implicit One-step Schemes for Solving Initial Value Problems forOrdiniary Differential Equations with Steep Gradients
Jiachang Sun
Kenneth Jackson
September 1982
YALEU/DCS/TR216 [.pdf] Semi-Linear Difference Schemes For Singular Perturbation Problems in One Dimension
Jiachang Sun
Martin Schultz
May 1982
YALEU/DCS/TR217 [.pdf] A Galerkin Method on Nonlinear Subsets and its application to a Singular Perturbed Problem
Jiachang Sun
May 1982
YALEU/DCS/TR218 * What do novices know about Programming?
Elliot Soloway
Kate Ehrlich
Jeffrey Bonar
Judith Greenspan
January 1982
YALEU/DCS/TR219 * In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension
Michael Dyer
May 1982
YALEU/DCS/TR220 * Modeling Memory for Languange Understanding w/ Significant First Derivatives
Roger Schank
Mark Burstein
February 1982
YALEU/DCS/TR221 [.pdf] Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network
Michael Fischer
Alan Michael
February 1982
YALEU/DCS/TR222 [.pdf] Algorithms for Computing the Sample Variance: Analysis and Recommendations
Tony Chan
Gene Golub
Randall LeVeque
May 1982
YALEU/DCS/TR223 [.pdf] Multi-Grid Algorithms for Elliptic Boundary-Value Problems
Craig Douglas
May 1982
YALEU/DCS/TR224 [.pdf] Projection Methods for Solving Large Sparse Eigenvalue Problems
Youcef Saad
April 1982
YALEU/DCS/TR225 [.pdf] Deflated Decomposition of Solutions of Nearly Singular Systems
Tony Chan
March 1982
YALEU/DCS/TR226 [.pdf] Deflation Techniques & Block-Elimination Algorithms for Solving Bordered Singular Systems
Tony Chan
March 1982
YALEU/DCS/TR227 [.pdf] On the Existence and Computation of LU-factorizations with Small Pivots
Tony Chan
March 1982
YALEU/DCS/TR228 [.pdf] A Note on the Generalized Conjucate Gradient Method
Stanley Eisenstat
March 1982
YALEU/DCS/TR229 [.pdf] Iterative Methods for Large Sparse non-Semetric Systems of Linear Equation
Howard Elman
April 1982
YALEU/DCS/TR230 * Z - the 95% Program Editor
Wood
1982
YALEU/DCS/TR231 * A Bliss Programming Environment
Ellis
Mishkin
Nix
Wood
1982
YALEU/DCS/TR232 * Tools: A Systems Programming Environment
Ellis
Mishkin
Van Leunen
Wood
1982
YALEU/DCS/TR233 [.pdf] Newton-Like Pseudo-Arclength Methods for Computing Simple Turning Points
Tony Chan
April 1982
YALEU/DCS/TR234 * Representation & Translation
Roger Schank
Steve Lytinen
May 1982
YALEU/DCS/TR235 [.pdf] Iterative Methods for Solving Bordered Systems with Applications to Continuation Methods
Tony Chan
Youcef Saad
May 1982
YALEU/DCS/TR236 * An Empirical Investigation of the Tacit Plan Knowledge in Programming
Kate Ehrlich
Elliot Soloway
April 1982
YALEU/DCS/TR237 [.pdf] Algorithmic Program De-Bugging
Ehud Shapiro
April 1982
YALEU/DCS/TR238 * A Comparison of Some Elliptic Solners on General Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #263)
April 1982
YALEU/DCS/TR239 [.pdf] Alternation & Computational Complexity of Logic Programs
Ehud Shapiro
June 1982
YALEU/DCS/TR240 * Uncovering Principles of Novice Programming
Jeffrey Bonar
Elliot Soloway
November 1982
YALEU/DCS/TR241 [.pdf] Computer Systems Architecture at Yale: the Enormous Longword Instruction (ELI) Machine Progress and Research Plans
J. Fisher
July 1982
YALEU/DCS/TR242 * Cognitive Strategies and Looping Constructs: An Empirical Study
Elliot Soloway
Jeffrey Bonar
Kate Ehrlich
July 1982
YALEU/DCS/TR243 [.pdf] Lecture Notes on the Complexity of Some Problems in Number Theory
Dana Angluin
August 1982
YALEU/DCS/TR244 Some Observations on the Generalized Conjugate Gradient Method
Stanley Eisenstat
September 1982
YALEU/DCS/TR245 [.pdf] Impossibility of Distributed Consensus with One Faulty Process
Michael Fischer
Nancy Lynch
Michael Paterson
September 1982
YALEU/DCS/TR246 * Generation of Japanese Sentences from Conceptual Representation: Inference Using Memory Organization Packets
Ishizaki
Steven Lytinen
1982
YALEU/DCS/TR247 [.pdf] Multi-Grid Algorithms with Applications to Elliptic Boundary-Value Problems
Craig Douglas
1982
YALEU/DCS/TR248 * A Multi-Grid Optimal Order Solver for Elliptic Boundary-Value Problems
Craig Douglas
1982
YALEU/DCS/TR249 * Approximation Algorithms for Steiner Tree Problems
Sullivan
1982
YALEU/DCS/TR250 A Survey of Inductive Inference: Theory and Methods
Dana Angluin
Carl Smith
September 1982
YALEU/DCS/TR251 [.pdf] Storage Requirements for Fair Scheduling
Michael Fischer
Michael Paterson
October 1982
YALEU/DCS/TR252 [.pdf] Finding a Majority Among N Votes
Michael Fischer
Steven Salzberg
October 1982
YALEU/DCS/TR191 * Multiple Context Shells
J.R. Ellis
January 1981
YALEU/DCS/TR192 [.pdf] Inductive Inference Theories from Facts
Ehud Shapiro
February 1981
YALEU/DCS/TR193 * Organizing Spatial Knowledge
Ernest Davis
January 1981
YALEU/DCS/TR194 [.pdf] On Some Trends in Elliptical Problem Solvers
Stanley Eisenstat
Martin Schultz
February 1981
YALEU/DCS/TR195 * Finding Objects with Given Spatial Properties
Drew McDermott
March 1981
YALEU/DCS/TR196 * A Temporal Logic for Reasoning about Processes and Plans
Drew McDermott
March 1981
YALEU/DCS/TR197 [.pdf] Arc-length Continuation and Multi-grid Techniques for Non-linear Elliptic Eigenvalue Problems
Tony Chan
H. Keller
March 1981
YALEU/DCS/TR198 [.pdf] Numerical Computation of Large Amplitude Internal Solitary Waves
Tony Chan
March 1981
YALEU/DCS/TR199 [.pdf] Analysis of Multi-level Inverse Iteration Process Eigenvalue Problems
Randolph Bank
December 1980
YALEU/DCS/TR200 * Steps Toward Efficiently Implementing Program Mutation Systems: The High Level Design of a Distributed Mutation
Sayward
Lipton
1981
YALEU/DCS/TR201 [.pdf] Secondary Storage Methods for Solving Symmetric, Positive Definite, Bonded Linear Systems
John Richard Perry
April 1981
YALEU/DCS/TR202 [.pdf] Analysis of a Multi-level Iterative Method for Non-linear Finite Element Equation
Randolph Bank
April 1981
YALEU/DCS/TR203 [.pdf] Preconditioned Conjugate-Gradient Methods for Non-Symmetric Systems of Linear Equations
Howard Elman
April 1981
YALEU/DCS/TR204 Optimal Block Diagonal Scaling of Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis
April 1981
YALEU/DCS/TR205 * What’s the Point System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser
April 1981
YALEU/DCS/TR206 * MAGPIE: A Goal-Based Model of Conversation
Johnson
Peter Johnson
Scott Robertson
May 1981
YALEU/DCS/TR207 [.pdf] The Order of Monotone Piecewise Cubic Interpolation
Stanley Eisenstat
K. Jackson
John Lewis
August 1981
YALEU/DCS/TR208 [.pdf] Alternating-Direction Incomplete Factorizations
Tony Chan
Kenneth Jackson
Benren Zhu
August 1981
YALEU/DCS/TR209 [.pdf] Variational Iterative Methods for Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman
August 1981
YALEU/DCS/TR210 [.pdf] The Positive Solution of a Certain Non-linear Parabolic System and it’s Computation I
Benren Zhu
September 1981
YALEU/DCS/TR211 [.pdf] Stability of High Order Difference Equations and its Algebraic Survey
Benren Zhu
September 1981
YALEU/DCS/TR212 [.pdf] Iterative Solution of Indefinite Symmetric Systems by Methods using Orthogonal Polynomials over Two Disjointed Intervals
Youcef Saad
October 1981
YALEU/DCS/TR213 [.pdf] Local-Mesh, Local-Order, Adaptive Finite Element Methods with A Posteriori Error Estimators for Elliptic Partial Differential
Alan Weiser
September 1981
YALEU/DCS/TR171 * Adaptive Understanding: Correcting Erroneous Inferences (Ph.d. thesis)
Richard Granger, Jr.
January 1980
YALEU/DCS/TR172 * Model of Children’s Language of Compilers
Mallory Selfridge
January 1980
YALEU/DCS/TR173 * Spatial Inferences with Ground, Metric Formulas on Simple Objects
Drew McDermott
January 1980
YALEU/DCS/TR174 * Non Monotonic Logic II: Non Monotonic Modal Theories
Drew McDermott
February 1980
YALEU/DCS/TR175 * Memory Organization and Search Processes for for Narratives
Michael Dyer
Wendy Lehnert
April 1980
YALEU/DCS/TR176 * Tree Organized Processor Structure, A VLSI Parallel Processor Design
Snyder
1980
YALEU/DCS/TR177 * On Convergence Towards Data Base of Programming Rules
David Barstow
April 1980
YALEU/DCS/TR178 * The Role of Knowledge an Deduction in Algorithm Creation
David Barstow
April 1980
YALEU/DCS/TR179 * Affect Analysis and Narrative Summarization
Wendy Lehnert
May 1980
YALEU/DCS/TR180 * Error Programs and Test Data for Life-Cycle Experiments
Budd
Hess
Sayward
1980
YALEU/DCS/TR181 [.pdf] A Survey of Synchronization Design
George Holober
1980
YALEU/DCS/TR182 * Draft Version of the Softwave Metrics Panel’s Final Report
Allan Perlis
Sayward
Shaw and eds.
1980
YALEU/DCS/TR183 * VEGE: Variable Processing in a NaturalLanguage System
Wendy Lehnert
William Bain
April 1980
YALEU/DCS/TR184 [.pdf] A Finite Solution of a Reduced Fokker-Planck Equation
D. Fyfe
Alan Weiser
I. Bernstein
Stanley Eisenstat
Martin Schultz
August 1980
YALEU/DCS/TR185 [.pdf] Efficient Implementation of a Class of Precondition Conjugate Methods
Stanley Eisenstat
August 1980
YALEU/DCS/TR186 * Generalization and Memory in an Integrated Understanding System
Michael Lebowitz
October 1980
YALEU/DCS/TR187 * Retrieval and Organizational Strategies for Conceptual Memory: A Computer Memory
Janet Kolodner
November 1980
YALEU/DCS/TR188 * BORIS: A Progress Report
Wendy Lehnert
Dyer
Harley
Young
Johnson
January 1981
YALEU/DCS/TR189 * Memory, Meaning and Syntax
Roger Schank
Lawrence Birnbaum
November 1980
YALEU/DCS/TR190 * Conceptual Information Retrieval
Roger Schank
Janet Kolodner
Gerald DeJong
December 1980
1979-1971
YALEU/DCS/TR153 * On Uniquely Represented Data Structures
Lawrence Snyder
1979
YALEU/DCS/TR154 [.pdf] Scheduling Processes Without a Common Scheduler
George Holober
Lawrence Snyder
1979
YALEU/DCS/TR155 [.pdf] Mutation Analysis
Timothy Budd
Richard Lipton
Richard DeMillo
Frederick Sayward
1979
YALEU/DCS/TR156 * Knowledge-based Parsing
Anatole Gershman
April 1979
YALEU/DCS/TR157 * Text Processing Effects and Recall Memory
Wendy Lehnert
May 1979
YALEU/DCS/TR158 * Skimming Stories in Real Time: An Experiment in Integrated Understanding
Gerald DeJong
May 1979
YALEU/DCS/TR159 * Retrieving Information from an Episodic Memory, or Why Computer Memories Should Be More Like People
Roger Schank
Janet Kolodner
1979
YALEU/DCS/TR160 * The Conceptual Content of Conversation
Roger Schank
Wendy Lehnert
1979
YALEU/DCS/TR161 * Heuristics for Determining Equivalence of Program Mutation
Baldwin
Sayward
1979
YALEU/DCS/TR162 * The Role of Object Primitives in Natural Language Processing
Wendy Lehnert
Mark Burstein
May 1979
YALEU/DCS/TR163 [.pdf] An Overview of the Yale GEM System
John Levine
1979
YALEU/DCS/TR164 * An Evaluation of Pagodas
Peter Nix
1979
YALEU/DCS/TR165 [.pdf] Testing Bradley’s Greatest Divisor Program on EXPER
Robert Hess
Frederick Sayward
1979
YALEU/DCS/TR166 * The Transfer of Information and Authority in a Protection System
Snyder
Bishop
1979
YALEU/DCS/TR167 [.pdf] Time- and Space-optimimality in B-trees
Lawrence Snyder
Arnold Rosenberg
1979
YALEU/DCS/TR168 * Problems in Conceptual Analysis of Natural Language
Lawrence Birnbaum
Selfridge
October 1979
YALEU/DCS/TR169 * A UNIX Shell
Ellis
1979
YALEU/DCS/TR170 * Reminding and Memory Organization: An Introduction to MOPs
Roger Schank
December 1979
YALEU/DCS/TR127 * Re: The Gettysburg Address
Schank
Carbonell
January 1978
YALEU/DCS/TR128 * Representing Attitudes: Some Primitive States
Roger Schank
Robert Wilensky
Jaime Carbonell
Janet Kolodner
James Hendler
January 1978
YALEU/DCS/TR129 [.pdf] Conjugate Gradient Methods for Partial Differential Equations
Rati Chandra
January 1978
YALEU/DCS/TR130 [.pdf] The Structure and Rank of M by P by Q Tensors: An Heuristic Approach
Sharon J. Laskowski
David P. Dobkin
1978
YALEU/DCS/TR131 * Representing Physical Objects in Memory
Wendy Lehnert
May 1978
YALEU/DCS/TR132 [.pdf] Recognition and Selection of Idioms for Code Optimization
Lawrence Snyder
1978
YALEU/DCS/TR133 [.pdf] Tentative Compilation: A Design for an APL Compiler
Terrence Clark Miller
1978
YALEU/DCS/TR134 [.pdf] Time and Space Bounds for Selection Problems
David Dobkin
J. Ian Munroe
1978
YALEU/DCS/TR135 [.pdf] The Beacon Set Approach to Graph Isomorphism
richard J. Lipton
1978
YALEU/DCS/TR136 [.pdf] Social Processes and Proofs of Theorems and Programs
Richard DeMillo
Richard Lipton
Alan J. Perlis
1978
YALEU/DCS/TR137 * On the Use of Framed Knowledge in Language Comprehension
Eugene Charniak
September 1987
YALEU/DCS/TR138 * A New Approach to the Analysis of Algorithms
Dobkin
1978
YALEU/DCS/TR139 * Micro-SAM and Micro-ELI: Exercises in Popular Cognitive Mechanics
Chris Riesbeck
Eugene Charniak
September 1978
YALEU/DCS/TR140 * Understanding Goal-based Stories
Robert Wilensky
September 1978
YALEU/DCS/TR141 * Inference in the Conceptual Dependency Paradigm: A Personal History
Roger Schank
September 1978
YALEU/DCS/TR142 * Memory Organization for Natural Language Data-base Inquiry
Janet Kolodner
September 1978
YALEU/DCS/TR143 * Integrated Partial Parsing
Roger Schank
Michael Lebowitz
Lawrence Birnbaum
December 1978
YALEU/DCS/TR144 * Does a Hippie Own a Hairdrier?
Roger Schank
Michael Lebowitz
1978
YALEU/DCS/TR145 * Interestingness: Controlling Inferences
Roger Schank
October 1978
YALEU/DCS/TR146 * Knowledge-based Machine Translation
Jaime Carbonell
Richard Cullingford
Anatole Gershman
December 1978
YALEU/DCS/TR147 [.pdf] Theft and Conspiracy in the Take-grant Protection Model
Lawrence Snyder
1978
YALEU/DCS/TR148 * Spline Regression: Algorithms and Local Dependence
John Lewis
1978
YALEU/DCS/TR149 * Codification of Programming Knowledge: Graph Algorithms
David Barstow
December 1978
YALEU/DCS/TR150 * Subjective Understanding: Computer Models of Belief Systems
Jaime Carbonell
January 1979
YALEU/DCS/TR151 * Formal Models of Capability-based Protection
Snyder
1978
YALEU/DCS/TR152 [.pdf] Software for Sparse Gaussian Elimination With Limited Core Storage
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1978
YALEU/DCS/TR084 * Research at Yale
Roger Schank
Yale AI Project
1977
YALEU/DCS/TR085 * On Structure Preserving Reductions
Lipton
Lynch
1977
YALEU/DCS/TR086 * Specific Hard 0,1 Polynomials Over a Monotone Basis
Lipton
1977
YALEU/DCS/TR087 [.pdf] The APL Idiom List
S. Rugaber
Alan J. Perlis
April 1977
YALEU/DCS/TR088 * The Process of Question Answering (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)
May 1977
YALEU/DCS/TR089 [.pdf] Talk Notes on Mathematical Studies of Parallel Computation
Raymond E. Miller
1977
YALEU/DCS/TR090 * Evaluation Criteria for Process Synchronization
Lipton
Snyder
Zalcstein
1977
YALEU/DCS/TR091 * The Complexity of Word and Isomorphism Problems for Finite Groups
Lipton
Snyder
Zalcstein
1977
YALEU/DCS/TR092 [.pdf] Linear Time Colorings of Planar Graphs
R.J. Lipton
R.E. Miller
1977
YALEU/DCS/TR093 [.pdf] The Complexity of Searching Lines in the Plane (Preliminary version)
D.P. Dobkin
R.J. Lipton
1977
YALEU/DCS/TR094 [.pdf] On the Power of Applicative Languages
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR095 [.pdf] On an Array Sorting Problem of Kosaraju
R.J. Lipton
R. Miller
L. Snyder
1977
YALEU/DCS/TR096 [.pdf] On the Complexity of Linear Search Tree Programs for Searching
D.P. Dobkin
R.J. Lipton
1977
YALEU/DCS/TR097 [.pdf] On the Synthesis and Analysis of Protection Systems
Lawrence Snyder
1977
YALEU/DCS/TR098 [.pdf] Some Results on Maximum a Posteriori Probability Parsing Algorithms
R.J. Lipton
S.E. Levinson
L. Snyder
1977
YALEU/DCS/TR099 [.pdf] On the Halting of Tree Replacement Systems
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR100 [.pdf] Increasing Confidence in Software Through Program Perturbations
D.R. Hanson
R.J. Lipton
F.G. Sayward
1977
YALEU/DCS/TR101 [.pdf] Introduction to Linear Asynchronous Structures
R.J. Lipton
RE.. Miller
L. Snyder
1977
YALEU/DCS/TR102 [.pdf] On the Solvability of a Word Problem for Restricted Semigroups
L. Snyder
1977
YALEU/DCS/TR103 [.pdf] A Linear Time Algorithm for Deciding Security
A.K. Jones
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR104 * Skimming Newspaper Stories by Computer
Gerald DeJong
May 1977
YALEU/DCS/TR105 [.pdf] Minimal Storage Band Elimination
Martin Schultz
Stanley Eisenstat
Andrew Sherman
1977
YALEU/DCS/TR106 [.pdf] A Minimal Space Selection Algorithm That Runs in Linear Time
David Dobkin
Ian Munro
1977
YALEU/DCS/TR107 [.pdf] The Modified Conjugate Residual Method for Partial Differential Equations
R. Chandra
Stanley Eisenstat
Martin Schultz
May 1977
YALEU/DCS/TR108 [.pdf] Response Time of Parallel Programs
R.J. Lipton
F. Sayward
1977
YALEU/DCS/TR109 [.pdf] Finite Element Methods for Spherically Symmetric Elliptic Equations
Stanley Eisenstat
R.S. Schreiber
Martin Schultz
May 1977
YALEU/DCS/TR110 * Analyzing English Noun Groups for Their Conceptual Content
Anatole Gershman
May 1977
YALEU/DCS/TR111 * Ideological belief system simulation
Carbonell
May 1977
YALEU/DCS/TR112 [.pdf] Yale Sparse Matrix Package I. The Symmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
Andrew Sherman
1977
YALEU/DCS/TR113 [.pdf] Inverse Translation: The Theory of Practical Automatic Programming
Steven Peter Reiss
1977
YALEU/DCS/TR114 [.pdf] Yale Sparse Matrix Package II. Nonsymmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
A.H. Sherman
1977
YALEU/DCS/TR115 [.pdf] Finite Element Methods for Singular Two-point Boundry Value Problems
Robert S. Schreiber
1977
YALEU/DCS/TR116 * Script Application: Computer Understanding of Newspaper Stories
Cullingford
January 1978
YALEU/DCS/TR117 * Users’ Guide to the Pilot Mutation System
Budd
Sayward
1977
YALEU/DCS/TR118 * The Design of the Pilot Mutation System
Budd
Sayward
1977
YALEU/DCS/TR119 [.pdf] On the Synthesis and Analysis of Protection
Lawrence Snyder
1977
YALEU/DCS/TR120 * A Theoretic Approach to Automatic Programming
Reiss
1977
YALEU/DCS/TR123 * Testing Ramamoorthy’s Triangle Categorization Program on PIMS
Sayward
1977
YALEU/DCS/TR124 * A Comparison of Symbolic Evaluation and Mutant Analysis
Budd
1977
YALEU/DCS/TR125 * SCAN - PIM’s Line Scanner
Budd
1977
YALEU/DCS/TR126 [.pdf] I. Inert Rights and Conspirators in the TAKE/GRANT System II. Safety in Protection Systems
Timothy A. Budd
Richard J. Lipton
1977
YALEU/DCS/TR062 * AMPL: A Programming Language for Manuscript Preparation Systems (Available only from Sustman University Microfilms)
1976
YALEU/DCS/TR063 [.pdf] The Reachability Problem Requires Exponential Space
Richard J. Lipton
1976
YALEU/DCS/TR064 [.pdf] On the Complexity of Resource Managers
Lawrence Snyder
Richard J. Lipton
1976
YALEU/DCS/TR065 [.pdf] Secure Data Bases: Protection Against User Inference
David Dobkin
Jones
Richard J. Lipton
1976
YALEU/DCS/TR066 [.pdf] Polynomials With 0-1 Coefficients That Are Hard to Evaluate
Richard J. Lipton
1976
YALEU/DCS/TR067 [.pdf] Even Data Bases that Lie can be Compromised
DeMillo
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR068 [.pdf] On the GEM System: A Progress Report
Edgar Irons
1976
YALEU/DCS/TR069 * On the Complexity of Linear Programming
Steven P. Reiss
David Dobkin
1976
YALEU/DCS/TR070 [.pdf] A Lower Bound of 1/2n2 on Linear Search Programs for the Knapsack Problem
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR071 [.pdf] Excursions into Geometry
Dobkin
Lipton
Reiss
1976
YALEU/DCS/TR072 [.pdf] A Linear Time Algorithm for Deciding Subject Security
Richard J. Lipton
Snyder
1976
YALEU/DCS/TR073 * A Machine Design for Efficient Implementation of APL (Duplicate of #81.)
Minter
1976
YALEU/DCS/TR074 * The Metanovel
James Meehan
September 1976
YALEU/DCS/TR075 [.pdf] The Definition Mechanism for Standard PL/I
Michael Marcotty
Frederick G. Sayward
1976
YALEU/DCS/TR076 * A Linear Time Algorithm for Deciding Subject-Object Security (Extension of #72.)
Lipton
Snyder
1976
YALEU/DCS/TR077 [.pdf] Security in Data Bases: A Combinational Study
Steven P. Reiss
1976
YALEU/DCS/TR078 * Comprehension by Computer: Expectation-based Analysis of Sentences in Context
Reisbeck
Roger Schank
October 1976
YALEU/DCS/TR079 [.pdf] New Lower Bounds for Median and Other Related Problems
Chee-Keng Yap
1976
YALEU/DCS/TR080 * Pattern Matching and Inference in a Story- understanding System
Cullingford
Stutzman
1976
YALEU/DCS/TR081 [.pdf] A Machine Design for Efficient Implementation of A.P.L.
Charles Russell Minter
1976
YALEU/DCS/TR082 [.pdf] Social Processes and Proofs of Theorems and Programs
Richard A. DeMillo
Richard J. Lipton
Alan J. Perlis
1976
YALEU/DCS/TR083 * On the Optimality of the Rayleigh-Ritz Approximation
Stanley Eisenstat
Schrieber
Martin Schultz
December 1976
YALEU/DCS/TR039 * The Role of Memory in Language Processing
Roger Schank
1975
YALEU/DCS/TR040 [.pdf] Reduction: A Method for Proving Properties of Parallel Programs (revision of #30)
R.J. Lipton
1975
YALEU/DCS/TR041 [.pdf] The Complexity of Control Structures and Data Structures
R.J. Lipton
Stanley Eisenstat
R.A. DeMillo
1975
YALEU/DCS/TR042 [.pdf] On the Complexity of Computations Under Varying Sets of Primitives
David Dobkin
R.J. Lipton
1975
YALEU/DCS/TR043 * SAM – A Story Understander
Roger Schank
August 1975
YALEU/DCS/TR044 [.pdf] LGS: A Lexical Analyzer Generator
Wick
1975
YALEU/DCS/TR045 * PGS: A Parser Generator
John Dryer Wick
1975
YALEU/DCS/TR046 [.pdf] On the Efficient Solution of Sparse Systems of Linear and Nonlinear Equations
A.H. Sherman
1975
YALEU/DCS/TR047 [.pdf] Application of Sparse Matrix Methods to Partial Differential Equations
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR048 [.pdf] Efficient Implementation of Sparse Symmetric Gaussian Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR049 [.pdf] Conjugate Gradient Methods for Partial Differential Equations
R. Chandra
Stanley Eisenstat
Martin Schultz
1975
YALEU/DCS/TR050 [.pdf] Automatic Generation of Assemblers
John Dryer Wick
1975
YALEU/DCS/TR051 [.pdf] Program Construction From Examples
Phillip Dale Summers
1975
YALEU/DCS/TR052 [.pdf] A Non-Linear Lower Bound on Linear Search Tree Program for Solving Knapsack Problems
David Dobkin
1975
YALEU/DCS/TR053 [.pdf] Application of Sparse Matrix Techniques to Reservoir Simulation
P.T. Woo
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR054 [.pdf] Applications of an Element Model for Gaussian Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR055 [.pdf] Consideration in the Design of Software for Sparse Gaussian Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR056 [.pdf] Subrecursive Predicates and Automata
Celia Wrathall
1975
YALEU/DCS/TR057 * Question Answering in a Story Understanding
Wendy Lehnert
December 1975
YALEU/DCS/TR058 * TINY: A Bundled One-Chip Computer
Edgar Irons
1975
YALEU/DCS/TR059 [.pdf] A Constructive Generalization of the Borel-Cantelli Lemma with Application to
DeMillo the Complexity of Infinite Strings
Lipton
1975
YALEU/DCS/TR060 [.pdf] Word Problems Solvable in Log Space
Lipton
Zalcstein
1975
YALEU/DCS/TR061 [.pdf] Space & Time Hierarchies for Control Structures and Data Structures
Richard J. Lipton
Stanley Eisenstat
R.A. DeMillo
1975
YALEU/DCS/TR024 [.pdf] Steps Toward an APL Compiler
Allen Perlis
1974
YALEU/DCS/TR025 [.pdf] On Some Generalizations of Binary Search
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR026 [.pdf] Limitations of Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR027 [.pdf] The Application of Sparse Matrix Methods to the Solution of Nonlinear Elliptic Partial Differential
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1974
YALEU/DCS/TR028 [.pdf] A Comparative Analysis of the Cuthill-McKee and Reverse Cuthill-McKee Ordering Algorithms for Sparse Matrices
Wai-Hung Liu
A.H. Sherman
1974
YALEU/DCS/TR029 [.pdf] A Real-Time Algorithm for Least Square Splines and its Application in Computer-Aided Geometric Design
Stanley Eisenstat
John Lewis
Martin Schultz
May 1975
YALEU/DCS/TR030 * Reduction: A New Method of Proving Properties of Systems (Revised+ see #40.)
R.J. Lipton
1974
YALEU/DCS/TR031 * Limitations of Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR032 [.pdf] Translational Lemmas, Polynomial Time and (log n)-space
Ronald V. Book
1974
YALEU/DCS/TR033 [.pdf] On the Chomsky-Schutzenberger Theorem
Ronald V. Book
1974
YALEU/DCS/TR034 [.pdf] Multidimensional Searching Problems
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR035 [.pdf] Subroutines for Envelope Solution of Sparse Linear Systems
Stanley Eisenstat
A.H. Sherman
October 1974
YALEU/DCS/TR036 * A Model for Natural Language Semantics
Hobbs
1974
YALEU/DCS/TR037 [.pdf] On the Optimal Parsing of Speech
R.J. Lipton
Snyder
1974
YALEU/DCS/TR038 [.pdf] Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and N-linear Forms
R.J. Lipton
David Dobkin
1974
YALEU/DCS/TR013 [.pdf] Neighborhood Search Algorithms for Finding Optimal Traveling Salesmen Tours Must be Inefficient
P. Weiner
S. L. Savage
A. Bagchi
1973
YALEU/DCS/TR014 [.pdf] Convergent Local Search
S.L. Savage
P. Weiner
M.J. Krone
1973
YALEU/DCS/TR015 [.pdf] Bicubic Interpolation Over Right Triangles
Martin Schultz
August 1972
YALEU/DCS/TR016 [.pdf] The File Transmission Problem Problems
P. Weiner
Tuttle
1972
YALEU/DCS TR017 [.pdf] Linear Pattern Matching Algorithms
P. Weiner
1973
YALEU/DCS/TR018 [.pdf] An Overview of the YALE GEM System (Preliminary Version)
P. Weiner
Minter
1973
YALEU/DCS/TR019 [.pdf] The Yale Editor “E” - A CRT-Based Text Editing System (Preliminary Version)
Weiner
Singh
Mostow
Edgar Irons
1973
YALEU/DCS/TR020 * The Complexity of Partial Differential Equations
Stanley Eisenstat
Martin Schultz
May 1973
YALEU/DCS/TR021 [.pdf] The Complexity of Linear Approximation Algorithms
Martin Schultz
May 1973
YALEU/DCS/TR022 [.pdf] On Synchronization Primitive Systems
Richard J. Lipton
1973
YALEU/DCS/TR023 [.pdf] On the Arithmetic Complexity of a Class of Arithmetic Computations
David Dobkin
1973
YALEU/DCS/TR002 [.pdf] Syntax Graphs and Fast Context Free Parsing
Edgar Irons
1971
YALEU/DCS/TR003 [.pdf] L2-Error Bounds for the Raleigh-Bitz-Galerkin Method
Martin Schultz
April 1971
YALEU/DCS/TR004 [.pdf] Discrete Tchebycheff Approximation for Multivariate Splines
Martin Schultz
April 1971
YALEU/DCS/TR005 [.pdf] Error Bounds for Bivariate Cubic Interpolation
Martin Schultz
April 1971
YALEU/DCS/TR006 [.pdf] Error Bounds for Galerkin’s Method for Monotone Operator Equations
Martin Schultz
1971
YALEU/DCS/TR007 [.pdf] New Computational Algorithms for Minimizing a Sum of Squares of Nonlinear Functions
Kenneth Brown
J. Dennis, Jr.
1971
YALEU/DCS/TR008 [.pdf] On the Second Order of Convergence
Kenneth Brown
1971
YALEU/DCS/TR009 [.pdf] Quadrature-Galerkin Approximations to Solutions of Elliptic Differential Equations
Martin Schultz
May 1971
YALEU/DCS/TR010 [.pdf] A Ritz Method for an Optimal Control Problem
Martin Schultz
May 1971
Social Robotics
Advancing Human-Robot Interaction for Real-World Impact
Our robotics research is currently focused on advancing Human-Robot Interaction, with applications spanning education, manufacturing, entertainment, and service domains. The department's work in this field not only aims to create more effective and engaging robotic systems but also uses robots as tools to deepen our understanding of human behavior.
A key focus of the research is on building socially engaging and useful robot partners. This includes developing robots that provide social and cognitive support for education and therapy, robots that work collaboratively with human partners on manufacturing tasks, and robots that help explore questions about human social behavior. Researchers employ a wide range of techniques, from computational modeling to clinical methods, to investigate crucial aspects of human-robot interaction such as trust, engagement, and embodiment.
The department is also making significant strides in enabling robots to collaborate more effectively with humans in real-world environments. This involves developing algorithms and machine learning models that allow robots to understand and adapt to the intentions and needs of human partners, often in uncertain and dynamic settings. Researchers are exploring how robots can learn from demonstrations and interactions, improving their ability to perform tasks in collaborative and assistive roles. This has important applications in areas like healthcare, household assistance, and industry.
Another area of research focuses on robot manipulation and control, particularly in dynamic, unstructured environments. This includes designing motion planning and control strategies that allow robots to perform tasks with greater efficiency and safety, especially when collaborating closely with humans. The work often involves applying optimization and machine learning techniques to improve robot autonomy, precision, and adaptability, with potential applications in fields such as healthcare for tasks like surgery or rehabilitation.
Through these diverse research streams, we are advancing the capabilities of robotic systems while also providing critical insights into human behavior and social dynamics in the context of human-robot interaction. This interdisciplinary approach, combining elements of computer science, engineering, psychology, and social sciences, comes together under Yale Engineering's Robotics for Humanity initiative, where researchers collaborate across departments and beyond engineering to include partnerships across Yale's campus. This comprehensive ecosystem positions Yale at the cutting edge of robotics research, creating robots that can interact naturally and productively with people while fostering innovative solutions for real-world challenges in healthcare, education, and human assistance.
Associated Faculty
Tesca Fitzgerald
Assistant Professor of Computer Science
Daniel Rakita
Assistant Professor of Computer Science
Brian Scassellati
A. Bartlett Giamatti Professor of Computer Science
Marynel Vázquez
Assistant Professor of Computer Science
Alex Wong
Assistant Professor of Computer Science
Lin Zhong
Joseph C. Tsai Professor of Computer Science