Faculty & Research

Computer Science Technical Reports

A listing of technical reports from the Indiana University Computer Science Program, many of which are available electronically. If we have an exchange agreement with your institution, our hard copy technical reports (except dissertations) are available free of charge (limit of five per month). If we do not have an exchange agreement with your institution, please contact the Technical Report Librarian (email: techreports) for the price of a particular Technical Report or for information about establishing an exchange agreement.

If you have any questions or requests please contact:

CS Technical Report Librarian
Indiana University, Lindley Hall, Room 215
Bloomington, Indiana 47405-4101
UNITED STATES
email: 
techreports

There is also information (from IU only) available about how to submit a technical report and how to maintain the database

TR728
Crossing Analytics Systems: A Case for Integrated Provenance in Data Lakes, Isuru Suriarachchi and Beth Plale (Sep 2016)

TR727
Incompetents, Criminals, or Spies: Macroeconomic Analysis of Routing Anomalies, Pablo Moriano and Soumya Achar and L. Jean Camp (Sep 2016)

TR726
The Semantics of ParalleX, v1.0, Matteo Cimini, Jeremy G. Siek, and Thomas Sterling (May 2016)

TR725
Provenance as Essential Infrastructure for Data Lakes, Isuru Suriarachchi and Beth Plale (Apr 2016)

TR724
Too Much Too Late: Influence of risk communication on Android App installations, Prashanth Rajivan & Jean Camp, School of Informatics and Computing (Feb 2016)

TR723
Bongo: A BGP Speaker Built for Defending Against Bad Routes, Kevin Benton, Dr. L. Jean Camp, Dr. Martin Swany (Feb 2016)

TR722
A Survey on SEDA and Using SEDA to Optimize HDFS Read Operation, Isuru Suriarachchi (Oct 2015)

TR721
Secure Provenance for Data Preservation Repositories, Isuru Suriarachchi (Oct 2015)

TR720
Addressing the Limitations of Γ-privacy, Isuru Suriarachchi (Oct 2015)

TR719
Simplifying Probabilistic Programs Using Computer Algebra, Jacques Carette and Chung-chieh Shan (Sep 2015)

TR718
Proceedings of the 2014 Scheme and Functional Programming Workshop, Jason Hemann, John Clements (editors) (Sep 2015)

TR717
Manual for EAR4 and CAAR Weka Plugins, Case-Based Regression and Ensembles of Adaptations, Version 1, Vahid Jalali and David Leake (Apr 2015)

TR716
Instrument for Measuring Perception of Online Risks and Benefits of Information Sharing, L. Jean Camp (Dec 2014)

TR715
Instrument for Measuring Computing and Security Expertise, L. Jean Camp, Tim Kelley and Prashanth Rajivan (Feb 2015)

TR714
Preproceedings of the 26nd Symposium on Implementation and Application of Functional Languages (IFL 2014), Sam Tobin-Hochstadt, editor (Oct 2014)

TR713
Evaluation of Data Storage in HathiTrust Research Center Using Cassandra, Guangchen Ruan and Beth Plale (Jul 2014)

TR712
A Language for Nested Data Parallel Design-space Exploration on GPUs, Bo Joel Svensson, Mary Sheeran, Ryan R. Newton (Aug 2014)

TR711
Use of Hybrid Systems to model the RobotiQ Adaptive Gripper, Giulia Franchi and Kris Hauser (Feb 2014)

TR710
Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars, Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton (Dec 2013)

TR709
A New Module in RAPSearch2 for Fast Protein Similarity Search of Paired-end Sequences, Xiaoqian Zhang, Haixu Tang (Dec 2013)

TR708
Advanced Keyword Search on Graph, Yifan Pan; Yuqing Wu (Aug 2013)

TR707
Perceptions of Computing Risks, Vaibhav Garg; L Jean Camp (Jul 2013)

TR706
Just-in-time Acceleration of JavaScript, Uday Pitambare, Arun Chauhan, Saurabh Malviya (Feb 2013)

TR705
A Framework for Optimizing Function Call Sequences in MATLAB or Inter-procedural Optimization without Inter-procedural Analysis, Arun Chauhan, Chun-Yu Shei (Aug 2014)

TR704
RubyWrite: An Embedded DSL for Tree Rewriting, Arun Chauhan, Andrew Keep, Chun-Yu Shei, Pushkar Ratnalikar (Jan 2013)

TR703
A Uniform Terminology for C++ Concepts, Larisse Voufo, Andrew Lumsdaine (Jan 2013)

TR702
A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State, Lindsey Kuper, Ryan Newton (Oct 2012)

TR701
Temporal Data Mining of Scientific Data Provenance, Peng Chen, Beth Plale, Mehmet Aktas (Jul 2012)

TR700
The eXtensible Session Protocol: A Protocol for Future Internet Architectures, Ezra Kissel (Delaware), Martin Swany (Indiana) (Feb 2012)

TR699
Strengths and Weaknesses of Sub-Workflow Interoperability, Beth Plale, Eran Chinthaka Withana, Chathura Herath, Kavitha Chandrasekar, Yuan Luo, Felix Terkhorn (Nov 2011)

TR698
Evaluation of Two XML Storage Approaches for Scientific Metadata, Scott Jensen, Devarshi Ghoshal, Beth Plale (Oct 2011)

TR697
Thwarting Wi-Fi Side-Channel Analysis through Traffic Demultiplexing, Fan Zhang, Wenbo He, Yangyi Chen, Zhou Li, XiaoFeng Wang, Shuo Chen, Xue Liu (Aug 2011)

TR696
To Release Or Not To Release: Evaluating Information Leaks in Aggregate Human-Genome Data, Xiaoyong Zhou, Bo Peng, Yong Fuga Li, Yangyi Chen, Haixu Tang, XiaoFeng Wang (Jun 2011)

TR695
BLACR: TTP-Free Blacklistable Anonymous Credentials with Reputation, Man Ho Au, Patrick P. Tsang, Apu Kapadia, and Willy Susilo (May 2011)

TR694
A Study of RDB-based RDF Data Management Techniques, Vahid Jalali, Mo Zhou, Yuqing Wu (May 2011)

TR693
Sigiri: Uniform Abstraction for Large-Scale Compute Resource Interactions, Eran Chinthaka Withana and Beth Plale (Mar 2011)

TR692
Efficient Association Discovery with Keyword-based Constraints on Large Graph Data, Mo Zhou, Yifan Pan, Yuqing Wu (Mar 2011)

TR691
Improving Automatic Weather Observations with the Public Twitter Stream, Jeff Cox, Beth Plale (Feb 2011)

TR690
How to Shop for Free Online: Security Analysis of Cashier-as-a-Service Based Web Stores, Xiafeng Wang, Rui Wang, Shuo Chen (Feb 2011)

TR689
Schema-Independent and Schema-Friendly Scientific Metadata Management, Scott Jensen and Beth Plale (Jan 2011)

TR688
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users, Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011)

TR688
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users, Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011)

TR687
Pythia: A Privacy Aware, Peer-to-Peer Network for Social Search, Shirin Nilizadeh, Naveed Alam, Nathaniel Husted, Apu Kapadia (Oct 2010)

TR686
A Composable Runtime Recovery Policy Framework Supporting Resilient HPC Applications, Joshua Hursey & Andrew Lumsdaine (Aug 2010)

TR685
Ordering Depth First Search to Improve AFD Mining, Jeremy T. Engle, Edward L. Robertson, and Dimitar G. Nikolov (Jun 2010)

TR684
Certified Lies: Detecting and Defeating Government Interception Attacks Against SSL, Christopher Soghoian and Sid Stamm (Apr 2010)

TR683
XML-Based RDF Data Management for Efficient Query Processing, Mo Zhou, Yuqing Wu (Apr 2010)

TR682
Inducing Relatedness Graphs for Data Integration, Jeremy Engle, Ying Feng, Rob Goldstone (Jan 2010)

TR681
"Sigiri: Towards A Light-Weight Job Management System for Large Scale Systems", Eran Chinthaka, Suresh Marru, and Beth Plale (Aug 2009)

TR680
Learning Your Identity and Disease from Research Papers: Information Leaks in Genome Wide Association Study, Rui Wang - Indiana University Bloomington Yong Li - Indiana University Bloomington XiaoFeng Wang - Indiana University Bloomington Haixu Tang - Indiana University Bloomington Xiaoyong Zhou - Indiana University Bloomington (Aug 2009)

TR679
Privacy-Preserving Genomic Computation Through Program Specialization, Rui Wang -IUB, XiaoFeng Wang - IUB, Zhou Li - IUB, Haixu Tang - IUB, Michael Reiter - University of North Carolina at Chapel Hill, Zheng Dong - IUB (Aug 2009)

TR678
Modularizing Data Mining: A Case Study Framework, Jeremy T. Engle, Edward L. Robertson (Jul 2009)

TR677
Building a Concept Hierarchy Using Frequent Tag Sequences, Jon Klinginsmith (IUB), Malika Mahoui (IUPUI), Josette Jones (IUPUI), Melanie Wu (IUB) (Jun 2009)

TR676
Socially Induced Semantic Networks and Applications, Benjamin Markines (Jun 2009)

TR675
ORCS: An Oblivious Routing Congestion Simulator, Timo Schneider, Torsten Hoefler, and Andrew Lumsdaine (Feb 2009)

TR674
Fixing Probe for Multi-Threaded MPI Applications, Douglas Gregor, Torsten Hoefler, Brian Barrett, and Andrew Lumsdaine (Jan 2009)

TR673
Workload-aware Trie Indexes for XML, Sofia Brenes, Yuqing Melanie Wu, Hyungdae Yi (Jan 2009)

TR672
Towards Quantifying Limits in Automated Curation of e-Science Data, Beth Plale, You-Wei Cheah, and Yiming Sun (Nov 2008)

TR671
A Survey of Distributed Workflow Characteristics and Resource Requirements, Lavanya Ramakrishnan, Dennis Gannon (Sep 2008)

TR670
Leapfrog: Enhancing Information Protection in Commodity Applications with Dataflow Control, XiaoFeng Wang, Zhuowei Li and Rui Wang (Aug 2008)

TR669
HTTP Fences: Immigration Control for Web Pages, Sid Stamm (Jul 2008)

TR668
Full Resolution Lightfield Rendering, Andrew Lumsdaine, Todor Georgiev (Jul 2008)

TR667
Towards Automatic Reverse Engineering of Software Security Configuration, Rui Wang, XiaoFeng Wang, Kehuan Zhang, Zhuowei Li (Jul 2008)

TR666
Representing LEAD Experiments in a FEDORA digital repository, You-Wei Cheah, Beth Plale (Jun 2008)

TR665
Quantum Circuits: From a Network to a One-Way Model - A tutorial Version, Larisse D. Voufo, Gerardo Ortiz, and Amr Sabry (Jun 2008)

TR664
Quantifying the Security of Preference-based Authentication, Markus Jakobsson, Liu Yang, Susanne Wetzel (Jun 2008)

TR663
Review of the Hough Transform Method, With an Implementation of the Fast Hough Variant for Line Detection, Danko Antolovic (Apr 2008)

TR662
ParaXML: A Parallel XML Processing Model on the Multicore CPUs, Wei Lu and Dennis Gannon (Apr 2008)

TR661
Diffusion and Adoption of IPv6 in the United States, Hillary A. Elmore, L. Jean Camp, Brandon P. Stephens (Mar 2008)

TR660
A Study of Positive XPath with Parent/Child Navigation, Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens (Mar 2008)

TR659
A Scalable and Robust Coordination Architecture for Distributed Management, Srinath Perera, Dennis Gannon (Feb 1973)

TR658
Probabilistic analysis of success and failure rates of candidate generation algorithms for the frequent itemsets mining problem., Minh Tang (Feb 1973)

