Daniel Sainati -

Registered user since Thu 15 May 2025

Name:Daniel Sainati

Affiliation:University of Pennsylvania

Personal website: https://sainati.pl/

Research interests:Programming Languages

Contributions

2026

PLDI

Author of The Search for Constrained Random Generators within the PLDI Research Papers-track
Author of Modular GPU Programming with Typed Perspectives within the PLDI Research Papers-track

POPL

2018

SPLASH

Author of LambdaLab: An Interactive Lambda-Calculus Reducer for Learning within the SPLASH-E-track