{"id":42681,"date":"2025-10-30T09:19:36","date_gmt":"2025-10-30T09:19:36","guid":{"rendered":"https:\/\/krea.edu.in\/sias\/?post_type=event_listing&#038;p=42681"},"modified":"2025-12-16T06:24:07","modified_gmt":"2025-12-16T06:24:07","slug":"a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan","status":"publish","type":"event_listing","link":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/","title":{"rendered":"A Talk on &#8220;Evolving the OCaml programming language&#8221; by Dr KC Sivaramakrishnan"},"content":{"rendered":"\n<p>ABOUT THE TALK<br>OCaml is a 25+ year old, industrial-strength functional programming language used widely in the industry and academia. OCaml is particularly favoured for its ability to write correct and efficient programs easily. Notable open-source projects using OCaml include the Rocq theorem prover, MirageOS Unikernel libraries, and static analysis tools and programming languages such as Hack, Flow, Infer, CompCert, etc. Some notable industrial users include Jane Street, Meta, Ahrefs and Docker.<br><br>Despite its age, OCaml community is strong and growing, bringing cutting edge programming language research and language tooling to its users without breaking critical legacy code. In this talk, Dr KC Sivaramakrishnan will present how the OCaml community approaches this difficult task, reflecting upon the development of the recent major release OCaml 5 which brought native support for concurrency and parallelism to the language and developing state-of-the-art platform tools to help our users be effective at using OCaml.<br><br>ABOUT THE SPEAKER<br>Dr KC Sivaramakrishnan is an Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras and the Chief Technology Officer of Tarides. He is interested in building robust, secure and scalable systems using programming language technology. He led the development of Multicore OCaml, a concurrent and parallel extension of the OCaml programming language. Multicore OCaml is now merged into OCaml, and is available for general use in OCaml 5.0. Effect handlers introduced as part of the concurrency story of Multicore OCaml has had influence on the design of React Hooks and WebAssembly stack switching. .<br><br>This talk is mandatory for ICT(A), (B) and (C) and for COMP 205, COMP 313<\/p>\n","protected":false},"featured_media":42683,"template":"","meta":{"_links_to":"","_links_to_target":""},"event_listing_category":[216],"event_listing_type":[],"class_list":["post-42681","event_listing","type-event_listing","status-publish","has-post-thumbnail","hentry","event_listing_category-computer-science","entry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v27.3 (Yoast SEO v27.3) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>A Talk on &quot;Evolving the OCaml programming language&quot; by Dr KC Sivaramakrishnan<\/title>\n<meta name=\"description\" content=\"A Talk on &quot;Evolving the OCaml programming language&quot; by Dr KC Sivaramakrishnan\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A Talk on &quot;Evolving the OCaml programming language&quot; by Dr KC Sivaramakrishnan\" \/>\n<meta property=\"og:description\" content=\"A Talk on &quot;Evolving the OCaml programming language&quot; by Dr KC Sivaramakrishnan\" \/>\n<meta property=\"og:url\" content=\"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/\" \/>\n<meta property=\"og:site_name\" content=\"Krea University - Top university for liberal education\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/KreaUniversity\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-12-16T06:24:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@kreauniversity\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/\",\"name\":\"A Talk on \\\"Evolving the OCaml programming language\\\" by Dr KC Sivaramakrishnan\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg\",\"datePublished\":\"2025-10-30T09:19:36+00:00\",\"dateModified\":\"2025-12-16T06:24:07+00:00\",\"description\":\"A Talk on \\\"Evolving the OCaml programming language\\\" by Dr KC Sivaramakrishnan\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg\",\"contentUrl\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg\",\"width\":1920,\"height\":2560},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/event\\\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"A Talk on &#8220;Evolving the OCaml programming language&#8221; by Dr KC Sivaramakrishnan\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#website\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\",\"name\":\"Krea University - Top university for liberal education\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#organization\",\"name\":\"Krea University\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/wp-content\\\/uploads\\\/2020\\\/08\\\/SIAS-Main-Logo.svg\",\"contentUrl\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/wp-content\\\/uploads\\\/2020\\\/08\\\/SIAS-Main-Logo.svg\",\"width\":1,\"height\":1,\"caption\":\"Krea University\"},\"image\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/KreaUniversity\\\/\",\"https:\\\/\\\/x.com\\\/kreauniversity\",\"https:\\\/\\\/www.instagram.com\\\/kreauniversity\\\/\",\"https:\\\/\\\/www.linkedin.com\\\/school\\\/krea-university\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC7hu2pt6seIJLMiO0Tqe7XQ\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","description":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/","og_locale":"en_US","og_type":"article","og_title":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","og_description":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","og_url":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/","og_site_name":"Krea University - Top university for liberal education","article_publisher":"https:\/\/www.facebook.com\/KreaUniversity\/","article_modified_time":"2025-12-16T06:24:07+00:00","og_image":[{"width":1920,"height":2560,"url":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_site":"@kreauniversity","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/","url":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/","name":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","isPartOf":{"@id":"https:\/\/krea.edu.in\/sias\/#website"},"primaryImageOfPage":{"@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/#primaryimage"},"image":{"@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/#primaryimage"},"thumbnailUrl":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg","datePublished":"2025-10-30T09:19:36+00:00","dateModified":"2025-12-16T06:24:07+00:00","description":"A Talk on \"Evolving the OCaml programming language\" by Dr KC Sivaramakrishnan","breadcrumb":{"@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/#primaryimage","url":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg","contentUrl":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/kcs-Turaga-Venkata-Hanumanta-Prathamesh-scaled.jpeg","width":1920,"height":2560},{"@type":"BreadcrumbList","@id":"https:\/\/krea.edu.in\/sias\/event\/a-talk-on-evolving-the-ocaml-programming-language-by-dr-kc-sivaramakrishnan\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/krea.edu.in\/sias\/"},{"@type":"ListItem","position":2,"name":"A Talk on &#8220;Evolving the OCaml programming language&#8221; by Dr KC Sivaramakrishnan"}]},{"@type":"WebSite","@id":"https:\/\/krea.edu.in\/sias\/#website","url":"https:\/\/krea.edu.in\/sias\/","name":"Krea University - Top university for liberal education","description":"","publisher":{"@id":"https:\/\/krea.edu.in\/sias\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/krea.edu.in\/sias\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/krea.edu.in\/sias\/#organization","name":"Krea University","url":"https:\/\/krea.edu.in\/sias\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/sias\/#\/schema\/logo\/image\/","url":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2020\/08\/SIAS-Main-Logo.svg","contentUrl":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2020\/08\/SIAS-Main-Logo.svg","width":1,"height":1,"caption":"Krea University"},"image":{"@id":"https:\/\/krea.edu.in\/sias\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/KreaUniversity\/","https:\/\/x.com\/kreauniversity","https:\/\/www.instagram.com\/kreauniversity\/","https:\/\/www.linkedin.com\/school\/krea-university\/","https:\/\/www.youtube.com\/channel\/UC7hu2pt6seIJLMiO0Tqe7XQ"]}]}},"_links":{"self":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/event_listing\/42681","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/event_listing"}],"about":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/types\/event_listing"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/media\/42683"}],"wp:attachment":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/media?parent=42681"}],"wp:term":[{"taxonomy":"event_listing_category","embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/event_listing_category?post=42681"},{"taxonomy":"event_listing_type","embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/event_listing_type?post=42681"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}