TR657
A Risk Based Approach To Limit The Effects of Covert Channels for Internet Sensor Data Aggregators For Sensor Privacy, Camilo H. Viecco and L. Jean Camp (Feb 1973)

TR654
Benchmarking Effort of Virtual Machines on Multicore Machines, Aparna Venkatraman, Vinay Pandey, Beth Plale, Shing-Shong Shei (Dec 2007)

TR653
View-Constraint Duality in Databases and Systems Engineering, John Springer (Oct 2007)

TR652
A Case Study in Using Design Principles for Secure Operating System Interfaces, Yiming Sun, Adity Mutsuddi, Baizil K. Jacob, Kay H. Connelly, and Minaxi Gupta (Oct 2007)

TR651
Net Trust: A Privacy-Aware Architecture for Sharing Web Histories, Alex Tsow, Shreyas Kamath and L. Jean Camp (Aug 2007)

TR650
Starfish: A Table-Centric Tool for Design Derivation, Alexander W. Tsow (Aug 2007)

TR649
Deceit and Deception: A Large User Study of Phishing, Alex Tsow and Markus Jakobsson (Aug 2007)

TR648
Tuple-Space Mapper: Design, challenges and Goals, Joseph A. Cottam and Andrew Lumsdaine (Jul 2007)

TR647
A Virtual Filesystem Framework to Support Embedded Software Development, Bhanu Nagendra Pisupati (Jun 2007)

TR646
Building a Trusted Location Service for Pervasive Computing Environments, Raquel Hill, Jalal Al-Muhtadi (May 2007)

TR645
Performance Evaluation of MySQL 5.0 and Berkeley DB XML as a Grid Resource Information Manager (GRIM) with a Benchmark/Workload, Xin Xiang, Beth Plale (Feb 2007)

TR644
CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface, Fang (Cherry) Liu and Randall Bramley (Jan 2007)

TR643
Phishing IQ Tests Measure Fear, Not Ability, Vivek Anandpara, Andrew Dingman, Markus Jakobsson, Debin Liu, Heather Roinestad (Jan 2007)

TR641
Drive-By Pharming, Sid Stamm, Zulfikar Ramzan, and Markus Jakobsson (Dec 2006)

TR640
A Dense Wireless LAN Case Study, Camilo H. Viecco, Minaxi Gupta (Dec 2006)

TR639
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents, George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens, and Jan Paredaens (Oct 2006)

TR638
Fundamental Algebraic Concepts in Concept-Enabled C++, Peter Gottschling (Oct 2006)

TR637
Design, Implementation, and Usage of LibNBC, Torsten Hoefler and Andrew Lumsdaine (Sep 2006)

TR636
Non-Blocking Collective Operations for MPI-2, Torsten Hoefler, Jeffrey M. Squyres, George Bosilca, Graham Fagg, Andrew Lumsdaine, and Wolfgang Rehm (Sep 2006)

TR635
A Checkpoint and Restart Service Specification for Open MPI, Joshua Hursey and Jeffrey M. Squyres and Andrew Lumsdaine (Jul 2006)

TR634
Extending Relational Query Optimization to Dynamic Schemas for Information Integration in Multidatabases, Catharine M. Wyss and Felix I. Wyss (Jul 2006)

TR633
A Framework for Access Control for XML, Sriram Mohan(srmohan), Arijit Sengupta(asengupt) and Yuqing Wu(yuqwu) (Jul 2006)

TR632
Constructing and Validating Entity-Relationship Data Models in the PVS Specification Language: A case study using a text-book example, Venkatesh Choppella, Arijit Sengupta, Edward L. Robertson and Steven D Johnson (Apr 2006)

TR631
MPI over Scripting Languages: Usability and Performance Tradeoffs, Craig Shue, Joshua Hursey, and Arun Chauhan (Feb 2006)

TR630
A "Virtual Light" Interface for the Extended Analog Computer, Williams et. al. (Jan 2006)

TR629
Cryptography using the VLSI Extended Analog Computer, Gonzalez et al. (Jan 2006)

TR628
Cyclotron Beam Control and Internet Traffic Load Balancing with an EAC, Chen et. al. (Jan 2006)

TR627
Evolving Letter Recognition with an Extended Analog Computer, Parker, M. (Jan 2006)

TR626
Using Butterfly Wing Patterns to Solve Hamiltonian Circuit, Wu & Kim (Jan 2006)

TR625
Notes on Implementing the McCulloch-Kilmer RETIC with EAC, Mills et. al. (Jan 2006)

TR624
Denial of Service Attack Detection Using Extended Analog Computers, Shue, Kopecky and Wileman (Jan 2006)

TR623
Complementarity and Unconventional Computing, Jonathan W. Mills and Bryce Himebaugh (Jan 2006)

TR622
Vanishing Point: a Visual Road-Detection Program for a DARPA Grand Challenge Vehicle, Danko Antolovic, Alex Leykin and Steven D. Johnson (Dec 2005)

TR621
Polynomial-Time Query Languages for Untyped Lists, Edward L. Robertson, Lawrence V. Saxton, and Dirk Van Gucht (Dec 2005)

TR620
Tracking and Activity Analysis in Retail Environments, Alex Leykin and Mihran Tuceryan (Oct 2005)

TR619
Scheme 2005 Proceedings of the Sixth Workshop on Scheme and Functional Programming, J. Michael Ashley and Michael Sperber, editors (Sep 2005)

TR618
A Survey of Data Provenance Techniques, Yogesh L. Simmhan, Beth Plale, Dennis Gannon (Aug 2005)

TR617
IUCBRF: A Framework For Rapid And Modular Case-Based Reasoning System Development, Steven Bogaerts and David Leake (Jul 2005)

TR616
The Common Instrument Middleware Architecture: Overview of Goals and Implementation, Tharaka Devadithya, Kenneth Chiu, Donald F. McMullen (Jun 2005)

TR615
A Monadic Framework for Delimited Continuations, R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry (Jun 2005)

TR614
dQUOBEC Event Channel Communication System, Nithya Vijayakumar, Beth Plale (May 2005)

TR613
Realization of GGF DAIS Data Service Interface for Grid Access to Data Streams, Ying Liu, Beth Plale, Nithya Vijayakumar (May 2005)

TR612
A Vision System for Automated Customer Tracking for Marketing Analysis: Low Level Feature Extraction, Alex Leykin and Mihran Tuceryan (Jun 2005)

TR611
How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible, Oleg Kiselyov (Mar 2005)

TR610
OGC Compatible Geographical Information Systems Web Services, Ahmet Sayar, Marlon Pierce, Geoffrey Fox (Mar 2005)

TR609
Access Control for XML - A Dynamic Query Rewriting Approach, Sriram Mohan, Arijit Sengupta, Yuqing Wu, Jonathan Klinginsmith (Feb 2005)

TR608
A Proof-Theoretic Foundation of Abortive Continuations (Extended version), Zena M. Ariola, Hugo Herbelin, and Amr Sabry (Feb 2005)

TR607
A Data Management Architecture for Computational Biology, Yu Ma, Randall Bramley, Sun Kim (Jan 2005)

TR606
An Algebra for Triadic Relations, Ed Robertson (Jan 2005)

TR605
Essential Language Support for Generic Programming: Formalization Part 1, Jeremy Siek and Andrew Lumsdaine (Dec 2004)

TR604
Data Redistribution and Remote Method Invocation in Parallel Component Architectures, Felipe Bertrand, Randall Bramley, Kostadin B. Damevski, James A. Kohl, David E. Bernholdt, Jay W. Larson, Alan Sussman (Dec 2004)

TR603
Experiments with PageRank Computation, Ashraf Khalil and Yong Liu (Dec 2004)

TR602
Measures in Databases and Data Mining, Bassem Sayrafi, Dirk Van Gucht, Marc Gyssens (Nov 2004)

TR601
RS-Algo: an Algorithm for Improved Memory Utilization in Continuous Query System under Asynchronous Data Streams, Nithya Vijayakumar and Beth Plale (Oct 2004)

TR600
Proceedings of the Fifth Workshop on Scheme and Functional Programming, Olin Shivers and Oscar Waddell (Oct 2004)

TR599
Optimal Tuple Merge in NP-Complete, Edward L. Robertson and Catharine M. Wyss (Jul 2004)

TR598
eXtensible Relational Databases: a Relational Approach to Interoperability, J.J. Lu, S. -Y. Cheung, and C.M. Wyss (Jul 2004)

TR597
An Instrument/Sensor Analysis of the MMSF Automated Photometric Telescope, Fang Liu, Randall Bramley and George Turner (Jun 2004)

TR596
Reasoning about Additive Measures, Bassem Sayrafi and Dirk Van Gucht (Jun 2004)

TR595
A Comparative Study of Elderly, Younger, and Chronically Ill Novice PDA Users, Katie A. Moor, Kay Connelly and Yvonne Rogers (Jun 2004)

TR594
Architectural Principles for Enterprise Frameworks, Richard A. Martin, Edward L. Robertson and John A. Springer (Apr 2004)

TR593
Portal Access to Parallel Visualization of Scientific Data on the Grid, Charles Moad and Beth Plale (Feb 2004)

TR592
A Compiler-Based Approach to Schema-Specific Parsers for XML, Kenneth Chiu and Wei Lu (Feb 2004)

TR591
Translation, Scale and Occlusion-Tolerant Recognition with Multiple Eigenspace Models, Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004)

TR590
Multiple Eigenspace Models for Scene Segmentation and Occlusion Removal, Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004)

TR589
Development of a Wireless Location System in Lindley Hall, R. Doshi, T. Jagatic, A. Khalil, S. Shirasuna, and P. Venkatakrishnan (Jan 2004)

TR588
Instruments and Sensors as Network Services: Making Instruments First Class Members of the Grid, Randall Bramley, Kenneth Chiu, John C. Huffman, Kia Huffman, and Donald F. McMullen (Dec 2003)

TR587
Mining Frequent Itemsets Over Arbitrary Time Intervals in Data Streams, Chris Giannella, Jiawei Han, Edward Robertson and Chao Liu (Nov 2003)

TR586
The Undecidability of Iterated Modal Relativization, Joseph S. Miller and Lawrence S. Moss (May 2003)

TR585
Benchmark Evaluation of Xindice as a Grid Information Server, Prajakta Vaidya and Beth Plale (May 2003)

TR584
An Information Theoretic Histogram for One-Dimensional Selectivity Estimation, Chris Giannella and Bassem Sayrafi (Jan 2005)

TR583
Benchmark Details of Synthetic Database Benchmark/Workload for Grid Resource Information, Beth Plale, Craig Jacobs, Ying Liu, Charlie Moad, Rupali Parab, and Prajakta Vaidya (Aug 2003)

TR582
Combining Optimizations, Combining Theories, Todd L. Veldhuizen and Jeremy G. Siek (May 2003)

TR581
Improving the Lazy Krivine Machine, Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger (Nov 2003)

TR580
Polymer Processors, Jonathan W. Mills (Jul 2003)

TR579
Request Progression Interface (RPI) System Services Interface (SSI) Modules for LAM/MPI, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003)

TR578
Checkpoint/Restart System Services Interface (SSI) Modules for LAM/MPI, Sriram Sankaran, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003)

TR577
MPI Collective Operations System Services Interface (SSI) Modules for LAM/MPI, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003)

TR576
Boot System Services Interface (SSI) Modules for LAM/MPI, Jeffrey M. Squyres, Brian Barett and Andrew Lumsdaine (Jul 2003)

TR575
The System Services Interface (SSI) to LAM/MPI, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jun 2003)

TR574
Survey of Publish Subscribe Event Systems, Ying Liu and Beth Plale (May 2003)

