OCaml 2025 Contributors

Sun 12 - Sat 18 October 2025 Singapore

co-located with ICFP/SPLASH 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Chris ArmstrongArmstrong, Chris Australia smaws: An AWS SDK for OCaml
B Jonah BeckfordBeckford, Jonah DiskuvUnited States Committee Member in Program Committee within the OCaml-track
Karthikeyan BhargavanBhargavan, Karthikeyan Cryspen, France A Mechanically Verified Garbage Collector for OCaml
Raja BoujbelBoujbel, Raja OCamlProFrance Committee Member in Program Committee within the OCaml-track
C Nathanaëlle CourantCourant, Nathanaëlle OCamlProFrance Committee Member in Program Committee within the OCaml-track
D Zaynah DargayeDargaye, Zaynah Nomadic Labs Committee Member in Program Committee within the OCaml-track
Hunter DeMeyerDeMeyer, Hunter University of Illinois Urbana-Champaign Embedding WebAssembly in OCaml for Safe Program Construction
Stephen DolanDolan, Stephen Jane StreetUnited Kingdom Committee Member in Program Committee within the OCaml-track
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Taming the Flat Float Array Optimization: Tracking Separability in the Type System
F Shon FederFeder, Shon TaridesCanada Committee Member in Program Committee within the OCaml-track
Darius FooFoo, Darius National University of Singapore Committee Member in Program Committee within the OCaml-track
G Ryan GibbGibb, Ryan University of Cambridge Three steps for OCaml to crest the AI humps
Muluh GodsonGodson, Muluh Tarides A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
Kiran GopinathanGopinathan, Kiran University of Illinois Urbana ChampaignUnited States Co-chair in Program Committee within the OCaml-track
Maksim GrankinGrankin, Maksim BloombergUnited Kingdom Toward a More Secure OCaml Ecosystem
Rudi GrinbergGrinberg, Rudi OCaml Labs OCaml Package Management with (only!) Dune
Charlène GrosGros, Charlène ISEN Lille Committee Member in Program Committee within the OCaml-track
Ulysse GérardGérard, Ulysse Tarides A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
H Sonja HeinzeHeinze, Sonja TaridesSpain A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
Son HoHo, Son InriaFrance Committee Member in Program Committee within the OCaml-track
J Sadiq JafferJaffer, Sadiq University of CambridgeUnited Kingdom Three steps for OCaml to crest the AI humps
K Dipesh KafleKafle, Dipesh NIT Trichy, Tiruchirappalli, India A Mechanically Verified Garbage Collector for OCaml
Diana KalinichenkoKalinichenko, Diana Jane Street Taming the Flat Float Array Optimization: Tracking Separability in the Type System
Marek KubicaKubica, Marek Tarides OCaml Package Management with (only!) Dune
L Jonathan LudlamLudlam, Jonathan University of Cambridge Three steps for OCaml to crest the AI humps
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Three steps for OCaml to crest the AI humps
Dhruv MarooMaroo, Dhruv IIT Madras, Chennai A Mechanically Verified Garbage Collector for OCaml
N Kartik NagarNagar, Kartik IIT MadrasIndia A Mechanically Verified Garbage Collector for OCaml
O Nicolás Ojeda BärOjeda Bär, Nicolás LexiFiFrance Committee Member in Program Committee within the OCaml-track
P Sudha ParimalaParimala, Sudha TaridesIndia How the OCaml Community Established Its Code of Conduct Committee Member in Program Committee within the OCaml-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Session Chair of Future of OCaml (part of OCaml)
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Program Committee within the OCaml-track
Andrey PoppPopp, Andrey Ahrefs Committee Member in Program Committee within the OCaml-track
R Gabriel RadanneRadanne, Gabriel InriaFrance Committee Member in Program Committee within the OCaml-track
Fermin ReigReig, Fermin Session Chair of Compiler & Runtime (part of OCaml)
S Sheera ShamsuShamsu, Sheera IIT MadrasIndia Session Chair of Community & Ecosystem (part of OCaml) A Mechanically Verified Garbage Collector for OCaml Committee Member in Program Committee within the OCaml-track
Stephen SherrattSherratt, Stephen Tarides OCaml Package Management with (only!) Dune
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia A Mechanically Verified Garbage Collector for OCaml
Yahui SongSong, Yahui Standard Chartered BankSingapore Committee Member in Program Committee within the OCaml-track
V Xavier Van de WoestyneVan de Woestyne, Xavier TaridesFrance A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP
W Yasunari WatanabeWatanabe, Yasunari AhrefsJapan Co-chair in Program Committee within the OCaml-track
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the OCaml-track