Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Claudio Ochoa's web site
[go: Go Back, main page]

Claudio Ochoa
Claudio Ochoa
Welcome to my site!
"Learn at least one new [programming] language every year. Different languages solve the same problems in different ways. By learning several different approaches, you can help broaden your thinking and avoid getting stuck in a rut." The Pragmatic Programmer
Current activities

Currently I am Senior Software Engineer at Intel.

I finished my PhD at the Universidad Politecnica de Madrid, Spain.

I am also a member of the SEG of the Universidad Nacional de San Luis, Argentina.

Selected publications
Software Engineering
  • Lightening the Software Production Process in a CMM Level 5 Framework - IEEE América Latina Magazine, Volume: 3, Issue: 1 (03/2005 ) .
  • Guidelines for Applying XP@Scrum in a CMM Level 5 Organization - Agile Times Newsletter, Issue 2 (04/2003).
Program Transformation
  • Poly-Controlled Partial Evaluation in Practice- ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM'07), Nice (France), 2007.
  • Poly-Controlled Partial Evaluation - 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), Venice (Italy), 2006.
  • Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs - 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), London (UK), 2005.
  • Lightweight Program Specialization via Dynamic Slicing - ACM SIGPLAN International Workshop on Curry and Functional Logic Programming (WCFLP 2005), Tallinn (Estonia). ACM Press, 2005.
  • Dynamic Slicing Based on Redex Trails - ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona (Italy). ACM Press, 2004.
Domain Specific Languages
  • Towards CNC Programming Using Haskell - IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 04),Puebla (Mexico). 2004.