TR573
Polychotomous Classification with Pairwise Classifiers: a New Voting Principle, Florin Cutzu (Jan 2003)

TR572
Face Detection using Half-Face Templates, Yi Zhu and Florin Cutu (Nov 2002)

TR571
A Novel Approach to View Planning in Shape Acquisition from Range Data, Chi-Wing Fu, Florin Cutzu and Andrew Hanson (Nov 2002)

TR570
Using MPI with C# and the Common Language Infrastructure, Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison (Oct 2002)

TR569
Real Time Response to Streaming Data on Linux Clusters, Beth Plale, George Turner and Akshay Sharma (Nov 2002)

TR568
Matrix Factorization Using a Block-Recursive Structure and Block-Recursive Algorithms, Jeremy D. Frens (Sep 2002)

TR567
Breaking the Barriers: High Performance Security for High Performance Computing, Kay Connelly and Andrew A. Chien (Aug 2002)

TR566
Unification Source-Tracking with Application to Diagnosis of Type Inference, Venkatesh Choppella (Aug 2002)

TR565
Visual Properties Differentiating Art from Real Scenes, Alex Leykin, Florin Cutzu and Riad Hammoud (Jul 2002)

TR564
Guaranteed Optimization: Proving Nullspace Properties of Compilers, Todd L. Veldhuizen and Andrew Lumsdaine (Jul 2002)

TR563
Reliability in LAM/MPI Requirements Specification, Andrew Lumsdaine, Jeffrey M. Squyres, and Brian Barrett (Jun 2002)

TR562
XCAT 2.0: Design and Implementation of Component based Web Services, Madhusudhan Govindaraju, Sriram Krishnan, Kenneth Chiu, Aleksander Slominski, Dennis Gannon and Randall Bramley (Jun 2002)

TR561
Architectural Support for Database Visualization, Dennis Groth (May 2002)

TR560
MSPLS 2002: Proceedings of the Workshop of the Midwest Society for Programming Languages and Systems, Jaakko Jarvi, Andrew Lumsdaine and David S. Wise, Editors (Apr 2002)

TR559
SOAP for High Performance Computing, Kenneth Chiu, Madhusudhan Govindaraju, and Randall Bramley (Mar 2002)

TR558
Using Horizontal-Vertical Decompositions to Improve Query Evaluation, Chris Giannella, Mehmet Dalkilic, Dennis Groth and Edward Robertson (Feb 2002)

TR557
Development of a Real-Time Vision System for an Autonomous Model Airplane, Danko Antolovic (Oct 2001)

TR556
Dynamic Querying of Streaming Data with the dQUOB System, Beth Plale and Karsten Schwan (Sep 2001)

TR555
On an Information Theoretic Approximation Measure for Functional Dependencies, Chris Giannella and Edward Robertson (Aug 2001)

TR554
An Object Encoding for SelfType, Steven E. Ganz and Daniel P. Friedman (Aug 2001)

TR553
A Modular Interpreter in Scheme with Objects, Steven E. Ganz and Daniel P. Friedman (Aug 2001)

TR552
Interleaving is Possible with Refined Abstract Machines: A New Approach to Engineering a Compiler, Steven E. Ganz and Daniel P. Friedman (Aug 2001)

TR551
FastFDs: A Heuristic-Driven, Depth-First Algorithm for Mining Functional Dependencies from Relation Instances, Catharine Wyss, Chris Giannella, and Edward Robertson (Jul 2001)

TR550
Design of a Pull and Push Parser System for Streaming XML, Aleksander Slominski (May 2001)

TR549
SoapRMI Events: Design and Implementation, Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001)

TR548
SoapRMI C++/Java 1.1: Design and Implementation, Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001)

TR547
Blood from Dahm's Turnip, Kasey N. Klipsch and David S. Wise (Apr 2001)

TR546
Recursion is a Computational Effect, Daniel P. Friedman and Amr Sabry (Dec 2000)

TR545
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01), Amr Sabry (editor) (Jan 2001)

TR544
Formal Derivation of a Scheme Computer, Steven D. Johnson (Sep 2000)

TR543
Five Compilation Models for C++ Templates, Todd Veldhuizen (Aug 2000)

TR542
Techniques for Scientific C++, Todd Veldhuizen (Aug 2000)

TR541
Simple Equational Specifications of Rational Arithmetic, Lawrence S. Moss (Jul 2000)

TR540
Solving Regular Tree Grammar Based Constraints, Yanhong A. Liu, Ning Li, Scott D. Stoller (Jul 2000)

TR539
Just When You Thought your Little Language was Safe: ``Expression Templates'' in Java, Todd L. Veldhuizen (Jul 2000)

TR538
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages, Leena Unnikrishnan. Scott D. Stoller and Yanhong A. Liu (Apr 2000)

TR537
A Bound on Attacks on Payment Protocols, Scott D. Stoller (Feb 2000)

TR536
Model-Checking Multi-Threaded Distributed Java Programs, Scott D. Stoller (Jan 2000)

TR535
Automatic Time-Bound Analysis for a Higher-Order Language, Gustavo Gomez and Yanhong A. Liu (Nov 1999)

TR534
The Logic of Public Announcements, Common Knowledge and Private Suspicions, Alexandru Baltag, Lawrence S. Moss and Slawomir Solecki (Nov 1999)

TR533
Morton-order Matrices Deserve Compilers' Support, David S. Wise and Jeremy D. Frens (Nov 1999)

TR532
It's All About Process: Project-Oriented Teaching of Software Engineering, Dennis P. Groth and Edward L. Robertson (Nov 1999)

TR531
Information Dependencies, Mehmet M. Dalkilic and Edward L. Robertson (Nov 1999)

TR530
Adding a Path Connectedness Operator to FO + poly (linear), Chris Giannella and Dirk Van Gucht (Nov 1999)

TR529
Average Case Performance of the Apriori Algorithm, Paul Purdom, Dirk Van Gucht and Dennis P. Groth (Oct 1999)

TR528
MD-SQL: A Language for Meta-Data Queries over Relational Databases, C. M. Rood, D. Van Gucht and F. I. Wyss (Jul 1999)

TR527
From Recursion to Iteration: What are the Optimizations?, Yanhong A. Liu and Scott D. Stoller (Jul 1999)

TR526
A Bound on Attacks on Authentication Protocols, Scott D. Stoller (Jul 1999)

TR525
A Framework for Automated Construction and Transformation of Case-Based Reasoning Systems, Jing Ma, Arijit Sengupta and David Wilson (Jul 1999)

TR524
A Systematic Incrementalization Technique and its Application to Hardware Design, Steven D. Johnson, Yanhong A. Liu and Yuchen Zhang (Jun 1999)

TR523
Efficient Detection of Global Properties in Distributed Systems using Partial-order Methods, Scott D. Stoller, Leena Unnikrishnan and Yanhong A. Liu (Jun 1999)

TR522
Formalization of Multi-level Zachman Frameworks, Richard Martin and Edward L. Robertson (Apr 1999)

TR521
Leader Election in Asynchronous Distributed Systems, Scott D. Stoller (Jan 1999)

TR520
A Reduction for Automated Verification of Authentication Protocals, Scott D. Stoller (Dec 1998)

TR519
C++ Templates as Partial Evaluation, Todd L. Veldhuizen (Nov 1998)

TR518
Quaternion Gauss Maps and Optimal Framings of Curves and Surfaces, Andrew J. Hanson (Oct 1998)

TR517
Eliminating Dead Code on Recursive Data, Yanhong A. Liu and Scott D. Stoller (Oct 1998)

TR516
One-bit Counts Between Unique and Sticky, David J. Roth and David S. Wise (Jul 1998)

TR515
Message-Efficient Uniform Timed Reliable Broadcast, Yu Ma and Scott D. Stoller (Sep 1998)

TR514
Dynamic Programming via Static Incrementalization, Yanhong A. Liu and Scott D. Stoller (Sep 1998)

TR513
Anti-Correlation Digital Halftoning, Dmitri A. Gusev (Aug 1998)

TR512
Efficient Computation via Incremental Computation, Yanhong A. Liu (Jul 1998)

TR511
The Linear System Analyzer, R. Bramley, D. Gannon, T. Stuckey, J. Villacis, E. Akman, J. Balasubramanian, F. Breg, S. Diwan and M. Govindaraju (Jun 1998)

TR510
Hardware Verification using Coinductive Assertions, Paul S. Miner (Jun 1998)

TR509
Automated Symbolic Timing Analysis for Distributed Systems, Scott D. Stoller and Leena Unnikrishnan (May 1998)

TR508
Automatic Accurate Time-bound Analysis for High-level Languages, Yanhong A. Liu and Gustavo Gomez (Apr 1998)

TR507
What is a File Synchronizer?, S. Balasubramaniam and Benjamin C. Pierce (Apr 1998)

TR506
Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocals, Scott D. Stoller (Mar 1998)

TR505
Nonlinear Magnification, T. Alan Keahey (Feb 1998)

TR504
Efficient Symbolic Detection of Global Properties in Distributed Systems, Scott D. Stoller and Yanhong A. Liu (Feb 1998)

TR503
An Algorithm for Comparing Deterministic Regular Tree Grammars, Byron Long (Feb 1998)

TR502
Type Destructors, Martin Hofmann and Benjamin C. Pierce (Feb 1998)

TR501
Exploiting Implicit Loop Parallelism using Multiple Multithreaded Servers in Java, Fabian Breg, Aart Bik and Dennis Gannon (Dec 1997)

TR500
Compiler Support for an RMI Implementation using NexusJava, Fabian Breg and Dennis Gannon (Dec 1997)

TR499
Experience with an Analytic Approach to Teaching Programming Languages, Christopher T. Haynes (Dec 1997)

TR498
Dead Code Elimination Using Program-Based Regular Tree Grammars, Yanhong A. Liu and Scott D. Stoller (Nov 1997)

TR497
Multi-Stage Specialization with Relative Binding Times, Mark Leone, Indiana University, and Peter Lee, Carnegie Mellon University (Nov 1997)

TR496
Arriving at FPGA based Hardware Unix-Encription using Iterated Codesign Methods, Ingo Cyliax and Steven Johnson, Indiana University, and Bhaskar Bose of Derivation Systems, Inc. (Oct 1997)

TR495
Local Type Argument Synthesis with Bounded Quantification, Benjamin C. Pierce, Indiana University and David N. Turner, An Teallach Limited Technology Transfer Ctr, Edinburgh, UK (Nov 1997)

TR494
Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots, Steven D. Johnson, Gary B. Parker, Ingo Cyliax and David Braun (Oct 1997)

TR493
Local Type Inference, Benjamin C. Pierce, Indiana University and David N. Turner, An Teallach Limited Technology Transfer Ctr, Edinburgh, UK (Nov 1997)

TR492
Bounded Quantification with Bottom, Benjamin C. Pierce (Nov 1997)

TR491
Type Checking and Inference, Daniel P. Friedman, Mitchell Wand and Christopher Haynes (Sep 1997)

TR490
Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization, Mark Leone and R. Kent Dybvig (Sep 1997)

TR489
Javab -- A Prototype Bytecode Parallelization Tool, Aart J.C. Bik and Dennis B. Gannon (Jul 1997)

TR488
Eliminating Dead Computations on Recursive Data, Yanhong A. Liu (Jul 1997)

TR487
Javar -- A Prototype Java Restructuring Compiler, Aart J.C. Bik and Dennis B. Gannon (Jul 1997)

TR486
The Accuracy of Floating Point Summations for CG-Like Methods, Etsuko Mizukami (Jul 1997)

TR485
A Tabular Language for System Design, Steven D. Johnson (Jun 1997)

TR484
Fast and Effective Procedure Inlining, Oscar Waddell and R. Kent Dybvig (Jun 1997)

