• Sign in
  • Sign up
conf.researchr.org / Joshua M. Cohen
  • ICFP 2024 profile
  • ICSE 2025 profile
  • POPL 2024 profile
  • POPL 2025 profile
Joshua M. Cohen

Registered user since Wed 8 Nov 2023

Name:Joshua M. Cohen
Affiliation:Amazon Web Services
Personal website: https://joscoh.github.io/
GitHub: https://github.com/joscoh

Contributions

2025

ICSE

  • Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

CoqPL

  • Author of Implementing OCaml APIs in Coq within the CoqPL 2025-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

ICFP

  • Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

POPL

  • Author of A Formalization of Core Why3 in Coq within the POPL-track
Share
xSun 7 Sep 04:11
using conf.researchr.org (v1.70.0)
Support page
Sign Up