OCaml 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (52)

A David AllsoppAllsopp, David TaridesUnited Kingdom State of the OCaml Platform 2023
Léo AndrèsAndrès, Léo LMF, OCamlProFrance Owi: an interpreter and a toolkit for WebAssembly written in OCaml Wasocaml: a compiler from OCaml to WebAssembly
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the OCaml-track
B Vincent BalatBalat, Vincent Tarides Eio 1.0 – Effects-based IO for OCaml 5
Jonah BeckfordBeckford, Jonah DiskuvUnited States Co-chair in Program Committee within the OCaml-track
Raja BoujbelBoujbel, Raja OCamlProFrance Committee Member in Program Committee within the OCaml-track
Fabrice BuoroBuoro, Fabrice Tarides Runtime Detection of Data Races in OCaml with ThreadSanitizer
C Chris CasinghinoCasinghino, Chris Jane Street Session Chair of Session 2 (part of OCaml) Committee Member in Program Committee within the OCaml-track
Pierre ChambartChambart, Pierre OCamlPRO Flambda 2 Types: An abstract domain for static analysis of functional programs Owi: an interpreter and a toolkit for WebAssembly written in OCaml Efficient OCaml compilation with Flambda 2 Wasocaml: a compiler from OCaml to WebAssembly
Nathanaëlle CourantCourant, Nathanaëlle OCamlProFrance Committee Member in Program Committee within the OCaml-track
D Arnaud Daby-SeesaramDaby-Seesaram, Arnaud ENS Paris Saclay Osiris: an Iris-based program logic for OCaml
F Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Eio 1.0 – Effects-based IO for OCaml 5
Shayne FletcherFletcher, Shayne Meta Buck2 for OCaml Users & Developers
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Session Chair of Session 3 (part of OCaml) Committee Member in Program Committee within the OCaml-track
Thomas GazagnaireGazagnaire, Thomas TaridesFrance State of the OCaml Platform 2023
Louis GesbertGesbert, Louis INRIA Modern DSL compiler architecture in OCaml our experience with Catala
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Committee Member in Program Committee within the OCaml-track
Armaël GuéneauGuéneau, Armaël Inria Osiris: an Iris-based program logic for OCaml
H Christiano HaesbaertHaesbaert, Christiano Tarides Eio 1.0 – Effects-based IO for OCaml 5
K Vesa KarvonenKarvonen, Vesa Tarides Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml
Oleg KiselyovKiselyov, Oleg Tohoku University MetaOCaml Theory and Implementation Committee Member in Program Committee within the OCaml-track
L Max LangLang, Max Technische Universität MünchenGermany Less Power for More Learning: Restricting OCaml Features for Effective Teaching
Vincent LAVIRONLAVIRON, Vincent OCamlPro Flambda 2 Types: An abstract domain for static analysis of functional programs Efficient OCaml compilation with Flambda 2
Thomas LeonardLeonard, Thomas Tarides Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom State of the OCaml Platform 2023 Eio 1.0 – Effects-based IO for OCaml 5
Thibaut MattioMattio, Thibaut Tarides State of the OCaml Platform 2023
Denis MerigouxMerigoux, Denis INRIAFrance Modern DSL compiler architecture in OCaml our experience with Catala
Neil MitchellMitchell, Neil Meta Buck2 for OCaml Users & Developers
Bartosz ModelskiModelski, Bartosz Tarides Building a lock-free STM for OCaml
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Committee Member in Program Committee within the OCaml-track
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Session 1 (part of OCaml) Committee Member in Program Committee within the OCaml-track
Carine MorelMorel, Carine Tarides Building a lock-free STM for OCaml
N YSS Narasimha NaiduNaidu, YSS Narasimha IIT Madras Building a lock-free STM for OCaml
Olivier NicoleNicole, Olivier Tarides Runtime Detection of Data Races in OCaml with ThreadSanitizer
P Sudha ParimalaParimala, Sudha TaridesIndia Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml Committee Member in Program Committee within the OCaml-track
Eric PatrizioPatrizio, Eric OCamlPro Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Nico PetzendorferPetzendorfer, Nico Department of Computer Science, Technische Universität München, Garching, Germany Less Power for More Learning: Restricting OCaml Features for Effective Teaching
Dario PintoPinto, Dario OCamlPro Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Lucas PluvinagePluvinage, Lucas TaridesFrance Eio 1.0 – Effects-based IO for OCaml 5
François PottierPottier, François InriaFrance Osiris: an Iris-based program logic for OCaml
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Committee Member in Program Committee within the OCaml-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Committee Member in Program Committee within the OCaml-track
R Claude RubinsonRubinson, Claude University of Houston-DowntownUnited States Committee Member in Program Committee within the OCaml-track
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Co-chair in Program Committee within the OCaml-track
Mark ShinwellShinwell, Mark Jane Street Flambda 2 Types: An abstract domain for static analysis of functional programs Efficient OCaml compilation with Flambda 2
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml
Dmitrij SzamozvancevSzamozvancev, Dmitrij University of CambridgeUnited Kingdom Safe and efficient generic functions with MacoCaml
T Andrew TaoTao, Andrew Princeton University Parallel Sequences in Multicore OCaml
Edwin TörökTörök, Edwin XenServer, Cloud Software GroupUnited Kingdom Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code
W Leo WhiteWhite, Leo Jane Street Safe and efficient generic functions with MacoCaml
X Ningning XieXie, Ningning University of Toronto / Google DeepMindCanada Safe and efficient generic functions with MacoCaml
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Session Chair of Session 4 (part of OCaml) Safe and efficient generic functions with MacoCaml