Adrian Sampson -

Registered user since Thu 15 May 2014

Name:Adrian Sampson

Affiliation:Cornell University

Personal website:http://adriansampson.net/

Research interests:computer architecture, programming languages, compilers

Contributions

PLDI 2023	Presenter of DSL-based Hardware Generation within the Tutorials-track Author of Modular Hardware Design with Timeline Types within the PLDI Research Papers-track
PLARCH 2023	Committee Member in Organizing Committee within the PLARCH 2023-track
PLDI 2022	Author of (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types within the SIGPLAN Track-track
ICSE 2022	Author of Verifying Dynamic Trait Objects in Rust within the SEIP - Software Engineering in Practice-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
PLDI 2021	Author of Reticle: A Virtual Machine for Programming Modern FPGAs within the PLDI-track
TAPAS 2020	Author of Online Verification of Commutativity within the TAPAS-track
SPLASH 2020	Author of Geometry Types for Graphics Programming within the Posters-track Session Chair of R-2 (part of OOPSLA) Author of Geometry Types for Graphics Programming within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track Mentor in Mentors within the PLMW-track
LCTES 2020	Author of WIP: A Synthesis-aided Compiler for DSP Architectures within the LCTES 2020-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track Session Chair of Session 3 (part of Ask Me Anything) Session Chair of Language Design I (part of PLDI Research Papers) Author of Predictable Accelerator Design with Time-Sensitive Affine Types within the PLDI Research Papers-track
PLMW@PLDI 2020	Co-chair in Organizing Committee within the PLMW@PLDI 2020-track Session Chair of Day 2 Morning (part of PLMW@PLDI 2020)
PLMW @ PLDI 2019	Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track Author of Designing Languages for Designing Hardware within the PLMW @ PLDI 2019-track
WAX 2019	Co-organizer in Organizing Committee within the WAX 2019-track
SPLASH 2018	Author of LambdaLab: An Interactive Lambda-Calculus Reducer for Learning within the SPLASH-E-track Committee Member in Review Committee within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track
PLMW @ PLDI 2018	Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018	Publicity Chair in Organizing Committee
Onward! 2017	Committee Member in Program Committee within the Onward! Papers-track Session Chair of New Languages (part of Onward! Papers)
SPLASH 2017	Author of Static Stages for Heterogeneous Programming within the OOPSLA-track
MAPL 2017	Author of Debugging Probabilistic Programs within the MAPL 2017-track
PLDI 2017	Publicity Chair in Organizing Committee
PPS 2017	Author of Reasoning about inference in probabilistic programs within the PPS-track
PLDI 2016	Committee Member in Program Committee
SPLASH 2015	Author of Probability Type Inference for Flexible Approximate Programming within the OOPSLA-track
WAX 2015	Committee Member in Organizers within the WAX-track
SPLASH 2014	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track