SESSION + Live Q&A
Fast, Flexible and Functional Programming With OCaml
OCaml is a fast, natively compiled programming language with imperative, object-oriented and functional features. It is over two decades old now, and is often used in niche but safety-critical areas such as formal verification (in Coq, Compcert). In recent years however, it has emerged as a wonderful language to compile to new targets such as JavaScript (ReasonML), operating system kernels (MirageOS) and even FPGAs. In this talk, we will give you a brief history of OCaml both from a technical and community building perspective, and explain how we are unlocking its potential in the “new” world of browsers and IoT. If you are interested in functional programming techniques but have not delved into it deeply, then we hope that this will be an accessible introduction to a practical “old language made new”.
Speaker
Anil Madhavapeddy
University Lecturer @Cambridge_CL (Cambridge Computer Laboratory)
Anil Madhavapeddy is a University Lecturer at the University of Cambridge, based in the Systems Research Group. He was on the original team that developed the Xen hypervisor, and has worked on unikernels, functional programming and ubiquitous computing topics. Prior to obtaining his PhD, Anil had...
Read moreFind Anil Madhavapeddy at:
Speaker
Gemma Gordon
Operations Director at OCaml Labs, University of Cambridge Computer Laboratory
Gemma Gordon is Operations Director for the OCaml Labs group based in the University of Cambridge Computer Laboratory, and the CEO of OCaml Labs Consultancy. She manages core projects of the group together with organising community events in the field of functional programming and open source.
Read moreLocation
Windsor, 5th flr.
Track
Leading Edge Backend Languages
Topics
OCamlLessonsIoT PlatformsUnikernelJavaScript*-langDockerShare
From the same track
[CANCELLED] [Cancelled] Maze Runner: Navigate Reinforcement Learning w/ Java
Lost and alone, our abandoned Java robot is forced to find its way through a series of rooms that all look the same. How can we help it? What algorithms can we use? Reinforcement learning can help us, using one easy* algorithm and a lot of repetition. This talk will focus on getting the...
Katharine Beaumont
Software developer
C++ for Real Time Communications in the Cloud
Using C++ in real time communication platforms introduces new set of challenges in optimizing for performance. This talk will cover what we have learned over the years from running a complete C++ stack in our backend service - starting from selecting the right data structures from STLs to...
Thiya Ramalingam
Head of Platforms, Product Integrations, Private Cloud and Partnerships @Zoom
Rust 2018: An Epoch Release!
This year is going to see the most important release since Rust 1.0. In this talk, Steve will talk about where Rust is now, what new features are coming down the pipeline, how it's all being managed, and how this affects Rust's development in the future - and why this is all very exciting!
Stephen Klabnik
Rust Core Team
From Rocks to Rust: Our C to Rust Paradigm Shift
A leader in cloud native communications software, Metaswitch has recently chosen Rust as its preferred language. Fine and dandy on the face of it, but what has that actually been like for a developer working ‘on the coal face’? I studied the history of geology prior to working for...
Esther Momcilovic
Software Engineer at Metaswitch Networks
Languages Open Space
Building a Reliable Cloud Based Bank in Java
How does a start-up build a mobile only bank in the cloud that is reliable, scalable, and has a rapidly growing number of features using Java? This talk will focus on the server side implementation of Starling Bank and will show how, even though Java is over two decades old, it can still be used...
Jason Maude
Lead Engineer @StarlingBank