conf.researchr.org / 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
2022
2021
2020
2019
Haskell
2018
ICFP
- 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