|
|
|
|
Home / Computers / Programming / Languages / Erlang / Conferences / Proceedings
|
|
|
|
Web Sites
|
- 3D Graphics with Erlang - The OpenGL Interface. - Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
www.erlang.se/euc/01/Erlang3D/sld001.htm
- A Case for the Unified Heap Approach to Erlang Memory Management - Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
www.erlang.se/workshop/feeley.ps
- A Compacting Garbage Collector for Unidirectional Heaps - Dan Sahlin and Kent Boortz. Proceedings of IFL'97: 9th International Workshop on Implementation of Functional Languages, St Andrews. (ps)
www.ericsson.com/cslab/~dan/reports/ifl97/workshop/erlanggc970828.ps
- 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.
www.csd.uu.se/~happi/publications/p32-johansson.pdf
- A Model for Analyzing Erlang Software from a Code Change Perspective - Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
www.erlang.se/workshop/lennart.pdf
- A Modular WAP Reference Stack Protocol Implementation - Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
www.erlang.se/euc/99/WAP/index.htm
- A Platform for Secure Mobile Agents - Arthursson et. al. Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, London. ISBN 0 9525554 6 8. (ps)
www.ericsson.com/cslab/~dan/reports/paam97/final/paam97.ps
- A practical subtyping system for Erlang - article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
cm.bell-labs.com/cm/cs/who/wadler/topics/erlang.html
- 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)
www.erlang.se/euc/01/barreiro2001.pdf
- An Experimental SIP Implementation in Erlang - Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
www.erlang.se/euc/99/SIP/index.htm
- An Experimental Telephony Programming Language - Joe Armstrong and Robert Virding. XIII International Switching Symposium, Stockholm. This is the first Erlang paper - it describes the main characteristics of the language. (ps)
www.ericsson.com/cslab/publications/iss90.ps
- An Introduction to Core Erlang - Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
www.erlang.se/workshop/carlsson.ps
- Applying Rewriting Techniques to the Verification of Erlang Processes - Thomas Arts and Jürgen Giesl. Computer Science Logic, Mardrid. (ps)
www.ericsson.com/cslab/~thomas/papers/csl99.ps
- Automatic Code Generation from SDL to a Declarative Programming Language. - Magnus Fröberg. Sixth SDL Forum, Darmstadt. (ps)
www.ericsson.com/cslab/publications/sdl2erlang.ps
- 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)
www.erlang.se/workshop/remond.ps
- Cross-Module Optimization of Erlang. - Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
www.erlang.se/euc/01/thomasl.ps
- 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)
www.erlang.se/publications/clara2.ps
- Development of a Verified Erlang Program for Resource Locking - Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
www.erlang.se/euc/01/arts2001/sld001.htm
- Distributed programming in Erlang - Claes Wikström.PASCO'94 - First International Symposium on Parallel Symbolic Computation, Linz. (ps)
www.ericsson.com/cslab/publications/dist-erlang.ps
- erifying a Distributed Database Lookup Manager written in Erlang - Thomas Arts and Mads Dam. World congress on Formal Methods, Toulouse. (ps)
www.ericsson.com/cslab/~thomas/papers/fm99.ps
- Erlang - A survey of the language and its industrial applications - Joe Armstrong. NAP'96 - The 9th Exhibitions and Symposium on Industrial Applications of Prolog. 16-18, October 1996. Hino, Tokyo. (ps)
www.ericsson.com/cslab/publications/inap96.ps
- Erlang in the Corelatus MTP2 Signalling Gateway. - Matthias Läng. Proceedings from EUC 2001, Stockholm. (pdf)
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)
www.erlang.se/euc/01/huch.ps.gz
- 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)
www.erlang.se/workshop/juanjo.ps
- Extending Erlang for Safe Mobile Code Execution - Lawrie Brown and Dan Sahlin. The Second International conference on Information and Communication Security, Sydney. (ps)
www.ericsson.com/cslab/~dan/reports/sserl99/sserl99.ps
- Extending Erlang for Safe Mobile Code Execution - by L. Brown, D. Sahlin. (ps.gz)
www.adfa.edu.au/~lpb/papers/tr9703.ps.gz
- Extending Erlang with structured module packages - Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
www.it.uu.se/research/reports/2000-001
- Extracting the Process Structure of Erlang Applications - Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
www.erlang.se/workshop/nystrom.ps
- Hatchet - Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
www.erlang.se/euc/99/Hatchet/index.htm
- HiPE Version 1.0. - Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
www.erlang.se/euc/01/kostis2001/sld001.htm
- Implementing a Functional Language for Highly Parallel Real Time Applications - Joe Armstrong, Bjarne Däcker, Robert Virding, Mike Williams. Software Engineering for Telecommunication Systems and Services, Florence. (ps)
www.ericsson.com/cslab/publications/implem.ps
- Implementing Distributed Real-time control systems in a functional language - Claes Wikström. IEEE Workshop on Parallel and Distributed Real-Time Systems, Honolulu, Hawaii. (ps)
www.ericsson.com/cslab/publications/hawaii.ps
- Improving Robustness in Distributed Systems. - Per Bergkvist. Proceedings from EUC 2001, Stockholm.
www.erlang.se/euc/01/Bergqvist2001/sld001.htm
- Invited Erlang Tutorial - Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
www.erlang.se/workshop/armstrong.pdf
- ISD - SSL: The Best SSL Appliance in the World. - Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
www.erlang.se/euc/01/klacke2001/img0.htm
- 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.
www.csd.uu.se/~happi/publications/wflp.ps
- Mail Robustifier Product based on Erlang/OTP - Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
www.erlang.se/euc/99/millroth.ps.gz
- 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), San Antonio. (pdf)
www.ericsson.com/cslab/~hakan/mnesia_overview.pdf
- 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)
citeseer.nj.nec.com/10471.html
- On the Verification of Open Distributed Systems - Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78
- One Pass Real-Time Generational Mark-Sweep Garbage Collection - Joe Armstrong & Robert Virding. International Workshop on Memory Management, Kinross, Scotland. (ps)
www.ericsson.com/cslab/publications/historyGC.ps
- Parallel Model Checking Tool tailored to Erlang - Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
www.erlang.se/workshop/leucker-noll.ps
- Processing ASN.1 Specifications in a Declarative Language - Claes Wikström. Software Engineering for Telecommunication Systems and Services, Florence. (ps)
www.ericsson.com/cslab/publications/asn1_to_erlang-paper.ps
- Profile-guided optimization across process boundaries - Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps)
www.csd.uu.se/~happi/hipe/oapb_dynamo.ps
- Proposals for and Experiments with an Erlang Bit Syntax - Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
www.erlang.se/euc/99/binaries.ps
- 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.
www.jetcafe.org/~npc/doc/euc00-sendmail.html
- Status Report on the ETOS Erlang to Scheme Compiler - Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)
www.erlang.se/euc/99/ETOS.ps
- Switching Software Architecture Prototype Using Real Time Declarative Language. - M. Persson, K. Ödling, D. Eriksson. International Switching Symposium, Yokohama. his paper describes one of the first major Erlang applications. A prototype PBX architecture written in Erlang. (ps)
www.ericsson.com/cslab/publications/iss92_1.ps
- Symbolic Program Execution Using the Erlang Verification Tool - Clara Benac Earle. International workshop on functional and logic programming, Benicassim. (ps)
www.ericsson.com/cslab/~thomas/papers/wflp2000.ps
- System Description: Verification of Distributed Erlang Programs. - Thomas Arts and Mads Dam, Dilian Gurov, Lars-Åke Fredlund.Fifteenth International Conference on Automated Deduction, Lindau. (ps)
www.ericsson.com/cslab/~thomas/papers/cade98.ps
- Telia Call Guide - Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.
www.erlang.se/euc/99/TeliaCallGuide/index.htm
- 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)
www.cs.tu-berlin.de/cs/ifb/TechnB/96/28/sahlin.ps.gz
- The Development of Erlang - Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
citeseer.nj.nec.com/37831.html
- The EC Erlang Compiler. - Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)
www.erlang.se/euc/01/castro2001.ps
- The Erlang Verification Tool - by Thomas Noll, Lars-ake Fredlund, and Dilian Gurov at 7th International Conference, TACAS 2001.
link.springer.de/link/service/series/0558/bibs/2031/20310582.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.
www.erlang-consulting.com/euc2001/index.htm
- Tools for Designing Web Based Interfaces for Erlang/OTP. - Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
www.erlang.se/euc/01/martin2001/sld001.htm
- Towards a Deadlock Analysis for Erlang Programs - Richard Carlsson. UU/CSD. (ps.gz)
www.erlang.se/publications/xjobb/0108-carlsson.ps.gz
- Towards an Event Modelling Language - Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
www.erlang.se/euc/99/Event.ps
- Turbo Erlang: Approaching the speed of C - Bogumil Hausman. (in Implementations of Logic Programming Systems, , pp. 119-135, ed. Evan Tick and Giancarlo Succi, Kluwer Academic Publishers. (ps)
www.ericsson.com/cslab/publications/Erlang_to_C.ps
- Use of Prolog for Developing a new Programming Language - Joe Armstrong, Robert Virding and Mike Williams. The Practical Application of Prolog, London. (ps)
www.ericsson.com/cslab/publications/prac_appl_prolog.ps
- Use of Erlang/OTP in the Brainpool M/3 Communication System - Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.
www.erlang.se/euc/99/BrainpoolM3/index.htm
- Verification of Erlang Programs - Thomas Arts, Dilian Gurov, Mads Dam, Lars-åke Fredlund, Erlang User Conference, Stockholm.
www.ericsson.com/cslab/~thomas/papers/euc98.html
- Verification of Erlang programs using abstract interpretation and model checking - Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
www.acm.org/pubs/citations/proceedings/fp/317636/p261-huch
- Verifying Generic Erlang Client-Server Implementations. - Thomas Arts and Thomas Noll. International workshop on the Implementation of Functional Languages, Aachen. (pdf)
www.ericsson.com/cslab/~thomas/papers/ifl2000.pdf
- Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network. - Sean Hinde. Proceedings from EUC 2001, Stockholm.
www.erlang.se/euc/01/Hinde2001/sld001.htm
- Four-fold Increase in Productivity and Quality - Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. (pdf)
www.erlang.se/publications/Ulf_Wiger.pdf
|
|
|
|
|