Erlang User Conference 2006

1
Erlang UserConference 2006
2
Erlang User Conference

• Applications
• Tools
• Infrastructure
• No registration fee
• Talks all day Thursday Erlounge evening
• Friday Morning discussions and tutorial

3
Materials

• Many of the slides are available at
• http//www.erlang.se/euc/06/
• together with some complete papers.

4
Attendees

• 150 participants
• 10 academic
• Ericsson (OTP team and others)
• Erlang Training and Consulting, Kreditor, Mobile
  Arts, Process-one, Synapse, Tail-f, Telia,

5
Betting on Functional Programming and Winning.
Erik Stenman, Kreditor, Sweden.

• Traditional invoicing services in a web context
  Kreditor is a trusted 3rd party.
• Aimed at the SME market Sweden, Norway and
  beyond.
• LYME Linux Yaws Mnesia Erlang
• Erlang ? low development costs high
  availability success so far.

6
Horde Leader, a Framework to Build Cluster Aware
Erlang Web Administration Console.

• Generic systems for operations and maintenance
  of Erlang web systems.
• Plugin-based architecture.
• Hot topic for Erlang developers.
• From ejabberd http//ejabberd.jabber.ru/
  instant messaging server in Erlang.

7
Experiences from Using Erlang for Autonomous
Robots. Vincenzo Nicosia

• Entry to Eurobot 2006
• Agent-based hardware construction.
• 27th / 45 (approx).
• 1st 2nd in Italy.

8
Vixo.com - A Case Study in Developing a Web/SMS
Start-up in Erlang.

• Presented by Xxxxxx Xxxxxxx.
• Scotland as the 'new Japan' copy others.
• Like MSN Messenger, but based on SMS.
• Use part-time students 15-30/LOC
• Test-driven agile development.
• Erlang Service Arcitecture vs SOA.

9
CEAN, a Comprehensive Erlang Archive Network
Romain and Rémond, Process-one.

• Erlang distribution and packaging system.
• Aiming to be a central point for distributing
  Erlang code cf struggle to be in OTP.
• Issue of conflicting versions of libraries, and
  consequent name clashes issue for us?

10
Testing a Media Proxy with Quviq QuickCheck. John
Hughes, Thomas Arts

• Generating random tests.
• Will generate to a protocol.
• Media Proxy found errors, current and
  retrospective.
• Simplification of counterexamples big win.
• Commercial product license.
• Why Quviq?

11
Refactoring Erlang Programs. Horvath, Li and
Thompson questions arising

• Spotting uses of (higher order) functions?
• Conflicting library inclusions (Joe A).
• Specialisation as a refactoring.
• Handling macros (particularly QuickCheck).
• Dealing with edoc comments.
• What syntax-tools provide.
• Test code from ETC.

12
Using GNU Autoconf to Configure Erlang Programs.
Romain Lenglet

• How to use the Autoconf macros to configure
  Erlang programs.
• How to extend Autoconf by defining new test
  macros.

13
Configuration Aware Distributed System Design in
Erlang. Batori, Theisz and Asztalos

• Ericsson Hungary.
• A component system ErlCOM.
• (Meta-)modelling in graphical system.
• Mapping into Erlang.

14
Comparing C and Erlang for Motorola Telecoms
Software. Nyström, Heriot-Watt.

• With Motorola Labs, UK.
• Erlang offers robustness and productivity
  benfits for distributed telecoms software.
• High-level langs can deliver the required
  telecoms functionality and performance.
• Erlang can interoperate with existing techs and
  meets pragmatic requirements.

15
ErlHive - Safe Erlang Reloaded! Ulf Wiger,
Ericsson, Sweden.

• Web-based shared development environment with
  access control built in.
• Can't read source code can only call.
• Wrapping code
• and running code within mnesia transactions.
• ß version at http//erlhive.sourceforge.net

16
Current Erlang/OTP Developments. Kenneth Lundin,
Ericsson, Sweden.

• OTP source and documentation coming soon.
• Edoc to be integrated.
• Includes dialyzer (and TypEr?).
• More details in the slides .

17
Other scheduled talks

• Eliminating Overlapping of Pattern Matching when
  Verifying Erlang Programs in µCRL. Qiang Guo and
  John Derrick, University of Sheffield, England.
• Erlang Message Receive Fundamentals. Jay Nelson,
  DuoMark Inc, USA.

18
Friday morning

• Future of the language.
• Incompatible changes how to deal with?
• Need better process for change management.
• Python Enhancement Proposals.

19
Conclusions

• Exciting, positive atmosphere.
• Great showcase for Erlang.
• Most of the big names were there.