TR483
A Note on Native Level 1 BLAS in Java, Aart J.C. Bik and Dennis B. Gannon (May 1997)

TR482
Detecting Global Predicates in Distributed Systems with Clocks, Scott D. Stoller (May 1997)

TR481
Leader Election in Distributed Systems with Crash Failures, Scott D. Stoller (Apr 1997)

TR480
CE: The Classifier-Estimator Framework for Data mining, Mehmet M. Dalkilic, Edward L. Robertson, Dirk Van Gucht (May 1997)

TR479
Constrained 3D Navigation with 2D Controllers, Andrew J. Hanson and Eric Wernert (Mar 1997)

TR478
Nonlinear Magnification Fields, T. Alan Keahey and Edward L. Robertson (Mar 1997)

TR477
Loop Optimization for Aggregate Array Computations, Yanhong A. Liu and Scott D. Stoller (Mar 1997)

TR476
Pict: A Programming Language Based on the Pi-Calculus, Benjamin C. Pierce and David N. Turner (Mar 1997)

TR475
PARDIS: A Parallel Approach to CORBA, Katarzyna Keahey and Dennis Gannon (Feb 1997)

TR474
On Evolving Communication in Multiple Agent Systems, Cristobal Baray (Jan 1997)

TR473
Automatically Exploiting Implicit Parallelism in Multi-Way Recursive Methods in Java, Aart J.C. Bik and Dennis B. Gannon (Jan 1997)

TR472
Proof Without Words: A Generalization from Pythagoras, David S. Wise (Dec 1996)

TR471
A New Model for Solving the Data Distribution Problem, Tom Loos (Dec 1996)

TR470
Support for Data Management in Object-Oriented Data-Parallel Scientific and Engineering Simulations, Jacob K. Gotwals (Aug 1996)

TR469
Compiling: A High-level Introduction Using Scheme, Christopher T. Haynes (Oct 1996)

TR468
Behavioral Equivalence in the Polymorphic Pi-Calculus, Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis (Oct 1996)

TR467
A Model of Interaction for Parallel Objects in a Heterogeneous Distributed Environment, Katarzyna Keahey (Sep 1996)

TR466
Experiments in Path Optimization via Pheromone Trails by Simulated Robots, Jason L. Almeter (Sep 1996)

TR465
A Strategy for Exploiting Implicit Loop Parallelism in Java Programs, Aart J.C. Bik and Dennis B. Gannon (Sep 1996)

TR464
Putting it in Context: A Syntactic Theory of Incremental Program Construction, Shinn-Der Lee (Jun 1996)

TR463
Reshaping Access Patterns for Improving Data Locality, Aart J.C. Bik and Peter M.W. Knijnenburg (Sep 1996)

TR462
Introspective Learning for Case-Based Planning, Susan Fox (May 1996)

TR461
Collective Objects: An Object-Oriented Tool for Collective Operations in Distributed Parallel Computation, Katarzyna Keahey and Dennis Gannon (May 1996)

TR460
Non-Linear Image Magnification, T. Alan Keahey and Edward L. Robertson (Apr 1996)

TR459
Viewing Text With Non-Linear Magnification: An Experimental Study, T. Alan Keahey and Julianne Marley (Apr 1996)

TR458
Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging, Eugene A. Sandler, Dmitri A. Gusev and Gregory Y. Milman (Apr 1996)

TR457
Sequential-System Factorization, Kamlesh Rath (Apr 1996)

TR456
DDD/FM9001 -- Derivation of a Verified Microprocessor, Bhaskar Bose (Apr 1996)

TR455
Techniques for Non-Linear Magnification Transformations, T. Alan Keahey and Edward L. Robertson (Mar 1996)

TR454
SPLIB: A Library of Iterative Mothods for Sparse Linear Systems, Randall Bramley and Xiaoge Wang (Feb 1996)

TR453
A User's Guide for the CADYF-SPLIB Project, Xiaoge Wang and Randall Bramley (Feb 1996)

TR452
Providing Better Support for Quantified Queries, Sudhir G. Rao, Antonio Badia, and Dirk Van Gucht (Feb 1996)

TR451
Design and Implementation of Reflective SQL, Mehmet M. Dalkilic, Manoj Jain, Dirk Van Gucht, and Anurag Mendhekar (Feb 1996)

TR450
Curve and Surface Framing for Scientific Visualization and Domain Dependent Navigation, Hui Ma (Feb 1996)

TR449
Square Blocking for Matrix-Multiplication, David S. Wise and Jeremy D. Frens (Jan 1996)

TR448
On First-Order Two-Dimensional Linear Homogeneous Partial Difference Equations, G. Neil Haven and Dmitri A. Gusev (Jan 1996)

TR447
On Statistical Properties of Delta-Sigma-Modulated Sequences, Eugene A. Sandler, Dmitri A. Gusev, Gregory Y. Milman, and Mikhail L. Podolsky (Jan 1996)

TR446
Low Rank Off-Diagonal Block Preconditioners for Solving Sparse Linear Systems on Parallel Computers, Randall Bramley and Vladimir Menkov (Jan 1996)

TR445
An Architecture for Parallel Symbolic Processing Based on Suspending Construction, Eric R. Jeschke (Nov 1995)

TR444
On the Foundations of Corecursion, Lawrence S. Moss and Norman Danner (Nov 1995)

TR443
The Continuous Retina: Image Processing with a Single-sensor Artificial Neural Field Network, Jonathan W. Mills (Nov 1995)

TR442
Object Template Abstractions for Light-Weight Data-Parallelism, Neelakantan Sundaresan and Dennis Gannon (Sep 1995)

TR441
Programmable VLSI Extended Analog Computer for Cyclotron Beam Control, Jonathan Mills (Sep 1995)

TR440
A Necessary and Sufficient Symbolic Condition for the Existence of Incomplete Cholesky Factorization, Xiaoge Wang and Randall Bramley, Indiana University and Kyle A. Gallivan, University of Illinois at Urbana-Champaign (Aug 1995)

TR438
Perception of Time as Phase: Toward an Adaptive-Oscillator Model of Rhythmic Pattern Processing, J. Devin McAuley (Jul 1995)

TR437
Static and Dynamic Partitioning of Pointers as Links and Threads, David S. Wise and Joshua Walgenbach (Oct 1995)

TR436
A Uniform Data Model for Relational Data and Meta-Data Query Processing, Manoj Jain, Anurag Mendhekar and Dirk Van Gucht (Jul 1995)

TR435
The University Graduate School Pilot Project in Electronic Application -- Final Report, Eric Jeschke (May 1995)

TR434
A Two-Pass Realistic Image Synthesis Method for Complex Scenes, Kurt Zimmerman and Peter Shirley (May 1995)

TR433
Matrix Inversion using Quadtrees Implemented in Gofer, Jeremy D. Frens and David S. Wise (May 1995)

TR432
A Canonical Form for Circuit Diagrams, Kathi Fisler (May 1995)

TR431
Experimental Evaluation of Coir: A System for Control and Data Parallelism, Neelakantan Sundaresan and Dennis Gannon (May 1995)

TR430
Coir: A Thread Model for Supporting Task and Data Parallelism in Object-Oriented Parallel Languages, Neelakantan Sundaresan and Dennis Gannon (May 1995)

TR429
Iterative Methods for Fast Radiosity Solutions, Gladimir V. Guimaraes Baranoski, Randall Bramley and Peter Shirley (Apr 1995)

TR428
Processing Queries Containing Generalized Quantifiers, Sudhir Rao, Antonio Badia, and Dirk Van Gucht (Apr 1995)

TR427
Dynamic Interpretations of Constraint-Based Grammar Formalisms, Lawrence S. Moss and David E. Johnson (Mar 1995)

TR426
Diagnosis of Ill-typed Programs, Venkatesh Choppella and Christopher T. Haynes (Feb 1995)

TR425
Parallel Transport Approach to Curve Framing, Andrew J. Hanson and Hui Ma (Feb 1995)

TR424
Parallel Dynamic Programming, Phillip G. Bradford (Dec 1994)

TR423
Executing Object-oriented Parallel Programs on High-performance Simulators, Suresh Srinivas and Dennis Gannon (Jan 1995)

TR422a
pC++/streams: A Library for I/O on Complex Distributed Data Structures, Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995)

TR422b
References for Techinical Report TR422a, Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995)

TR421
Parallel I/O from the Users Perspective, Jacob Gotwals, Suresh Srinivas, and Shelby Yang (Jan 1995)

TR420
Sequencing in Modular Self-Timed Asynchronous Control, Frank Prosser, David Winkel and Erik Brunvand (Oct 1994)

TR419
Topological Reasoning and The Logic of Knowledge, Andrew Dabrowski, Lawrence S. Moss and Rohit Parikh (Oct 1994)

TR418
Undulant-Block Pivoting and Integer-Preserving Matrix Inversion, David S. Wise (Oct 1994)

TR417
Some Investigations with Laser Beams on an LLA Retina, Amitava Biwas (Aug 1994)

TR416
A Logical Formalization of Hardware Design Diagrams, Kathi Fisler (Sep 1994)

TR415
A Data Model for Audio-Video Data, Munish Gandhi and Edward L. Robertson (Aug 1994)

TR414
Stiquito II and Tensipede: Two Easy-to-Build Nitinol-Propelled Robots, J. W. Mills (Aug 1994)

TR413
The Scheme Machine, Robert G. Burger (Aug 1994)

TR412a
EMILY: A Visualization Tool for Large Sparse Matrices, R. Bramley and T. Loos (Jul 1994)

TR412b
EMILY: A Visualization Tool for Large Sparse Matrices, R. Bramley and T. Loos (Jul 1994)

TR411
Notes on Adaptive Quadrature on the Hemisphere, P. Shirley and K. Chiu (Jul 1994)

TR410a
Analog Test Board: Design and Operation (includes appendix), R.A. Montante (Aug 1994)

TR410b
Analog Test Board: Design and Operation (without appendix), R.A. Montante (Aug 1994)

TR410c
Analog Test Board: Design and Operation (appendix only), R.A. Montante (Aug 1994)

TR409
Continuations in Hardware-Software Codesign, M. Esen Tuna, Steven D. Johnson, and Robert G. Burger (Jul 1994)

TR408
Visualizing Distributed Data Structures, Suresh Srinivas and Dennis Gannon (Jul 1994)

TR407
Quaternion Frenet Frames: Making Optimal Tubes and Ribbons from Curves, Andrew J. Hanson (Jun 1994)

TR406
Rotations for N-Dimensional Graphics, Andrew J. Hanson (Jun 1994)

TR405
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit, Paul S. Miner, Shyamsundar Pullela and Steven D. Johnson (May 1994)

TR404
Leveled Entity Relationship Model, Munish Gandhi, Edward L. Robertson and Dirk Van Gucht (May 1994)

TR403
Interactive Rendering of Complex 3D Models in Pipelined Graphics Architectures, Paulo W.C. Maciel (May 1994)

TR402
Analyzing Data-structure Movements in Message-Passing Programs, Sekhar R. Sarukkai and Jacob K. Gotwals (Mar 1994)

TR401
Uniprocessor Performance of a Reference-Counting Hardware Heap, David S. Wise, Brian Heck, Caleb Hess, Willie Hunt, and Eric Ost (May 1994)

TR400
Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages, R. Kent Dybvig, David Eby and Carl Bruggeman (Mar 1994)

TR399
A Formalization of the Turing Test, Phillip G. Bradford and Michael Wollowski (Feb 1994)

TR398
Specification and Synthesis of Bounded Indirection, Kamlesh Rath, M.Esen Tuna and Steven D. Johnson (Feb 1995)

TR397
Maintaining Dynamic State: Deep, Shallow, and Parallel, Chris Haynes and Richard Salter (Feb 1995)

