MetaDirectory
» Start » Languages » Erlang » Conferences » Proceedings
See also:
- Four-fold Increase in Productivity and Quality
- Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. [PDF]
- Extending Erlang for Safe Mobile Code Execution
by L. Brown, D. Sahlin. (ps.gz) - Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000 - 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. [PDF] - 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. - A practical subtyping system for Erlang
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam. - Profile-guided optimization across process boundaries
Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps) - Verification of Erlang programs using abstract interpretation and model checking
Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris. - Cross-Module Optimization of Erlang.
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps) (September 28, 2001) - 3D Graphics with Erlang - The OpenGL Interface.
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001) - Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides) (September 28, 2001) - The EC Erlang Compiler.
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps) (September 28, 2001) - Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm. [PDF] (September 28, 2001) - Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz) (September 28, 2001) - 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] (September 28, 2001) - HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm. (September 28, 2001) - Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm. (September 28, 2001) - ISD - SSL: The Best SSL Appliance in the World.
Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm. (September 28, 2001) - 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. (September 28, 2001) - Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001) - Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm. (September 28, 2001) - 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) (September 2, 2001) - A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001) - 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) (September 2, 2001) - Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001) - An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001) - A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF] (September 2, 2001) - Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001) - Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF] (September 1, 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, Paris. (ps) (July, 2001) - 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. (October 3, 2000) - An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. (September 30, 1999) - Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm. (September 30, 1999) - Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999) - A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm. (September 30, 1999) - Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999) - Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps) (September 30, 1999) - Telia Call Guide
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm. (September 30, 1999) - Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps) (September 30, 1999) - Use of Erlang/OTP in the Brainpool M/3 Communication System
Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm. (September 30, 1999) - On the Verification of Open Distributed Systems
Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps) (February 27, 1998) - The Development of Erlang
Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam. (June 9, 1997) - Towards a Deadlock Analysis for Erlang Programs
Richard Carlsson. UU/CSD. (ps.gz) (April 29, 1997) - 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) (December 5, 1996) - 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) (September 2, 1996)
|