• Software Integrity Protection Using Timed Executable Agents. (with Juan Garay) Proc. ACM Symposium on Information, Computer and Communications Security (ASIACCS'06), pp. 189-200, Taiwan, March 2006.

  • Fast Evolution of Custom Machine Representations. Proceedings of the Congress on Evolutionary Computation, pp. 97-104, August 2005.

  • Abstract Program Evolution. To appear in Journal of Knowledge and Information Systems, 2003.

  • HAGAR: Efficient Multi-Context Graph Processors. (with Oskar Mencer and Zhining Huang) Conference on Field Programmable Logic and Applications, pp. 915-924, September 2002.

  • Design Principles for Maximizing the Capacity of Multi-Antenna Systems. (with M. Andrews, P. Mitra, and A. Sengupta) Proceedings of URSI National Radio Science Meeting, January 2001.

  • Abstract Program Evaluation and its Application to Sorter Evolution. Proceedings of the Congress on Evolutionary Computation, pp. 1407-1414, July 2000.

  • A Representation for Dynamic Graphs in Reconfigurable Hardware and its Application to Fundamental Graph Algorithms. Proceedings of the ACM Int. Symp. on Field Programmable Gate Arrays (FPGA 2000), pp. 105-115, February 2000.

  • Evolving Oscillators in Silico. (with Edward Rietman and Robert Slous) IEEE Trans. on Evolutionary Computation, 3(3), pp. 197-204, September 1999.

  • Very Concurrent Mark-&-Sweep Garbage Collection without Fine-grain Synchronization (with Phil Winterbottom). Proceedings of the Int. Symp. on Memory Management, pp. 166-175, October 1998.

  • Evolution of Multistable Vibrators in Silico (with Edward Rietman and Robert Slous). Proceedings of the Int. Conference on Evolvable Systems, pp. 66-77, September 1998.

  • Finding General Solutions to the Parity Problem by Evolving Machine-Language Representations. Proceedings of the Conference on Genetic Programming, pp. 158-166, July 1998.

  • Learning Recursive Sequences via Evolution of Machine-Language Programs. Proceedings of the Conference on Genetic Programming, pp. 186-194, July 1997.

  • Dynamic Resolution: A Runtime Technique for the Parallelization of Modifications to Directed Acyclic Graphs. Int. Journal of Parallel Programming, 25(5), pp. 385-417, October 1997.

  • A Logically Reversible Evaluator for the Call-by-Name Lambda Calculus. Proceedings of the Workshop on Physics and Computation, pp. 159-167, November 1996.

  • Dynamic Parallelization of Modifications to Directed Acyclic Graphs. Proceedings of the Conference on Parallel Architectures and Compilation Techniques, pp. 186-197, October 1996.

  • Toward Simulated Evolution of Machine-Language Iteration. Proceedings of the Conference on Genetic Programming, pp. 315-320, July 1996.

  • A Portable C Interface for Standard ML of New Jersey. AT&T Bell Laboratories Technical Memorandum, November 1995.

  • A Win32 Programming Interface for SML/NJ (with Sheng Liang). AT&T Bell Laboratories White Paper, September 1995.

  • Using the Run-time Sizes of Data Structures to Guide Parallel-Thread Creation (with Jim Larus and Alex Aiken). Proceedings of the ACM Conference on Lisp and Functional Programming, pp. 79-90, June 1994, ACM Press.

  • A Shared-Memory Multiprocessor Implementation of Data-Parallel Operators for ML (with Dan Suciu) Technical Report IRCS-94-27, Computer Sciences Department, University of Pennsylvania, 1994.

  • Dynamic Language Parallelization. PhD dissertation, Technical Report 1178, Computer Sciences Department, University of Wisconsin-Madison, August 1993.

  • Statistical Evidence for Small Generating Sets (with Eric Bach). Mathematics of Computation, 61:203, pp. 69-82, July 1993.

  • A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data (with Jim Larus). Proceedings of the ACM Conference on Principles and Practice of Parallel Programming, pp. 73-82, May 1993.

  • Dynamic Program Parallelization (with Jim Larus). Proceedings of the ACM Conference on Lisp and Functional Programming, pp. 311-323, June 1992.

  • Exact Dependence Analysis Using Data Access Descriptors (with Jim Larus and Doug Hahn). Proceedings of the International Conference on Parallel Processing, 1990.

    lorenz home