TR396
Solving Linear Inequalities In a Least Squares Sense, R. Bramley and B. Winnicka (Jan 1994)

TR395
A Query Language for List-Based Complex Objects, Latha S. Colby, Lawrence V. Saxton and Dirk Van Gucht (Dec 1993)

TR394
Incomplete Cholesky Factorization with Sparsity Pattern Modification, Xiaoge Wang, Kyle Gallivan and Randall Bramley (Dec 1993)

TR393
CIMGS: An Incomplete Orthogonal Factorization Preconditioner, Xiaoge Wang, Kyle Gallivan, Randall Bramley (Dec 1993)

TR392
An Introduction to Behavior Tables, Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson (Dec 1993)

TR391
On Lower Bounds for the Matrix Chain Ordering Problem, Phillip G. Bradford, Venkatesh Choppell and Gregory J. E. Rawlins (Oct 1993)

TR390
Dynamical Statistics of Sequential Prolog, Ignacio Celis and Jonathan W. Mills (Aug 1993)

TR389
Behavior Tables: A Basis for System Representation and Transformational System Synthesis, Kamlesh Rath, M. Esen Tuna and Steven D. Johnson (Aug 1993)

TR388
Higher Order Logic, Daniel Leivant (Aug 1993)

TR387
Backtracking and Probing, Paul W. Purdom and G. Neil Haven (Aug 1993)

TR386
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition, Bhaskar Bose, M. Esen Tuna and Steven D. Johnson (Jun 1993)

TR385
Derivation of a DRAM Memory Interface by Sequential Decomposition, Kamlesh Rath, Bhaskar Bose and Steven D. Johnson (Jun 1993)

TR384
Learning Words in Time: Towards a Modular Connectionist Account of the Acquisition of Receptive Morphology, Michael Gasser (Jun 1993)

TR383
An Example of Interactive Hardware Transformation, Zheng Zhu and Steven D. Johnson (May 1993)

TR382
Learning Noun and Adjective Meanings: A Connectionist Account, Michael Gasser and Linda B. Smith (May 1993)

TR381
Framework for Non-Traditional Data Models, Latha S. Colby. Query Languages and a Unifying (May 1993)

TR380
DDD-FM9001: Derivation of a verified microprocessor, Bhaskar Bose and Steven D. Johnson (May 1993)

TR379
Benchmark Queries for Temporal Databases, Patrick P. Kalua and Edward L. Robertson (Mar 1993)

TR378
Lukasiewicz' Insect: The role of Continuous-Valued Logic in a Mobile robot's Sensors, Control, and Locomotion, Jonathan W. Mills (Mar 1993)

TR377
Measuring Information Capacity in a VLSI Analog Logic Circuit, Robert A. Montante and Jonathan W. Mills (Mar 1993)

TR376
Implementation of a Graph Oriented Query Language: IUGQL, Vijay M. Sarathy and Dirk Van Gucht (Mar 1993)

TR375
Toward a Basis for Protocol Specification and Process Decomposition, Kamlesh Rath and Steven D. Johnson (Mar 1993)

TR374
Universal Queries for Relational Query Languages, Lawrence V. Saxton, Dirk Van Gucht and Munish Gandhi (Mar 1993)

TR373
Automatic Synthesis of Sequential Synchronizations, Zheng Zhu and Steven D. Johnson (Feb 1993)

TR372
Integrating Boolean Verification with Formal Derivation, Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela (Feb 1993)

TR371
Learning to Perceive and Produce Rhythmic Patterns in an Artificial Neural Network, J. Devin McAuley (Feb 1993)

TR370
Predicting Convergence Time for Genetic Algorithms, Sushil J. Louis and Gregory J. E. Rawlins (Jan 1993)

TR369
Matrix Chain Ordering in Polylog Time with n/lg n Processors, Phillip G. Bradford, Gregory J. E. Rawlins, and Gregory E. Shannon (Dec 1992)

TR368
An Object Based Algebra for Parallel Query Processing and Optimization, Vijay M. Sarathy, Lawrence V. Saxton, and Dirk Van Gucht (Dec 1992)

TR367
Infer: A Statically-typed Dialect of Scheme (Preliminary Tutorial and Documentation), Christopher T. Haynes (Oct 1992)

TR366
A Reflective System is as Extensible as its Internal Representations: An Illustration, John W. Simmons II and Daniel P. Friedman (Oct 1992)

TR365
Quasi-static Scoping: Sharing Variable Bindings across Multiple Lexical Scopes, Shinn-Der Lee and Daniel P. Friedman (Oct 1992)

TR364
A Simple Reflective Interpreter, Stanley Jefferson and Daniel P. Friedman (Sep 1992)

TR363a
Stiquito: A Small, Simple, Inexpensive Hexapod Robot, Jonathan W. Mills (Sep 1992)

TR363b
A General Purpose Controller for Stiquito, Jonathan W. Mills (Sep 1992)

TR363c
The Simulation of a 6 Legged Autonomous Robot Guided by Vision, Jonathan W. Mills (Sep 1992)

TR362
Language Extension via First-class Interpreters, John W. Simmons II, Stanley Jefferson, and Daniel P. Friedman (Sep 1992)

TR361
CBR Assisted Explanation of GA Results, Sushil Louis, Gary McGraw and Richard Wyckoff (Aug 1992)

TR360
Stop-and-Copy and One-bit Reference Counting, David S. Wise (Jul 1992)

TR359
Using Goals and Experience to Guide Abduction, David Leake (Jul 1992)

TR358
Four-dimensional Views of 3D Scalar Fields, Andrew Hanson & Pheng Heng (Jul 1992)

TR357
Matrix Algorithms Using Quadtrees, David S. Wise (Jun 1992)

TR356
Writing Hygienic Macros in Scheme with Syntax-case, R. Kent Dybvig (Jun 1992)

TR355
Syntactic Abstraction in Scheme, Robert Hieb, R. Kent Dybvig, and Carl Bruggeman (Jun 1992)

TR354
An Implementation of an Applicative File System, Brian C. Heck and David S. Wise (Jun 1992)

TR353
Average Time for the Full Pure Literal Rule, Paul W. Purdom (May 1992)

TR352
Efficient Parallel Dynamic Programming, Phillip Bradford (Oct 1994)

TR351
Rule-Based Program Restructuring for High Performance Parallel Processor Systems, Lawrence J. Tenny (Apr 1992)

TR350
First-Class Extents, S-D. Lee & D. P. Friedman (Mar 1992)

TR349
Merging Interactive, Modular and Object-Oriented Programming, Sho-Huan Simon Tung (Mar 1992)

TR348
Characterizing the Paralation Model using Dynamic Assignment, E. Freeman & D. P. Friedman (Mar 1992)

TR347
An Algebra for List-oriented Applications, Latha S. Colby (Feb 1992)

TR346
Toward Leakage Containment, J. Lawall & D. P. Friedman (Feb 1992)

TR345
The Revised Report on the Syntactic Theories of Sequential Control and State, Matthias Felleisen and Robert Hieb (Feb 1992)

TR344
A Specification-based Data Model, Munish Gandhi and Edward L. Robertson (Jan 1992)

TR343
Luminaire Sampling in Distribution Ray Tracing, Peter Shirley and Chang yaw Wang (Jan 1992)

TR342
Translating Query Graphs into Tarski Algebra Expressions. , Vijay M. Sarathy, Lawrence V. Saxton and Dirk Van Gucht (Dec 1991)

TR341
Revised Report on the Algorithmic Language Scheme, William Clinger and Jonathan Rees (editors, along with 16 others) (Nov 1991)

TR340
The New Publishing: Technology's Impact on the Publishing Industry over the Next Decade, Gregory J. E. Rawlins (Nov 1991)

TR339
Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays, Jonathan W. Mills (Nov 1991)

TR338
A Template Architecture for the WAM, Jonathan W. Mills (Oct 1991)

TR337
Rule-based Data Dependence Analysis, Larry Tenny (Oct 1991)

TR336
Rap-Master Network: Exploring temporal pattern recognition with recurrent networks, Gary McGraw, Robert Montante & David Chalmers (Sep 1991)

TR335
New Divide-and-Conquer Techniques for Finding Disjoint Paths, Fang Wan (Sep 1991)

TR334
Learning to Perceive and Produce Words in Connectionist Networks, Chan-Do Lee (Sep 1991)

TR333
Visualizing the Fourth Dimension Using Geometry and Light. , Andrew J. Hanson and Pheng A. Heng (Jul 1991)

TR332
Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM, Douglas S. Blank and Lisa A. Meeden and James B. Marshall (Jul 1991)

TR331
DDD- A Transformation System for Digital Design Derivation, Bhaskar Bose (May 1991)

TR330
Graph Algorithms in a Lazy Functional Programming Language, Yugo Kashiwagi and David S. Wise (Apr 1991)

TR329
Nonminimax Propagation and Go Moku, Jong Chan Kim and Paul W. Purdom, Jr (Apr 1991)

TR328
Block Pivoting and (L+U),D' Decomposition, David S. Wise (Mar 1991)

TR327
A Graph-Oriented Object Database Model, Marc Gyssens, Jan Paredaens, Jan Van den Bussche and Dirk Van Gucht. (Mar 1991)

TR326
Using Genetic Algorithms to Design Structures, Sushil J. Louis and Gregory J. E. Rawlins (Feb 1991)

TR325
Data Localization in Parallel Computer Systems, Mann-Ho Lee (Feb 1991)

TR324
Static Measures of Quadtree Representation of the Harwell--Boeing Sparse Matrix Collection, Peter H. Beckman (Jan 1991)

TR323
DDD -- A System for Mechanized Digital Design Derivation, Steven D. Johnson and Bhaskar Bose (Dec 1990)

TR322
Optimization of Nonmonotonic relational Queries, Lawrence V. Saxton and Dirk Van Gucht (Dec 1990)

TR321
RTBA: A Generic Bit-Sliced Bus Architecture for Data Path Synthesis, Kamlesh Rath, Ignacio Celis, Robert M. Wehrmeister, and Steven D. Johnson (Dec 1990)

TR320
Implicit Functions for Modeling Arbitrary Deformable Shapes, Andrew J. Hanson. (Nov 1990)

TR318
Performance Visualization and Prediction of Parallel Supercomputer Programs: An Interim report, Sekhar, Sarukkai (Nov 1990)

TR317
An Algebraic Framework for Data Abstraction in Hardware Description, Zheng Zhu and Steven D. Johnson (Nov 1990)

TR316
Linear-Processor DNC Algorithms for Sub-linear Separators in PlanarGraphs, Gregory E. Shannon (Oct 1990)

TR315
Connectionist Logic Programming, Jonathan W. Mills (Oct 1990)

TR314
Parallel Genetic Algorithms Applied to the Traveling Salesman Problem, Prasanna Jog, Jung Y. Suh and Dirk Van Gucht (Aug 1990)

TR313
An Analog VLSI Array Processor for Classical and Connectionist AI, Jonathan W. Mills and Charles A. Daffinger (Jul 1990)

TR312
CMOS VLSI Lukasiewicz Logic Arrays, Jonathan W. Mills and Charles A. Daffinger (Jul 1990)

TR311
Average Time Analysis of Clause Order Backtracking, Khaled Bugrara and Paul W. Purdom, Jr (Jul 1990)

TR310
Representation and Recognition of Temporal Patterns, Robert Port (Jun 1990)

TR309
Approximating Small Separators in PlanarGraphs: Tradeoffs in Time, Processors, and Separator Size, Gregory E. Shannon and Fang Wan (Jun 1990)

TR308
A Linear-processor Algorithm for Finding Small Cycle Separators on Undirected PlanarGraphs, Fang Wan (May 1990)

