My current focus is the development of the Bosque Programming Language and tooling ecosystem. This project is a ground up language & tooling co-design effort focused on investigating the theoretical and the practical implications of:
- Explicitly designing a code intermediate representation language (bytecode) that enables deep automated code reasoning and the deployment of next-generation development tools, compilers, and runtime systems.
- Leveraging the power of the intermediate representation to provide a programming language that is both easily accessible to modern developers and that provides a rich set of useful language features for developing high reliability & high performance applications.
- Taking a cloud-development first perspective on programming to address emerging challenges as we move into a distributed cloud development model based around microservices, serverless, and RESTful architectures.
Previously I have worked on topics including cloud runtimes, low-overhead diagnostic tracing and time-travel debugging tools, program synthesis, compilers and analysis, and applying machine learning to software engineering problems.
As an undergraduate I attended UC Berkeley and obtained a BA in Mathematics. I received my Ph.D. from the University of New Mexico under the supervision of Prof. Deepak Kapur. I spent 2008-2012 at the Imdea Software Institute in Madrid Spain before taking my current position at Microsoft Research. I am from Albuquerque New Mexico and enjoy a Hispanic heritage.