• Sign in
  • Sign up
conf.researchr.org / Joshua Gancher
  • PLDI 2021 profile
  • PLDI 2025 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2025 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
Joshua Gancher

Registered user since Thu 22 Dec 2022

Name:Joshua Gancher
Country:United States
Affiliation:Northeastern University
Personal website: https://gancher.dev
Research interests:Programming Languages, Cryptography

Contributions

2025

PriSC

  • Author of ILA: Correctness via Type Checking for Fully Homomorphic Encryption within the PriSC 2025-track
  • Committee Member in Program Committee within the PriSC 2025-track

PLDI

  • Committee Member in Program Committee within the Student Research Competition-track
  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2024

SPLASH

  • Author of FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions within the OOPSLA 2024-track

2023

SPLASH

  • Committee Member in Reviewers within the Student Research Competition-track

POPL

  • Author of A Core Calculus for Equational Proofs of Cryptographic Protocols within the POPL-track

PriSC

  • Author of Universally Composable Security for Program Partitioning within the PriSC 2023-track

2021

PLDI

  • Author of Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs within the PLDI-track

PriSC

  • Author of Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs within the PriSC 2021-track
Share
xThu 25 Sep 03:17
using conf.researchr.org (v1.71.1)
Support page
Sign Up