About
In 2013 I got my Ph.D. in Computer Science in the Software Engineering research area under the supervision of Sebastián Uchitel and Víctor Braberman, with the collaboration of Diego Garbervetsky.
In 2010 I was awarded a Microsoft Research Fellowship, and later that year I was intern for three months in that institute mentored by Nikolaj Bjorner. In 2011 I returned to Microsoft Research for a second internship with Yuri Gurevich.
I'm head teaching assistant in the area of Software Engineering at Universidad de Buenos Aires.
As of September 2012, I'm Senior Software Engineer at Medallia.
Research
Research interests
My research interests are mainly focused towards the formal aspects of software engineering. In particular I'm working (or have recently worked) in contract validation, software verification, program analysis, programming languages design, type theory and model checking.
I'm a member of the local Reading Group of Program Analysis and Verification.
Projects
I am (or have been) involved in the following research projects:- Microsoft SEIF: Strengthening Code Contracts with Typestates. 2010-2011
- ANPCyT PICT 2005-32440: Partial Models in Embedded and Reactive Software Engineering. 2007-2010
- IBM Eclipse Innovation Grant: Early Bug Detection by Inferring Semantic Properties. 2006-2007
- IBM Eclipse Innovation Grant: An Integrated Real Time Systems Verification Toolkit. 2005-2006
Professional activities
- Member of the ESEC/FSE 2011 Artifact Evaluation Comittee
- Additional reviewer in the following conferences: ICSE 2010, FTfJP 2009, ISSTA 2009, ICSE 2009, ICSE 2007
- Student volunteer in the following conferences: ICSE 2011, ICSE 2010, ICSE 2009
Publications
Book chapters
-
de Caso, Braberman, Garbervetsky, Uchitel
Abstractions for Validation in Action
Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering. Springer LNCS 7320
-
Bjorner, de Caso, Gurevich
From Primal Infon Logic with Individual Variables to Datalog
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Springer LNCS 7265
Refereed publications in conferences and journals
-
Jeannin, de Caso, Chen, Gurevich, Naldurg, Swamy
DKAL*: Constructing Executable Specifications of Authorization Protocols
International Symposium on Engineering Secure Software and Systems (ESSOS) 2013. -
de Caso, Garbervetsky, Gorín
Integrated Program Verification Tools in Education
Software: Practice and Experience. ISSN 1097-024X (in press) -
de Caso, Braberman, Garbervetsky, Uchitel
Enabledness-based Program Abstractions for Behaviour Validation
Transactions on Software Engineering and Methodology. ISSN 1049-331X (in press) -
de Caso
Breve Repaso Histórico de la Computación Hogareña en la Argentina (in Spanish)
Revista Iberoamericana de Ciencia, Tecnología y Sociedad. ISSN 1668-0030, Vol. 6, Nº 18, 2011
-
de Caso, Braberman, Garbervetsky, Uchitel
Program Abstractions for Behaviour Validation
International Conference on Software Engineering 2011. Honolulu, Hawaii, USA, May 21-28th, 2011
-
de Caso, Braberman, Garbervetsky, Uchitel
Automated Abstractions for Contract Validation
Transactions on Software Engineering. ISSN 0098-5589, 2010 (in press)
-
de Caso
Behavioural Validation of Software Engineering Artefacts
International Conference on Software Engineering 2010: Doctoral symposium. Cape Town, South Africa, May 4th, 2010
-
de Caso, Braberman, Garbervetsky, Uchitel
Validation of Contracts using Enabledness Preserving Finite State Abstractions
International Conference on Software Engineering 2009. Vancouver, Canada, May 16-24th, 2009
-
de Caso, Garbervetsky, Gorín
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Symposium on Automatic Program Verification 2009. Rio Cuarto, Argentina, February 15th, 2009
Refereed publications in workshops
-
Zoppi, Braberman, de Caso, Garbervetsky, Uchitel
Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts
ICSE Workshop on Developing Tools as Plug-ins (TOPI) 2011. Honolulu, Hawaii, USA, May 28th, 2011
-
de Caso, Garbervetsky, Gorín
Pest: From the Lab to the Classroom
ICSE Workshop on Developing Tools as Plug-ins (TOPI) 2011. Honolulu, Hawaii, USA, May 28th, 2011
-
Cavatorta, de Caso, Ferrari, Braberman, Garbervetsky, Kicillof, Schapachnik, Olivero
A Toolsuite for the Verification of Real-time Systems in Eclipse
OOPSLA Workshop on Eclipse Technology eXchange (ETX) 2006. Portland, Oregon, USA, October 22-23th, 2006
Other publications
-
Blass, de Caso, Gurevich
An Introduction to DKAL
Microsoft Research technical report, 2012
-
Bjorner, de Caso, Gurevich
From Primal Infon Logic with Individual Variables to Datalog
Microsoft Research technical report, 2011
-
de Caso, Braberman, Garbervetsky, Uchitel
Contractor for Code Validation
Universidad de Buenos Aires technical report, 2010
-
de Caso, Garbervetsky, Gorín
Pest Formal Specification (v1.0)
Universidad de Buenos Aires technical report, 2008
-
de Caso (tutored by Garbervetsky and Gorín)
Higher-level Constructs as Annotations for Automatic Software Verification
Master thesis (in spanish), Buenos Aires, Argentina, December 4th, 2007
Tools
- DKAL - A distributed authorization policy language. Try out DKAL live in Rise4Fun.
- Contractor.NET - A Visual Studio extension for .NET validation and specification strengthening.
- Contractor - A pre/postcondition specification validation tool (it handles C code too!).
- BudaPest - An automated software verifier.
- VInTiMe - An integrated toolsuite for real-time systems design and verification.
Apps
- Hailstorm watch (Granizo alertas). An app that actively monitors Twitter and weather agencies and keeps you updated regarding hailstorms approaching your area.
Bio
Curriculum Vitae
Feel free to download my CV in both English and Spanish versions. (Last modified on February 22nd, 2013)
Teaching
Current
I'm a teaching assistant in charge of practical sessions in a Software Engineering course.
Past
In February 2011, together with Diego Garbervetsky, we were in charge of a 5-day program analysis course in Rio Cuarto, Argentina.
I've previously been involved in teaching assistant possitions in Software Engineering, Operating Systems, Programming Languages and Paradigms, Algorithms and Data Structures, and Logic and Computability courses.
Contact
Miscellanea
I am part of the local LUG.
If you wish, you may also contact me through Facebook, Google+ or Mendeley.