Unikernels are a new mechanism to deploy lightweight, scalable, secure microservices that offer big functionality for relatively low cost. To do so, they allow us to compile our services to run directly on virtual “bare metal”, throwing away all t... Read more
Unikernels, or library operating systems, offer a new method for building and managing lightweight services in the cloud. Instead of building a service on an operating system, unikernels compile the core operating system components they need into ... Read more
Cryptol is an open source pure functional language for expressing and reasoning about bit-precise computations, particularly cryptographic algorithms. Like Haskell, it is built upon a polymorphic, static type system, and offers similar mathematica... Read more
Claim your profile today and start building your speaker history.
Adam was lucky enough to begin programming in Scheme when he was quite young, and has since then had a passion for functional and denotational programming. While getting a B.S. and M.S. in Computer Science from Indiana University, he began using Haskell while studying the theory, design, and implementation of programming languages; parallel and concurrent programming; and quantum and reversible computing. Prior to studying Computer Science, he studied Russian language and literature, archaeology, and how to