TR307
Networks and Morphophonemic Rules Revisited, Michael Gasser and Chan-Do Lee (Mar 1990)

TR306
Linear-Processor NC Algorithms for Planar Directed Graphs II: Directed Spanning Trees, Ming-Yang Kao and Gregory E. Shannon (Mar 1990)

TR305
Towards a System for Interactive Modular Programming, Sho-Huan Simon Tung and R. Kent Dybvig (Feb 1990)

TR304
Performance Evaluation and Prediction for Parallel Algorithms on the BBN GP1000, Francois Bodin, Daniel Windheiser, William Jalby, Daya Atapattu, Mannho Lee and Dennis Gannon (Feb 1990)

TR303
Semantics-Directed Compilation of Non-Linear Patterns, Olivier Danvy (Feb 1990)

TR302
Destination-Driven Code Generation, R. Kent Dybvig, Robert Hieb, and Tom Butler (Feb 1990)

TR301
A New Approach to Procedures with Variable Arity, R. Kent Dybvig and Robert Hieb (Jan 1990)

TR300
Networks that Learn Phonology, Michael Gasser and Chan-Do Lee (Dec 1989)

TR299
Graph View Documentation, Bjarni Birgisson and Gregory E. Shannon (Dec 1989)

TR298
Visibility, Skulls, and Kernels in Convexity Spaces, Sven Schuierer, Gregory J. E. Rawlins and Derick Wood (Dec 1989)

TR297
Architectural Support for Delayed Specialization of Logic Programs, Jonathan W. Mills (Dec 1989)

TR296
and Charles A. Daffinger Lukasiewicz Logic Arrays, Jonathan W. Mills, M. Gordon Beavers, (Nov 1989)

TR295
GraphView: An Extensible Interactive Platform for Manipulating and Displaying Graphs, Bjarni Birgisson and Gregory E. Shannon (Dec 1989)

TR294
Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms, John Franco (Oct 1989)

TR293
Continuation-Based Control Operators for Logic Programming, Richard M. Salter and Christopher T. Haynes (Oct 1989)

TR292
A Prolog Semantics with First-Class Continuations and Dynamic Database, Christopher T. Haynes and Richard M. Salter (Oct 1989)

TR291
On the Occurrence of Null Clauses in Random Instances of Satisfiability, John Franco (Oct 1989)

TR290
Derivation of an SECD Machine: Experience with a Transformational Approach to Synthesis, Robert M. Wehrmeister (Sep 1989)

TR289
A System for Digital Design Derivation, Steven D. Johnson and Bhaskar Bose (Aug 1989)

TR288
Daisy, DSI and LiMP: Issues in Architecture for Suspending Construction, Steven D. Johnson (Aug 1989)

TR287
Processing Queries in ANDA: A Nested relational Database System, Jos 'e A. Blakeley and Anand Deshpande (Aug 1989)

TR286
How Daisy is Lazy, Steven D. Johnson (Aug 1989)

TR285
Extending Distributed Genetic Algorithms To Problem Solving: The Case of the Sliding Block Puzzle, Jung Yul Suh and Chan Do Lee (Jul 1989)

TR284
A Pipelined Architecture for Logic Programming with a Complex but Single-Cycle Instruction Set, Jonathan W. Mills (Jul 1989)

TR283
On the Interplay of Synthesis and Verification: Experiments with the FM8501 Processor Description, Steven D. Johnson, Robert M. Wehrmeister and Bhaskar Bose (Jul 1989)

TR282
A Grammar Model for Databases, Latha S. Colby and Dirk Van Gucht (Jun 1989)

TR281
An Implementation for Nested relational Databases, Anand Deshpande (Jun 1989)

TR280
Join Index,Materialized View, and Hybrid-Hash Join: A Performance Analysis, Jos'e A. Blakeley and Nancy L. Martin (Jun 1989)

TR279
Manipulating Logical Organization with System Factorizations, Steven D. Johnson (Jun 1989)

TR278
Probabilistic Analysis of Algorithms for Stuck-at Test Generation in PLAs, John Franco and Kurt Keutzer (May 1989)

TR277
Building Analytical Models into an Interactive Performance Prediction Tool, Daya Atapattu and Dennis Gannon (May 1989)

TR276
Embedding the Self Language in Scheme, Julia L. Lawall and Daniel P. Friedman (May 1989)

TR275
Robust Lexical Selection in Parsing and Generation, Michael Gasser (Apr 1989)

TR274
Using the Digital Design Derivation System: Case study of a VLSI garbage collector implementation, C. David Boyer and Steven D. Johnson (Apr 1989)

TR273
A Decomposition Theorem for Convexity Spaces, Gregory J. E. Rawlins and Derick Wood (Feb 1989)

TR272
Restricted-Oriented Convex Sets, Gregory J. E. Rawlins and Derick Wood (Feb 1989)

TR271
Inference Supercomputing, Jonathan W. Mills, M. Burroughs, R. Wehrmeister, and D. Winkel (Feb 1989)

TR270
Backtracking and random Constraint Satisfaction, Paul W. Purdom (Feb 1989)

TR269
A Structured Method for Literate Programming, Sho-Huan Tung (Jan 1989)

TR268
Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme Systems, John Franco and Daniel P. Friedman (Jan 1989)

TR267
Multiple-Query Optimization for Materialized View Maintenance, Jos'e A. Blakeley and Hector Hernandez (Jan 1989)

TR266
Counting Posets and the Structure of the Poset of Posets, G. J. E. Rawlins and Joseph Culberson (Dec 1988)

TR265
Temporal Information and Memory in Connectionist Networks, Robert Port, Sven Anderson, and John W. L. Merrill (Oct 1988)

TR264
Parallel Depth-First Search in General Directed Graphs, Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (Sep 1988)

TR263
Imperative Multi-way Streams, John Franco, Daniel P. Friedman, and Steven D. Johnson (Sep 1988)

TR262
Compiling and Executing Theorems Efficiently as Logic Programs, Jonathan W. Mills (Sep 1988)

TR261
Using the AMD 2901/2909 as a Dedicated Floating Point Adder, Jonathan W. Mills (Sep 1988)

TR260
The Analysis of Hashing with Lazy Deletions, Pedro Celis and John Franco (Aug 1988)

TR259
A Recursive Algebra for Nested Relations, Latha S. Colby (Aug 1988)

TR258
Dynamic Speech Categorization With recurrent Networks, Sven Anderson, John W. L. Merrill and Robert Port (Aug 1988)

TR257
UPSL User's Manual, Larry Tenny (Jul 1988)

TR256
Continuations and Concurrency, R. Kent Dybvig and Robert Hieb (Jul 1988)

TR255
Efficient Detection of Leaked Information in Cross Tabulated Tables: Linear Invariant Test, Ming-Yang Kao and Dan Gusfield (Jul 1988)

TR254
Engines from Continuations, R. Kent Dybvig and Robert Hieb (Jul 1988)

TR253
Modeling Transistors Applicatively, Steven D. Johnson and C. David Boyer (Jun 1988)

TR252
The Source Code for SYREN: A Connectionist Model for Syllable recognition, Erich J. Smythe (Jun 1988)

TR251
Temporal Computation in Connectionist Models, Erich J. Smythe (Jun 1988)

TR250
Parallel Depth---First Search in Directed Graphs, Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (May 1988)

TR249
Fractally Configured Neural Networks, John W. L. Merrill and Robert F. Port (May 1988)

TR248
Abstract Continuations: A Mathematical Semantics for Handling Full Functional Jumps, Matthias Felleisen, Mitchell Wand, Daniel P. Friedman and Bruce F. Duba (May 1988)

TR247
A Variable-Arity Procedural Interface, R. Kent Dybvig and Robert Hieb (Apr 1988)

TR246
External Robin Hood Hashing, Pedro Celis (Mar 1988)

TR245
Creating Efficient Programs by Exchanging Data for Procedures, John Franco and Daniel P. Friedman (Mar 1988)

TR244
All Graphs Have Cycle Separators and Depth-First Search on Planar Digraphs is in DNC, Ming-Yang Kao (Mar 1988)

TR243
An Implementation for Nested Relational Databases, Anand Deshpande and Dirk Van Gucht (Feb 1988)

TR242
A Practical Unification Algorithm, Paul W. Purdom (Feb 1988)

TR241
Experiments with Quad Tree Representation of Matrices, S. Kamal Abdali and David S. Wise (Feb 1988)

TR240
Updating Materialized Views: Detecting Conditionally Autonomously Computable Updates, Frank Wm. Tompa and Jos'e A. Blakeley (Feb 1988)

TR239
Searching with Uncertainty, R.A. Baeza-Yates, J.C. Culberson and G.J.E. Rawlins (Feb 1988)

TR238
On the Comparison Cost of Partial Orders, Joseph C. Culberson and Gregory J. E. Rawlins (Jan 1988)

TR237
Applications of Continuations, Daniel P. Friedman (Jan 1988)

TR236
A New Stochastic Learning Algorithm for Neural Networks, John W. L. Merrill and Robert F. Port (Nov 1987)

TR235
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates, Jos'e A. Blakeley, Neil Coburn and Perke Larson (Nov 1987)

TR234
A Storage Structure for Nested Relational Databases, Anand Deshpande and Dirk Van Gucht (Nov 1987)

TR233
The Powerset Operator as an Algebraic Tool for Understanding Least Fixpoint Semantics in the Context of Nested relations, Marc Gyssens and Dirk Van Gucht (Oct 1987)

TR232
A VLSI Implementation of an Architecture for Applicative Programming, John T. O'Donnell, Timothy Bridges and Sidney W. Kitchel (Oct 1987)

TR231
Strictness Analysis Applied to Programs with Lazy List Constructors, Cordelia V. Hall (Oct 1987)

TR230
A Syntactic Theory of Sequential State, Matthias Felleisen and Daniel P. Friedman (Oct 1987)

TR229
Costs of Quadtree Representation of Non-dense Matrices, David S. Wise and John Franco (Oct 1987)

TR228
Strategies for Cache and Local Memory Management by Global Program Transformation, Dennis Gannon, William Jalby and Kyle Gallivan (Sep 1987)

TR227
Applying AI Techniques to Program Optimization for Parallel Computers, Dennis Gannon and Ko-Yang Wang (Sep 1987)

TR226
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages, Matthias Felleisen (Aug 1987)

TR225
Distributed Genetic Algorithms, Jung Y. Suh and Dirk VanGucht (Jul 1987)

TR224
A Software Tool for Building Supercomputer Applications, Dennis Gannon, Daya Atapattu, Mann Ho Lee and Bruce Shei (Aug 1987)

TR223
Debugging in Applicative Languages, J.T. O'Donnell and C.V. Hall (Jun 1987)

TR222
Matrix Algebra and Applicative Programming, D. S. Wise (Jun 1987)

TR221
A Tactical Framework for Hardware Design, S. D. Johnson, B. Bose, and C. D. Boyer (May 1987)

TR220
Dynamic Identifiers Can Be Neat, B. Duba, M. Felleisen and D. P. Friedman (Apr 1987)

TR219
Hardware Design Using Functionally Connected Units, D. Winkel. and C. T. Haynes (Apr 1987)

TR218
A Reduction Semantics for Imperative Higher-Order Languages, M. Felleisen and D. P. Friedman (Mar 1987)

TR217
Parsing Phonetic Segments into Syllables, G. Dorffner, S. C. Kwasny, Robert F. Port (Mar 1987)

TR216
Beyond Continuations, M. Felleisen, D. P. Friedman, B. Duba and J. Merrill (Feb 1987)

TR215
A Syntactic Theory of Sequential Control, M. Felleisen, D. P. Friedman, E. Kohlbecker and B. Duba (Jan 1987)

