Directory of Proceedings Resources

Home > Computers > Programming > Languages > Erlang > Conferences > Proceedings

This section contains conference proceedings, presentations, articles and posters, all sorted by date.

Resources in This Category

• 3D Graphics with Erlang - The OpenGL Interface.

  http://www.erlang.se/euc/01/Erlang3D/sld001.htm
  Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.

• A Case for the Unified Heap Approach to Erlang Memory Management

  http://www.erlang.se/workshop/feeley.ps
  Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• A Model for Analyzing Erlang Software from a Code Change Perspective

  http://www.erlang.se/workshop/lennart.pdf
  Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence.

• A Modular WAP Reference Stack Protocol Implementation

  http://www.erlang.se/euc/99/WAP/index.htm
  Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.

• A practical subtyping system for Erlang

  http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html
  article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.

• An Erlang-based Hierarchical Distributed VoD System

  http://www.erlang.se/euc/01/barreiro2001.pdf
  Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm.

• An Experimental SIP Implementation in Erlang

  http://www.erlang.se/euc/99/SIP/index.htm
  Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.

• An Introduction to Core Erlang

  http://www.erlang.se/workshop/carlsson.ps
  Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake

  http://www.erlang.se/workshop/remond.ps
  Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• Cross-Module Optimization of Erlang.

  http://www.erlang.se/euc/01/thomasl.ps
  Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)

• Development of a Verified Erlang Program for Resource Locking

  http://www.erlang.se/publications/clara2.ps
  Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)

• Development of a Verified Erlang Program for Resource Locking

  http://www.erlang.se/euc/01/arts2001/sld001.htm
  Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)

• Erlang in the Corelatus MTP2 Signalling Gateway.

  http://www.erlang.se/euc/01/corelatus2001.pdf
  Matthias Läng. Proceedings from EUC 2001, Stockholm.

• Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.

  http://www.erlang.se/euc/01/huch.ps.gz
  Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)

• Exploiting Sequential Libraries on a Cluster of Computers

  http://www.erlang.se/workshop/juanjo.ps
  Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• Extending Erlang with structured module packages

  http://www.it.uu.se/research/publications/reports/2000-001/
  Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000

• Extracting the Process Structure of Erlang Applications

  http://www.erlang.se/workshop/nystrom.ps
  Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• Four-fold Increase in Productivity and Quality

  http://www.erlang.se/publications/Ulf_Wiger.pdf
  Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.

• Hatchet

  http://www.erlang.se/euc/99/Hatchet/index.htm
  Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.

• HiPE Version 1.0.

  http://www.erlang.se/euc/01/kostis2001/sld001.htm
  Kostis Sagonas. Proceedings from EUC 2001, Stockholm.

• Improving Robustness in Distributed Systems.

  http://www.erlang.se/euc/01/Bergqvist2001/sld001.htm
  Per Bergkvist. Proceedings from EUC 2001, Stockholm.

• Invited Erlang Tutorial

  http://www.erlang.se/workshop/armstrong.pdf
  Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence.

• ISD - SSL: The Best SSL Appliance in the World.

  http://www.erlang.se/euc/01/klacke2001/img0.htm
  Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.

• Mail Robustifier Product based on Erlang/OTP

  http://www.erlang.se/euc/99/millroth.ps.gz
  Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)

• Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.9844
  Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z)

• Parallel Model Checking Tool tailored to Erlang

  http://www.erlang.se/workshop/leucker-noll.ps
  Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)

• Proposals for and Experiments with an Erlang Bit Syntax

  http://www.erlang.se/euc/99/binaries.ps
  Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)

• Sendmail Meets Erlang: Experiences Using Erlang for Email Applications

  http://www.jetcafe.org/~npc/doc/euc00-sendmail.html
  Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm.

• Status Report on the ETOS Erlang to Scheme Compiler

  http://www.erlang.se/euc/99/ETOS.ps
  Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)

• Telia Call Guide

  http://www.erlang.se/euc/99/TeliaCallGuide/index.htm
  Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.

• The Development of Erlang

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5602
  Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.

• The EC Erlang Compiler.

  http://www.erlang.se/euc/01/castro2001.ps
  Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)

• Tools for Designing Web Based Interfaces for Erlang/OTP.

  http://www.erlang.se/euc/01/martin2001/sld001.htm
  Martin Gustafsson. Proceedings from EUC 2001, Stockholm.

• Towards a Deadlock Analysis for Erlang Programs

  http://www.erlang.se/publications/xjobb/0108-carlsson.ps.gz
  Richard Carlsson. UU/CSD. (ps.gz)

• Towards an Event Modelling Language

  http://www.erlang.se/euc/99/Event.ps
  Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)

• Use of Erlang/OTP in the Brainpool M/3 Communication System

  http://www.erlang.se/euc/99/BrainpoolM3/index.htm
  Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.

• Verification of Erlang programs using abstract interpretation and model checking

  http://dl.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM
  Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.

• Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.

  http://www.erlang.se/euc/01/Hinde2001/sld001.htm
  Sean Hinde. Proceedings from EUC 2001, Stockholm.

Related Categories

• Home > Computers > Programming > Languages > Erlang > Research

 

Home > Computers > Programming > Languages > Erlang > Conferences > Proceedings

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us