• Sign in
  • Sign up
conf.researchr.org / Ari Prakash
  • ICFP 2026 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2026 profile
Ari Prakash

Registered user since Sun 17 Aug 2025

Name:Ari Prakash
Country:United States
Affiliation:Northeastern University
Personal website: https://ari.foo
GitHub: https://github.com/ariscript
Research interests:Type Systems, Logic, Language Interoperability

Contributions

2026

FARM

  • Author of CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation within the FARM 2026-track

PriSC

  • Author of Specifying ABIs with Realizability and Type-Preserving Compilation within the PriSC-track

2025

Scheme

  • Author of miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) within the Scheme 2025-track
Share
xFri 16 Oct 17:16
using conf.researchr.org (v1.76.1)
Support page
Sign Up