TR214
Seek-Whence: A Model of Pattern Perception, Marsha J. Ekstrom Meredith (Jan 1987)

TR213
Embedding Continuations in Procedural Objects, Christopher T. Haynes and Daniel P. Friedman (Jan 1987)

TR212
Hardware Description with Recursion Equations, John O'Donnell (Dec 1986)

TR211
Complex Cognitive Information-Processing: A Computational Architecture with a Connectionist Implementation, John Barnden (Dec 1986)

TR210
Search Rearrangement Backtracking Often Requires Exponential Time to Verify Unsatisfiability, John Franco (Dec 1986)

TR209
Compiling Strictness into Streams, Cordelia V. Hall & David S. Wise (Dec 1986)

TR208
Detecting Looping Simplifications, Paul W. Purdom (Dec 1986)

TR207
An Exponential Lower Bound For the Pure Literal rule, Khaled M. Bugara & Paul W. Purdom (Dec 1986)

TR206
Macro-by-Example: Deriving Syntactic Transformations from their Specifications, Eugene E. Kohlbecker and Mitchell Wand (Nov 1986)

TR205
A Final Scheme-Word on Landin's J-Operator, Matthias Felleisen (Nov 1986)

TR204
The Use of PALS in CPU Design, David Winkel (Oct 1986)

TR203
Parallel VLSI Architecture Emulation and the Organization of APSA/MPP, John T. O'Donnell (Oct 1986)

TR202
A Calculus for Assignments in Higher-Order Languages, Matthias Felleisen and Daniel P. Friedman (Oct 1986)

TR201
Recursion and Circularity--Extended Puzzle with Solution, Matthias Felleisen (Oct 1986)

TR200
Computational Metabolism, Marek W. Lugowski (Sep 1986)

TR199
Syntactic Extensions in the Programming Language Lisp, Eugene E. Kohlbecker (Aug 1986)

TR198
The Analysis of Algorithms: Errata and Answers to the Exercises, Paul W. Purdom (Jul 1986)

TR197
Control Operators, the SECD-Machine, and the Lambda-Calculus, Matthias Felleisen and Daniel P. Friedman (Jun 1986)

TR196
The Mystery of the Tower Revealed: A Non-reflective Description of the Reflective Tower, Mitchell Wand and Daniel P. Friedman (Jun 1986)

TR195
Expansion-Passing Style Beyond Conventional Macros, R.K. Dybvig, D. P. Friedman and C. T. Haynes (Jun 1986)

TR194
Hygienic Macro Expansion, E.E. Kohlbecker, D. P. Friedman, M. Felleisen and B. Duba (Jun 1986)

TR193
Probabilistic Performance of a Heuristic for the Satisfiability Problem, John Franco (May 1986)

TR192
Parallel Decomposition of Matrix Inversion using Quadtrees, David S. Wise (May 1986)

TR191
Reasoning With Continuations. Sym. on Logic in Computer, M. Felleisen, D. P. Friedman, E. Kohlbecker & B. Duba (Jun 1986)

TR190
Deterministic Parsing of Multiply-Structured Inputs, G. Dorffner, S. Kwasny, R. Port (Apr 1986)

TR189
The Pleasures of SINN: A System for Programming Connectionist Models, Erich J. Smythe (Feb 1986)

TR188
What Next for PAL-DEVICES-- The Second Generation Challenge, David Winkel (Feb 1986)

TR187
Imputations and Explications: Representational Problems in Treatments of Propositional Attitudes, John A. Barnden (Jan 1986)

TR186
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by-Name, David S. Wise and S. Kamal Abdali (Dec 1985)

TR185
Digital Design in a Functional Calculus, Steven D. Johnson (Nov 1985)

TR184
A Closer Look at Export and Import Statements, Matthias Felleisen & Daniel P. Friedman (Nov 1985)

TR183
Logic Continuations, Christopher T. Haynes (Nov 1985)

TR182
Transliterating Prolog into Scheme, Matthias Felleisen (Oct 1985)

TR181
Tree Matching and Simplification, Paul W. Purdom and Cynthia A. Brown (Oct 1985)

TR180
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programming Languages, J. T. O'Donnell (Sep 1985)

TR179
An Approach for Simulating an Applicative Programming Storage Architecture on the Massively Parallel Processor, J. T. O'Donnell (Sep 1985)

TR178
An Abstraction of Timed Preemption, C. T. Haynes and D. P. Friedman (Aug 1985)

TR177
The Maximum Independent Set Problem for Cubic Planar Graphs, J. E. Burns (Aug 1985)

TR176
Why Artificial Intelligence is Necessarily Ad Hoc: One's Thinking/Approach/Model/Solution Rides on One's Metaphors, M. W. Lugowski (Aug 1985)

TR175
Rules for Automatic Mapping between Fast and Slow Speech, S. C. Kwasny, J. Dalby, and R. Port (Jul 1985)

TR174
The Revised, Revised Report on SCHEME, W. D. Clinger, (ed. ) (Jun 1985)

TR173
Local Networking at the M. I. T. Computer Laboratories: A User's View, M. W. Lugowski (Jun 1985)

TR172
Representations of Intensions, Representations as Intensions, and Propositional Attitudes, J. A. Barnden (Jun 1985)

TR171
Computer Science Departmental report, CS Department (May 1985)

TR170
Constraining Control, D. P. Friedman and C. T. Haynes (May 1985)

TR169
Fast Many-to-One Matching Algorithms, P. W. Purdom and C. A. Brown (May 1985)

TR168
Storage Allocation for List Multiprocessing, S. Johnson (Mar 1985)

TR167
On the Probabilistic Performance of Algorithms for the Satisfiability Problem, J. Franco (Mar 1985)

TR166
Scheme as an Interactive Graphics Programming Environment, L. D. Sabbagh (Feb 1985)

TR165
Probabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the-Satisfiability Problem, J. Franco and Ming-Te Chao (Jan 1985)

TR164
Probabilistic Analysis of the Unit Clause to Maximum Occurring Literal Selection Heuristics for the 3-Satisfiability Problem, J. Franco and Ming-Te Chao (Dec 1984)

TR163
Design for a Multiprocessing Heap with On-board Reference Counting, D. S. Wise (Jan 1985)

TR162
Linear Future Semantics and Its Implementation, S. Kolbl and M. Wand (Oct 1984)

TR161
Reification: Reflection without Metaphysics, D. P. Friedman and M. Wand (Aug 1984)

TR160
An Implementation of 2-Lisp, C. D. Halpern (Jun 1984)

TR159
Engines Build Process Abstractions, C. Haynes and D. Friedman (Aug 1984)

TR158
Continuations and Coroutines, C. Haynes, D. Friedman, and M. Wand (Aug 1984)

TR157
Using mkmac, E. Kohlbecker (May 1984)

TR156
Direct Denotational Semantics: Combinator-based Compilation of Goto's, M. Lao (May 1984)

TR155
eu-Prolog: Reference Manual and Report, E. Kohlbecker (Apr 1984)

TR154
Some Observations on n-Valued Disjointly Separable Functions, G. Epstein, J. Lee, and P. O. Mandayam (May 1984)

TR153
Scheme 84 Interim Reference Manual, D. Friedman, C. Haynes, E. Kohlbecker and M. Wand (Feb 1984)

TR152
On Short-Term Information-Processing in Connectionist Theories, J. Barnden (Jan 1984)

TR151
Programming with Continuations, D. Friedman, C. Haynes and E. Kohlbecker (Jan 1984)

TR150
A Case Study of a Combinator-Based Compiler for a Language with Blocks and Recursive Functions, Marek J. Lao (Oct 1983)

TR149
C-Scheme Reference Manual, Kent Dybvig (Sep 1983)

TR148
A Semantic Algebra for Logic Programming, Mitchell Wand (Aug 1983)

TR147
Prototyping Data Flow by Translation into Scheme, Daniel P. Friedman and Pee-Hong Chen (Aug 1983)

TR146
A Functional Approach to Geometric Applications in Computer Graphics, Chen and Sabbagh (Aug 1983)

TR145
Scheme Graphics Reference Manual, Chen, Chi, Ost, Sabbaugh, Springer (Aug 1983)

TR144
On the Complexity of Partitioning Sparse Matrix Representations, Edward L. Robertson and J. P. Malmquist (Jan 1984)

TR143
On the Average Case Analysis of some Satisfiability Model Problems, Khaled Bugara and Cynthia Brown (Dec 1982)

TR142
A Power domain Semantics for Indeterminism, David S. Wise (Jul 1983)

TR141
Synthesis of Digital Designs from Recursion Equations, Steven D. Johnson (May 1984)

TR140
Communication by Non-Writing in Synchronous Parallel Machines Or: The Joys of Not Writing, J. Burns, K. Keutzer, and P. W. Purdom (Jun 1983)

TR139
Scheme Translation of Functions from FUNCTIONAL PROGRAMMING APPLICATION AND IMPLEMENTATION, Dave Laymon (Apr 1983)

TR138
Implementation of Two Data-Flow Models in Scheme, Pee-Hong Chen (Feb 1983)

TR137
Scheme 311 Reference Manual, C. Fessender, W. Clinger, D. Friedman, and C. Haynes (Feb 1983)

TR136
Metafont, Metamathematics and Metaphysics, Douglas Hofstadter (Dec 1982)

TR135
A Theory of the Heuristic Game Tree Search, Chun-Hung Tzeng and Paul W. Purdom, Jr (Dec 1982)

TR134
Research in the Computer Science Department at Indiana University, 1981--82, Mitchell Wand (Dec 1982)

TR133
A Scheme for Higher-Level Semantic Algebra, William Clinger, Daniel P. Friedman, and Mitchell Wand (Jan 1985)

TR132
Artificial Intelligence: Subcognition as Computation, Douglas R. Hofstadter (Nov 1982)

TR131
A Continuum of Diagrammatic Data Structures in Human Cognition, John Barnden (Oct 1982)

TR130
Who Shoves Whom Around Inside the Careenium? or, What is the Meaning of the Word ``I''?, Douglas R. Hofstadter (Jul 1982)

TR129
Issues in Applicative Real-Time Programming, Lennart Edblom and Daniel P. Friedman (Jun 1982)

TR128
The Pure Literal Rule and Polynomial Average-Time, Paul W. Purdom, Jr. and Cynthia A. Brown (Jun 1982)

TR127
Switching Theory, Multiple-Valued Logic, and Logic Design, George Epstein (Jan 1983)

TR126
Guide to the Printed Circuit Board Fabrication Facility, Frank Prosser and Patricia J. Brajnifoff (Jan 1982)

TR125
Evaluating Search Methods Analytically, Paul W. Purdom, Jr. and Cynthia A. Brown (Apr 1982)

TR124
Models, Languages, and Heuristic for Distributed Computing, Bob Filman and Daniel P. Friedman (Jun 1982)

TR123
Search Rearrangement Backtracking and Polynomial Average Time, Paul W. Purdom, Jr (Jan 1983)

TR122
Research in the Computer Science Department at I.U. 1980--81, Mitchell Wand, Editor (Dec 1981)

TR121
Phonological Analysis by Computer: Prospects and Direction, Lee Becker (Dec 1981)

TR120
DSI Program Description, S. D. Johnson and A. T. Kohlstaedt (Nov 1981)

TR119
Daisy 1. 0 Reference Manual, A. T. Kohlstaedt (Nov 1981)

TR118
Polynomial Average-Time Satisfiability Problems, Paul W. Purdom, Jr. and Cynthia A. Brown (Dec 1981)

TR117
Solving Satisfiability Problems with Less Searching, Paul W. Purdom, Jr (Jul 1982)

TR116
Circuits and Systems: Implementing Communication with Streams, Steven D. Johnson (Jul 1982)

TR115
Compact Layout of Banyan/FFT Networks, David S. Wise (Jan 1981)

