Johan Bevemyr, M.Sc., Ph.D.

Phones: +46 709 28 30 82

I'm currently writing software for an SSL-based VPN device and a wireless security switch. The work on SSL-VPN includes on the fly code transformation of dynamic content at wire speed.

Publications

• Johan Bevemyr, Data-parallel implementation of Prolog. PhD Thesis, November 1996.
• Johan Bevemyr, A Generational Parallel Copying Garbage Collector for Shared Memory Prolog. Technical report 117, October 1995.
• Thomas Lindgren, Per Mildner, Johan Bevemyr, On Taylor's scheme for unbound variables. Technical report 116, October 1995.
• Johan Bevemyr, Thomas Lindgren, Håkan Millroth, The Reform Prolog System, March 1995 (submitted).
• Jonas Barklund, Johan Bevemyr, Prolog with Arrays and Bounded Quantifications, to appear in Journal of Programming Languages.
• Thomas Lindgren, Johan Bevemyr, Håkan Millroth, Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor, in Proc. EURO-PAR'95, LNCS 966. Also appears as technical report 110, July 1995.
• Johan Bevemyr, Thomas Lindgren, A Simple and Efficient Copying Garbage Collector, appeared in PLILP'94.
• Johan Bevemyr, Thomas Lindgren, Håkan Millroth, Reform Prolog: The Language and its Implementation, appeared in ICLP'93. Also available as technical report 76 from the department. (November 15, 1993.)
• Johan Bevemyr, Thomas Lindgren Håkan Millroth, Exploiting Recursion-Parallelism in Prolog, appeared in PARLE'93. Also available as technical report 75 from the department. (November 15, 1993.)
• Henrik Arro, Jonas Barklund, Johan Bevemyr, Parallel bounded quantification - preliminary results. ACM SIGPLAN Notices, 28:117-124, 1993.
• Jonas Barklund, Johan Bevemyr, Executing Bounded Quantifications on Shared Memory Multiprocessors. Also available as technical report ?? from the department. (November 15, 1993.)
• Jonas Barklund, Johan Bevemyr, Prolog with Arrays and Bounded Quantifications, appeared in LPAR'93. Also available as technical report ?? from the department. (November 15, 1993.)
• Johan Bevemyr, The Luther WAM Emulator. Also available as technical report 72 from the department. (May, 1992.)
• A Recursion Parallel Prolog Engine, my licentiate of philosophy thesis.