Extending Erlang for Safe Mobile Code Execution
by L. Brown, D. Sahlin. (ps.gz)
url: www.unsw.adfa.edu.au/~lpb/papers/tr9703.ps.gz
A High Performance Erlang System
Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. Presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montreal.
url: user.it.uu.se/~happi/publications/p32-johansson.pd...
Linear Scan Register Allocation in the HiPE compiler.
Erik Johansson and Konstantinos Sagonas. Precented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel.
url: user.it.uu.se/~happi/publications/wflp.ps
A practical subtyping system for Erlang
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
url: www.research.avayalabs.com/user/wadler/topics/erla...
Profile-guided optimization across process boundaries
Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps)
url: user.it.uu.se/~happi/hipe/oapb_dynamo.ps
Verification of Erlang programs using abstract interpretation and model checking
Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
url: portal.acm.org/citation.cfm?id=317908&coll=por...
Cross-Module Optimization of Erlang.
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
url: www.erlang.se/euc/01/thomasl.ps
3D Graphics with Erlang - The OpenGL Interface.
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
url: www.erlang.se/euc/01/Erlang3D/sld001.htm
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
url: www.erlang.se/euc/01/arts2001/sld001.htm
The EC Erlang Compiler.
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)
url: www.erlang.se/euc/01/castro2001.ps
Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm. [PDF]
url: www.erlang.se/euc/01/corelatus2001.pdf
Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
url: www.erlang.se/euc/01/huch.ps.gz
An Erlang-based Hierarchical Distributed VoD System
Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm. [PDF]
url: www.erlang.se/euc/01/barreiro2001.pdf
HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
url: www.erlang.se/euc/01/kostis2001/sld001.htm
Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm.
url: www.erlang.se/euc/01/Bergqvist2001/sld001.htm
ISD - SSL: The Best SSL Appliance in the World.
Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
url: www.erlang.se/euc/01/klacke2001/img0.htm
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang.
Mickaël Rémond, Francesco Cesarini. Proceedings from EUC2001, Stockholm.
url: www.erlang-consulting.com/euc2001/index.htm
Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
url: www.erlang.se/euc/01/martin2001/sld001.htm
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm.
url: www.erlang.se/euc/01/Hinde2001/sld001.htm
Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake
Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/remond.ps
A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/feeley.ps
Exploiting Sequential Libraries on a Cluster of Computers
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/juanjo.ps
Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/nystrom.ps
An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/carlsson.ps
A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
url: www.erlang.se/workshop/lennart.pdf
Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
url: www.erlang.se/workshop/leucker-noll.ps
Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF]
url: www.erlang.se/workshop/armstrong.pdf
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)
url: www.erlang.se/publications/clara2.ps
The Erlang Verification Tool
by Thomas Noll, Lars-ake Fredlund, and Dilian Gurov at 7th International Conference, TACAS 2001.
url: link.springer.de/link/service/series/0558/bibs/203...
Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
url: www.it.uu.se/research/reports/2000-001/
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications
Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm.
url: www.jetcafe.org/~npc/doc/euc00-sendmail.html
An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
url: www.erlang.se/euc/99/SIP/index.htm
Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
url: www.erlang.se/euc/99/Hatchet/index.htm
Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
url: www.erlang.se/euc/99/millroth.ps.gz
A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
url: www.erlang.se/euc/99/WAP/index.htm
Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
url: www.erlang.se/euc/99/binaries.ps
Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)
url: www.erlang.se/euc/99/ETOS.ps
Telia Call Guide
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.
url: www.erlang.se/euc/99/TeliaCallGuide/index.htm
Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
url: www.erlang.se/euc/99/Event.ps
Use of Erlang/OTP in the Brainpool M/3 Communication System
Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.
url: www.erlang.se/euc/99/BrainpoolM3/index.htm
On the Verification of Open Distributed Systems
Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
url: www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78/
The Development of Erlang
Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
url: citeseer.nj.nec.com/37831.html
Towards a Deadlock Analysis for Erlang Programs
Richard Carlsson. UU/CSD. (ps.gz)
url: www.erlang.se/publications/xjobb/0108-carlsson.ps....
Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language
Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z)
url: citeseer.nj.nec.com/10471.html
The Concurrent Functional Programming Language Erlang - An Overview
Dan Sahlin. Workshop of Multi-Paradigm Logic Programming, in conjunction with the Joint International Conference and Symposium on Logic Programming, Bonn. (ps.gz)
url: www.cs.tu-berlin.de/cs/ifb/TechnB/96/28/sahlin.ps....
