OCaml 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (62)

A Ashish AgarwalAgarwal, Ashish Session Chair of Session 5 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
B Paaras BhandariBhandari, Paaras University of Maryland, College ParkUnited States Property-Based Testing for OCaml through Coq
Thomas BlancBlanc, Thomas OCamlPro Digodoc and Docs
Mehdi BouazizBouaziz, Mehdi Nomadic Labs ParisFrance Committee Member in Program Committee within the OCaml-track
Raja BoujbelBoujbel, Raja OCamlProFrance Session Chair of Session 4 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Frédéric BourBour, Frédéric TaridesFrance PC Chair in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track
David BrumleyBrumley, David Carnegie Mellon University Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
C Simon CastellanCastellan, Simon INRIA Committee Member in Program Committee within the OCaml-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Session 1 (part of OCaml) Committee Member in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track
D Steven de Oliveirade Oliveira, Steven OCamlPro Love: a readable language interpreted by a blockchain
David DeclerckDeclerck, David OCamlPro Love: a readable language interpreted by a blockchain
Enguerrand DecorneDecorne, Enguerrand Tarides Adapting the OCaml ecosystem for Multicore OCaml
Kate DeplaixDeplaix, Kate OCaml Labs Committee Member in Program Committee within the OCaml-track
F Craig FergusonFerguson, Craig Tarides Experiences with Effects
Patrick FerrisFerris, Patrick OCaml LabsUnited Kingdom Experiences with Effects
Jun FuruseFuruse, Jun DaiLambdaJapan Committee Member in Program Committee within the OCaml-track
G Thomas GazagnaireGazagnaire, Thomas TaridesFrance Session Chair of Session 3 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Louis GesbertGesbert, Louis OCamlPro Digodoc and Docs
Joris GiovannangeliGiovannangeli, Joris Ahrefs Research Committee Member in Program Committee within the OCaml-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore GopCaml: A Structural Editor for OCaml
Ivan GotovchitsGotovchits, Ivan Carnegie Mellon UniversityUnited States Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
Rudi GrinbergGrinberg, Rudi OCaml Labs Session Chair of Session 6 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
H Sonja HeinzeHeinze, Sonja Committee Member in Organizing Committee within the OCaml-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the OCaml-track
Mohamed HernoufHernouf, Mohamed OCamlPro Digodoc and Docs
Hugo HeuzardHeuzard, Hugo Jane Street Europe Committee Member in Program Committee within the OCaml-track
I Rizo IsrofIsrof, Rizo Tarides Continuous Benchmarking for Ocaml Projects
J Sadiq JafferJaffer, Sadiq Opsian and OCaml LabsUnited Kingdom Experiences with Effects Adapting the OCaml ecosystem for Multicore OCaml
Timothy M. JonesJones, Timothy M. University of Cambridge, UKUnited Kingdom From 2n+1 to n
K Adharsh KamathKamath, Adharsh National Institute of Technology Karnataka, Surathkal, IndiaIndia Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
Tom KellyKelly, Tom OCaml Labs Experiences with Effects Adapting the OCaml ecosystem for Multicore OCaml
L Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Property-Based Testing for OCaml through Coq
Fabrice Le FessantLe Fessant, Fabrice OCamlPro Digodoc and Docs Opam-bin: Binary Packages with Opam
Thomas LeonardLeonard, Thomas OCaml Labs Experiences with Effects
Xavier LeroyLeroy, Xavier Collège de FranceFrance 25 years of OCaml
Di Long LiLi, Di Long The Australian National University Wibbily Wobbly Timey Camly
Nandor LickerLicker, Nandor University of Cambridge From 2n+1 to n
Jonathan LudlamLudlam, Jonathan University of Cambridge A Multiverse of Glorious Documentation
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Session Chair of Keynote (part of OCaml) Experiences with Effects Committee Member in Organizing Committee within the OCaml-track
Laurent MazareMazare, Laurent Jane Street OCaml and Python: Getting the Best of Both Worlds
Tim McGilchristMcGilchrist, Tim TaridesAustralia Session Chair of Session 2 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Simão Melo de SousaMelo de Sousa, Simão NOVA LINCS & Universidade da Beira Interior, Portugal Deductive Verification of Realistic OCaml Code
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance Probabilistic resource limits, or: Programming with interrupts in OCaml
N Vaivaswatha NagarajNagaraj, Vaivaswatha Zilliqa ResearchIndia Committee Member in Program Committee within the OCaml-track
O Michael O'ConnorO'Connor, Michael Jane Street Safe Protocol Updates via Propositional Logic
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Program Committee within the OCaml-track
Nicolas OsborneOsborne, Nicolas Tarides Leveraging Formal Specifications to Generate Fuzzing Suites
P Sumit PadhiyarPadhiyar, Sumit Indian Institue Of Technology, MadrasIndia Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
Yoann PadioleauPadioleau, Yoann Return to Corp Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
Sudha ParimalaParimala, Sudha Segfault SystemsIndia Adapting the OCaml ecosystem for Multicore OCaml
Clément PascuttoPascutto, Clément Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance Leveraging Formal Specifications to Generate Fuzzing Suites
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Deductive Verification of Realistic OCaml Code
Carlos PintoPinto, Carlos NOVA LINCS & Universidade da Beira Interior, Portugal Deductive Verification of Realistic OCaml Code
Lucas PluvinagePluvinage, Lucas TaridesFrance A Multiverse of Glorious Documentation
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Committee Member in Program Committee within the OCaml-track
R Gabriel RadanneRadanne, Gabriel InriaFrance Wibbily Wobbly Timey Camly
Cristina RosuRosu, Cristina Jane Street Committee Member in Program Committee within the OCaml-track
S Jeffrey A. ScofieldScofield, Jeffrey A. Psellos Committee Member in Program Committee within the OCaml-track
Gargi SharmaSharma, Gargi Tarides Continuous Benchmarking for Ocaml Projects
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs Experiences with Effects Adapting the OCaml ecosystem for Multicore OCaml
Magnus SkjegstadSkjegstad, Magnus Tarides and OCaml LabsNorway Continuous Benchmarking for Ocaml Projects
T Ryohei TokudaTokuda, Ryohei Idein Committee Member in Program Committee within the OCaml-track