21 May 2008:
Smarkets Erlang Web Framework, (London User Group Talk)
Hunter Morris has kindly volunteered to speak at the next user group meeting. It will be on Erlang and web applications, a very hot topic these days. The talk will be on Wednesday the 21st of May in Skills Matter's training facilities on 1 Sekforde Street, Clerkenwell, London, EC1R 0BE. This is a free event, but you have to register to attend. We will send out the registration email soon.
Summary:
As Erlang adoption grows, tools for building web applications and services are becoming increasingly important. Erlang's approach to concurrency make it a natural solution for application deployment on the web. Hunter will talk briefly about the current landscape for Erlang web applications and the tools available. He will also present the framework used at Smarkets, based on MochiWeb, ewgi, and sgte.
Biography:
Hunter Morris is CTO and co-founder of Smarkets, a London-based betting exchange startup with a primarily Erlang codebase. Previously, he worked
in London and Chicago for Wolverine Trading, a global derivatives market making firm. His main focus on software has been high-volume transactional systems and automated trading technology. He holds a bachelor's degree in computer science from Northwestern University in
Evanston, Illinois.
11 Jun 2008:
Developments in Wrangler, a refactoring tool for Erlang, (London User Group Talk)
Gyorgy Orosz and Melinda Toth Eotves Lorand University of Hungary and University of Kent, UK
Abstract:Refactoring is the process of improving the design of a program without changing its semantics. Wrangler is a refactor tool for Erlang, which supports plenty of refactorings. After giving a short introduction to the Wrangler project, Melinda will explain her goal of finding new useful refactorings and implement them. These include a refactoring to group function arguments into a tuple, and a refactoring to create a record from a tuple. This latter refactoring requires investigation of common usage patters for "record-like" usage of patterns in Erlang programs.
George will then describe his project of integrating Wrangler in the Eclipse platform, as a part of the Erlide project. He will describe the integration process, how communication works in the system, as well as providing a short demo of the system as well.
Biography:Gyorgy and Melinda started their studies of computer science at the Eotves
Lorand University of Hungary in 2004. They received their bachelor's degree in
the February of 2008, and have worked with the RefactorErl project at Eotves
Lorand University. They came to the University of Kent at Canterbury as an
Erasmus exchange student in February, and have been working with the Wrangler
tool since then.
26 Jun 2008:
Erlang eXchange, a 2-day User Conference (London, UK)
Erlang Training and Consulting has teamed up with Skills Matter to bring you the 2008 Erlang eXchange, a 2 day conference on the 26th and 27th of June focused on Erlang/OTP. You think Erlang/OTP is the right way to go but are not completely convinced it will fit your application domain? The Erlang eXchange 2008 will feature 2 days of tutorials, workshops and presentations from leading Erlang experts such as Erlang creator Joe Armstrong, Klacke Wikstrom, Eric Stenman and Michal Slaski, just to mention a few. Learn how to benefit from the power of concurrent languages and Erlang, how to bridge Erlang & Java with JInterface, Erlang refactoring with Wrangler, how to use Couch DB, how to leverage the power of Erlang when building enterprise apps in Financial services, about CouchDB, Faxien, Sinan, Erlang & Robotics, Tail-f, RabbitMQ, Hypernumbers, XMPP, Mnesia, QuickCheck, how to use Erlang with Ajax and much more! For more information and to register, visit the Erlang eXchange website. Book early to get the Early Bird fee!
Past Events: Year 2008
27 Feb 2008:
Presenting the Erlang T-Build System (London User Group Talk)
The February Erlang User Group meeting will be on Wednesday the 27, starting at 18.30 in Skills Matter's Training facilities on 1 Sekforde Street, London EC1R 0BE. It will feature a presentation from Peter Mander from T-Mobile who will describe the methods used to create and deploy complete software services written in Erlang.
The T-Build system simplifies and automates the creation of new Erlang/OTP projects, automates the build and packaging process, and automates the
deployment of software onto the target systems.
The T-Build system will assist any developers who have discovered Erlang, and are now prepared to use it for industrial purposes. It fills the gap
between learning the language and deploying it.
Peter Mander is a graduate of the University of Reading, Berkshire, and has for over two decades worked as a programmer for a variety of startup companies. In one of these startups, he came across Erlang when testing Megago H.28 stacks, and there was no turning back. Peter now works at T-Mobile as a senior Erlang programmer.
This is a free session, but to attend, you have to register. This allows us to book a room of suitable size and plan refreshments. The URL to register on is here.
19 Feb 2008:
Presenting the Dialyzer (London User Group Talk)
Abstract: Dialyzer (Discrepancy analyzer of Erlang programs) first saw the light in 2004 and has since then been used to uncover software defects in Erlang programs. It has been used both by open source users and in industrial projects where it has found bugs that has gone unnoticed for years in well-tested production code. The subject of this talk is the fundamentals of the underlying analysis, what kind of defects Dialyzer can find and how this knowledge can be used to program
in a more Dialyzer-friendly way. Also, the new experimental type specifications available in Erlang/OTP R12B will be discussed.
Biography: Tobias Lindahl is a last-year PhD student at Uppsala University where he is a member of the HiPE research group. After spending a year of his studies writing low level analysis and
optimizations in the HiPE compiler, he has spent his time researching in program analysis for defect detection, and being the main developer of
the static analysis tool Dialyzer. Another focus of his research is to make type information explicitly visible for programmers. This effort
has led to the type annotation tool Typer and the (unofficial) introduction of type specifications in Erlang. More info, publications and a very ugly picture (His words!) can be found at http://www.it.uu.se/katalog/tobiasl
More information on the Dialyzer is available here: http://www.it.uu.se/research/group/hipe/dialyzer
The Dialyzer is by far one of the best tools which has come out from the research on Erlang Type Systems, and a must for any Erlang developers.
If you have the time, you are very welcome to join us.
The Dialyzer is by far one of the best tools which has come out from the research on Erlang Type Systems, and a must for any Erlang developers.
If you have the time, you are very welcome to join us, as we are sure you will find the talk interesting. If you are planning on attending, the talk will start at 18.30 in our office meeting rooms. Please email alison _at_ erlang-consulting.com to notify us of your plans so we can ensure we have booked a room large enough to hold everyone.
28 Jan 2008:
How do you test large systems written in Erlang? ( London Erlang User Group Talk)
The second meet up of the Erlang User Group will be on Monday 28/1 @ 19.00 in Erlang Training and Consulting's offices in London. The meet up will feature a presentation from Thomas Arts, of Quviq AB and the IT University of Gothenburg. He will talk about testing large Erlang based systems, including formal methods and property based testing.
The presentation will be followed by Pizza and drinks. Those still standing at 8pm can then make their way to a quiet pub down the road and continue chatting and networking. This is a free event sponsored by Erlang Training and Consulting and Skills Matter.
As we need to let security have your names and need in advance, ensure we have a room big enough (There were 60 of us last meeting!), and most important, know how much Pizza to order, you have to register by sending an email to alison _at_ erlang-consulting.com The event is free and open to every one, as long as you have registered.
Abstract: How do you test large systems written in Erlang?
With the growth of software complexity we need new technology to ensure quality of the final product. Testing has so far been one of the most used techniques to check the quality of the end product. Since the amount of software configurations is huge for each product, testing all these configurations is impractical. Mathematical techniques under the name of formal methods, address this by tools as Model Checkers and Theorem Provers. Several of these techniques have been developed for Erlang as well as for many other languages.
In practice, they are difficult to use and expensive to deploy.
Property Based Testing joins the benefits of the formal verification techniques with the ease of testing. Instead of writing test cases, one
copies the idea of formal methods to write a property of the software, e.g., "no matter how many ATMs are connected to our bank and no matter in which order the ATMs send their messages, money may not dissapear from the system". Instead of a mathematical prove that this holds, a large amount of test cases is automatically generated from this property and all these tests are checked against the system.
Property Based Testing is used small scale today at companies like Ericsson, Erlang Training and Consulting and a few others. The goal of the ProTest project is to introduce more tools and techniques that enable widened use of Property Based Testing. For example by combining it with re-factoring of test cases and properties, by connecting it to trace analysis and audit logs, and by integrating it with model checking techniques.
This will result in a very powerful method supported by a good set of integrated tools that make Erlang programmers even more productive.
Bio: Thomas Arts
Dr Thomas Arts is Associate professor at the IT University of Göteborg in the area of Software Engineering and Management. Thomas is also co-founder and CTO of Quviq, a small company that produced Quick Check, a testing tool for Erlang. He holds a PhD in computer science and has after his PhD been employed at the Ericsson Computer Science Lab (Where they invented Erlang) where he worked on program verification and the development of the Erlang programming language.
He has worked in the broad spectrum theoretical computer science, formal methods and industrial case-study research, mainly applying all kind of techniques to systems written in Erlang. He has more than 30 publications in journals and refereed conferences/workshops. He has successfully introduced some new technologies in industry. The latest technology, QuickCheck, is a tool for property based testing and aims to support test driven development.
Year 2007
13 Dec 2007:
Public Talk: Erlang For Five-Nines (London User Group, UK)
Francesco Cesarini will be presenting the concurrent soft real time functional programming language Erlang and its rapidly growing community. He will describe why Erlang programs are generally 4 - 10 times shorter than their counterparts in Java, C and C++ achieving 99,999% availability. Ongoing research projects in the UK and overseas which will be covered, including refactoring, AI, type systems and control systems for robots. The talk will also go into why Erlang, originally invented to handle the next generation of Telecom products, has been successful in a much wider range of sectors including banking and e-commerce. The location is in Skills Matter's training facilities,
1 Sekforde Street, London EC1R 0BE. Participation is free for registered attendees. For more information and to register, click here....
20 Nov 2007:
Hypernumbers.com Presentation (London, UK)
The team behind hypernumbers will do a quick presentation for the benefit of those who could not attend the Erlang User Conference. The presentation will follow with what developers would expect from the platform, and applications they would like to write using it.
If you are interested in attending, send Gordon an email at gordon at hypernumbers.com. This is an open invitation so invite anyone who might be interested. It is not Erlang specific, so if you are into any flavor of development come along.
Developing RESTful Platforms With Erlang And Adobe Flex has more information on hypernumbers in the presentation.
Directions to Eraang Training and Consulting's offices are here...
[2008]
[2007]
[2006]
|
