Robert Schenck -

Registered user since Mon 24 Jun 2024

Name:Robert Schenck

Bio:

Postdoc at Northeastern.

Country:United States

Affiliation:Northeastern University

Personal website: https://rschenck.com

GitHub: https://github.com/zfnmxt

Research interests:Functional programming, array programming, type systems, compilers

Contributions

2026

PLDI

Author of Verifying Array Properties in Pure Data-Parallel Programs within the PLDI Research Papers-track
Author of Pantomime: Constructive Leakage Proofs via Simulation within the PLDI Research Papers-track

2024

SPLASH

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the OOPSLA 2024-track

ARRAY