Login
Talks & Seminars
Title: Effective Concurrency and Parallelism in Multicore OCaml
Dr. K. C. Sivaramakrishnan, University of Cambridge
Date & Time: November 4, 2016 11:00
Venue: Conference Room, 01st Floor, C Block, Dept. of CSE, Kanwal Rekhi Bldg.
Abstract:
OCaml is an industrial strength, statically typed, functional programming language in the tradition of ML family of languages that includes Standard ML and Haskell. Its combination of expressiveness, pragmatism and robust performance has found favor with many industrial users including Jane Street, Docker (Docker for Mac app) and Facebook (Infer, Flow, Hack, Reason). Notable open source projects built on OCaml include MirageOS library operating system and Coq proof assistant. For all its strength, OCaml lacks a few key features, primary of which is the support for shared memory parallelism. In this talk, I will describe our efforts to bring native support for concurrency and parallelism in OCaml. Concurrency in Multicore OCaml is expressed through algebraic effects and their handlers, an exciting programming construct for expressing and reasoning about effects in a pure language. Algebraic effects permit expressive concurrency libraries without tying the language to particular implementation. The parallel programming model is built on the notion of composable data structures in the spirit of software transactional memory (STM). But unlike STM, we retain lock-freedom and the ability to exploit hardware transaction support recently introduced in off-the-shelf multicore processors. The runtime features a novel GC with a thread-local private heap strategy that optimizes for the generational nature of the mostly-functional workloads.
Speaker Profile:
Dr. Sivaramakrishnan is a Post-doctoral Research Associate at the University of Cambridge. He works in the area of Programming Languages, more specifically, in Concurrent Functional Programming and Distributed Programming. Below link gives a brief bio-data of Dr. Sivaramakrishnan. http://kcsrk.info/
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback