Selected Publications -- Wim Böhm

Functional Language and Dataflow related papers:

• On the Effectiveness of Functional Language Features: NAS benchmark FT,
  J. Hammes, S. Sur, and W. Bohm,
  in Journal of Functional Programming, January 1997
• Functional Implementations of the Jacobi Eigen-Solver,
  Wim Böhm, Bob Hiromoto
  The Journal of Scientific Programming , Vol. 5, pp. 111-120 (1996)
• Generation, Optimization and Evaluation of Multithreaded Code,
  Walid Najjar, Lucas Roh, Bhanu Shankar, Wim Böhm
  Journal of Parallel and Distributed Computing 32, pp. 188-204 (1996).
• Comparing Id and Haskell in a Monte Carlo photon transport code.,
  J. Hammes, O. Lubeck, and W. Bohm,
  in Journal of Functional Programming, July 1995
• Reducing Communication by Honoring Multiple Alignments,
  David Garza-Salazar, Wim Böhm
  Proc. of the 9th ACM Int'l. Conf. on Supercomputing (ICS'95) , pp. 87-96 Barcelona, Spain Jul. 1995.
• Uniqueness and Completeness Analysis of Array Comprehensions,
  David Garza-Salazar, Wim Böhm
  Proc. of the First Int'l. Static Analysis Symp. (SAS'94) , pp. 193-207 Namur, Belgium Sep. 1994. Vol 18, No. 3, 1993
• Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT ,
  Sumit Sur, Wim Böhm
  Proc. of the Int'l. Conf. on Parallel Architecture and Compilation Techniques (PACT'94) Montreal, Canada
• Analysis of Non-Strict Functional Implementations of the Dongarra-Sorensen Eigensolver,
  Sumit Sur, Wim Böhm
  Proc. Int. Conf. on Supercomputing (ICS) Manchester, UK June, 1994 Aug., 1994.

background by M.C. Escher