Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report Index

Search fields: author title abstract (if available)

Below is 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 (techreports at 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, Luddy Hall
Bloomington, Indiana 47405-4101
email: techreports at

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

Disentangled Representation Learning Using (β-)VAE and GAN , Mohammad Haghir Ebrahimabadi (Aug 1973), 21 - (23 including CV at the end) pages [Master's thesis]
Meta Proximal Policy Optimization for Cooperative Multi-Agent Continuous Control , Boli Fang (May 2022), 35 pages [2. Additional Notes: Master Thesis; paper has been accepted at IJCNN 2022.]
Reproducibility in Scientific Computing , Jonathan Klinginsmith (Feb 2021), 16 pages [Part requirement of a Ph.D. candidacy reinstatement plan]
A Bayesian Evaluation of User App Choice in the Presence of Risk Communication on Android Devices , Behnood Momenzadeh, Jean Camp (Sep 2019), 10 pages
IoTMarketplace: Informing Purchase Decisions with Risk Communication , Shakthidhar Reddy Gopavaram, Jayati Dev, Sanchari Das, Jean Camp (Aug 2019), 16 pages pages
LoCal: A Language for Programs Operating on Serialized Data , Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton (Apr 2019), 34 pages
Insider Threat Event Detection in User-System Interactions , Pablo Moriano, Jared Pendleton, Steven Rich, and L. Jean Camp (Sep 2017), 12 pages [A final version of this paper was published in Proceedings of MIST'17, October 30, 2017,]
Graph DSLs : A Survey on Green-Marl & Sparql , Thejaka Amila Kanewala (Jul 2017), 11 pages [A Report Submitted in Partial Satisfaction of the Requirements for an Independent Research 2014.]
A Survey on π-Calculus , Thejaka Amila Kanewala (Jun 2017), 11 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]
Strategies and Tradeoffs in Designing and Implementing Embedded DSLs , Thejaka Amila Kanewala (Jun 2017), 10 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]
Peeling the Lemons Problem with Risk Communication for Mobile Apps , Behnood Momenzadeh, School of Informatics and Computing, Indiana University Bloomington, Jean Camp, School of Informatics and Computing, Indiana University Bloomington (Jun 2017), 9 pages [This is being posted for sharing with the FTC as a tech report only. It is Ph.D. work, but a first draft.]
Can You Hear Me Now?: A Technical Report on Combining Audio with Privacy Permissions , SHAKTHIDHAR REDDY GOPAVARAM, Indiana University, OMKAR BHIDE, Indiana University, JEAN CAMP, Indiana University (Jun 2017), 21 pages [This is being posted for sharing with the FTC as a tech report only. It is Ph.D. work, but a first draft.]
Distributed Control in HPX , Thejaka Amila Kanewala (May 2017), 10 pages [Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]
Characterization of Internet Routing Anomalies Through Graph Mining , Pablo Moriano, Srivatsan Iyer, and L. Jean Camp (May 2017), 15 pages [This is being posted for sharing with Cisco as a tech report only]
LibPhotonNBC: A RDMA Aware Collective Library on Photon , Udayanga Wickramasinghe, Ezra Kissel, Andrew Lumsdaine (May 2017), 15 pages
Evaluating Collectives in Networks of Multicore/Two-level Reduction , Udayanga Wickramasinghe, Luke DAlessandro, Andrew Lumsdaine, Ezra Kissel, Martin Swany, Ryan Newton (May 2017), 15 pages [This is an extended version of a paper under submission (not accepted yet)]
Usability and Acceptability of the Yubico Security Key , Andrew C. Dingman, Gianpaolo Russo, and Jean Camp (Feb 2017), 12 pages
Gradual Typing in an Open World , Michael M. Vitousek and Jeremy G. Siek (Oct 2016), 33 pages
Crossing Analytics Systems: A Case for Integrated Provenance in Data Lakes , Isuru Suriarachchi and Beth Plale (Sep 2016), 6 pages [Accepted for eScience 2016,]
Incompetents, criminals, or spies: Macroeconomic analysis of routing anomalies , Pablo Moriano, Soumya Achar, and L. Jean Camp (Jul 2016), 29 pages [A final version of this paper was published in Computers & Security at]
The Semantics of ParalleX, v1.0 , Matteo Cimini, Jeremy G. Siek, and Thomas Sterling (May 2016), 34 pages
Provenance as Essential Infrastructure for Data Lakes , Isuru Suriarachchi and Beth Plale (Apr 2016), 4 pages [Accepted for IPAW 2016,]
Too Much Too Late: Influence of risk communication on Android App installations , Prashanth Rajivan & Jean Camp, School of Informatics and Computing (Feb 2016), 12 pages
Bongo: A BGP Speaker Built for Defending Against Bad Routes , Kevin Benton, Dr. L. Jean Camp, Dr. Martin Swany (Feb 2016), 10 pages
A Survey on SEDA and Using SEDA to Optimize HDFS Read Operation , Isuru Suriarachchi (Oct 2015), 8 pages [Written for PhD qualifying exam]
Secure Provenance for Data Preservation Repositories , Isuru Suriarachchi (Oct 2015), 9 pages [Written for PhD qualifying exam]
Addressing the Limitations of Γ-privacy , Isuru Suriarachchi (Oct 2015), 7 pages [Written for PhD qualifying exam]
Simplifying Probabilistic Programs Using Computer Algebra , Jacques Carette and Chung-chieh Shan (Sep 2015), 17 pages [A slightly abbreviated version of this paper is being submitted to PADL 2016.]
Proceedings of the 2014 Scheme and Functional Programming Workshop , Jason Hemann, John Clements (editors) (Sep 2015), 71 pages
Manual for EAR4 and CAAR Weka Plugins, Case-Based Regression and Ensembles of Adaptations, Version 1 , Vahid Jalali and David Leake (Apr 2015), 12 pages pages
Instrument for Measuring Perception of Online Risks and Benefits of Information Sharing , L. Jean Camp (Dec 2014), pages
Instrument for Measuring Computing and Security Expertise , Prashanth Rajivan, Pablo Moriano, Timothy Kelley and Jean Camp (Feb 2015), pages
Preproceedings of the 26nd Symposium on Implementation and Application of Functional Languages (IFL 2014) , Sam Tobin-Hochstadt, editor (Oct 2014), 237 pages
Evaluation of Data Storage in HathiTrust Research Center Using Cassandra , Guangchen Ruan and Beth Plale (Jul 2014), 11 pages
A Language for Nested Data Parallel Design-space Exploration on GPUs , Bo Joel Svensson, Mary Sheeran, Ryan R. Newton (Aug 2014), 16 pages pages
Use of Hybrid Systems to model the RobotiQ Adaptive Gripper , Giulia Franchi and Kris Hauser (Feb 2014), 17 pages
Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars , Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton (Dec 2013), 56 pages pages
A New Module in RAPSearch2 for Fast Protein Similarity Search of Paired-end Sequences , Xiaoqian Zhang, Haixu Tang (Dec 2013), 16 pages pages [Master's capstone report]
Advanced Keyword Search on Graph , Yifan Pan; Yuqing Wu (Aug 2013), 9 pages [A shorter version of this report will be published in CIKM 2013]
Perceptions of Computing Risks , Vaibhav Garg; L Jean Camp (Jul 2013), 24 pages
Just-in-time Acceleration of JavaScript , Uday Pitambare, Arun Chauhan, Saurabh Malviya (Feb 2013), 14 pages pages
A Framework for Optimizing Function Call Sequences in MATLAB or Inter-procedural Optimization without Inter-procedural Analysis , Arun Chauhan, Chun-Yu Shei (Aug 2014), 10 pages pages
RubyWrite: An Embedded DSL for Tree Rewriting , Arun Chauhan, Andrew Keep, Chun-Yu Shei, Pushkar Ratnalikar (Jan 2013), pages
A Uniform Terminology for C++ Concepts , Larisse Voufo, Andrew Lumsdaine (Jan 2013), 11 pages pages [This paper is intended to help ongoing discussions about design and implementation of concepts for C++.]
A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State , Lindsey Kuper, Ryan Newton (Oct 2012), Pages 60 pages
Temporal Data Mining of Scientific Data Provenance , Peng Chen, Beth Plale, Mehmet Aktas (Jul 2012), 24 pages pages
The eXtensible Session Protocol: A Protocol for Future Internet Architectures , Ezra Kissel (Delaware), Martin Swany (Indiana) (Feb 2012), 14 pages pages
Strengths and Weaknesses of Sub-Workflow Interoperability , Beth Plale, Eran Chinthaka Withana, Chathura Herath, Kavitha Chandrasekar, Yuan Luo, Felix Terkhorn (Nov 2011), 8 pages pages [This work is expected to be published.]
Evaluation of Two XML Storage Approaches for Scientific Metadata , Scott Jensen, Devarshi Ghoshal, Beth Plale (Oct 2011), 13 pages pages
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), 21 pages pages
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), 27 pages
BLACR: TTP-Free Blacklistable Anonymous Credentials with Reputation , Man Ho Au, Patrick P. Tsang, Apu Kapadia, and Willy Susilo (May 2011), pages 34 pages
A Study of RDB-based RDF Data Management Techniques , Vahid Jalali, Mo Zhou, Yuqing Wu (May 2011), pages 12 pages
Sigiri: Uniform Abstraction for Large-Scale Compute Resource Interactions , Eran Chinthaka Withana and Beth Plale (Mar 2011), 9 pages pages
Efficient Association Discovery with Keyword-based Constraints on Large Graph Data , Mo Zhou, Yifan Pan, Yuqing Wu (Mar 2011), 11 pages pages [submitted to VLDB 2011]
Improving Automatic Weather Observations with the Public Twitter Stream , Jeff Cox, Beth Plale (Feb 2011), 25 pages pages
How to Shop for Free Online: Security Analysis of Cashier-as-a-Service Based Web Stores , Xiafeng Wang, Rui Wang, Shuo Chen (Feb 2011), N/A pages
Schema-Independent and Schema-Friendly Scientific Metadata Management , Scott Jensen and Beth Plale (Jan 2011), 8 pages pages [A (shorter) extended abstract of this paper was published in the proceeding of the Fourth IEEE International Conference on eScience.]
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users , Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011), pages [Updated July 2011]
PEREA: Practical TTP-Free Revocation of Repeatedly Misbehaving Anonymous Users , Man Ho Au, Patrick P. Tsang, Apu Kapadia (Jul 2011), pages [Updated July 2011]
Pythia: A Privacy Aware, Peer-to-Peer Network for Social Search , Shirin Nilizadeh, Naveed Alam, Nathaniel Husted, Apu Kapadia (Oct 2010), pages
A Composable Runtime Recovery Policy Framework Supporting Resilient HPC Applications , Joshua Hursey & Andrew Lumsdaine (Aug 2010), 12 pages pages
Ordering Depth First Search to Improve AFD Mining , Jeremy T. Engle, Edward L. Robertson, and Dimitar G. Nikolov (Jun 2010), Pages: 12 pages [This is an expanded version of a paper under review Abstract]
Certified Lies: Detecting and Defeating Government Interception Attacks Against SSL , Christopher Soghoian and Sid Stamm (Apr 2010), 20 Pages pages [Under submission (not accepted yet)]
XML-Based RDF Data Management for Efficient Query Processing , Mo Zhou, Yuqing Wu (Apr 2010), 6 Pages pages [It is expected to be published in WebDB 2010]
Inducing Relatedness Graphs for Data Integration , Jeremy Engle, Ying Feng, Rob Goldstone (Jan 2010), 6 Pages pages [This paper is being submitted to WebDB 2010]
"Sigiri: Towards A Light-Weight Job Management System for Large Scale Systems" , Eran Chinthaka, Suresh Marru, and Beth Plale (Aug 2009), 5 Pages pages
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), 12 Pages pages
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), 12 Pages pages
Modularizing Data Mining: A Case Study Framework , Jeremy T. Engle, Edward L. Robertson (Jul 2009), Pages 7 pages [To be submitted]
Building a Concept Hierarchy Using Frequent Tag Sequences , Jon Klinginsmith (IUB), Malika Mahoui (IUPUI), Josette Jones (IUPUI), Melanie Wu (IUB) (Jun 2009), 7 pages [This paper has been submitted to the CIKM 2009 conference. We will not hear on acceptance until late July.]
Socially Induced Semantic Networks and Applications , Benjamin Markines (Jun 2009), 177 pages pages [This is a PhD thesis]
ORCS: An Oblivious Routing Congestion Simulator , Timo Schneider, Torsten Hoefler, and Andrew Lumsdaine (Feb 2009), 12 pages pages
Fixing Probe for Multi-Threaded MPI Applications , Douglas Gregor, Torsten Hoefler, Brian Barrett, and Andrew Lumsdaine (Jan 2009), 8 pages pages
Workload-aware Trie Indexes for XML , Sofia Brenes, Yuqing Melanie Wu, Hyungdae Yi (Jan 2009), 13 pages pages [Submitted to conference for review]
Towards Quantifying Limits in Automated Curation of e-Science Data , Beth Plale, You-Wei Cheah, and Yiming Sun (Nov 2008), 3 pages pages
A Survey of Distributed Workflow Characteristics and Resource Requirements , Lavanya Ramakrishnan, Dennis Gannon (Sep 2008), 20 pages pages
Leapfrog: Enhancing Information Protection in Commodity Applications with Dataflow Control , XiaoFeng Wang, Zhuowei Li and Rui Wang (Aug 2008), pages
HTTP Fences: Immigration Control for Web Pages , Sid Stamm (Jul 2008), 11 pages pages
Full Resolution Lightfield Rendering , Andrew Lumsdaine, Todor Georgiev (Jul 2008), pages
Towards Automatic Reverse Engineering of Software Security Configuration , Rui Wang, XiaoFeng Wang, Kehuan Zhang, Zhuowei Li (Jul 2008), 12 pages pages
Representing LEAD Experiments in a FEDORA digital repository , You-Wei Cheah, Beth Plale (Jun 2008), 10 pages pages
Quantum Circuits: From a Network to a One-Way Model - A tutorial Version , Larisse D. Voufo, Gerardo Ortiz, and Amr Sabry (Jun 2008), 28 pages pages [This is a more review-based version of the paper at, which has been submitted to the pre-proceedings of the DCM-QPL'08 workshop (]
Quantifying the Security of Preference-based Authentication , Markus Jakobsson, Liu Yang, Susanne Wetzel (Jun 2008), 10 pages pages
Review of the Hough Transform Method, With an Implementation of the Fast Hough Variant for Line Detection , Danko Antolovic (Apr 2008), 11 pages pages [This report pertains to Auto-Digitizer, an open-source software package for machine vision and image processing, available to Indiana University.]
ParaXML: A Parallel XML Processing Model on the Multicore CPUs , Wei Lu and Dennis Gannon (Apr 2008), 13 pages pages
Diffusion and Adoption of IPv6 in the United States , Hillary A. Elmore, L. Jean Camp, Brandon P. Stephens (Mar 2008), 11 pages pages [This paper was presented as a working paper at the Cisco workshop on IP Address Allocation, Milpitas, CA March 3-4, 2008. It has been submitted to the Workshop on the Economics of Information Security 2008.]
A Study of Positive XPath with Parent/Child Navigation , Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens (Mar 2008), 8 pages pages
A Scalable and Robust Coordination Architecture for Distributed Management , Srinath Perera, Dennis Gannon (Feb 2008), 10 pages pages [Under revision for Publication]
Probabilistic analysis of success and failure rates of candidate generation algorithms for the frequent itemsets mining problem. , Minh Tang (Feb 2008), 16 pages pages [This is an independent study report. I'm currently still looking for some conferences/journal for publication.]
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 2008), 9 pages pages [Is under revision to attempt publication.]
Benchmarking Effort of Virtual Machines on Multicore Machines , Aparna Venkatraman, Vinay Pandey, Beth Plale, Shing-Shong Shei (Dec 2007), 19 pages pages [Master's Research Project]
View-Constraint Duality in Databases and Systems Engineering , John Springer (Oct 2007), 164 pages pages [Ph.D Dissertation]
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), 34 pages pages
Net Trust: A Privacy-Aware Architecture for Sharing Web Histories , Alex Tsow, Shreyas Kamath and L. Jean Camp (Aug 2007), 11 pages pages
Starfish: A Table-Centric Tool for Design Derivation , Alexander W. Tsow (Aug 2007), 272 pages pages [Ph.D Thesis]
Deceit and Deception: A Large User Study of Phishing , Alex Tsow and Markus Jakobsson (Aug 2007), 46 pages pages
Tuple-Space Mapper: Design, challenges and Goals , Joseph A. Cottam and Andrew Lumsdaine (Jul 2007), 10 pages pages
A Virtual Filesystem Framework to Support Embedded Software Development , Bhanu Nagendra Pisupati (Jun 2007), 182 pages [PhD Dissertation and supporting designs]
Building a Trusted Location Service for Pervasive Computing Environments , Raquel Hill, Jalal Al-Muhtadi (May 2007), 6 pages pages
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), 19 pages pages
CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface , Fang (Cherry) Liu and Randall Bramley (Jan 2007), 13 pages pages [Is expected to be published at IPDPS'07 (IEEE International Parallel & Distributed Processing Symposium 2007)]
Phishing IQ Tests Measure Fear, Not Ability , Vivek Anandpara, Andrew Dingman, Markus Jakobsson, Debin Liu, Heather Roinestad (Jan 2007), 9 pages pages [The paper has been accepted as an abstract(5 page version) to USEC'07.]
Drive-By Pharming , Sid Stamm, Zulfikar Ramzan, and Markus Jakobsson (Dec 2006), 13 pages pages [A derivative of TR641 (which cites 641) was published at the 9th International Conference on Information and Computer Security.]
A Dense Wireless LAN Case Study , Camilo H. Viecco, Minaxi Gupta (Dec 2006), 10 pages pages
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), 19 pages pages
Fundamental Algebraic Concepts in Concept-Enabled C++ , Peter Gottschling (Oct 2006), 135 pages pages
Design, Implementation, and Usage of LibNBC , Torsten Hoefler and Andrew Lumsdaine (Sep 2006), 10 pages pages
Non-Blocking Collective Operations for MPI-2 , Torsten Hoefler, Jeffrey M. Squyres, George Bosilca, Graham Fagg, Andrew Lumsdaine, and Wolfgang Rehm (Sep 2006), 6 pages pages
A Checkpoint and Restart Service Specification for Open MPI , Joshua Hursey and Jeffrey M. Squyres and Andrew Lumsdaine (Jul 2006), 8 pages
Extending Relational Query Optimization to Dynamic Schemas for Information Integration in Multidatabases , Catharine M. Wyss and Felix I. Wyss (Jul 2006), 12 pages pages
A Framework for Access Control for XML , Sriram Mohan(srmohan), Arijit Sengupta(asengupt) and Yuqing Wu(yuqwu) (Jul 2006), 40 pages [Expected to be published at: ACM Transactions on System and Information Security]
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), 52 pages pages
MPI over Scripting Languages: Usability and Performance Tradeoffs , Craig Shue, Joshua Hursey, and Arun Chauhan (Feb 2006), 13 pages pages
A "Virtual Light" Interface for the Extended Analog Computer , Williams et. al. (Jan 2006), pages
Cryptography using the VLSI Extended Analog Computer , Gonzalez et al. (Jan 2006), pages
Cyclotron Beam Control and Internet Traffic Load Balancing with an EAC , Chen et. al. (Jan 2006), pages
Evolving Letter Recognition with an Extended Analog Computer , Parker, M. (Jan 2006), pages
Using Butterfly Wing Patterns to Solve Hamiltonian Circuit , Wu & Kim (Jan 2006), pages
Notes on Implementing the McCulloch-Kilmer RETIC with EAC , Mills et. al. (Jan 2006), pages
Denial of Service Attack Detection Using Extended Analog Computers , Shue, Kopecky and Wileman (Jan 2006), pages
Complementarity and Unconventional Computing , Jonathan W. Mills and Bryce Himebaugh (Jan 2006), pages
Vanishing Point: a Visual Road-Detection Program for a DARPA Grand Challenge Vehicle , Danko Antolovic, Alex Leykin and Steven D. Johnson (Dec 2005), 6 pages pages [This work was performed in collaboration with the Indy Robot Racing Team in cooperation with Pervasive Technology Labs at Indiana University.]
Polynomial-Time Query Languages for Untyped Lists , Edward L. Robertson, Lawrence V. Saxton, and Dirk Van Gucht (Dec 2005), 16 pages pages
Tracking and Activity Analysis in Retail Environments , Alex Leykin and Mihran Tuceryan (Oct 2005), 21 pages
Scheme 2005 Proceedings of the Sixth Workshop on Scheme and Functional Programming , J. Michael Ashley and Michael Sperber, editors (Sep 2005), 120 pages pages [Conference proceedings]
A Survey of Data Provenance Techniques , Yogesh L. Simmhan, Beth Plale, Dennis Gannon (Aug 2005), 25 pages [Shorter version of paper to be published in ACM SIGMOD Record, September 2005]
IUCBRF: A Framework For Rapid And Modular Case-Based Reasoning System Development , Steven Bogaerts and David Leake (Jul 2005), 63 pages pages [An ascii version of the abstract for the paper. This may include HTML markup as desired. The abstract is optional but is strongly recommended.]
The Common Instrument Middleware Architecture: Overview of Goals and Implementation , Tharaka Devadithya, Kenneth Chiu, Donald F. McMullen (Jun 2005), 9 pages [The paper has been submitted to the Grid Workshop 2005]
A Monadic Framework for Delimited Continuations , R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry (Jun 2005), 40 pages pages
dQUOBEC Event Channel Communication System , Nithya Vijayakumar, Beth Plale (May 2005), 14 pages pages
Realization of GGF DAIS Data Service Interface for Grid Access to Data Streams , Ying Liu, Beth Plale, Nithya Vijayakumar (May 2005), 11 pages pages
A Vision System for Automated Customer Tracking for Marketing Analysis: Low Level Feature Extraction , Alex Leykin and Mihran Tuceryan (Jun 2005), 10 pages pages
How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible , Oleg Kiselyov (Mar 2005), 16 pages pages [Collaboration with Daniel P. Friedman and Amr A. Sabry on logical programming systems]
OGC Compatible Geographical Information Systems Web Services , Ahmet Sayar, Marlon Pierce, Geoffrey Fox (Mar 2005), 64 pages pages
Access Control for XML - A Dynamic Query Rewriting Approach , Sriram Mohan, Arijit Sengupta, Yuqing Wu, Jonathan Klinginsmith (Feb 2005), 12 pages pages [Submitting the paper to VLDB 2005.]
A Proof-Theoretic Foundation of Abortive Continuations (Extended version) , Zena M. Ariola, Hugo Herbelin, and Amr Sabry (Feb 2005), 43 pages pages [This is an extended version of the conference article "Minimal Classical Logic and Control Operators, Zena M. Ariola & Hugo Herbelin, Thirtieth International Colloquium on Automata, Languages & Programming, 2003, Springer-Verlag, LNCS 2719, pgs. 871-885."]
A Data Management Architecture for Computational Biology , Yu Ma, Randall Bramley, Sun Kim (Jan 2005), 7 pages
An Algebra for Triadic Relations , Ed Robertson (Jan 2005), 24 pages plus cover pages [An earlier version of this paper appears as "Triadic Relations: an Algebra for the Semantic Web" in the "Proceedings of 2nd International Workshop on Semantic Web and Databases," SWDB 2004, to be published by Springer Verlag.]
Essential Language Support for Generic Programming: Formalization Part 1 , Jeremy Siek and Andrew Lumsdaine (Dec 2004), 70 pages [A shorter version of the paper was submitted to the PLDI 2005 conference.]
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), 16 pages
Experiments with PageRank Computation , Ashraf Khalil and Yong Liu (Dec 2004), 9 pages pages [This technical report was done as a final project for B659 (Web mining) . We are expecting to publish a modified version of this technical report.]
Measures in Databases and Data Mining , Bassem Sayrafi, Dirk Van Gucht, Marc Gyssens (Nov 2004), 39 pages
RS-Algo: an Algorithm for Improved Memory Utilization in Continuous Query System under Asynchronous Data Streams , Nithya Vijayakumar and Beth Plale (Oct 2004), 15 pages pages
Proceedings of the Fifth Workshop on Scheme and Functional Programming , Olin Shivers and Oscar Waddell (Oct 2004), 128 pages pages [This report contains the papers presented at the Fifth ACM SIGPLAN Workshop]
Optimal Tuple Merge in NP-Complete , Edward L. Robertson and Catharine M. Wyss (Jul 2004), 9 pages pages
eXtensible Relational Databases: a Relational Approach to Interoperability , J.J. Lu, S. -Y. Cheung, and C.M. Wyss (Jul 2004), 12 pgs. pages
An Instrument/Sensor Analysis of the MMSF Automated Photometric Telescope , Fang Liu, Randall Bramley and George Turner (Jun 2004), 10 pages pages
Reasoning about Additive Measures , Bassem Sayrafi and Dirk Van Gucht (Jun 2004), 18 pages pages
A Comparative Study of Elderly, Younger, and Chronically Ill Novice PDA Users , Katie A. Moor, Kay Connelly and Yvonne Rogers (Jun 2004), pages
Architectural Principles for Enterprise Frameworks , Richard A. Martin, Edward L. Robertson and John A. Springer (Apr 2004), 24 pages pages
Portal Access to Parallel Visualization of Scientific Data on the Grid , Charles Moad and Beth Plale (Feb 2004), 6 pages pages
A Compiler-Based Approach to Schema-Specific Parsers for XML , Kenneth Chiu and Wei Lu (Feb 2004), 9 pages pages
Translation, Scale and Occlusion-Tolerant Recognition with Multiple Eigenspace Models , Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004), 9 pages pages
Multiple Eigenspace Models for Scene Segmentation and Occlusion Removal , Arnab Dhua, Florin Cutzu, Durgesh Dewoolkar and Stephen Kiselewich (Jan 2004), 13 pages pages
Development of a Wireless Location System in Lindley Hall , R. Doshi, T. Jagatic, A. Khalil, S. Shirasuna, and P. Venkatakrishnan (Jan 2004), 28 pages pages
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), 25 pages pages
Mining Frequent Itemsets Over Arbitrary Time Intervals in Data Streams , Chris Giannella, Jiawei Han, Edward Robertson and Chao Liu (Nov 2003), 37 pages pages
The Undecidability of Iterated Modal Relativization , Joseph S. Miller and Lawrence S. Moss (May 2003), 26 pages pages
Benchmark Evaluation of Xindice as a Grid Information Server , Prajakta Vaidya and Beth Plale (May 2003), 17 pages pages
An Information Theoretic Histogram for One-Dimensional Selectivity Estimation , Chris Giannella and Bassem Sayrafi (Jan 2005), 21 pages
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), 27 pages pages
Combining Optimizations, Combining Theories , Todd L. Veldhuizen and Jeremy G. Siek (May 2003), 18 pages pages
Improving the Lazy Krivine Machine , Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, and Lynn Winebarger (Nov 2003), 27 pages pages [To appear in the journal, Higher Order and Symbolic Computation]
Polymer Processors , Jonathan W. Mills (Jul 2003), 6 pages pages
Request Progression Interface (RPI) System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 34 pages pages [API Version 1.0.0/SSI Version 1.0.0]
Checkpoint/Restart System Services Interface (SSI) Modules for LAM/MPI , Sriram Sankaran, Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 22 pages pages [API Version 1.0.0/SSI Version 1.0.0]
MPI Collective Operations System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jul 2003), 23 pages pages [API Version 1.0.0/SSI Version 1.0.0]
Boot System Services Interface (SSI) Modules for LAM/MPI , Jeffrey M. Squyres, Brian Barett and Andrew Lumsdaine (Jul 2003), 25 pages pages [API Version 1.0.0/SSI Version 1.0.0]
The System Services Interface (SSI) to LAM/MPI , Jeffrey M. Squyres, Brian Barrett and Andrew Lumsdaine (Jun 2003), 29 pages pages [SSI Version 1.0.0]
Survey of Publish Subscribe Event Systems , Ying Liu and Beth Plale (May 2003), 19 pages pages
Polychotomous Classification with Pairwise Classifiers: a New Voting Principle , Florin Cutzu (Jan 2003), 9 pages pages
Face Detection using Half-Face Templates , Yi Zhu and Florin Cutu (Nov 2002), 6 pages pages
A Novel Approach to View Planning in Shape Acquisition from Range Data , Chi-Wing Fu, Florin Cutzu and Andrew Hanson (Nov 2002), 19 pages pages
Using MPI with C# and the Common Language Infrastructure , Jeremiah Willcock, Andrew Lumsdaine, and Arch Robison (Oct 2002), 17 pages pages
Real Time Response to Streaming Data on Linux Clusters , Beth Plale, George Turner and Akshay Sharma (Nov 2002), 12 pages pages
Matrix Factorization Using a Block-Recursive Structure and Block-Recursive Algorithms , Jeremy D. Frens (Sep 2002), 169 pages pages [PhD Dissertation]
Breaking the Barriers: High Performance Security for High Performance Computing , Kay Connelly and Andrew A. Chien (Aug 2002), 7 pages pages [A version of this report will appear in the New Security Paradigms Workshop, 2002.]
Unification Source-Tracking with Application to Diagnosis of Type Inference , Venkatesh Choppella (Aug 2002), 200 pages pages [ PhD Dissertation]
Visual Properties Differentiating Art from Real Scenes , Alex Leykin, Florin Cutzu and Riad Hammoud (Jul 2002), 40 pages pages [Paper revised, October 18, 2002]
Guaranteed Optimization: Proving Nullspace Properties of Compilers , Todd L. Veldhuizen and Andrew Lumsdaine (Jul 2002), 35 pages pages [A short verson of the paper is to appear in: Proceedings of the 2002 Static Analysis Symposium (SAS '02) Madrid, Spain, Sept. 17-20, 2002]
Reliability in LAM/MPI Requirements Specification , Andrew Lumsdaine, Jeffrey M. Squyres, and Brian Barrett (Jun 2002), 29 pages pages
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), 12 pages pages
Architectural Support for Database Visualization , Dennis Groth (May 2002), 230 pages pages [PhD Dissertation]
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), 37 pages pages
SOAP for High Performance Computing , Kenneth Chiu, Madhusudhan Govindaraju, and Randall Bramley (Mar 2002), 17 pages pages
Using Horizontal-Vertical Decompositions to Improve Query Evaluation , Chris Giannella, Mehmet Dalkilic, Dennis Groth and Edward Robertson (Feb 2002), 32 pages pages
Development of a Real-Time Vision System for an Autonomous Model Airplane , Danko Antolovic (Oct 2001), 102 pages pages [Master's Thesis]
Dynamic Querying of Streaming Data with the dQUOB System , Beth Plale and Karsten Schwan (Sep 2001), 22 pages pages
On an Information Theoretic Approximation Measure for Functional Dependencies , Chris Giannella and Edward Robertson (Aug 2001), 12 pages pages
An Object Encoding for SelfType , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 13 pages pages
A Modular Interpreter in Scheme with Objects , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 8 pages pages
Interleaving is Possible with Refined Abstract Machines: A New Approach to Engineering a Compiler , Steven E. Ganz and Daniel P. Friedman (Aug 2001), 17 pages pages
FastFDs: A Heuristic-Driven, Depth-First Algorithm for Mining Functional Dependencies from Relation Instances , Catharine Wyss, Chris Giannella, and Edward Robertson (Jul 2001), 23 pages pages
Design of a Pull and Push Parser System for Streaming XML , Aleksander Slominski (May 2001), 10 pages pages
SoapRMI Events: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages pages
SoapRMI C++/Java 1.1: Design and Implementation , Aleksander Slominski, Madhusudhan Govindaraju, Dennis Gannon and Randall Bramley (May 2001), 17 pages pages
Blood from Dahm's Turnip , Kasey N. Klipsch and David S. Wise (Apr 2001), 3 pages pages
Recursion is a Computational Effect , Daniel P. Friedman and Amr Sabry (Dec 2000), 34 pages pages
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) , Amr Sabry (editor) (Jan 2001), 54 pages pages
Formal Derivation of a Scheme Computer , Steven D. Johnson (Sep 2000), 18 pages pages [First posted electronically in Mar. 1997 at]
Five Compilation Models for C++ Templates , Todd Veldhuizen (Aug 2000), 11 pages pages
Techniques for Scientific C++ , Todd Veldhuizen (Aug 2000), 57 pages pages
Simple Equational Specifications of Rational Arithmetic , Lawrence S. Moss (Jul 2000), 10 pages pages
Solving Regular Tree Grammar Based Constraints , Yanhong A. Liu, Ning Li, Scott D. Stoller (Jul 2000), 26 pages pages [Revised October 2000]
Just When You Thought your Little Language was Safe: ``Expression Templates'' in Java , Todd L. Veldhuizen (Jul 2000), 12 pages pages
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages , Leena Unnikrishnan. Scott D. Stoller and Yanhong A. Liu (Apr 2000), 28 pages pages
A Bound on Attacks on Payment Protocols , Scott D. Stoller (Feb 2000), 16 pages pages [Revised January 10, 2001 and April 10, 2001.]
Model-Checking Multi-Threaded Distributed Java Programs , Scott D. Stoller (Jan 2000), 25 pages pages [Revised May 2000 and September 2000.]
Automatic Time-Bound Analysis for a Higher-Order Language , Gustavo Gomez and Yanhong A. Liu (Nov 1999), 15 pages pages
The Logic of Public Announcements, Common Knowledge and Private Suspicions , Alexandru Baltag, Lawrence S. Moss and Slawomir Solecki (Nov 1999), 37 pages pages
Morton-order Matrices Deserve Compilers' Support , David S. Wise and Jeremy D. Frens (Nov 1999), 18 pages pages
It's All About Process: Project-Oriented Teaching of Software Engineering , Dennis P. Groth and Edward L. Robertson (Nov 1999), 9 pages pages
Information Dependencies , Mehmet M. Dalkilic and Edward L. Robertson (Nov 1999), 15 pages pages
Adding a Path Connectedness Operator to FO + poly (linear) , Chris Giannella and Dirk Van Gucht (Nov 1999), 31 pages pages [Revised December, 2000]
Average Case Performance of the Apriori Algorithm , Paul Purdom, Dirk Van Gucht and Dennis P. Groth (Oct 1999), 39 pages pages [Revised, February 2003]
MD-SQL: A Language for Meta-Data Queries over Relational Databases , C. M. Rood, D. Van Gucht and F. I. Wyss (Jul 1999), 20 pages pages
From Recursion to Iteration: What are the Optimizations? , Yanhong A. Liu and Scott D. Stoller (Jul 1999), 19 pages pages
A Bound on Attacks on Authentication Protocols , Scott D. Stoller (Jul 1999), 30 pages pages [Revised February 2000, September 2000, & January 2001]
A Framework for Automated Construction and Transformation of Case-Based Reasoning Systems , Jing Ma, Arijit Sengupta and David Wilson (Jul 1999), 24 pages pages
A Systematic Incrementalization Technique and its Application to Hardware Design , Steven D. Johnson, Yanhong A. Liu and Yuchen Zhang (Jun 1999), 14 pages pages
Efficient Detection of Global Properties in Distributed Systems using Partial-order Methods , Scott D. Stoller, Leena Unnikrishnan and Yanhong A. Liu (Jun 1999), 26 pages pages [Revised July, 2000]
Formalization of Multi-level Zachman Frameworks , Richard Martin and Edward L. Robertson (Apr 1999), 25 pages pages
Leader Election in Asynchronous Distributed Systems , Scott D. Stoller (Jan 1999), 4 pages pages
A Reduction for Automated Verification of Authentication Protocals , Scott D. Stoller (Dec 1998), 22 pages pages [Revised April 1999]
C++ Templates as Partial Evaluation , Todd L. Veldhuizen (Nov 1998), 6 pages pages [Revised July 2000]
Quaternion Gauss Maps and Optimal Framings of Curves and Surfaces , Andrew J. Hanson (Oct 1998), 62 pages pages
Eliminating Dead Code on Recursive Data , Yanhong A. Liu and Scott D. Stoller (Oct 1998), 15 pages pages
One-bit Counts Between Unique and Sticky , David J. Roth and David S. Wise (Jul 1998), 8 pages pages [Proc. Intl. Symp. on Memory Management (ISMM '98) SIGPLAN Not. 71, 3 (Mar. 1999), 49-56.]
Message-Efficient Uniform Timed Reliable Broadcast , Yu Ma and Scott D. Stoller (Sep 1998), 14 pages pages
Dynamic Programming via Static Incrementalization , Yanhong A. Liu and Scott D. Stoller (Sep 1998), 16 pages pages
Anti-Correlation Digital Halftoning , Dmitri A. Gusev (Aug 1998), 87 pages pages
Efficient Computation via Incremental Computation , Yanhong A. Liu (Jul 1998), 16 pages pages
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), 12 pages pages
Hardware Verification using Coinductive Assertions , Paul S. Miner (Jun 1998), 138 pages pages [Ph.D. Dissertation]
Automated Symbolic Timing Analysis for Distributed Systems , Scott D. Stoller and Leena Unnikrishnan (May 1998), 14 pages pages [Revised: August, 1999]
Automatic Accurate Time-bound Analysis for High-level Languages , Yanhong A. Liu and Gustavo Gomez (Apr 1998), 17 pages pages
What is a File Synchronizer? , S. Balasubramaniam and Benjamin C. Pierce (Apr 1998), 21 pages pages
Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocals , Scott D. Stoller (Mar 1998), 13 pages pages
Nonlinear Magnification , T. Alan Keahey (Feb 1998), 196 pages pages [Ph.D. Dissertation]
Efficient Symbolic Detection of Global Properties in Distributed Systems , Scott D. Stoller and Yanhong A. Liu (Feb 1998), 13 pages pages
An Algorithm for Comparing Deterministic Regular Tree Grammars , Byron Long (Feb 1998), 9 pages pages
Type Destructors , Martin Hofmann and Benjamin C. Pierce (Feb 1998), 32 pages pages
Exploiting Implicit Loop Parallelism using Multiple Multithreaded Servers in Java , Fabian Breg, Aart Bik and Dennis Gannon (Dec 1997), 27 pages pages
Compiler Support for an RMI Implementation using NexusJava , Fabian Breg and Dennis Gannon (Dec 1997), 20 pages pages
Experience with an Analytic Approach to Teaching Programming Languages , Christopher T. Haynes (Dec 1997), 5 pages pages
Dead Code Elimination Using Program-Based Regular Tree Grammars , Yanhong A. Liu and Scott D. Stoller (Nov 1997), 16 pages pages [NOTE: TR 517 ( October 1998) is an updated replacement for TR498.]
Multi-Stage Specialization with Relative Binding Times , Mark Leone, Indiana University, and Peter Lee, Carnegie Mellon University (Nov 1997), 7 pages pages
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), 15 pages pages
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), 13 pages pages
Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots , Steven D. Johnson, Gary B. Parker, Ingo Cyliax and David Braun (Oct 1997), 15 pages pages
Local Type Inference , Benjamin C. Pierce, Indiana University and David N. Turner, An Teallach Limited Technology Transfer Ctr, Edinburgh, UK (Nov 1997), 25 pages pages
Bounded Quantification with Bottom , Benjamin C. Pierce (Nov 1997), 21 pages pages
Type Checking and Inference , Daniel P. Friedman, Mitchell Wand and Christopher Haynes (Sep 1997), 46 pages pages
Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization , Mark Leone and R. Kent Dybvig (Sep 1997), 17 pages pages
Javab -- A Prototype Bytecode Parallelization Tool , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 52 pages pages
Eliminating Dead Computations on Recursive Data , Yanhong A. Liu (Jul 1997), 21 pages pages
Javar -- A Prototype Java Restructuring Compiler , Aart J.C. Bik and Dennis B. Gannon (Jul 1997), 42 pages pages
The Accuracy of Floating Point Summations for CG-Like Methods , Etsuko Mizukami (Jul 1997), 60 pages pages [Master's Thesis]
A Tabular Language for System Design , Steven D. Johnson (Jun 1997), 29 pages pages
Fast and Effective Procedure Inlining , Oscar Waddell and R. Kent Dybvig (Jun 1997), 18 pages pages
A Note on Native Level 1 BLAS in Java , Aart J.C. Bik and Dennis B. Gannon (May 1997), 13 pages pages
Detecting Global Predicates in Distributed Systems with Clocks , Scott D. Stoller (May 1997), 15 pages pages
Leader Election in Distributed Systems with Crash Failures , Scott D. Stoller (Apr 1997), 15 pages pages
CE: The Classifier-Estimator Framework for Data mining , Mehmet M. Dalkilic, Edward L. Robertson, Dirk Van Gucht (May 1997), 13 pages pages
Constrained 3D Navigation with 2D Controllers , Andrew J. Hanson and Eric Wernert (Mar 1997), 9 pages pages
Nonlinear Magnification Fields , T. Alan Keahey and Edward L. Robertson (Mar 1997), 12 pages pages
Loop Optimization for Aggregate Array Computations , Yanhong A. Liu and Scott D. Stoller (Mar 1997), 20 pages pages
Pict: A Programming Language Based on the Pi-Calculus , Benjamin C. Pierce and David N. Turner (Mar 1997), 26 pages pages
PARDIS: A Parallel Approach to CORBA , Katarzyna Keahey and Dennis Gannon (Feb 1997), 16 pages pages
On Evolving Communication in Multiple Agent Systems , Cristobal Baray (Jan 1997), 9 pages pages
Automatically Exploiting Implicit Parallelism in Multi-Way Recursive Methods in Java , Aart J.C. Bik and Dennis B. Gannon (Jan 1997), 24 pages pages
Proof Without Words: A Generalization from Pythagoras , David S. Wise (Dec 1996), 1 page pages [Math. Mag. 71, 1 (Feb. 1998), 64. New Title, Proof Without Words: Appolonius's Parallelogram Theorem]
A New Model for Solving the Data Distribution Problem , Tom Loos (Dec 1996), 142 pages pages [Ph.D. Dissertation]
Support for Data Management in Object-Oriented Data-Parallel Scientific and Engineering Simulations , Jacob K. Gotwals (Aug 1996), 169 pages pages [Ph.D. Dissertation]
Compiling: A High-level Introduction Using Scheme , Christopher T. Haynes (Oct 1996), 5 pages pages
Behavioral Equivalence in the Polymorphic Pi-Calculus , Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis (Oct 1996), 28 pages pages
A Model of Interaction for Parallel Objects in a Heterogeneous Distributed Environment , Katarzyna Keahey (Sep 1996), 13 pages pages
Experiments in Path Optimization via Pheromone Trails by Simulated Robots , Jason L. Almeter (Sep 1996), 8 pages pages
A Strategy for Exploiting Implicit Loop Parallelism in Java Programs , Aart J.C. Bik and Dennis B. Gannon (Sep 1996), 14 pages pages
Putting it in Context: A Syntactic Theory of Incremental Program Construction , Shinn-Der Lee (Jun 1996), 194 pages pages [Ph.D. Dissertation]
Reshaping Access Patterns for Improving Data Locality , Aart J.C. Bik and Peter M.W. Knijnenburg (Sep 1996), 13 pages pages
Introspective Learning for Case-Based Planning , Susan Fox (May 1996), 254 pages pages [Ph.D. Dissertation]
Collective Objects: An Object-Oriented Tool for Collective Operations in Distributed Parallel Computation , Katarzyna Keahey and Dennis Gannon (May 1996), 12 pages pages
Non-Linear Image Magnification , T. Alan Keahey and Edward L. Robertson (Apr 1996), 11 pages pages
Viewing Text With Non-Linear Magnification: An Experimental Study , T. Alan Keahey and Julianne Marley (Apr 1996), 9 pages pages
Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging , Eugene A. Sandler, Dmitri A. Gusev and Gregory Y. Milman (Apr 1996), 13 pages pages
Sequential-System Factorization , Kamlesh Rath (Apr 1996), 104 pages pages [Ph.D. Dissertation]
DDD/FM9001 -- Derivation of a Verified Microprocessor , Bhaskar Bose (Apr 1996), 165 pages pages [Ph.D. Dissertation]
Techniques for Non-Linear Magnification Transformations , T. Alan Keahey and Edward L. Robertson (Mar 1996), 18 pages pages
SPLIB: A Library of Iterative Mothods for Sparse Linear Systems , Randall Bramley and Xiaoge Wang (Feb 1996), 25 pages pages
A User's Guide for the CADYF-SPLIB Project , Xiaoge Wang and Randall Bramley (Feb 1996), 62 pages pages
Providing Better Support for Quantified Queries , Sudhir G. Rao, Antonio Badia, and Dirk Van Gucht (Feb 1996), 14 pages pages [Revised: May 1996]
Design and Implementation of Reflective SQL , Mehmet M. Dalkilic, Manoj Jain, Dirk Van Gucht, and Anurag Mendhekar (Feb 1996), 14 pages pages
Curve and Surface Framing for Scientific Visualization and Domain Dependent Navigation , Hui Ma (Feb 1996), 120 pages pages [Ph.D. Dissertation]
Square Blocking for Matrix-Multiplication , David S. Wise and Jeremy D. Frens (Jan 1996), 13 pages pages [ Proc. 1997 ACM Symp. on Principles and Practice of Parallel Programming, SIGPLAN Not. 32, 7 (July 1997), 206-216.]
On First-Order Two-Dimensional Linear Homogeneous Partial Difference Equations , G. Neil Haven and Dmitri A. Gusev (Jan 1996), 7 pages pages
On Statistical Properties of Delta-Sigma-Modulated Sequences , Eugene A. Sandler, Dmitri A. Gusev, Gregory Y. Milman, and Mikhail L. Podolsky (Jan 1996), 7 pages pages [Revised September 1996, and title changed to: Estimating from Outputs of Oversampled Delta-Sigma Modulation]
Low Rank Off-Diagonal Block Preconditioners for Solving Sparse Linear Systems on Parallel Computers , Randall Bramley and Vladimir Menkov (Jan 1996), 37 pages pages
An Architecture for Parallel Symbolic Processing Based on Suspending Construction , Eric R. Jeschke (Nov 1995), 152 pages pages [Ph.D. Dissertation]
On the Foundations of Corecursion , Lawrence S. Moss and Norman Danner (Nov 1995), 21 pages pages
The Continuous Retina: Image Processing with a Single-sensor Artificial Neural Field Network , Jonathan W. Mills (Nov 1995), 6 pages pages
Object Template Abstractions for Light-Weight Data-Parallelism , Neelakantan Sundaresan and Dennis Gannon (Sep 1995), 25 pages pages
Programmable VLSI Extended Analog Computer for Cyclotron Beam Control , Jonathan Mills (Sep 1995), 9 pages pages
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), 12 pages pages
Perception of Time as Phase: Toward an Adaptive-Oscillator Model of Rhythmic Pattern Processing , J. Devin McAuley (Jul 1995), 128 pages pages [Ph.D. Dissertation]
Static and Dynamic Partitioning of Pointers as Links and Threads , David S. Wise and Joshua Walgenbach (Oct 1995), 9 pages pages [ Proc. 1996 ACM SIGPLAN Intl. Conf. on Functional Programming, SIGPLAN Not. 31, 6 (June 1996), 42-49.]
A Uniform Data Model for Relational Data and Meta-Data Query Processing , Manoj Jain, Anurag Mendhekar and Dirk Van Gucht (Jul 1995), 25 pages pages
The University Graduate School Pilot Project in Electronic Application -- Final Report , Eric Jeschke (May 1995), 19 pages pages
A Two-Pass Realistic Image Synthesis Method for Complex Scenes , Kurt Zimmerman and Peter Shirley (May 1995), 20 pages pages
Matrix Inversion using Quadtrees Implemented in Gofer , Jeremy D. Frens and David S. Wise (May 1995), 73 pages pages
A Canonical Form for Circuit Diagrams , Kathi Fisler (May 1995), 20 pages pages
Experimental Evaluation of Coir: A System for Control and Data Parallelism , Neelakantan Sundaresan and Dennis Gannon (May 1995), 13 pages pages
Coir: A Thread Model for Supporting Task and Data Parallelism in Object-Oriented Parallel Languages , Neelakantan Sundaresan and Dennis Gannon (May 1995), 19 pages pages
Iterative Methods for Fast Radiosity Solutions , Gladimir V. Guimaraes Baranoski, Randall Bramley and Peter Shirley (Apr 1995), 37 pages pages
Processing Queries Containing Generalized Quantifiers , Sudhir Rao, Antonio Badia, and Dirk Van Gucht (Apr 1995), 16 pages pages
Dynamic Interpretations of Constraint-Based Grammar Formalisms , Lawrence S. Moss and David E. Johnson (Mar 1995), 19 pages pages
Diagnosis of Ill-typed Programs , Venkatesh Choppella and Christopher T. Haynes (Feb 1995), 10 pages pages
Parallel Transport Approach to Curve Framing , Andrew J. Hanson and Hui Ma (Feb 1995), 20 pages pages
Parallel Dynamic Programming , Phillip G. Bradford (Dec 1994), 135 pages pages [Ph.D. Dissertation]
Executing Object-oriented Parallel Programs on High-performance Simulators , Suresh Srinivas and Dennis Gannon (Jan 1995), 16 pages (one half spacing) pages [NOTE: This TR was placed in the directory on 3/17/95.]
pC++/streams: A Library for I/O on Complex Distributed Data Structures , Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995), 10 pages pages
References for Techinical Report TR422a , Jacob Gotwals, Suresh Srinivas, and Dennis Gannon (Jan 1995), 12 pages (one half spacing) pages
Parallel I/O from the Users Perspective , Jacob Gotwals, Suresh Srinivas, and Shelby Yang (Jan 1995), 9 pages (2 columns, IEEE format) pages [Appears in Frontiers 95: Symposium on the frontiers of massively parallel computation, McLean, Virginia, Feb 6-9th 1995]
Sequencing in Modular Self-Timed Asynchronous Control , Frank Prosser, David Winkel and Erik Brunvand (Oct 1994), 38 pages pages [Title changed to: A Comparison of Modular Self-Timed Design Styles. Revised and Title changed, March 1995.]
Topological Reasoning and The Logic of Knowledge , Andrew Dabrowski, Lawrence S. Moss and Rohit Parikh (Oct 1994), 43 pages pages
Undulant-Block Pivoting and Integer-Preserving Matrix Inversion , David S. Wise (Oct 1994), 70 pages pages [Revised August 1995 with new title: Undulant-Block Elimination and Integer-Preserving Matrix Inversion. Appeared in Sci. Comput. Program., Vol. 33, No. 1, Jan. 1999, 29-85.]
Some Investigations with Laser Beams on an LLA Retina , Amitava Biwas (Aug 1994), 67 pages
A Logical Formalization of Hardware Design Diagrams , Kathi Fisler (Sep 1994), 28 pages pages [To appear in Diagramamtic Reasoning, edited by Gerard Allwein and Jon Barwise.]
A Data Model for Audio-Video Data , Munish Gandhi and Edward L. Robertson (Aug 1994), 25 pages pages
Stiquito II and Tensipede: Two Easy-to-Build Nitinol-Propelled Robots , J. W. Mills (Aug 1994), pages
The Scheme Machine , Robert G. Burger (Aug 1994), 59 pages pages
EMILY: A Visualization Tool for Large Sparse Matrices , R. Bramley and T. Loos (Jul 1994), 32 pages without screen shots (color slides) pages [Official Version]
EMILY: A Visualization Tool for Large Sparse Matrices , R. Bramley and T. Loos (Jul 1994), 32 pages with 5 pages screen shots (color slides) pages
Notes on Adaptive Quadrature on the Hemisphere , P. Shirley and K. Chiu (Jul 1994), 6 pages pages
Analog Test Board: Design and Operation (includes appendix) , R.A. Montante (Aug 1994), 107 pages pages
Analog Test Board: Design and Operation (without appendix) , R.A. Montante (Aug 1994), 45 pages pages
Analog Test Board: Design and Operation (appendix only) , R.A. Montante (Aug 1994), 63 pages pages
Continuations in Hardware-Software Codesign , M. Esen Tuna, Steven D. Johnson, and Robert G. Burger (Jul 1994), 7 pages pages
Visualizing Distributed Data Structures , Suresh Srinivas and Dennis Gannon (Jul 1994), 16 pages (one half spacing, 6 pages of color) pages [Revised January 1995. Appears in Frontiers 95: Symposium on the frontiers of massively parallel computation, McLean, Virginia, Feb 6-9th 1995.]
Quaternion Frenet Frames: Making Optimal Tubes and Ribbons from Curves , Andrew J. Hanson (Jun 1994), 9 pages pages
Rotations for N-Dimensional Graphics , Andrew J. Hanson (Jun 1994), 13 pages pages
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), 19 pages pages
Leveled Entity Relationship Model , Munish Gandhi, Edward L. Robertson and Dirk Van Gucht (May 1994), 38 pages pages
Interactive Rendering of Complex 3D Models in Pipelined Graphics Architectures , Paulo W.C. Maciel (May 1994), 44 pages pages
Analyzing Data-structure Movements in Message-Passing Programs , Sekhar R. Sarukkai and Jacob K. Gotwals (Mar 1994), 25 pages pages
Uniprocessor Performance of a Reference-Counting Hardware Heap , David S. Wise, Brian Heck, Caleb Hess, Willie Hunt, and Eric Ost (May 1994), 30 pages pages [ Lisp Symb. Comput. 10, 2 (July 1997), 159-181.]
Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages , R. Kent Dybvig, David Eby and Carl Bruggeman (Mar 1994), 17 pages pages
A Formalization of the Turing Test , Phillip G. Bradford and Michael Wollowski (Feb 1994), 16 pages pages
Specification and Synthesis of Bounded Indirection , Kamlesh Rath, M.Esen Tuna and Steven D. Johnson (Feb 1995), 15 pages pages
Maintaining Dynamic State: Deep, Shallow, and Parallel , Chris Haynes and Richard Salter (Feb 1995), 16 pages pages
Solving Linear Inequalities In a Least Squares Sense , R. Bramley and B. Winnicka (Jan 1994), 30 pages pages
A Query Language for List-Based Complex Objects , Latha S. Colby, Lawrence V. Saxton and Dirk Van Gucht (Dec 1993), 33 pages pages [Revised May 1994]
Incomplete Cholesky Factorization with Sparsity Pattern Modification , Xiaoge Wang, Kyle Gallivan and Randall Bramley (Dec 1993), 38 pages pages
CIMGS: An Incomplete Orthogonal Factorization Preconditioner , Xiaoge Wang, Kyle Gallivan, Randall Bramley (Dec 1993), 27 pages pages
An Introduction to Behavior Tables , Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson (Dec 1993), 21 pages pages
On Lower Bounds for the Matrix Chain Ordering Problem , Phillip G. Bradford, Venkatesh Choppell and Gregory J. E. Rawlins (Oct 1993), 33 pages pages
Dynamical Statistics of Sequential Prolog , Ignacio Celis and Jonathan W. Mills (Aug 1993), 15 pages pages
Behavior Tables: A Basis for System Representation and Transformational System Synthesis , Kamlesh Rath, M. Esen Tuna and Steven D. Johnson (Aug 1993), 6 pages pages
Higher Order Logic , Daniel Leivant (Aug 1993), 94 pages pages
Backtracking and Probing , Paul W. Purdom and G. Neil Haven (Aug 1993), 45 pages pages
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), 5 pages pages
Derivation of a DRAM Memory Interface by Sequential Decomposition , Kamlesh Rath, Bhaskar Bose and Steven D. Johnson (Jun 1993), 5 pages pages
Learning Words in Time: Towards a Modular Connectionist Account of the Acquisition of Receptive Morphology , Michael Gasser (Jun 1993), 60 pages pages
An Example of Interactive Hardware Transformation , Zheng Zhu and Steven D. Johnson (May 1993), 18 pages pages
Learning Noun and Adjective Meanings: A Connectionist Account , Michael Gasser and Linda B. Smith (May 1993), 23 pages pages
Framework for Non-Traditional Data Models , Latha S. Colby. Query Languages and a Unifying (May 1993), pages [PhD Dissertation]
DDD-FM9001: Derivation of a verified microprocessor , Bhaskar Bose and Steven D. Johnson (May 1993), 12 pages pages
Benchmark Queries for Temporal Databases , Patrick P. Kalua and Edward L. Robertson (Mar 1993), 40 pages pages
Lukasiewicz' Insect: The role of Continuous-Valued Logic in a Mobile robot's Sensors, Control, and Locomotion , Jonathan W. Mills (Mar 1993), 6 pages pages
Measuring Information Capacity in a VLSI Analog Logic Circuit , Robert A. Montante and Jonathan W. Mills (Mar 1993), 15 pages pages [REVISION with new title: Probabilistic error correction in arbitrarily large Lukasiewicz logic arrays (April 1993)]
Implementation of a Graph Oriented Query Language: IUGQL , Vijay M. Sarathy and Dirk Van Gucht (Mar 1993), 45 pages pages
Toward a Basis for Protocol Specification and Process Decomposition , Kamlesh Rath and Steven D. Johnson (Mar 1993), 23 pages pages [Revised June 1993]
Universal Queries for Relational Query Languages , Lawrence V. Saxton, Dirk Van Gucht and Munish Gandhi (Mar 1993), 20 pages pages
Automatic Synthesis of Sequential Synchronizations , Zheng Zhu and Steven D. Johnson (Feb 1993), 18 pages pages
Integrating Boolean Verification with Formal Derivation , Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela (Feb 1993), 10 pages pages
Learning to Perceive and Produce Rhythmic Patterns in an Artificial Neural Network , J. Devin McAuley (Feb 1993), 26 pages pages
Predicting Convergence Time for Genetic Algorithms , Sushil J. Louis and Gregory J. E. Rawlins (Jan 1993), 20 pages pages
Matrix Chain Ordering in Polylog Time with n/lg n Processors , Phillip G. Bradford, Gregory J. E. Rawlins, and Gregory E. Shannon (Dec 1992), 20 pages pages
An Object Based Algebra for Parallel Query Processing and Optimization , Vijay M. Sarathy, Lawrence V. Saxton, and Dirk Van Gucht (Dec 1992), 20 pages pages
Infer: A Statically-typed Dialect of Scheme (Preliminary Tutorial and Documentation) , Christopher T. Haynes (Oct 1992), 40 pages pages
A Reflective System is as Extensible as its Internal Representations: An Illustration , John W. Simmons II and Daniel P. Friedman (Oct 1992), 17 pages pages
Quasi-static Scoping: Sharing Variable Bindings across Multiple Lexical Scopes , Shinn-Der Lee and Daniel P. Friedman (Oct 1992), 14 pages pages
A Simple Reflective Interpreter , Stanley Jefferson and Daniel P. Friedman (Sep 1992), 11 pages pages
Stiquito: A Small, Simple, Inexpensive Hexapod Robot , Jonathan W. Mills (Sep 1992), 48 pages pages [For further information concerning 363a, b and c, see STIQUITO.INFO file in: /u/ftp/pub/techreports/STIQUITO.INFO]
A General Purpose Controller for Stiquito , Jonathan W. Mills (Sep 1992), pages
The Simulation of a 6 Legged Autonomous Robot Guided by Vision , Jonathan W. Mills (Sep 1992), pages
Language Extension via First-class Interpreters , John W. Simmons II, Stanley Jefferson, and Daniel P. Friedman (Sep 1992), 22 pages pages
CBR Assisted Explanation of GA Results , Sushil Louis, Gary McGraw and Richard Wyckoff (Aug 1992), 25 pages pages
Stop-and-Copy and One-bit Reference Counting , David S. Wise (Jul 1992), 14 pages pages [ Inf. Process. Lett. 46, 5 (July 1993), 243-249.]
Using Goals and Experience to Guide Abduction , David Leake (Jul 1992), 33 pages pages
Four-dimensional Views of 3D Scalar Fields , Andrew Hanson & Pheng Heng (Jul 1992), 8 pages pages
Matrix Algorithms Using Quadtrees , David S. Wise (Jun 1992), 16 pages pages [ In G. Hains and L. M. R. Mullin (eds) ATABLE-92, 2nd Intl. Workshop on Array Structures. Publ. 841, Dept. d'Informatique et de Recherche Operationnelle, Univ. de Montreal (Nov., 1992).]
Writing Hygienic Macros in Scheme with Syntax-case , R. Kent Dybvig (Jun 1992), 31 pages pages [Revised 7/3/92]
Syntactic Abstraction in Scheme , Robert Hieb, R. Kent Dybvig, and Carl Bruggeman (Jun 1992), 18 pages pages [Revised 7/3/92]
An Implementation of an Applicative File System , Brian C. Heck and David S. Wise (Jun 1992), 16 pages pages [ In Y. Bekkers and J. Cohen (eds), Memory Management. Lecture Notes in Comp. Sci.]
Average Time for the Full Pure Literal Rule , Paul W. Purdom (May 1992), 16 pages pages
Efficient Parallel Dynamic Programming , Phillip Bradford (Oct 1994), 33 pages pages [Revised]
Rule-Based Program Restructuring for High Performance Parallel Processor Systems , Lawrence J. Tenny (Apr 1992), 153 pages pages [Ph.D. Dissertation]
First-Class Extents , S-D. Lee & D. P. Friedman (Mar 1992), 45 pages pages [Revised Aug. 1992]
Merging Interactive, Modular and Object-Oriented Programming , Sho-Huan Simon Tung (Mar 1992), 143 pages pages [Ph.D. Dissertation]
Characterizing the Paralation Model using Dynamic Assignment , E. Freeman & D. P. Friedman (Mar 1992), 14 pages pages
An Algebra for List-oriented Applications , Latha S. Colby (Feb 1992), 84 pages pages
Toward Leakage Containment , J. Lawall & D. P. Friedman (Feb 1992), 11 pages pages
The Revised Report on the Syntactic Theories of Sequential Control and State , Matthias Felleisen and Robert Hieb (Feb 1992), 34 pages pages
A Specification-based Data Model , Munish Gandhi and Edward L. Robertson (Jan 1992), 33 pages pages
Luminaire Sampling in Distribution Ray Tracing , Peter Shirley and Chang yaw Wang (Jan 1992), pages
Translating Query Graphs into Tarski Algebra Expressions. , Vijay M. Sarathy, Lawrence V. Saxton and Dirk Van Gucht (Dec 1991), pages
Revised Report on the Algorithmic Language Scheme , William Clinger and Jonathan Rees (editors, along with 16 others) (Nov 1991), pages
The New Publishing: Technology's Impact on the Publishing Industry over the Next Decade , Gregory J. E. Rawlins (Nov 1991), 68 pages pages
Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays , Jonathan W. Mills (Nov 1991), pages
A Template Architecture for the WAM , Jonathan W. Mills (Oct 1991), pages
Rule-based Data Dependence Analysis , Larry Tenny (Oct 1991), pages
Rap-Master Network: Exploring temporal pattern recognition with recurrent networks , Gary McGraw, Robert Montante & David Chalmers (Sep 1991), pages
New Divide-and-Conquer Techniques for Finding Disjoint Paths , Fang Wan (Sep 1991), pages
Learning to Perceive and Produce Words in Connectionist Networks , Chan-Do Lee (Sep 1991), pages [PhD Dissertation]
Visualizing the Fourth Dimension Using Geometry and Light. , Andrew J. Hanson and Pheng A. Heng (Jul 1991), pages
Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM , Douglas S. Blank and Lisa A. Meeden and James B. Marshall (Jul 1991), 34 pages pages
DDD- A Transformation System for Digital Design Derivation , Bhaskar Bose (May 1991), 80 pages + Appendices pages
Graph Algorithms in a Lazy Functional Programming Language , Yugo Kashiwagi and David S. Wise (Apr 1991), 12 pgs. pages [Proc. 4th Intl. Symp. on Lucid & Intensional Programming, Menlo Park, CA: SRI Intl. (April 1991), 35-46.]
Nonminimax Propagation and Go Moku , Jong Chan Kim and Paul W. Purdom, Jr (Apr 1991), pages
Block Pivoting and (L+U),D' Decomposition , David S. Wise (Mar 1991), pages
A Graph-Oriented Object Database Model , Marc Gyssens, Jan Paredaens, Jan Van den Bussche and Dirk Van Gucht. (Mar 1991), pages
Using Genetic Algorithms to Design Structures , Sushil J. Louis and Gregory J. E. Rawlins (Feb 1991), pages
Data Localization in Parallel Computer Systems , Mann-Ho Lee (Feb 1991), pages [PhD Dissertation]
Static Measures of Quadtree Representation of the Harwell--Boeing Sparse Matrix Collection , Peter H. Beckman (Jan 1991), pages
DDD -- A System for Mechanized Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Dec 1990), 36 pages pages
Optimization of Nonmonotonic relational Queries , Lawrence V. Saxton and Dirk Van Gucht (Dec 1990), pages
RTBA: A Generic Bit-Sliced Bus Architecture for Data Path Synthesis , Kamlesh Rath, Ignacio Celis, Robert M. Wehrmeister, and Steven D. Johnson (Dec 1990), 38 pages pages
Implicit Functions for Modeling Arbitrary Deformable Shapes , Andrew J. Hanson. (Nov 1990), pages
Performance Visualization and Prediction of Parallel Supercomputer Programs: An Interim report , Sekhar, Sarukkai (Nov 1990), pages
An Algebraic Framework for Data Abstraction in Hardware Description , Zheng Zhu and Steven D. Johnson (Nov 1990), pages
Linear-Processor DNC Algorithms for Sub-linear Separators in PlanarGraphs , Gregory E. Shannon (Oct 1990), pages
Connectionist Logic Programming , Jonathan W. Mills (Oct 1990), pages
Parallel Genetic Algorithms Applied to the Traveling Salesman Problem , Prasanna Jog, Jung Y. Suh and Dirk Van Gucht (Aug 1990), pages
An Analog VLSI Array Processor for Classical and Connectionist AI , Jonathan W. Mills and Charles A. Daffinger (Jul 1990), pages
CMOS VLSI Lukasiewicz Logic Arrays , Jonathan W. Mills and Charles A. Daffinger (Jul 1990), pages
Average Time Analysis of Clause Order Backtracking , Khaled Bugrara and Paul W. Purdom, Jr (Jul 1990), pages
Representation and Recognition of Temporal Patterns , Robert Port (Jun 1990), pages
Approximating Small Separators in PlanarGraphs: Tradeoffs in Time, Processors, and Separator Size , Gregory E. Shannon and Fang Wan (Jun 1990), pages
A Linear-processor Algorithm for Finding Small Cycle Separators on Undirected PlanarGraphs , Fang Wan (May 1990), pages
Networks and Morphophonemic Rules Revisited , Michael Gasser and Chan-Do Lee (Mar 1990), pages
Linear-Processor NC Algorithms for Planar Directed Graphs II: Directed Spanning Trees , Ming-Yang Kao and Gregory E. Shannon (Mar 1990), pages
Towards a System for Interactive Modular Programming , Sho-Huan Simon Tung and R. Kent Dybvig (Feb 1990), pages
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), pages
Semantics-Directed Compilation of Non-Linear Patterns , Olivier Danvy (Feb 1990), pages
Destination-Driven Code Generation , R. Kent Dybvig, Robert Hieb, and Tom Butler (Feb 1990), pages
A New Approach to Procedures with Variable Arity , R. Kent Dybvig and Robert Hieb (Jan 1990), pages
Networks that Learn Phonology , Michael Gasser and Chan-Do Lee (Dec 1989), pages
Graph View Documentation , Bjarni Birgisson and Gregory E. Shannon (Dec 1989), pages
Visibility, Skulls, and Kernels in Convexity Spaces , Sven Schuierer, Gregory J. E. Rawlins and Derick Wood (Dec 1989), pages
Architectural Support for Delayed Specialization of Logic Programs , Jonathan W. Mills (Dec 1989), pages
and Charles A. Daffinger Lukasiewicz Logic Arrays , Jonathan W. Mills, M. Gordon Beavers, (Nov 1989), pages
GraphView: An Extensible Interactive Platform for Manipulating and Displaying Graphs , Bjarni Birgisson and Gregory E. Shannon (Dec 1989), pages
Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms , John Franco (Oct 1989), pages
Continuation-Based Control Operators for Logic Programming , Richard M. Salter and Christopher T. Haynes (Oct 1989), pages
A Prolog Semantics with First-Class Continuations and Dynamic Database , Christopher T. Haynes and Richard M. Salter (Oct 1989), pages
On the Occurrence of Null Clauses in Random Instances of Satisfiability , John Franco (Oct 1989), pages
Derivation of an SECD Machine: Experience with a Transformational Approach to Synthesis , Robert M. Wehrmeister (Sep 1989), pages
A System for Digital Design Derivation , Steven D. Johnson and Bhaskar Bose (Aug 1989), pages
Daisy, DSI and LiMP: Issues in Architecture for Suspending Construction , Steven D. Johnson (Aug 1989), pages
Processing Queries in ANDA: A Nested relational Database System , Jos 'e A. Blakeley and Anand Deshpande (Aug 1989), pages
How Daisy is Lazy , Steven D. Johnson (Aug 1989), pages
Extending Distributed Genetic Algorithms To Problem Solving: The Case of the Sliding Block Puzzle , Jung Yul Suh and Chan Do Lee (Jul 1989), pages
A Pipelined Architecture for Logic Programming with a Complex but Single-Cycle Instruction Set , Jonathan W. Mills (Jul 1989), pages
On the Interplay of Synthesis and Verification: Experiments with the FM8501 Processor Description , Steven D. Johnson, Robert M. Wehrmeister and Bhaskar Bose (Jul 1989), pages
A Grammar Model for Databases , Latha S. Colby and Dirk Van Gucht (Jun 1989), pages
An Implementation for Nested relational Databases , Anand Deshpande (Jun 1989), pages [PhD Dissertation]
Join Index,Materialized View, and Hybrid-Hash Join: A Performance Analysis , Jos'e A. Blakeley and Nancy L. Martin (Jun 1989), pages
Manipulating Logical Organization with System Factorizations , Steven D. Johnson (Jun 1989), pages
Probabilistic Analysis of Algorithms for Stuck-at Test Generation in PLAs , John Franco and Kurt Keutzer (May 1989), pages
Building Analytical Models into an Interactive Performance Prediction Tool , Daya Atapattu and Dennis Gannon (May 1989), pages
Embedding the Self Language in Scheme , Julia L. Lawall and Daniel P. Friedman (May 1989), pages [To appear in BIGRE Bulletin's special issue on ``Putting the Scheme Language to work'']
Robust Lexical Selection in Parsing and Generation , Michael Gasser (Apr 1989), pages
Using the Digital Design Derivation System: Case study of a VLSI garbage collector implementation , C. David Boyer and Steven D. Johnson (Apr 1989), pages
A Decomposition Theorem for Convexity Spaces , Gregory J. E. Rawlins and Derick Wood (Feb 1989), pages
Restricted-Oriented Convex Sets , Gregory J. E. Rawlins and Derick Wood (Feb 1989), pages
Inference Supercomputing , Jonathan W. Mills, M. Burroughs, R. Wehrmeister, and D. Winkel (Feb 1989), pages
Backtracking and random Constraint Satisfaction , Paul W. Purdom (Feb 1989), pages
A Structured Method for Literate Programming , Sho-Huan Tung (Jan 1989), pages
Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme Systems , John Franco and Daniel P. Friedman (Jan 1989), pages
Multiple-Query Optimization for Materialized View Maintenance , Jos'e A. Blakeley and Hector Hernandez (Jan 1989), pages
Counting Posets and the Structure of the Poset of Posets , G. J. E. Rawlins and Joseph Culberson (Dec 1988), pages
Temporal Information and Memory in Connectionist Networks , Robert Port, Sven Anderson, and John W. L. Merrill (Oct 1988), pages [Out of print- TR 310 replaces TR 265]
Parallel Depth-First Search in General Directed Graphs , Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (Sep 1988), pages
Imperative Multi-way Streams , John Franco, Daniel P. Friedman, and Steven D. Johnson (Sep 1988), pages [Revised December, 1988]
Compiling and Executing Theorems Efficiently as Logic Programs , Jonathan W. Mills (Sep 1988), pages
Using the AMD 2901/2909 as a Dedicated Floating Point Adder , Jonathan W. Mills (Sep 1988), pages
The Analysis of Hashing with Lazy Deletions , Pedro Celis and John Franco (Aug 1988), pages
A Recursive Algebra for Nested Relations , Latha S. Colby (Aug 1988), pages
Dynamic Speech Categorization With recurrent Networks , Sven Anderson, John W. L. Merrill and Robert Port (Aug 1988), pages
UPSL User's Manual , Larry Tenny (Jul 1988), pages
Continuations and Concurrency , R. Kent Dybvig and Robert Hieb (Jul 1988), pages
Efficient Detection of Leaked Information in Cross Tabulated Tables: Linear Invariant Test , Ming-Yang Kao and Dan Gusfield (Jul 1988), pages
Engines from Continuations , R. Kent Dybvig and Robert Hieb (Jul 1988), pages
Modeling Transistors Applicatively , Steven D. Johnson and C. David Boyer (Jun 1988), pages
The Source Code for SYREN: A Connectionist Model for Syllable recognition , Erich J. Smythe (Jun 1988), pages
Temporal Computation in Connectionist Models , Erich J. Smythe (Jun 1988), pages [PhD Dissertation]
Parallel Depth---First Search in Directed Graphs , Alok Aggarwal, Richard J. Anderson, and Ming Y. Kao (May 1988), pages
Fractally Configured Neural Networks , John W. L. Merrill and Robert F. Port (May 1988), pages
Abstract Continuations: A Mathematical Semantics for Handling Full Functional Jumps , Matthias Felleisen, Mitchell Wand, Daniel P. Friedman and Bruce F. Duba (May 1988), pages
A Variable-Arity Procedural Interface , R. Kent Dybvig and Robert Hieb (Apr 1988), pages [Revised version is TR 301]
External Robin Hood Hashing , Pedro Celis (Mar 1988), pages
Creating Efficient Programs by Exchanging Data for Procedures , John Franco and Daniel P. Friedman (Mar 1988), pages
All Graphs Have Cycle Separators and Depth-First Search on Planar Digraphs is in DNC , Ming-Yang Kao (Mar 1988), pages
An Implementation for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Feb 1988), pages
A Practical Unification Algorithm , Paul W. Purdom (Feb 1988), pages
Experiments with Quad Tree Representation of Matrices , S. Kamal Abdali and David S. Wise (Feb 1988), pages [Also appeared in Proc. 1988 Int'l. Sym. on Symbolic and Algebraic Computation]
Updating Materialized Views: Detecting Conditionally Autonomously Computable Updates , Frank Wm. Tompa and Jos'e A. Blakeley (Feb 1988), pages
Searching with Uncertainty , R.A. Baeza-Yates, J.C. Culberson and G.J.E. Rawlins (Feb 1988), pages
On the Comparison Cost of Partial Orders , Joseph C. Culberson and Gregory J. E. Rawlins (Jan 1988), pages
Applications of Continuations , Daniel P. Friedman (Jan 1988), pages
A New Stochastic Learning Algorithm for Neural Networks , John W. L. Merrill and Robert F. Port (Nov 1987), pages
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates , Jos'e A. Blakeley, Neil Coburn and Perke Larson (Nov 1987), pages
A Storage Structure for Nested Relational Databases , Anand Deshpande and Dirk Van Gucht (Nov 1987), pages
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), pages
A VLSI Implementation of an Architecture for Applicative Programming , John T. O'Donnell, Timothy Bridges and Sidney W. Kitchel (Oct 1987), pages
Strictness Analysis Applied to Programs with Lazy List Constructors , Cordelia V. Hall (Oct 1987), pages [PhD dissertation]
A Syntactic Theory of Sequential State , Matthias Felleisen and Daniel P. Friedman (Oct 1987), pages [(Revised January, 1989) Appeared in Theoretical Computer Science 69, 3, (Dec. 1989) 243--287]
Costs of Quadtree Representation of Non-dense Matrices , David S. Wise and John Franco (Oct 1987), pages
Strategies for Cache and Local Memory Management by Global Program Transformation , Dennis Gannon, William Jalby and Kyle Gallivan (Sep 1987), pages
Applying AI Techniques to Program Optimization for Parallel Computers , Dennis Gannon and Ko-Yang Wang (Sep 1987), pages
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-OrderProgramming Languages , Matthias Felleisen (Aug 1987), pages [Ph. D. Dissertation]
Distributed Genetic Algorithms , Jung Y. Suh and Dirk VanGucht (Jul 1987), pages
A Software Tool for Building Supercomputer Applications , Dennis Gannon, Daya Atapattu, Mann Ho Lee and Bruce Shei (Aug 1987), pages [Also in Proc. of the Symp. on Parallel Computations & Their Impact on Mechanics, Vol. 86, 81--94]
Debugging in Applicative Languages , J.T. O'Donnell and C.V. Hall (Jun 1987), pages
Matrix Algebra and Applicative Programming , D. S. Wise (Jun 1987), pages [Appeared in Functional Programming Languages and Computer Architectures, Lecture Notes in Computer Science 274, Berlin, Springer (1987), 134--153]
A Tactical Framework for Hardware Design , S. D. Johnson, B. Bose, and C. D. Boyer (May 1987), pages [Also in VLSI Specification, Verification and Synthesis, [Proceedings of the 1987 Calgary Workshop] G. Birtwistel and P. A. Subramanyam (eds.) Kluwer Academic Publishers, (1987), 349--384]
Dynamic Identifiers Can Be Neat , B. Duba, M. Felleisen and D. P. Friedman (Apr 1987), pages
Hardware Design Using Functionally Connected Units , D. Winkel. and C. T. Haynes (Apr 1987), pages
A Reduction Semantics for Imperative Higher-Order Languages , M. Felleisen and D. P. Friedman (Mar 1987), pages [Proceedings of the Conf. on Parallel Architectures & Languages Europe, June 1987, 206--223]
Parsing Phonetic Segments into Syllables , G. Dorffner, S. C. Kwasny, Robert F. Port (Mar 1987), pages
Beyond Continuations , M. Felleisen, D. P. Friedman, B. Duba and J. Merrill (Feb 1987), pages
A Syntactic Theory of Sequential Control , M. Felleisen, D. P. Friedman, E. Kohlbecker and B. Duba (Jan 1987), pages [Theoretical Computer Science 52 (1987) 205--237]
Seek-Whence: A Model of Pattern Perception , Marsha J. Ekstrom Meredith (Jan 1987), pages [PhD dissertation]
Embedding Continuations in Procedural Objects , Christopher T. Haynes and Daniel P. Friedman (Jan 1987), pages [ACM Trans. on Prog. Syst. & Lang. 9, 4, (Oct. 1987) 582--598]
Hardware Description with Recursion Equations , John O'Donnell (Dec 1986), pages
Complex Cognitive Information-Processing: A Computational Architecture with a Connectionist Implementation , John Barnden (Dec 1986), pages
Search Rearrangement Backtracking Often Requires Exponential Time to Verify Unsatisfiability , John Franco (Dec 1986), pages [Revised: April, 1987]
Compiling Strictness into Streams , Cordelia V. Hall & David S. Wise (Dec 1986), pages
Detecting Looping Simplifications , Paul W. Purdom (Dec 1986), pages
An Exponential Lower Bound For the Pure Literal rule , Khaled M. Bugara & Paul W. Purdom (Dec 1986), pages [Information Processing Letters 27, North-Holland, (Apr. 1988) 215--219)]
Macro-by-Example: Deriving Syntactic Transformations from their Specifications , Eugene E. Kohlbecker and Mitchell Wand (Nov 1986), pages [Proc. of the 1987 ACM Symposium on Principles of Programming Languages, (January, 1987)]
A Final Scheme-Word on Landin's J-Operator , Matthias Felleisen (Nov 1986), pages [Also appeared in Journal of Computer Languages, Pergamon Press, 1987, 197--207, under new title, ``Reflections on Landin's J-A Partly Historical Note. '']
The Use of PALS in CPU Design , David Winkel (Oct 1986), pages
Parallel VLSI Architecture Emulation and the Organization of APSA/MPP , John T. O'Donnell (Oct 1986), pages
A Calculus for Assignments in Higher-Order Languages , Matthias Felleisen and Daniel P. Friedman (Oct 1986), pages [Conf. record of the 14th Annual ACM Sym. on Principles of Programming Languages, Munich, W. Germany (January, 1987), 314--345]
Recursion and Circularity--Extended Puzzle with Solution , Matthias Felleisen (Oct 1986), pages
Computational Metabolism , Marek W. Lugowski (Sep 1986), pages
Syntactic Extensions in the Programming Language Lisp , Eugene E. Kohlbecker (Aug 1986), pages [Ph. D. Dissertation]
The Analysis of Algorithms: Errata and Answers to the Exercises , Paul W. Purdom (Jul 1986), pages
Control Operators, the SECD-Machine, and the Lambda-Calculus , Matthias Felleisen and Daniel P. Friedman (Jun 1986), pages [Proc. of the IFIP TC 2/WG2. 2 Working Conf. on Formal Description of Programming Concepts Part III, Ebberup, Denmark. August 1986, 193--219]
The Mystery of the Tower Revealed: A Non-reflective Description of the Reflective Tower , Mitchell Wand and Daniel P. Friedman (Jun 1986), pages [Proceedings 1986 ACM Symposium on LISP and Functional Programming, (August, 1986), 298--307]
Expansion-Passing Style Beyond Conventional Macros , R.K. Dybvig, D. P. Friedman and C. T. Haynes (Jun 1986), pages
Hygienic Macro Expansion , E.E. Kohlbecker, D. P. Friedman, M. Felleisen and B. Duba (Jun 1986), pages [Proceedings, 1986 ACM Symposium on LISP and Functional Programming, (August, 1986), 151--161]
Probabilistic Performance of a Heuristic for the Satisfiability Problem , John Franco (May 1986), pages [Also appeared in Discrete Applied Math]
Parallel Decomposition of Matrix Inversion using Quadtrees , David S. Wise (May 1986), pages [Proceedings of the 1986 Int'l. Conference on Parallel Processing, 92--99]
Reasoning With Continuations. Sym. on Logic in Computer , M. Felleisen, D. P. Friedman, E. Kohlbecker & B. Duba (Jun 1986), pages [Science, Cambridge, MA, (June, 1986), 131--141 [Not Available-TR 215 is a revision of TR 191]]
Deterministic Parsing of Multiply-Structured Inputs , G. Dorffner, S. Kwasny, R. Port (Apr 1986), pages
The Pleasures of SINN: A System for Programming Connectionist Models , Erich J. Smythe (Feb 1986), pages
What Next for PAL-DEVICES-- The Second Generation Challenge , David Winkel (Feb 1986), pages
Imputations and Explications: Representational Problems in Treatments of Propositional Attitudes , John A. Barnden (Jan 1986), pages
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by-Name , David S. Wise and S. Kamal Abdali (Dec 1985), pages
Digital Design in a Functional Calculus , Steven D. Johnson (Nov 1985), pages
A Closer Look at Export and Import Statements , Matthias Felleisen & Daniel P. Friedman (Nov 1985), pages [Computer. Lang. , 11 (1), 1986, 29--37]
Logic Continuations , Christopher T. Haynes (Nov 1985), pages [Proceedings of the Third Int'l Conf. on Logic Programming (July 1985), London, England Lecture Notes in Computer Science, / Vol. 225, Springer-Verlag, Berlin (1985), 671--685. Also in J. of Logic Programming, 4 /, 2 (1987) 157--176]
Transliterating Prolog into Scheme , Matthias Felleisen (Oct 1985), pages
Tree Matching and Simplification , Paul W. Purdom and Cynthia A. Brown (Oct 1985), pages [Software Practice and Experience 17, 2, (February 1987), 105--115]
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programming Languages , J. T. O'Donnell (Sep 1985), pages [Proc. IFIP Int'l. Conference on Functional Programming Languages and Computer Architecture (September 16--19, 1985 in Nancy, France)]
An Approach for Simulating an Applicative Programming Storage Architecture on the Massively Parallel Processor , J. T. O'Donnell (Sep 1985), pages
An Abstraction of Timed Preemption , C. T. Haynes and D. P. Friedman (Aug 1985), pages [Revised version appeared in Computer Languages Vol. 12, No. 2, (1987), 109--121, under the title, ``Abstracting Timed Preemption with Engines'']
The Maximum Independent Set Problem for Cubic Planar Graphs , J. E. Burns (Aug 1985), pages
Why Artificial Intelligence is Necessarily Ad Hoc: One's Thinking/Approach/Model/Solution Rides on One's Metaphors , M. W. Lugowski (Aug 1985), pages
Rules for Automatic Mapping between Fast and Slow Speech , S. C. Kwasny, J. Dalby, and R. Port (Jul 1985), pages
The Revised, Revised Report on SCHEME , W. D. Clinger, (ed. ) (Jun 1985), pages [Jonathan Rees & W. D. Clinger, (eds. , along with 17 others) Published under the title, ``revised report on the Algorithmic Language SCHEME,''SIGPLAN NOTICES 21 /, 12 (December, 1986), 37--79]
Local Networking at the M. I. T. Computer Laboratories: A User's View , M. W. Lugowski (Jun 1985), pages
Representations of Intensions, Representations as Intensions, and Propositional Attitudes , J. A. Barnden (Jun 1985), pages
Computer Science Departmental report , CS Department (May 1985), pages
Constraining Control , D. P. Friedman and C. T. Haynes (May 1985), pages [Proceedings of the 1985 ACM Symposium on Principles of Programming Languages, (January, 1985), 245--254 [Not available-TR 213 replaces TR 170]]
Fast Many-to-One Matching Algorithms , P. W. Purdom and C. A. Brown (May 1985), pages [First International Conference on rewriting Techniques and Applications, Dijon, France (May, 1985), Also in Jean-Pierre Jouannand (ed. ),rewriting Techniques and Applications, LNCS 202, pp. 407--416, Springer-Verlag, New York (1985)]
Storage Allocation for List Multiprocessing , S. Johnson (Mar 1985), pages
On the Probabilistic Performance of Algorithms for the Satisfiability Problem , J. Franco (Mar 1985), pages [Information Processing Letters 23, (1986), 103--106]
Scheme as an Interactive Graphics Programming Environment , L. D. Sabbagh (Feb 1985), pages
Probabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the-Satisfiability Problem , J. Franco and Ming-Te Chao (Jan 1985), pages [to appear in Information Sciences]
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), pages
Design for a Multiprocessing Heap with On-board Reference Counting , D. S. Wise (Jan 1985), pages [Revised July, 1985), Proceedings of the IFIP Int'l. Conf. on Functional Programming Languages and Computer Architecture, Nancy, France, (Sept. 16--19, 1985)]
Linear Future Semantics and Its Implementation , S. Kolbl and M. Wand (Oct 1984), pages [Revised Apr. 1986), Science of Computer Programming]
Reification: Reflection without Metaphysics , D. P. Friedman and M. Wand (Aug 1984), pages [Proc. 1984 ACM Symposium on Lisp and Functional Programming (August, 1984), 348--355]
An Implementation of 2-Lisp , C. D. Halpern (Jun 1984), pages
Engines Build Process Abstractions , C. Haynes and D. Friedman (Aug 1984), pages [Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX (Aug. , 1984) 18--24]
Continuations and Coroutines , C. Haynes, D. Friedman, and M. Wand (Aug 1984), pages [Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX (Aug 1984) 293--298. Also appeared in Computer Languages 2, No. 3/4 (1986) 143--153 under new title, ``Obtaining Coroutines with Continuations'']
Using mkmac , E. Kohlbecker (May 1984), pages [Not available --- Revised TR 153 includes mkmac]
Direct Denotational Semantics: Combinator-based Compilation of Goto's , M. Lao (May 1984), pages
eu-Prolog: Reference Manual and Report , E. Kohlbecker (Apr 1984), pages
Some Observations on n-Valued Disjointly Separable Functions , G. Epstein, J. Lee, and P. O. Mandayam (May 1984), pages [Proceedings of the Fourteenth International Symposium on Multiple-valued Logic, (May, 1984)]
Scheme 84 Interim Reference Manual , D. Friedman, C. Haynes, E. Kohlbecker and M. Wand (Feb 1984), pages [Revised, June, 1985]
On Short-Term Information-Processing in Connectionist Theories , J. Barnden (Jan 1984), pages [Cognition and Brain Theory, 7, (1), 1984]
Programming with Continuations , D. Friedman, C. Haynes and E. Kohlbecker (Jan 1984), pages [Program Transformation and Programming Environments, (P. Pepper, ed. ), Springer-Verlag: Berlin, Heidelberg (1984), 263--274]
A Case Study of a Combinator-Based Compiler for a Language with Blocks and Recursive Functions , Marek J. Lao (Oct 1983), pages
C-Scheme Reference Manual , Kent Dybvig (Sep 1983), pages [Master's Thesis]
A Semantic Algebra for Logic Programming , Mitchell Wand (Aug 1983), pages
Prototyping Data Flow by Translation into Scheme , Daniel P. Friedman and Pee-Hong Chen (Aug 1983), pages
A Functional Approach to Geometric Applications in Computer Graphics , Chen and Sabbagh (Aug 1983), pages
Scheme Graphics Reference Manual , Chen, Chi, Ost, Sabbaugh, Springer (Aug 1983), pages
On the Complexity of Partitioning Sparse Matrix Representations , Edward L. Robertson and J. P. Malmquist (Jan 1984), 10 pages pages [BIT 24 (1984), 60--68]
On the Average Case Analysis of some Satisfiability Model Problems , Khaled Bugara and Cynthia Brown (Dec 1982), pages
A Power domain Semantics for Indeterminism , David S. Wise (Jul 1983), pages
Synthesis of Digital Designs from Recursion Equations , Steven D. Johnson (May 1984), pages [PhD dissertation, Published by MIT Press, May, 1984]
Communication by Non-Writing in Synchronous Parallel Machines Or: The Joys of Not Writing , J. Burns, K. Keutzer, and P. W. Purdom (Jun 1983), pages
Scheme Translation of Functions from FUNCTIONAL PROGRAMMING APPLICATION AND IMPLEMENTATION , Dave Laymon (Apr 1983), pages
Implementation of Two Data-Flow Models in Scheme , Pee-Hong Chen (Feb 1983), pages
Scheme 311 Reference Manual , C. Fessender, W. Clinger, D. Friedman, and C. Haynes (Feb 1983), pages [Not available-- TR 153 is an updated Scheme Manual]
Metafont, Metamathematics and Metaphysics , Douglas Hofstadter (Dec 1982), pages
A Theory of the Heuristic Game Tree Search , Chun-Hung Tzeng and Paul W. Purdom, Jr (Dec 1982), pages [Refer requesters to Chun-Hung Tzeng at Ball State]
Research in the Computer Science Department at Indiana University, 1981--82 , Mitchell Wand (Dec 1982), pages
A Scheme for Higher-Level Semantic Algebra , William Clinger, Daniel P. Friedman, and Mitchell Wand (Jan 1985), pages [Algebraic Methods in Semantics (John Reynolds & M. Nivat, eds. ), Cambridge University Press, (1985) 237--250]
Artificial Intelligence: Subcognition as Computation , Douglas R. Hofstadter (Nov 1982), pages
A Continuum of Diagrammatic Data Structures in Human Cognition , John Barnden (Oct 1982), pages
Who Shoves Whom Around Inside the Careenium? or, What is the Meaning of the Word ``I''? , Douglas R. Hofstadter (Jul 1982), pages
Issues in Applicative Real-Time Programming , Lennart Edblom and Daniel P. Friedman (Jun 1982), pages
The Pure Literal Rule and Polynomial Average-Time , Paul W. Purdom, Jr. and Cynthia A. Brown (Jun 1982), pages [SIAM J. on Computing, 14 4, (November, 1985), 943--953]
Switching Theory, Multiple-Valued Logic, and Logic Design , George Epstein (Jan 1983), pages
Guide to the Printed Circuit Board Fabrication Facility , Frank Prosser and Patricia J. Brajnifoff (Jan 1982), pages
Evaluating Search Methods Analytically , Paul W. Purdom, Jr. and Cynthia A. Brown (Apr 1982), pages [National Conf. on Artificial Intelligence (1982), 124--127]
Models, Languages, and Heuristic for Distributed Computing , Bob Filman and Daniel P. Friedman (Jun 1982), pages [AFIPS Conf. Proc. (June, 1982) AFIPS Press, Arlington, Va 671--677]
Search Rearrangement Backtracking and Polynomial Average Time , Paul W. Purdom, Jr (Jan 1983), pages [Artificial Intelligence 21 (1983), 117--133]
Research in the Computer Science Department at I.U. 1980--81 , Mitchell Wand, Editor (Dec 1981), pages
Phonological Analysis by Computer: Prospects and Direction , Lee Becker (Dec 1981), pages
DSI Program Description , S. D. Johnson and A. T. Kohlstaedt (Nov 1981), pages
Daisy 1. 0 Reference Manual , A. T. Kohlstaedt (Nov 1981), pages
Polynomial Average-Time Satisfiability Problems , Paul W. Purdom, Jr. and Cynthia A. Brown (Dec 1981), pages [Inf. Sciences 41, (1987), 23--42]
Solving Satisfiability Problems with Less Searching , Paul W. Purdom, Jr (Jul 1982), pages [(Revised),IEEETPAMI 6 (1984), pp 510--513]
Circuits and Systems: Implementing Communication with Streams , Steven D. Johnson (Jul 1982), pages [(Revised), IMACS Transactions on Scientific Computation, Vol. II, (ed.) M. Ruschitzka, 1983, pp. 311--319]
Compact Layout of Banyan/FFT Networks , David S. Wise (Jan 1981), pages [In H. Kung, B. Sproull, and G. Steele (eds. ), VLSI Systems and Computations, Computer Science Press, Rockville, MD (1981), 186--195g]
Connection Networks for Output Driven List Multiprocessing , Steve Johnson (Oct 1981), pages
Specifying One-Pass Bottom-Up Compilers , Cynthia A. Brown and Paul W. Purdom, Jr (Jul 1981), pages [Title changed to: A Methodology and Notation for Compiler Front End Design, published in Software Practice and Experience 14, (4) Apr. 1984, 335--346]
Interpreters for Functional Programming , David S. Wise (Jan 1982), pages [In J. Darlington, P. Henderson and D. Turner(eds. ) Functional Programming and its Applications, Cambridge University Press (1982)]
The SKI Manual , Gray Clossman (Jul 1981), pages
Solving Common Programming Problems with an Applicative Programming Language , Thomas M. Grismer (Jun 1981), pages
A SCHEME for Distributed Processes , Rex A. Dwyer and R. Kent Dybvig (Apr 1981), pages
Fancy Ferns Require Little Care , Daniel P. Friedman and David S. Wise (Jan 1981), pages [Symposium on Functional Languages and Computer Architecture, S. HolmsTRom, NordsTRom, B. , and Wikstrom, A. (eds. ), Lab for Programming Methodology, Goteborg, Sweden (1981)]
How to Search Efficiently , Cynthia A. Brown and Paul Walton Purdom, Jr (Mar 1981), pages [Seventh International Joint Conf. on Artificial Intelligence, Vancouver, British Columbia (1981), 588--594]
Context-FREE Grammars for the Balanced, Overbalanced and Unbalanced Binary Languages , George Epstein and Casper Martin (Mar 1981), pages
On Rine's View of Boolean Algebras , George Epstein (Feb 1981), pages
Average Time Analyses of Simplified Davis-Putnam Procedures , Allen Goldberg, Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1982), pages [Information Processing Letters 15 (1982), 72--75]
An Empirical Comparison of Backtracking Algorithms , Cynthia A. Brown and Paul Walton Purdom, Jr (Jan 1982), pages [IEEE TPAMI 4 (1982), 309--316]
Inspiring Distribution in Distributed Computation , Robert E. Filman, Daniel P. Friedman (Dec 1980), pages [Note: same as TR 124 which has been published]
Research in the Computer Science Department at Indiana University , Mitchell Wand, Editor (Aug 1980), pages
An Experiment in SCHEME-Based Distribution Processing , G. Wolynes, J. Ginder, B. Roitblat, V. Roland (Aug 1980), pages
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), pages
Different Advice on Structuring Compilers and Proving Them Correct , Mitchell Wand (Sep 1980), pages
Deriving Target Code as a Representation of Continuation Semantics , Mitchell Wand (Jul 1982), pages [ACM Trans. on Prog. Lang. and Systems 4, 3 (July, 1982), 496--517]
SCHEME 3. 1 REFERENCE MANUAL , Mitchell Wand (Jun 1980), pages
Multiprocessing CODA: Applying PLITS Formalism to a Quasi-Parallel Model of SCHEME , Joseph R. Ginder (May 1980), pages
A Formal Model for Message Passing Systems , James E. Burns (Sep 1980), pages [(Revised)]
Continuation-Based Multiprocessing , Mitchell Wand (Jan 1980), pages [Proc. 1980 LISP Conference, 19--28]
An Analysis of Backtracking with Search Rearrangement , Cynthia A. Brown and Paul W. Purdom, Jr (Jun 1981), pages [(Revised) SIAM J. on Computing, 12 4, (1983) 717--733]
Specifications, Models, and Implementations of Data Abstractions , Mitchell Wand (Jan 1982), pages [Theoretical Computer Science 20 (1982) 3--32]
Parsing Extended LR(k) Grammars , Paul Walton Purdom, Jr. and Cynthia A. Brown (Jan 1980), pages [Acta Informatica 14 (1980), 299--315]
An Average Time Analysis of Backtracking , Cynthia A. Brown and Paul W. Purdom, Jr (Jan 1981), pages [SIAM J. on Computing (1981), 583--593]
A Computer System for the Analysis of Data Generated by Molecular Studies of DNA , Scott McCourt (May 1979), pages
An Approach to Fair Applicative Multiprogramming , David S. Wise and Daniel P. Friedman (Apr 1979), pages [G. Kahn (ed. ), Semantics of Concurrent Computation, Berlin, Springer (1979), 203--225]
Semantic Routines and LR(k) Parsers , Paul W. Purdom and Cynthia Brown (Jan 1980), pages [Acta Informatica, 14 (1980) 299--315]
Distributive Lattices of Order n , George Epstein (Mar 1979), pages
Classes as Syntactic Sugar , Mitchell Wand (Dec 1978), pages
An Indeterminate Constructor for Applicative Multiprogramming Record , Daniel P. Friedman and David S. Wise (Jan 1980), pages [7th ACM Symp. on Principles of Programming Languages (January, 1980), 245--250]
The Double Buddy-System , David S. Wise (Dec 1978), pages
Preliminary Approach to Applicative Programming for Systems , Daniel P. Friedman and David S. Wise (Nov 1978), pages
Backtracking with Multi-Level Dynamic Search Rearrangement , Paul W. Purdom, Jr. , Edward Robertson, and Cynthia Brown (Oct 1978), pages [Acta Informatica 15 (1981), 99--113]
Exact Formulas for the Buddy System , Paul W. Purdom, Jr. and Cynthia A. Brown (Jan 1980), pages [Information Sciences, 22 (1980) 1--18]
Morris's Garbage Compaction Algorithm Restores Reference Counts , David S. Wise (Jul 1979), pages [ACM Trans. on Programming Languages and Systems 1, 1 (July, 1979), 115--120]
Sting-unless: A Conditional, Interlock-free Store Instruction , Daniel P. Friedman and David S. Wise (Jan 1978), pages [Proc. 16th Ann. Allerton Conf. on Communication, Control, and Computing, University of Illinois, Urbana (1978), 578--584]
Reference Counting can Manage the Circular Environments of Mutual Recursion , Daniel P. Friedman and David S. Wise (Jan 1979), pages [Information Processing Letters, 8, 1 (January, 1979), 41--45]
Applicative Multiprogramming , Daniel P. Friedman and David S. Wise (Apr 1979), pages [(Revised)]
Context-Free Grammars for the Balanced and Overbalanced Binary Languages , George Epstein (Nov 1977), pages
A Note on Conditional Expressions , Daniel P. Friedman and David S. Wise (Nov 1978), pages [Comm. ACM 21, 11 (November, 1978), 931--933]
An Interpretive Model for a Language Based on Suspended Construction , Steven Dexter Johnson (Nov 2013), pages
Algebraic Theories and Tree Rewriting Systems , Mitchell Wand (Jun 1978), pages [(Revised)]
Final Algebra Semantics and Data Type Extensions , Mitchell Wand (Jan 1979), pages [J. Comp. Sys. Sci. , 19 (1979), 27--44]
Unbounded Computational Structures , Daniel P. Friedman and David S. Wise (Jul 1978), pages [Software Practice and Experience 8, 4 (July-August, 1978), 407--416]
Book Review of N. Rescher's Many-Valued Logic , George Epstein (May 1977), pages [Journal of Symbolic Logic]
Formal and Computer Poetry , George Epstein and Ben Shneiderman (Apr 1977), pages
Continuation-Based Program Transformation Strategies , Mitchell Wand (Jan 1980), pages [J. ACM, 27 (1980), 164--180]
Tree Size by Partial Backtracking , Paul W. Purdom (Nov 1978), pages [SIAM Journal on Computing 7, 4 (Nov 1978), 481--491]
Hardware Design Style I. A Mixed Logic Drafting Convention , Frank Prosser and D. Winkel (May 1977), pages [Computer Design, 16, 5 (May, 1977), 111--117]
An Interactive PLATO Lesson on Binary Tree Traversals , Edwin Brown III and Stuart C. Shapiro (Nov 1976), pages
The One-bit Reference Count , David S. Wise and Daniel P. Friedman (Sep 1977), pages [Nordisk Tidskr. Informationsbehandling (BIT) 17, 3 (September, 1977) 351--359]
Aspects of Applicative Programming for File Systems , Daniel P. Friedman and David S. Wise (Mar 1977), pages [Proc. ACM Conf. on Language Design for Reliable Software, SIGPLAN Notices 12, 3 (March, 1977), 41--55]
Compiling Lambda Expressions Using Continuations and Factorizations , Mitchell Wand and Daniel P. Friedman (Mar 1978), pages [Journal of Comp. Lang. 3, (1978) 241--263]
Automatic Program Indentation , Paul W. Purdom (Jan 1978), pages [BIT, 18 (1978) 211--218]
Logic for Semantic Networks , Robert J. Bechtel (Jul 1976), pages
Aspects of Applicative Programming for Parallel Processing , Daniel P. Friedman and David S. Wise (Apr 1978), pages [IEEE Trans. on Computers, C-27, 4 (April, 1978) 289--296]
Database Management Systems: A Review with Reference , Ben Shneiderman (May 1976), pages [Information Processing Management, 13p. 23 (1977)]
Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures , Daniel P. Friedman and David S. Wise (Dec 1976), pages [Information Processing Letters 5, 6 (December, 1976), 155--160]
VW: A Small but Potent Machine-Independent Text Editor , Nicholas F. Vitulli (Apr 1976), pages [Master's thesis. Should be available at Swain Library.]
Experimental Investigations of Computer Program Debugging and Modifications , Ben Shneiderman and Don McKay (Jul 1976), pages [Proceedings of the Sixth International Congress of International Ergonomics Association (July, 1976) (Available through Ben Shneiderman, Dept. of Computer Science, Univ. of Maryland, College Park, Maryland 20742.)]
A Logic for Semantic Networks , Robert Bechtel and Stuart C. Shapiro (Mar 1976), pages
The Relevance of Relevance , Stuart C. Shapiro and Mitchell Wand (Nov 1976), pages [(Revised)]
Recursive Programming through Table Look-Up , Daniel P. Friedman, David S. Wise, and Mitchell Wand (Jan 1976), pages [Proceedings of the 1976 AC Symposium on Symbolic and Algebraic Computation, (1976)]
CONS should not Evaluate its Arguments , Daniel P. Friedman and David S. Wise (Jan 1976), 26 pages plus appendix pages [I. S. Michaelson and R. Milner (eds. ), Automata, Languages and Programming, Edinburgh University Press, Edinburgh (1976), 256--284]
Reduced Combined Indexes for Efficient Multiple Attribute Retrieval , Ben Shneiderman (Feb 1977), pages [Information Systems, 21977, p. 149]
Efficient Axioms for Algebra Semantics , Mitchell Wand (Nov 1975), pages [Replaced by revised version of TR #29]
Mathematical Linguistics, Logic and the Development of Language and Reasoning in the Child , George Epstein and Stuart C. Shapiro (Oct 1976), pages [Annals of the New York Academy of Sciences, 280 (October,1976),120-126]
An Environment for Multiple-Valued Recursive Procedures , Daniel P. Friedman and David S. Wise (Jan 1977), pages [In B. Robinet (ed. ) Programmation, Dunod Informatique, Paris (1977), 182--200]
Decisive Venn Diagrams , George Epstein (Jan 1976), pages [Proceedings of the 1976 Int'l. Symp. on Multiple-Valued Logic]
Towards a Cognitive Model of Programmer Behavior , Ben Shneiderman and Richard Mayer (Jun 1979), pages [Intl. J. Comp. and Information Science 8, 3 (June, 1979), p. 219]
Experimental Investigations of the Utility of Flowcharts in Programming , Ben Shneiderman, Richard Mayer, Don McKay and Peter Heller (Jun 1977), pages [COMM. ACM 20, (June, 1977)]
Garbage Collecting a Heap which Includes a Scatter Table , Daniel P. Friedman and David S. Wise (Apr 1977), pages [Information Processing Letters 5, 6 (December, 1976) 161--164 Erratum Information Processing Lett. 6, 2 (April, 1977), 72]
Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation , John D. Lowrance and Daniel P. Friedman (Jan 1977), pages [International Journal of Man-Machine Studies 9 (1977), 537--581]
Batched Searching of Sequential and Tree Structured Files , Ben Shneiderman and Victor Goodman (Sep 1976), pages [ACM TODS1}, 3 (September, 1976), p. 268]
An Introduction to SNePs , Stuart C. Shapiro (Dec 1976), pages [(Revised)]
On Storage Structures and Their Transformations , Peter Scheuermann and Ben Shneiderman (Jun 1975), pages
First-Order Identities as a Defining Language , Mitchell Wand (May 1979), pages [(Revised) Published in Acta Informatica 14, (1980), 337--357]
GRAPHER, an Interactive Environment for the Study of Graph Theory , Stephen Hoover and Stuart C. Shapiro (May 1975), pages
Functional Combination , Daniel P. Friedman and David S. Wise (Jan 1978), pages [Computer Languages 3, 1 (January, 1978), 31--35]
The Basic Arithmetic and Mathematics of Two's Complementary Computations , George Epstein (Apr 1975), pages
A Review of Design Techniques for Programs and Data , Ben Shneiderman (Jan 1976), pages [Software Practice and Experience 5, (1976), 555--567]
Logics which are Characterized by Subresiduated Lattices , George Epstein and A. Horn (Jan 1976), pages [Zeitschrift f "ur mathematische Logik und Grundlagen der Mathematik Bd. 22, (1976)]
Fixed-Point Constructions in Order-Enriched Categories. , Mitchell Wand (Aug 2013), 34 pages [Theoret. Comp. Sci. 8 (1979)]
Fixed-Point Constructions in Order-Enriched Categories. , Mitchell Wand (Aug 2013), 34 pages [Theoret. Comp. Sci. 8 (1979)]
Boolean-Valued loops , David S. Wise, Daniel P. Friedman, Stuart C. Shapiro and Mitchell Wand (Dec 1975), pages [Nordisk Tidskr. Informations behandling (BIT) 15]
The Frame Model of Computation , Mitchell Wand (Dec 1974), pages
Unwinding Structured Recursions into Iterations , Daniel P. Friedman and David S. Wise (Dec 1974), pages
Introduction to Algebraic Concepts for Computer Foundations , George Epstein (Oct 1974), pages
Exploratory Experiments in Programmer Behavior , Ben Shneiderman (Jun 1976), pages [Intl. J. Computer and Information Sciences 5, (June, 1976), 123--143]
Experimental Testing in Programming Languages, Stylistic Considerations and Design Techniques. , Ben Shneiderman (Jan 1975), pages [Proc. NCC, AFIPS Press (1975), 653--656]
PLATO Lessons for a Data Structures Course , Stuart C. Shapiro (Aug 1974), pages
Induction, Recursion, and Programming , Mitchell Wand (Jul 1976), pages [(Revised) Published by Elsevier North Holland, 1980]
Towards a Theory of Encoded Data Structures and Data Translation , Ben Shneiderman and Stuart C. Shapiro (Mar 1976), pages [Int. J. of Computer and Information Sciences 5, 1 (March, 1976), 33-43]
Interactive Consulting Via Natural Language , Stuart C. Shapiro and Stanley C. Kwasny (Aug 1975), pages [CACM 18, 8 (August, 1975), 459--462]
Realizing Data Structures as Lattices , Mitchell Wand (Jan 1975), pages [Replaced by TR #23]
A Case for While-Until , Daniel P. Friedman and Stuart C. Shapiro (Jul 1974), pages [SIGPLAN Notices 9, 7 (July, 1974),7--14]
Referencing Lists by an Edge , David S. Wise (Jun 1976), pages [Comm. ACM 19, 6 (June 1976), 338--342]
A Guide to the Use of HYCOMP1 , Stuart C. Shapiro and David A. Grace (Dec 1973), pages
Interactive Visual Simulation for Beginning Programming Students , Stuart C. Shapiro and Douglas P. Witmer (Feb 1974), pages [(also known as TR7) SIGCSE Bulletin 6, 1 (February, 1974), 11--14]
A Strong Pumping Lemma for Context-Free Languages , David S. Wise (Mar 1976), pages [Theoretical Computer Science 3, 3 (1976) 359--369]
The Size of LR(0) Machines , Paul W Purdom Jr (Jan 1973), 23 pages pages

This technical report index was auto-generated: Mon Jun 17 00:10:02 2024