Visitors so far: some

ASTEC

Publications

In Journals

PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
Konstantinos Sagonas and Erik Stenman
Experimental evaluation and improvements to linear scan register allocation
In Software: Practice & Experience, 33(11):1003-1034, September 2003.
 
PDF
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

PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
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.
 
PDF
PS
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.
 
PS
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.
 
PS
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.
 
PDF
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.
 
PDF
PS
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.
 
PS
Richard Carlsson
An Introduction to Core Erlang
Presented at the PLI 2001 Erlang Workshop, Firenze, Italy, September 2, 2001.
 
PDF
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
 
PS
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

PDF
Jesper Wilhelmsson
Efficient Memory Management for Message-Passing Concurrency
Thesis for the degree of Licentiate of Philosophy, May, 2005
 
PDF
Daniel Luna
An AMD64 Backend for HiPE: Implementation, Performance Evaluation and Lessons Learned
Master's thesis, Uppsala University, December 2004
 
PS
Erik Stenman
Efficient Implementation of Concurrent Programming Languages
Ph.D.s thesis, Uppsala University, November 2002.
 
PS
Per Gustafsson
Native code compilation of Erlang's bit syntax
Master's thesis, Uppsala University, October 2002.
 
PDF
Tobias Lindahl
Compiling floating point arithmetic in the High Performance Erlang Compiler
Master's thesis, Uppsala University, October 2002.
 
PDF
PS
Jesper Wilhelmsson
Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation
Master's thesis, Uppsala University, April 2002.
 
PDF
Erik Johansson
Performance Measurements and Process Optimization for Erlang
Thesis for the degree of Licentiate of Philosophy, November, 1999.
 
PS.gz
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.
 
PS.gz
Jan Sjödin
A global code optimizer utilizing static single assignment form
Masters thesis, Uppsala University, January 1997. (Revised February 1997.)
 
PS.gz
Erik Johansson and Christer Jonsson
Native code compilation for Erlang
Masters thesis, Uppsala University, October 1996.
 
PS.gz
Anders Lindgren
A Prototype of a Soft Type System for Erlang
Masters thesis, Uppsala University, April 1996.
 
PS.gz
Alexander J.-C. Bottema
An Asynchronous Message Passing and Concurrent Scheme Implementation
Masters thesis, Uppsala University, April 1996.

--------------

Technical Reports

PDF PS
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.
 
PDF PS
Mikael Pettersson
A staged tag scheme for Erlang
Technical report, Department of Information Technology. November 2000.
 
PDF PS
Richard Carlsson
Extending Erlang with structured module packages
Technical report, Department of Information Technology. January 2000.
 
PS
Thomas Lindgren and Christer Jonsson
The Design and Implementation of a High-Performance Erlang Compiler
ASTEC report 99/05, November 1999.
 
PS
E. Johansson, S.-O. Nyström, M. Pettersson and K. Sagonas
HiPE: High-Performance Erlang
ASTEC report 99/04, October 1999.
 
PS.gz
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.
 
PS.gz
Thomas Lindgren
Module merging: aggressive optimization and code replacement in highly available systems
UPMAIL TR 154, March 1998.
 
PS
Niklas Een and Olof Lindroth
The Erlang port recorder
Manuscript, September 1997.
 
PS.gz
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.)
 
PS.gz
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.
 
PS
A. Lindgren, A.J.-C. Bottema, T. Lindgren, J. Bevemyr and H. Millroth
A High-Precision Measurement Tool for Erlang
Manuscript, February 1997.
 

--------------

Presentations



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