Selected Publications

Another interesting link on the internet that contains information about my publications is the The Collection of Computer Science Bibliographies where you can also look for another dynamically updated list of some of my papers. This one also contains BibTeX items that you can use.

You can also get some information about the conference they appeared by following the link (provided that that link is still maintained).

Unpublished Works

• Minimal Model Tabling in Mercury
  with Zoltan Somogyi.
  
• Functional Manipulation of Bit Streams
  with Per Gustafsson.
  
• Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications
  Talk presented at the 2005 Workshop on the Evaluation of Software Defect Detection Tools (Bugs'05), Chicago, June 2005.
  
• From (multi-)generational to segment order preserving copying garbage collection for the WAM
  with Bart Demoen.
  

Journal Publications

• Efficient memory management for concurrent programs that use message passing
  with Jesper Wilhelmsson.
  Appears in the Science of Computer Programming (Special Issue: Five perspectives on modern memory management – Systems, hardware and theory), 62(2), pages 98–121, October 2006.
• Message analysis for concurrent programs using message passing
  with Richard Carlsson and Jesper Wilhelmsson.
  Appears in the ACM Transactions on Programming Languages and Systems, 28(4), pages 715–746, July 2006.
• Efficient manipulation of binary data using pattern matching
  with Per Gustafsson.
  Appears in the Journal of Functional Programming, 16(1), pages 35–74, January 2006.
• Experimental evaluation and improvements to linear scan register allocation
  with Erik Stenman.
  Appears in Software – Practice and Experience, 33(11), pages 1003-1034, September 2003.
• The Development of the HiPE System: Design and Experience Report
  with Erik Johansson, Mikael Pettersson, and Thomas Lindgren.
  Appears in the Springer International Journal on Software Tools for Technology Transfer, 4(4), pages 421-436, August 2003.
• ASTEC: An Exprerience in the Establishment of Collaboration between Academia and Industry
  with Bengt Jonsson.
  Appears in the Springer International Journal on Software Tools for Technology Transfer, 4(4), pages 401-404, August 2003.
• Heap Memory Management in Prolog with Tabling: Principles and Practice
  with Bart Demoen.
  Appears in the Journal of Functional and Logic Programming, 2001(9), pages 1-56, October 2001. Special issue on selected papers from PADL'00.
• The Limits of Fixed-Order Computation
  with Terrance Swift and David S. Warren.
  Appears in Theoretical Computer Science, 254, pages 465-499, March 2001.
• Termination Proofs for Logic Programs with Tabling
  with Sofie Verbaeten and Danny De Schreye.
  Appears in ACM Transactions on Computational Logic (TOCL), 1(3), pages 57-92, January 2001.
• An Abstract Machine for Efficiently Computing Queries to Well-Founded Models
  with Terrance Swift and David S. Warren.
  Appears in the Journal of Logic Programming, 45(1-3), pages 1-41, September 2000.
• CHAT: The Copy-Hybrid Approach to Tabling
  with Bart Demoen.
  Appears in the journal of Future Generation Computer Systems, Special Issue on Principles of Abstract Machines, 16(7), pages 809-830, May 2000.
• CAT: The Copying Approach to Tabling
  with Bart Demoen.
  Appears in the Journal of Functional and Logic Programming, Special issue on selected papers from PLILP/ALP'98, 1999(2), pages 1-38, November 1999.
• Efficient Access Mechanisms for Tabled Logic Programs
  with I.V. Ramakrishnan, Prasad Rao, Terrance Swift and David S. Warren.
  Appears in the Journal of Logic Programming, 38(1), pages 31-54, January 1999.
• Semantics-Based Program Analysis for Logic-Based Languages using XSB
  with Michael Codish and Bart Demoen.
  Appears in the Springer International Journal on Software Tools for Technology Transfer, 2(1), pages 29-45, November 1998.
• Extending Partial Deduction to Tabled Execution: Some Results and Open Issues
  with Michael Leuschel.
  Appears in ACM Computing Surverys, 30(3), September 1998.
• An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
  with Terrance Swift.
  Appears in ACM Transactions on Programming Languages and Systems, 20(3), pages 586-634, May 1998.

Conference Publications

• Gradual Typing of Erlang Programs: A Wrangler Experience
  with Daniel Luna.
  (in the Seventh ACM SIGPLAN Erlang Workshop (Erlang'08)).
• A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings
  with Miguel Jimenez and Tobias Lindahl.
  (in the Sixth ACM SIGPLAN Erlang Workshop (Erlang'07)).
• Demand-Driven Indexing of Prolog Clauses
  with Vítor Santos Costa and Ricardo Lopes.
  (in the 23rd International Conference on Logic Programming (ICLP'07)).
• Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
  with Per Gustafsson.
  (in the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07)).
• Practical Type Inference Based on Success Typings
  with Tobias Lindahl.
  (in the 8th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06)).
• Mark and Split
  with Jesper Wilhelmsson.
  (in the ACM SIGPLAN International Symposium on Memory Management (ISMM'06)).
• Tabling in Mercury: Design and Implementation
  with Zoltan Somogyi.
  (in the Eighth International Symposium on Practical Aspects of Declarative Languages (PADL'06)).
• TypEr: A Type Annotator of Erlang Code
  with Tobias Lindahl.
  (in the Fourth ACM SIGPLAN Erlang Workshop (Erlang'05)).
• Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
  with Daniel Luna and Mikael Pettersson.
  (in the 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005)).
• Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
  with Tobias Lindahl.
  (in the Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004)).
• Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language
  with Jesper Wilhelmsson.
  (in the ACM SIGPLAN International Symposium on Memory Management (ISMM'04)).
• HiPE on AMD64
  with Daniel Luna and Mikael Pettersson.
  (in the Third ACM SIGPLAN Erlang Workshop (Erlang'04)).
• Just Enough Tabling
  with Peter J. Stuckey.
  (in the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004)).
• Adaptive Pattern Matching on Binary Data
  with Per Gustafsson.
  (in the European Symposium on Programming (ESOP 2004)).
• All you wanted to know about the HiPE compiler (and might have been afraid to ask)
  with Mikael Pettersson, Richard Carlsson, Per Gustafsson, and Tobias Lindahl.
  (in the Second ACM SIGPLAN Erlang Workshop (Erlang'03)).
• Message Analysis for Concurrent Languages
  with Richard Carlsson and Jesper Wilhelmsson.
  (in the 10th International Static Analysis Symposium (SAS'03)).
• Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
  with Tobias Lindahl.
  (in the 14th International Workshop on the Implementation of Functional Languages (IFL'02)).
• Native code compilation of Erlang's bit syntax
  with Per Gustafsson.
  (in the First ACM SIGPLAN Erlang Workshop (Erlang'02)).
• On Reducing Interprocess Communication Overhead in Concurrent Programs
  with Erik Stenman.
  (in the First ACM SIGPLAN Erlang Workshop (Erlang'02)).
• The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
  with Mikael Pettersson and Erik Johansson.
  (in the Sixth International Symposium on Functional and Logic Programming (FLOPS 2002)).
• On Enabling the WAM with Region Support
  with Henning Makholm.
  (in International Conference on Logic Programming (ICLP 2002)).
• Heap Architectures for Concurrent Languages using Message Passing
  with Erik Johansson and Jesper Wilhelmsson.
  (in ACM SIGPLAN International Symposium on Memory Management (ISMM 2002)).
• Linear Scan Register Allocation in a High Performance Erlang Compiler
  with Erik Johansson.
  (in Practical Aspects of Declarative Languages (PADL'02)) (co-located with POPL'02)).
• Segment order preserving and generational garbage collection for Prolog
  with Ruben Vandeginste and Bart Demoen.
  (in Practical Aspects of Declarative Languages (PADL'02)) (co-located with POPL'02)).
• Instruction Merging and Specialization in the SICStus Prolog Virtual Machine
  with Henrik Nässén and Mats Carlsson.
  (in ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)).
• HiPE: A High Performance Erlang System
  with Erik Johansson, and Mikael Pettersson.
  (in ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000)).
• Heap Garbage Collection in XSB: Practice and Experience
  with Bart Demoen.
  (in Practical Aspects of Declarative Languages (PADL'00)) (in conjuction with POPL'00)).
• Modular Termination Proofs For Prolog With Tabling
  with Sofie Verbaeten and Danny De Schreye.
  (in Principles and Practice of Declarative Programming (PPDP'99)).
• CHAT is $\$Theta\$$(SLG-WAM)
  with Bart Demoen.
  (in Logic for Programming and Automated Reasoning (LPAR'99)).
• CHAT: The Copy-Hybrid Approach to Tabling
  with Bart Demoen.
  (in Practical Aspects of Declarative Languages (PADL'99) (in conjuction with POPL'99)).
• A better CAT made-in-Belgium: CHAT (or KAT)
  with Bart Demoen.
  (in Workshop on Principles of Abstract Machines (in conjuction with SAS/PLILP/ALP'98)).
  NOTE: This paper is no longer electronically available as it is subsumed by the paper: CHAT: The Copy-Hybrid Approach to Tabling.
• Memory Management for Prolog with Tabling
  with Bart Demoen.
  (in ACM SIGPLAN International Symposium on Memory Management (ISMM'98); also published in SIGPLAN Notices, 34(3), March 1999).
• CAT: the Copying Approach to Tabling
  with Bart Demoen.
  (in Principles of Declarative Programming - 10th Joint International Symposium PLILP'98).
• On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems
  with Gerda Janssens.
  (in Tabulation in Parsing and Deduction (TAPD'98)).
• A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
  with Maurice Bruynooghe and Michael Leuschel.
  (in Programming Languages and Systems (ESOP'98)).
• Preserving Termination of Tabled Logic Programs While Unfolding
  with Michael Leuschel and Bern Martens.
  (in LOPSTR'97).
• Termination Analysis for Tabled Logic Programming
  with Stefaan Decorte, Danny De Schreye, Michael Leuschel and Bern Martens.
  (in LOPSTR'97).
• XSB as the Natural Habitat for General Purpose Program Analysis
  with Michael Codish and Bart Demoen.
  (in electronic proceedings of WAILL'96).
  NOTE: This paper is no longer electronically available as it is subsumed by the paper: Semantics-Based Program Analysis for Logic-Based Languages using XSB.
• XSB: A System for Efficiently Computing Well-Founded Semantics
  with Prasad Rao, Terrance Swift, David S. Warren and Juliana Freire.
  (in LPNMR'97).
• An Abstract Machine for Computing the Well-Founded Semantics
  with Terrance Swift and David S. Warren.
  (in JICSLP'96).
• An Abstract Machine for Fixed-Order Dynamically Stratified Programs
  with Terrance Swift and David S. Warren.
  (in CADE'96).
• The Limits of Fixed-Order Computation
  with Terrance Swift and David S. Warren.
  (in LID'96).
• Efficient Tabling Mechanisms for Logic Programs
  with I.V. Ramakrishnan, Prasad Rao, Terrance Swift and David S. Warren.
  (in ICLP'95).
  NOTE: Instead of this paper, I recommend obtaining its journal version Efficient Access Mechanisms for Tabled Logic Programs.
• Efficient Execution of HiLog in WAM-based Prolog implementations
  with David S. Warren.
  (in ICLP'95).
• Unification Factoring for Efficient Evaluation of Logic Programs
  with Steven Dawson, C.R. Ramakrishnan, I.V. Ramakrishnan, Steven Skiena, Terrance Swift and David S. Warren.
  (winner of the infamous ``most authors award'' in POPL'95 :-).
• XSB as an Efficient Deductive Database Engine
  with Terrance Swift and David S. Warren.
  (in SIGMOD'94).

I try to keep links to my co-authors, but there are no guarantees that their homepages (still) exist.