Jose Calderon

Registered user since Sun 10 Apr 2016

Name:Jose Calderon
Bio:

Research Engineer at the DC office of Galois, Inc.

PhD in Programming Languages from the University of York, UK.

Country:United States
Affiliation:Galois, Inc.
Personal website:http://jmct.cc
Research interests:Functional Programming, Static Analysis, Parallelism, Compilers

Contributions

PLMW @ ICFP 2021 Co-chair in Organizing Committee within the PLMW @ ICFP 2021-track
Co-chair of Welcome and Opening Remarks within the PLMW @ ICFP 2021-track
PLMW @ ICFP 2020 Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track
ICFP 2020 Organizer of ICFP Triva within the Social Events-track
HIW 2019 Committee Member in Program Committee within the HIW 2019-track
Session Chair of Compilers (part of HIW 2019)
Author of Tagging Tags: Inferring the presence of pointer tags at compile time. within the HIW 2019-track
Haskell 2019 Session Chair of Paper Session 1: Classes & Instances (part of Haskell 2019)
Committee Member in Program Committee within the Haskell 2019-track
ICFP 2018 Session Chair of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games (part of Tutorials)
Author of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games within the Tutorials-track
Video Co-Chair in Organizing Committee
ICFP 2017 Video Chair in Organizing Committee
Off the Beaten Track 2017 Author of Laziness Boxes You In within the OBT-track
ICFP 2016 Video Co-Chair in Organizing Committee