TR114
Connection Networks for Output Driven List Multiprocessing, Steve Johnson (Oct 1981)

TR113
Specifying One-Pass Bottom-Up Compilers, Cynthia A. Brown and Paul W. Purdom, Jr (Jul 1981)

TR111
Interpreters for Functional Programming, David S. Wise (Jan 1982)

TR110
The SKI Manual, Gray Clossman (Jul 1981)

TR109
Solving Common Programming Problems with an Applicative Programming Language, Thomas M. Grismer (Jun 1981)

TR107
A SCHEME for Distributed Processes, Rex A. Dwyer and R. Kent Dybvig (Apr 1981)

TR106
Fancy Ferns Require Little Care, Daniel P. Friedman and David S. Wise (Jan 1981)

TR105
How to Search Efficiently, Cynthia A. Brown and Paul Walton Purdom, Jr (Mar 1981)

TR103
Context-FREE Grammars for the Balanced, Overbalanced and Unbalanced Binary Languages, George Epstein and Casper Martin (Mar 1981)

TR102
On Rine's View of Boolean Algebras, George Epstein (Feb 1981)

TR101
Average Time Analyses of Simplified Davis-Putnam Procedures, Allen Goldberg, Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1982)

TR100
An Empirical Comparison of Backtracking Algorithms, Cynthia A. Brown and Paul Walton Purdom, Jr (Jan 1982)

TR99
Inspiring Distribution in Distributed Computation, Robert E. Filman, Daniel P. Friedman (Dec 1980)

TR98
Research in the Computer Science Department at Indiana University, Mitchell Wand, Editor (Aug 1980)

TR97
An Experiment in SCHEME-Based Distribution Processing, G. Wolynes, J. Ginder, B. Roitblat, V. Roland (Aug 1980)

TR96
Shakespeare's Plays Weren't Written by Him, But by Someone Else of the Same Name, Douglas R. Hofstadter, Gray A. Clossman, and Marsha J. Meredith (Jul 1980)

TR95
Different Advice on Structuring Compilers and Proving Them Correct, Mitchell Wand (Sep 1980)

TR94
Deriving Target Code as a Representation of Continuation Semantics, Mitchell Wand (Jul 1982)

TR93
SCHEME 3. 1 REFERENCE MANUAL, Mitchell Wand (Jun 1980)

TR92
Multiprocessing CODA: Applying PLITS Formalism to a Quasi-Parallel Model of SCHEME, Joseph R. Ginder (May 1980)

TR91
A Formal Model for Message Passing Systems, James E. Burns (Sep 1980)

TR90
Continuation-Based Multiprocessing, Mitchell Wand (Jan 1980)

TR89
An Analysis of Backtracking with Search Rearrangement, Cynthia A. Brown and Paul W. Purdom, Jr (Jun 1981)

TR88
Specifications, Models, and Implementations of Data Abstractions, Mitchell Wand (Jan 1982)

TR87
Parsing Extended LR(k) Grammars, Paul Walton Purdom, Jr. and Cynthia A. Brown (Jan 1980)

TR86
An Average Time Analysis of Backtracking, Cynthia A. Brown and Paul W. Purdom, Jr (Jan 1981)

TR85
A Computer System for the Analysis of Data Generated by Molecular Studies of DNA, Scott McCourt (May 1979)

TR84
An Approach to Fair Applicative Multiprogramming, David S. Wise and Daniel P. Friedman (Apr 1979)

TR83
Semantic Routines and LR(k) Parsers, Paul W. Purdom and Cynthia Brown (Jan 1980)

TR82
Distributive Lattices of Order n, George Epstein (Mar 1979)

TR81
Classes as Syntactic Sugar, Mitchell Wand (Dec 1978)

TR80
An Indeterminate Constructor for Applicative Multiprogramming Record, Daniel P. Friedman and David S. Wise (Jan 1980)

TR79
The Double Buddy-System, David S. Wise (Dec 1978)

TR78
Preliminary Approach to Applicative Programming for Systems, Daniel P. Friedman and David S. Wise (Nov 1978)

TR77
Backtracking with Multi-Level Dynamic Search Rearrangement, Paul W. Purdom, Jr. , Edward Robertson, and Cynthia Brown (Oct 1978)

TR76
Exact Formulas for the Buddy System, Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1980)

TR75
Morris's Garbage Compaction Algorithm Restores Reference Counts, David S. Wise (Jul 1979)

TR74
Sting-unless: A Conditional, Interlock-free Store Instruction, Daniel P. Friedman and David S. Wise (Jan 1978)

TR73
Reference Counting can Manage the Circular Environments of Mutual Recursion, Daniel P. Friedman and David S. Wise (Jan 1979)

TR72
Applicative Multiprogramming, Daniel P. Friedman and David S. Wise (Apr 1979)

TR71
Context-Free Grammars for the Balanced and Overbalanced Binary Languages, George Epstein (Nov 1977)

TR70
A Note on Conditional Expressions, Daniel P. Friedman and David S. Wise (Nov 1978)

TR68
An Interpretive Model for a Language Based on Suspended Construction, Steven Dexter Johnson (Nov 2013)

TR66
Algebraic Theories and Tree Rewriting Systems, Mitchell Wand (Jun 1978)

TR65
Final Algebra Semantics and Data Type Extensions, Mitchell Wand (Jan 1979)

TR64
Unbounded Computational Structures, Daniel P. Friedman and David S. Wise (Jul 1978)

TR63
Book Review of N. Rescher's Many-Valued Logic, George Epstein (May 1977)

TR62
Formal and Computer Poetry, George Epstein and Ben Shneiderman (Apr 1977)

TR61
Continuation-Based Program Transformation Strategies, Mitchell Wand (Jan 1980)

TR60
Tree Size by Partial Backtracking, Paul W. Purdom (Nov 1978)

TR59
Hardware Design Style I. A Mixed Logic Drafting Convention, Frank Prosser and D. Winkel (May 1977)

TR58
An Interactive PLATO Lesson on Binary Tree Traversals, Edwin Brown III and Stuart C. Shapiro (Nov 1976)

TR57
The One-bit Reference Count, David S. Wise and Daniel P. Friedman (Sep 1977)

TR56
Aspects of Applicative Programming for File Systems, Daniel P. Friedman and David S. Wise (Mar 1977)

TR55
Compiling Lambda Expressions Using Continuations and Factorizations, Mitchell Wand and Daniel P. Friedman (Mar 1978)

TR54
Automatic Program Indentation, Paul W. Purdom (Jan 1978)

TR53
Logic for Semantic Networks, Robert J. Bechtel (Jul 1976)

TR52
Aspects of Applicative Programming for Parallel Processing, Daniel P. Friedman and David S. Wise (Apr 1978)

TR51
Database Management Systems: A Review with Reference, Ben Shneiderman (May 1976)

TR50
Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures, Daniel P. Friedman and David S. Wise (Dec 1976)

TR49
VW: A Small but Potent Machine-Independent Text Editor, Nicholas F. Vitulli (Apr 1976)

TR48
Experimental Investigations of Computer Program Debugging and Modifications, Ben Shneiderman and Don McKay (Jul 1976)

TR47
A Logic for Semantic Networks, Robert Bechtel and Stuart C. Shapiro (Mar 1976)

TR46
The Relevance of Relevance, Stuart C. Shapiro and Mitchell Wand (Nov 1976)

TR45
Recursive Programming through Table Look-Up, Daniel P. Friedman, David S. Wise, and Mitchell Wand (Jan 1976)

TR44
CONS should not Evaluate its Arguments, Daniel P. Friedman and David S. Wise (Jan 1976)

TR43
Reduced Combined Indexes for Efficient Multiple Attribute Retrieval, Ben Shneiderman (Feb 1977)

TR42
Efficient Axioms for Algebra Semantics, Mitchell Wand (Nov 1975)

TR41
Mathematical Linguistics, Logic and the Development of Language and Reasoning in the Child, George Epstein and Stuart C. Shapiro (Oct 1976)

TR40
An Environment for Multiple-Valued Recursive Procedures, Daniel P. Friedman and David S. Wise (Jan 1977)

TR38
Decisive Venn Diagrams, George Epstein (Jan 1976)

TR37
Towards a Cognitive Model of Programmer Behavior, Ben Shneiderman and Richard Mayer (Jun 1979)

TR36
Experimental Investigations of the Utility of Flowcharts in Programming, Ben Shneiderman, Richard Mayer, Don McKay and Peter Heller (Jun 1977)

TR34
Garbage Collecting a Heap which Includes a Scatter Table, Daniel P. Friedman and David S. Wise (Apr 1977)

TR33
Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation, John D. Lowrance and Daniel P. Friedman (Jan 1977)

TR32
Batched Searching of Sequential and Tree Structured Files, Ben Shneiderman and Victor Goodman (Sep 1976)

TR31
An Introduction to SNePs, Stuart C. Shapiro (Dec 1976)

TR30
On Storage Structures and Their Transformations, Peter Scheuermann and Ben Shneiderman (Jun 1975)

TR29
First-Order Identities as a Defining Language, Mitchell Wand (May 1979)

TR28
GRAPHER, an Interactive Environment for the Study of Graph Theory, Stephen Hoover and Stuart C. Shapiro (May 1975)

TR27
Functional Combination, Daniel P. Friedman and David S. Wise (Jan 1978)

TR26
The Basic Arithmetic and Mathematics of Two's Complementary Computations, George Epstein (Apr 1975)

TR25
A Review of Design Techniques for Programs and Data, Ben Shneiderman (Jan 1976)

TR24
Logics which are Characterized by Subresiduated Lattices, George Epstein and A. Horn (Jan 1976)

TR23
Fixed-Point Constructions in Order-Enriched Categories., Mitchell Wand (Aug 2013)

TR23
Fixed-Point Constructions in Order-Enriched Categories., Mitchell Wand (Aug 2013)

TR21
Boolean-Valued loops, David S. Wise, Daniel P. Friedman, Stuart C. Shapiro and Mitchell Wand (Dec 1975)

TR20
The Frame Model of Computation, Mitchell Wand (Dec 1974)

TR19
Unwinding Structured Recursions into Iterations, Daniel P. Friedman and David S. Wise (Dec 1974)

TR18
Introduction to Algebraic Concepts for Computer Foundations, George Epstein (Oct 1974)

TR17
Exploratory Experiments in Programmer Behavior, Ben Shneiderman (Jun 1976)

TR16
Experimental Testing in Programming Languages, Stylistic Considerations and Design Techniques., Ben Shneiderman (Jan 1975)

TR15
PLATO Lessons for a Data Structures Course, Stuart C. Shapiro (Aug 1974)

TR14
Induction, Recursion, and Programming, Mitchell Wand (Jul 1976)

TR13
Towards a Theory of Encoded Data Structures and Data Translation, Ben Shneiderman and Stuart C. Shapiro (Mar 1976)

TR12
Interactive Consulting Via Natural Language, Stuart C. Shapiro and Stanley C. Kwasny (Aug 1975)

TR11
Realizing Data Structures as Lattices, Mitchell Wand (Jan 1975)

TR10
A Case for While-Until, Daniel P. Friedman and Stuart C. Shapiro (Jul 1974)

TR9
Referencing Lists by an Edge, David S. Wise (Jun 1976)

TR8
A Guide to the Use of HYCOMP1, Stuart C. Shapiro and David A. Grace (Dec 1973)

TR6
Interactive Visual Simulation for Beginning Programming Students, Stuart C. Shapiro and Douglas P. Witmer (Feb 1974)

TR4
A Strong Pumping Lemma for Context-Free Languages, David S. Wise (Mar 1976)

TR2
The Size of LR(0) Machines, Paul W Purdom Jr (Jan 1973)