Hello! My name is Abel, and I’m a masters student in Computer Science at the University of Waterloo. I work with Ondřej Lhoták on programming languages (specifically Scala).
Abel Nieto, Towards Algorithmic Typing for DOT (Short Paper), to appear at SCALA’17 [preprint]
Abel Nieto, Towards Algorithmic Typing for DOT (Technical Report) arXiv:1708.05437 [cs.PL]
Interests: compilers, program analysis, SAT/SMT solvers, type theory
This is a course project for a course on SAT/SMT solvers taught by Vijay Ganesh. The problem statement is as follows: given two MIPS programs, do they implement the same function?
My current thought is to use concolic testing to try to disprove program equivalence.
Before my masters, I worked for almost three years at Google, doing Android development (☺) and build infrastructure (☹).
Before that, I was an undergrad at Waterloo, where I got interested in type theory, compilers, and all things PL thanks to Prabhakar Ragde.