High-Performance Erlang

Visitors so far: some

Publications

In Journals

	Konstantinos Sagonas, and Jesper Wilhelmsson Efficient memory management for concurrent programs that use message passing In Science of Computer Programming, 62(2):98-121, October 2006.

	Richard Carlsson, Konstantinos Sagonas, and Jesper Wilhelmsson Message analysis for concurrent programs using message passing In ACM Transactions on Programming Languages and Systems, 28(4):715-746, July 2006.

	Per Gustafsson and Konstantinos Sagonas Efficient manipulation of binary data using pattern matching In the Journal of Functional Programming, 16(1):35-74, January 2006.

	Konstantinos Sagonas and Erik Stenman Experimental evaluation and improvements to linear scan register allocation In Software: Practice & Experience, 33(11):1003-1034, September 2003.

	Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, and Thomas Lindgren The development of the HiPE system: Design and experience report In Springer International Journal on Software Tools for Technology Transfer, 4(4):421-436, August 2003.

In Conferences

	Per Gustafsson and Konstantinos Sagonas Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang In Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). To appear.

	Tobias Lindahl and Konstantinos Sagonas Practical Type Inference Based on Success Typings In Proceedings of the Eight ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06) pages 167-178. July 2006. ACM Press.

	Konstantinos Sagonas and Jesper Wilhelmsson Mark and Split In Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM'06), pages 29-39, June 2006. ACM Press.

	Tobias Lindahl and Konstantinos Sagonas TypEr: A Type Annotator of Erlang Code In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pages 17-25. September 2005. ACM Press.

	Per Gustafsson and Konstantinos Sagonas Bit-level Binaries and Generalized Comprehensions in Erlang In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pages 1-8, September 2005. ACM Press.

	Daniel Luna, Mikael Pettersson, and Konstantinos Sagonas Efficiently Compiling a Functional Language on AMD64: The HiPE Experience In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2005), pages 176-186, July 2005. ACM Press.

	Tobias Lindahl and Konstantinos Sagonas Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story In Proceedings of the Second ASIAN Symposium on Programming Languages and Systems (APLAS'04), pages 86-101, LNCS, November 2004. Springer.

	Konstantinos Sagonas and Jesper Wilhelmsson Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language In the Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM'04), pages 1-12, October 2004. ACM Press.

	Richard Carlsson, Björn Gustavsson, and Patrik Nyblom Erlang's Exception Handling Revisited In Proceedings of the Third ACM SIGPLAN Erlang Workshop, September 2004. ACM Press.

	Daniel Luna, Mikael Pettersson, and Konstantinos Sagonas HiPE on AMD64 In Proceedings of the Third ACM SIGPLAN Erlang Workshop, pages 38-47, September 2004. ACM Press.

	Per Gustafsson and Konstantinos Sagonas Adaptive Pattern Matching on Binary Data In the Proceedings of the European Symposium on Programming (ESOP'04), pages 124-139, Number 2986 in LNCS, April/March 2004. Springer.

	Richard Carlsson, Konstantinos Sagonas, and Jesper Wilhelmsson Message Analysis for Concurrent Languages In the Proceedings of the Tenth Static Analysis Symposium (SAS'03), pages 73-90, Number 2694 in LNCS, June 2003. Springer.

	Erik Johansson, Konstantinos Sagonas, and Jesper Wilhelmsson Heap Architectures for Concurrent Languages using Message Passing In the Proceedings of the ASM SIGPLAN International Symposium on Memory Management (ISMM'02), pages 88-99, June 2002. ACM Press.

	Mikael Pettersson, Konstantinos Sagonas, and Erik Johansson The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation In the Proceedings of the Sixth Ineternational Symposium on Functional and Logic Programming, pages 228-244, Number 2441 in LNCS, September 2002. Springer.

	Tobias Lindahl and Konstantinos Sagonas Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment In the Proceedings of the 14th International Workshop on the Implementation of Functional Programming Languages, pages 134-149, Number 2670 in LNCS, September 2002. Springer.

	K. Sagonas, M. Pettersson, R. Carlsson, P. Gustafsson, and T. Lindahl All you wanted to know about the HiPE compiler (and might have been afraid to ask) In the Proceedings of the Second ACM SIGPLAN Erlang Workshop, pages 37-43, August 2003. ACM Press.

	Richard Carlsson Hierarchical Module Namespaces in Erlang Presented at the ACM SIGPLAN Erlang Workshop, Pittsburgh, USA, October 7, 2002.

	Erik Johansson and Konstantinos Sagonas Linear Scan Register Allocation in a High-Performance Erlang Compiler In the Proceedings of the 4th International Symposium, Practical Aspects of Declarative Languages (PADL 2002), Portland, OR, USA, January 19-20, 2002. LNCS Vol. 2257, pp 101-119.

	Richard Carlsson An Introduction to Core Erlang Presented at the PLI 2001 Erlang Workshop, Firenze, Italy, September 2, 2001.

	Erik Johansson, Mikael Pettersson and Konstantinos Sagonas A High Performance Erlang System Presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montreal, Canada, September 20-22, 2000

	Erik Johansson and Sven-Olof Nyström Profile-guided optimization across process boundaries In ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00). Jan 18, 2000.

Theses

	Jesper Wilhelmsson Efficient Memory Management for Message-Passing Concurrency Thesis for the degree of Licentiate of Philosophy, May, 2005

	Daniel Luna An AMD64 Backend for HiPE: Implementation, Performance Evaluation and Lessons Learned Master's thesis, Uppsala University, December 2004

	Erik Stenman Efficient Implementation of Concurrent Programming Languages Ph.D.s thesis, Uppsala University, November 2002.

	Per Gustafsson Native code compilation of Erlang's bit syntax Master's thesis, Uppsala University, October 2002.

	Tobias Lindahl Compiling floating point arithmetic in the High Performance Erlang Compiler Master's thesis, Uppsala University, October 2002.

	Jesper Wilhelmsson Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation Master's thesis, Uppsala University, April 2002.

	Erik Johansson Performance Measurements and Process Optimization for Erlang Thesis for the degree of Licentiate of Philosophy, November, 1999.

	Richard Carlsson Towards a deadlock analysis for Erlang programs Masters thesis, Uppsala University, April 1997. A version of this work appears as UPMAIL TR 146.

	Jan Sjödin A global code optimizer utilizing static single assignment form Masters thesis, Uppsala University, January 1997. (Revised February 1997.)

	Erik Johansson and Christer Jonsson Native code compilation for Erlang Masters thesis, Uppsala University, October 1996.

	Anders Lindgren A Prototype of a Soft Type System for Erlang Masters thesis, Uppsala University, April 1996.

	Alexander J.-C. Bottema An Asynchronous Message Passing and Concurrent Scheme Implementation Masters thesis, Uppsala University, April 1996.

Technical Reports

	R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S.-O. Nyström, M. Pettersson and R. Virding Core Erlang 1.0 language specification Technical report, Department of Information Technology. November 2000.

	Mikael Pettersson A staged tag scheme for Erlang Technical report, Department of Information Technology. November 2000.

	Richard Carlsson Extending Erlang with structured module packages Technical report, Department of Information Technology. January 2000.

	Thomas Lindgren and Christer Jonsson The Design and Implementation of a High-Performance Erlang Compiler ASTEC report 99/05, November 1999.

	E. Johansson, S.-O. Nyström, M. Pettersson and K. Sagonas HiPE: High-Performance Erlang ASTEC report 99/04, October 1999.

	E. Johansson, S.-O. Nyström, C. Jonsson and T. Lindgren Evaluation of HiPE, an Erlang Native Code Compiler ASTEC report 99/03, October 1999.

	Thomas Lindgren Module merging: aggressive optimization and code replacement in highly available systems UPMAIL TR 154, March 1998.

	Niklas Een and Olof Lindroth The Erlang port recorder Manuscript, September 1997.

	E. Johansson, C. Jonsson, T. Lindgren, J. Bevemyr and H. Millroth A pragmatic approach to compilation of Erlang UPMAIL TR 136, February 1997; revised July 1997. (A short system description appears in Proceedings of PLILP'97, September 1997.)

	Richard Carlsson and Håkan Millroth On cyclic process dependencies and the verification of absence of deadlocks in reactive systems UPMAIL TR 145, February 1997.

	A. Lindgren, A.J.-C. Bottema, T. Lindgren, J. Bevemyr and H. Millroth A High-Precision Measurement Tool for Erlang Manuscript, February 1997.

Presentations

Talks/slides on the High-Performance Erlang project.

Page maintainer: Jesper Wilhelmsson (jesperw@it.uu.se) Last modified: 23 Apr 10
Uppsala University - IT Department - Research - Group - High-Performance Erlang