CSLab/SARC publications

2002

Conference / Workshop contributions

Verifying Erlang Code: a Resource Locker Case-study.
Thomas Arts, Clara Benac Earle and John Derrick (Univ of Kent).
Formal Methods Europe (FME'2002).
Copenhagen, Denmark, July 22-24, 2002.

Trace Analysis of Erlang Programs.
Thomas Arts and Lars-Åke Fredlund (SICS).
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.
Satellite event of Principles, Logics, and Implementations of High-Level Programming Languages (PLI'02).
Carnegie Mellon University, October 3-8, 2002.

Global Scheduler Properties derived from Local Erlang Functions.
Thomas Arts and Juan José Sánches Penas (LFCIA).
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.
Satellite event of Principles, Logics, and Implementations of High-Level Programming Languages (PLI'02).
Carnegie Mellon University, October 3-8, 2002.

2001

Invited talk

Functional Programming and Logic decrease the Use of the Most Important Part of our System.
Thomas Arts.
International Workshop on Functional and (Constraint) Logic Programming (WFLP'2001).
Kiel, Germany, September 13-15, 2001.

Journal contributions

Verification of Erlang Processes by Dependency Pairs.
Thomas Arts and Jürgen Giesl (Univ of Aachen).
Journal of Applicable Algebra in Engineering, Communication and Computing 12.
Issue 1/2 (2001), pp. 39-72.

Conference / Workshop contributions

Introducing Concurrent Functional Programming in the Telecommunications Industry.
Bjarne Däcker.
Working Conference on Diffusing Software Product and Process Innovations.
IFIP WG 8.6.
Banff, Canada, April 7-10, 2001.

Correct Performance of Transaction Capabilities.
Thomas Arts and Izak van Langevelde (CWI).
International Conference on Application of Concurrency to System Design.
IEEE Computer Society pp. 35-42.
Newcastle upon Tyne, UK, June 25-29, 2001.

3G and Beyond & Enabled Adaptive Mobile Multimedia Communication.
Tom Rindborg, Dan Sahlin and Theo Kanter (ERA).
International Conference on Networking.
LNCS 2093 Springer 2001, ISBN 3-540-42302-8.
Colmar, France, July 9-13, 2001.

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 (FMICS'01).
Paris, France, July 16-17, 2001.

2000

Conference / Workshop contributions

System Description: The Dependency Pair Method.
Thomas Arts.
11th International Conference on Rewriting Techniques and Applications (RTA'2000).
LNCS 1833, pp. 261-264.
Norwich, UK, July 10-12, 2000.

Verifying Generic Erlang Client-Server Implementations.
Thomas Arts and Thomas Noll.
International Workshop on the Implementation of Functional Languages.
LNCS 2011, pp. 37-53, Springer-Verlag, 2000.
Aachen, September 4-7, 2000.

Symbolic Program Execution using the Erlang Verification Tool.
Clara Benac Earle.
9th International Workshop on Functional and Logic Programming (WFLP'2000).
Benicassim, Spain, September 28-30, 2000.

Dissertation

Concurrent Functional Programming for Telecommunications: A Case Study of Technology Introduction.
Bjarne Däcker.
Licenciate Thesis, Department of Teleinformatics.
TRITA-IT AVH 00:08, ISSN 1403-5286, (cover)
Royal Institute of Technology.
Stockholm, Sweden, November, 2000.

1999

Conference / Workshop contributions

Mnesia - A Distributed Robust DBMS for Telecommunications Applications.
Håkan Mattsson, Hans Nilsson and Claes Wikström.
International Workshop on Practical Aspects of Declarative Languages (PADL'99).
LNCS 1551, pp. 152-163.
San Antonio, USA, January 18-19, 1999.

Experiences from a Java Characteristics Investigation.
Torbjörn Keisu and R Svensson.
Ericsson Conference on Software Engineering (ECSE'99).
Copenhagen, June 1999.

How muCRL supported a Smart Redesign of a Real-life Protocol.
Thomas Arts and Izak van Langevelde (CWI).
International Workshop on Formal Methods in Industrial Critical Systems.
Trento, Italy, July 11-12, 1999.

Applying Rewriting Techniques to the Verification of Erlang Processes.
Thomas Arts and Jürgen Giesl (Univ of Aachen).
Computer Science Logic.
LNCS 1683, pp. 96-110.
Madrid, Spain, September 20-25, 1999.

Verifying a Distributed Database Lookup Manager Written in Erlang.
Thomas Arts and Mads Dam (SICS).
World Congress on Formal Methods.
LNCS 1708, pp. 682-700.
Toulouse, France, September 20-24, 1999.

Extending Erlang for Safe Mobile Code Execution.
Dan Sahlin and Lawrie Brown (Australian Defence Force Academy).
The Second International Conference on Information and Communication Security (ICICS'1999).
Sydney, Australia, November 9-11, 1999.

Software Complexity - An Ericsson Perspective.
Torbjörn Keisu.
Future Telecommunications Forum (FTF'99).
Beijing, December 6-8, 1999.

1998

Book

A Compacting Garbage Collector for Unidirectional Heaps.
Dan Sahlin and Kent Boortz (Erlang Systems).
9th International Workshop on Implementation of Functional Languages (IFL'97).
St Andrews, Scotland, September 10-12, 1997.
Selected Papers, Springer-Verlag LNCS Volume 1467.
Editors C. Clack, A.J.T. Davie and K. Hammond.
Refined version of the paper A Compacting Garbage Collector for Erlang from 1997.

Conference / Workshop contributions

System Description: Verification of Distributed Erlang Programs.
Thomas Arts with Mads Dam, Dilian Gurov and Lars-Åke Fredlund (SICS).
Fifteenth International Conference on Automated Deduction.
Lindau, Germany, July 5-10, 1998.

A Practical Type System for Erlang.
Thomas Arts and Joe Armstrong.
Erlang User Conference.
Stockholm, Sweden, September 22-23, 1998.

Verification of Erlang Programs.
Thomas Arts, Dilian Gurov, Mads Dam and Lars-Åke Fredlund.
Erlang User Conference.
Stockholm, Sweden, September 22-23, 1998.

Allocation of Global Data Objects in On-Chip RAM.
Thomas Lindgren with J. Sjödin and B. Frödeberg (Univ of Uppsala).
Workshop on Compiler and Architectural Support for Embedded Computing Systems (CASES'98).
Washington DC, USA, December 4-5, 1998.

1997

Invited talk

The Development of Erlang.
Joe Armstrong.
ACM SIGPLAN International Conference on Functional Programming.
Amsterdam, June 9-13, 1997.

Conference / Workshop contributions

Design Patterns for Designing Switching Software.
Joe Armstrong.
Workshop on High Level Concurrent Languages.
Schloss Dagstuhl, Germany, January 20-22, 1997.

A Platform for Secure Mobile Agents.
Dan Sahlin, Ing-Marie Jonsson (MediaLab) and Arthursson et. al (Univ of Uppsala).
Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology.
London, April 1997, ISBN 0-9525554-6-8.

The Erlang Type System.
Joe Armstrong.
Erlang User Conference.
Electrum, Kista, Sweden, August 26, 1997.

Towards an Even Safer Erlang.
Dan Sahlin and Lawrie Brown (Australian Defence Force Academy).
Erlang User Conference.
Electrum, Kista, Sweden, August 26, 1997.

A Compacting Garbage Collector for Unidirectional Heaps.
Dan Sahlin and Kent Boortz (Erlang Systems).
9th International Workshop on Implementation of Functional Languages.
St. Andrews, Scotland, September 10-12, 1997.
This work was subsequently refined in A Compacting Garbage Collector for Unidirectional Heaps from 1998.

Erlang and its applications.
Joe Armstrong and Thomas Arts.
Workshop on Constraint Programming for Time Critical Applications.
Linz, Austria, October 27-28, 1997.

The Erlang BEAM Virtual Machine Specification.
October 1997
Bogumil Hausman.

1996

Book

Concurrent Programming in Erlang.
Joe Armstrong, Mike Williams, Claes Wikström and Robert Virding.
Prentice Hall, 1996, ISBN 0-13-285792-8.

• This is the Erlang reference. Read it and enjoy.

Conference / Workshop contributions

Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language.
Hans Nilsson and Claes Wikström.
International Symposium on Cooperative Database Systems for Advanced Applications.
Kyoto, Japan, 1996.

Implementing Distributed Real-time Control Systems in a Functional Language.
Claes Wikström.
IEEE Workshop on Parallel and Distributed Real-Time Systems.
Honolulu, Hawaii, USA, April 15-16, 1996.

The Concurrent Functional Programming Language Erlang - An Overview.
Dan Sahlin.
Workshop on Multi-Paradigm Logic Programming.
Satellite event of Joint International Conference and Symposium on Logic Programming.
Bonn, Germany, 1996.

Erlang - A Survey of the Language and its Industrial Applications.
Joe Armstrong.
9th Exhibitions and Symposium on Industrial Applications of Prolog (INAP'96).
Hino, Tokyo, Japan, October 16-18, 1996.

• The paper gives an overview of Erlang and describes three commercial products which are programmed in Erlang.

1995

Conference / Workshop contributions

The Development and Use of Erlang. Concurrent Functional Programming in Industry.
Bjarne Däcker.
Conference on Telecommunications (ConTel'95).
Zagreb, Croatia, June 7-9, 1995.

Hybrid Implementation Techniques in Erlang BEAM.
Bogumil Hausman.
12th International Conference on Logic Programming.
Kanagawa, Japan, June 13-18, 1995.

Turbo Erlang: Approaching the Speed of C.
Bogdan Hausman.
Workshop on the Implementation of Functional Languages.
Båstad, Sweden, September 13-15, 1995.

One Pass Real-Time Generational Mark-Sweep Garbage Collection.
Joe Armstrong and Robert Virding.
International Workshop on Memory Management.
Kinross, Scotland, September 27-29, 1995.

• This paper describes a single-pass mark-sweep garbage collection algorithm which is suitable for real-time generational garbage collection.

A Garbage Collector for the Concurrent Real-Time Language Erlang.
Robert Virding.
International Workshop on Memory Management.
Kinross, Scotland, September 27-29, 1995.

Poster

Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language.
Hans Nilsson, Torbjörn Törnkvist and Claes Wikström.
12th International Conference on Logic Programming.
Kanagawa, Japan, June 13-18, 1995.

1994

Book

Turbo Erlang: Approaching the speed of C.
Bogumil Hausman.
In Implementations of Logic Programming Systems, pp. 119-135.
Editors Evan Tick and Giancarlo Succi.
Kluwer Academic Publishers.

• This paper describes a very efficient and portable sequential implementation of Erlang where Erlang programs are compiled into the C language. Preliminary evaluation results show that the performance of this Erlang system is not far from the performance of highly optimized C code.

Conference / Workshop contributions

xgdmo - A Browser for GDMO Specifications Written in Prolog.
Hans Nilsson.
The Practical Application of Prolog.
London, England, April 27-29, 1994.

Using Tcl/TK from Erlang.
Ingemar Ahlberg.
1994 Tcl/TK Workshop.
New Orleans, LA, USA, June 23-25, 1994.

Pseudoknot: a Float-Intensive Benchmark for Functional Compilers.
Bogumil Hausman and 19 other authors.
Workshop on Implementation of Functional Languages (IFL'94).
Norwich, England, September 7-9, 1994.

Introducing Concurrent Functional Programming into the Telecommunications Industry.
Bjarne Däcker.
TELECOM'94.
Varna, Bulgaria, September 20-22, 1994.

Distributed Programming in Erlang.
Claes Wikström.
First International Symposium on Parallel Symbolic Computation (PASCO'94).
Linz, Austria, September 26-28, 1994.

• This paper describes distributed Erlang, the motivations behind it and parts of the implementation.

Invited Tutorials and Panels

Industrial Applications of Logic Programming in Sweden.
Hans Nilsson.
International Conference on Logic Programming (ICLP'94).
S. M. Ligure, Italy, June 13-18, 1994.

Erlang.
Bjarne Däcker.
In a panel on the introduction of New Techniques.
13th World Computer Congress.
Hamburg, Germany, August 28 - September 2, 1994.

Erlang - A Declarative Language for Programming Real-Time Concurrent Systems.
Bogumil Hausman.
SICS Seminar on Parallel Machines and New Languages.
Kista, Sweden, September 12, 1994.

Distributed Programming in Erlang.
Claes Wikström.
SICS Seminar on Parallel Machines and New Languages.
Kista, Sweden, September 12, 1994.

Industrial Applications of Declarative Programming.
Bjarne Däcker.
SOFT 13 - Improved Productivity of Quality Software.
Linköping, Sweden, October 3-4, 1994.

Report

Datalogilaboratoriet - de första 10 åren (HTML).
Datalogilaboratoriet - de första 10 åren (PDF, with pictures).
Bjarne Däcker.
Ellemtel. March 1, 1994.

1993

Book

Concurrent Programming in Erlang.
Joe Armstrong, Mike Williams and Robert Virding.
Prentice Hall, 1993.

• First edition of the Erlang book.

Articles

Erlang - A New Programming Language.
Bjarne Däcker.
Ericsson Review, nr 2, 1993.

Prototyping Cordless Using Declarative Programming.
Ingemar Ahlberg, Anders Danne (ERA) and John-Olof Bauner (ERA).
Ericsson Review, nr 2, 1993.

Conference / Workshop contributions

Communicative Computer Systems.
Lars Gauffin and Tomas Jonsson (KTH).
Third Nordic Transputer Conference.
Copenhagen, Denmark, May 14-15, 1993.

Breakthrough in Software Design Productivity through the Use of Declarative Progamming.
Bjarne Däcker.
Eighth World Productivity Congress.
Stockholm, Sweden, May 23-27, 1993.

Turbo Erlang: An Efficient Implementation of a Concurrent Programming Language.
Bogumil Hausman.
Compulog-Net Area Meeting on Parallelism and Implementation Technology.
Madrid, Spain, May 24-25, 1993.

Carpe Diem - Some Implementation Aspects of Turbo Erlang.
Bogumil Hausman.
Workshop on Practical Implementations and Systems Experience.
Satellite event of International Conference on Logic Programming.
Budapest, Hungary, June 21-25, 1993.

Turbo Erlang.
Bogumil Hausman.
International Logic Programming Symposium.
Vancouver, Canada, October 26-29, 1993.

Automatic Code Generation from SDL to a Declarative Programming Language.
Magnus Fröberg.
Sixth SDL Forum.
Darmstadt, Germany, October 11-15, 1993.

Invited lectures

Erlang.
Mike Williams.
Second Summer School on Telecommunications.
Lappeenranta, Finland, August 9-13, 1993.

Keynote address.
Joe Armstrong.
Open Declarative Systems Workshop.
Swindon, England, September 21-22, 1993.

Erlang.
Robert Virding.
Sixth International Conference on Formal Description Techniques (FORTE).
Boston, MA, USA, October 26-29, 1993.

Nya konsumenttjänster via telenätet.
Ola Carlvik.
Gränslös kommunikation.
Stockholm, Sweden, November 23-26, 1993.

1992

Articles

Multi-Gigabit Networking based on PTM - A TDM Medium Access Technique with Dynamic Bandwidth Allocation.
Lars Gauffin, Lars Håkansson (KTH) and Björn Pehrson (SICS).
Computer and Networks and ISDN Systems, vol 24, no 2, April 1992.

Conference / Workshop contributions

Swedish Optical Fiber Network.
Lars Gauffin, Björn Pehrson (SICS), Frank Reichert (Telia), Christer Bohm et al (KTH).
Optical Fiber Communication Conference.
San José, CA, USA, February 2-7, 1992.

Implementing a Functional Language for Highly Parallel Real Time Applications.
Joe Armstrong, Bjarne Däcker, Robert Virding and Mike Williams.
Software Engineering for Telecommunication Systems and Services.
Florence, Italy, March 30-April 1, 1992.

• This paper describes a fast, highly portable implementation of Erlang. The paper gives examples of compilation of Erlang to abstract machine code and discusses issues involved in the implementation of the abstract machine. language.

Processing ASN.1 Specifications in a Declarative Language.
Claes Wikström.
Software Engineering for Telecommunication Systems and Services.
Florence, Italy, March 30-April 1, 1992.

• This paper describes a cross compiler from ASN.1 to Erlang. The cross compiler takes ASN.1 specifications and generates Erlang code which can read and write ASN.1 typed data.

SCE - A Tool for Defining Routing Information for the Freephone Services in AXE.
Hans Nilsson.
The Practical Application of Prolog.
London, England, April 1-3, 1992.

Use of Prolog for Developing a new Programming Language.
Joe Armstrong, Robert Virding and Mike Williams.
The Practical Application of Prolog.
London, England, April 1-3, 1992.

• This paper describes how Erlang was developed. The first implementation of Erlang was as a Prolog interpreter - this paper has the Prolog code for a simple meta-interpreter which was the basis for Erlang.

Towards Using the Andorra Kernel Language for Industrial Real-Time Applications.
Bogumil Hausman.
Logic Programming and Automated Reasoning.
S:t Petersburg, Russia, July 15-20, 1992.

The External Database in SICStus Prolog.
Hans Nilsson.
Logic Programming and Automated Reasoning.
S:t Petersburg, Russia, July 15-20, 1992.

Prototyping Cordless Using Declarative Programming.
Ingemar Ahlberg, Anders Danne (ERA) and John-Olof Bauner (ERA).
XIV International Switching Symposium.
Yokohama, Japan, October 25-30, 1992,

1991

Invited talk

Management of Technology with Regard to Software.
Bjarne Däcker.
First Australian Conference on Telecommunications Software (ACTS).
Melbourne, Australia, April 22-24, 1991.

Reports

The External Storage Facility in SICStus Prolog.
Hans Nilsson.
SICS Research Report R91:13 ISSN 0283-3638.

1990

Books

Programming Telephony.
Joe Armstrong and Robert Virding.
Chapter 13 in Strand - New Concepts in Parallel Programming.
Editors Ian Foster and Stephen Taylor.
Prentice Hall, 1990.

Articles

Combinator Evaluation of Functional Programs with Logical Variables.
Göran Båge and Gary Lindstrom (Univ of Utah).
Lisp and Symbolic Computation, nr 3, 1990.

Logic Programming for Real Time Control of Telecommunication Switching Systems.
Nabiel Elshiewy.
Journal of Logic Programming, nr 8, 1990.

Conference / Workshop contributions

Erlang - An Experimental Telephony Programming Language.
Joe Armstrong and Robert Virding.
XIII International Switching Symposium.
Stockholm, Sweden, May 27-June 1, 1990.

• This is the first "Erlang" paper - it describes the main characteristics of the language. Observant readers will observe that the Erlang syntax in this paper differs for the current syntax - this paper was written before the great syntax wars.

Dissertation

Robust Coordinated Reactive Computing in SANDRA.
Nabiel Elshiewy.
Doctor of Technology Thesis.
TRITA-TCS-9005, ISSN 0284-4397.
Royal Institute of Technology.
Stockholm, Sweden, 1990.

1989

Articles

Logikprogrammering för utveckling av telekomsystem.
Nabiel Elshiewy.
Televerkets Tekniska Tidskrift TELE, nr 1, 1989.

Conference / Workshop contributions

FINE - A Feature Design Environment.
Roger Skagerwall and Staffan Liljegren (EUA).
Software Engineering for Telecommunication Switching Systems.
Bournemouth, England, July 3-6, 1989.

Using Prolog for Rapid Prototyping of Telecommunication Systems.
Joe Armstrong and Mike Williams.
Software Engineering for Telecommunication Switching Systems.
Bournemouth, England, July 3-6, 1989.

1988

Conference / Workshop contributions

Committed Choice Functional Programming.
Göran Båge and Gary Lindstrom (Univ of Utah).
International Conference on Fifth Generation Computer Systems.
Tokyo, Japan, November 28-December 2, 1988.

Modular and Communicating Objects in SICStus Prolog.
Nabiel Elshiewy.
International Conference on Fifth Generation Computer Systems.
Tokyo, Japan, November 28-December 2, 1988.

1986

Conference / Workshop contributions

Design of an Expert System and Man-Machine Interface for Operation and Maintenance of AXE Telephone Exchanges.
Roger Skagerwall and Carl Wilhelm Welin.
International Seminar on Digital Communications.
Zürich, Switzerland, March 11-13, 1986.

Experiments with Programming Languages and Techniques for Telecommunications Applications.
Bjarne Däcker, Nabiel Elshiewy, Per Hedeland, Carl Wilhelm Welin and Mike Williams.
Software Engineering for Telecommunication Switching Systems.
Eindhoven, The Netherlands, April 14-18, 1986.

Extended Parlog: Logic Programming of Real Time Systems.
Nabiel Elshiewy.
Fourth Japanese-Swedish Workshop on Fifth Generation Computer Systems.
Skokloster, Sweden, July 7-8, 1986.

The Phoning Philosphers' Problem or Logic Programmig for Telecommunications Applications.
Joe Armstrong, Nabiel Elshiewy and Robert Virding.
Third IEEE Symposium on Logic Programming.
Salt Lake City, UT, USA, September 23-26, 1986.

1984

Conference / Workshop contributions

Problem Areas in the Use of Modern Languages for the Programming of Telecommunication Switching Systems.
Mike Williams.
NT-P Symposium on Languages and Methods for Telecommunications Applications.
Åbo, Finland, March 6-8, 1984.

Comparison between Lisp and Pascal for Use in Developing Programming Support Environments.
Bjarne Däcker and Magnus Alburg (ETX).
NT-P Symposium on Languages and Methods for Telecommunications Applications.
Åbo, Finland, March 6-8, 1984.

1983

Conference / Workshop contributions

Using Lisp to Develop Programming Support Environments in an Industrial Environment.
Bjarne Däcker.
International Workshop on Software Development Tools for Telecommunication Systems.
Anaheim, CA, USA, April 6-8, 1983.

The Efficiency of Executive Systems used in Telephony.
Mike Williams.
Software Engineering for Telecommunication Switching Systems.
Lund, Sweden, July 4-8, 1983.