This is an old revision of the document!
News
-
-
-
just came back from volunteering as visiting
lecturer at University of Cape Coast, Ghana, for
Academics without Borders (if you're interested in teaching a 6-week PhD-level intro course in Ghana on either Programming Languages, Databases, Algorithms or Software Engineering, let me know!)
Research Interests
programming and programming languages: design, semantics, implementation, analysis, type systems
software modularity and adaptability
objects, functions, aspects, reflection, meta-programming, concurrency, distribution, mobility, etc. etc.
practice of programming: tool support, debugging, code mining, user experiments
Academic Activities
Program Committee Chair
11th International Conference on Aspect-Oriented Software Development (
AOSD 2012)
7th International Symposium on Software Composition 2008 (
SC 2008) at ETAPS 2008
XXVIth International Conference of the Chilean Computer Science Society (
SCCC 2007)
1st Latin American Workshop on Aspect-Oriented Software Development (
LA-WASP.07)
Program Committee Member
Editorial Boards, Committees, Evaluations
-
-
-
-
-
Evaluator for the following funding agencies: FONDECYT Regular National Research Competition, Chile (2007), Swiss National Science Foundation, Switzerland (2007, 2009), Netherlands Organisation for Scientific Research, Holland (2010), Israel Science Foundation (2013)
Member of the Engineering Study Group (Ingeniería 2) of CONICYT, Chile (2011-2012).
Organization of Events (Workshops, Conferences, Schools)
6th Workshop on Domain-Specific Aspect Languages (
DSAL 2011) at the ACM International Conference on AOSD (
AOSD 2011)
3rd Summer School on Programming Languages (
PL 2010)
-
5th Workshop on Domain-Specific Aspect Languages (
DSAL 2010) at the ACM International Conference on AOSD (
AOSD 2010)
8th International Conference on Aspect-Oriented Software Development (
AOSD 2009), publicity co-chair
2nd Summer School on Programming Languages (
PL 2009)
4th Workshop on Domain-Specific Aspect Languages (
DSAL 2009) at the ACM International Conference on AOSD (
AOSD 2009)
Summer School on Programming Languages (
PL 2008)
3rd Workshop on Domain-Specific Aspect Languages (
DSAL 2008) at the ACM International Conference on AOSD (
AOSD 2008)
2nd ISCV Thematic Workshop: Biologically-Inspired Computing 2007 (
BIC 2007)
3rd Workshop on Object Technology for Ambient Intelligence and Pervasive Computing (
OT4AmI 2007) at the European Conference on Object-Oriented Programming (
ECOOP 2007)
2nd Workshop on Domain-Specific Aspect Languages (
DSAL 2007) at the ACM International Conference on AOSD (
AOSD 2007)
1st Workshop on Domain-Specific Aspect Languages (
DSAL 2006) at the ACM International Conference on Generative Programming and Component Engineering (
GPCE 2006)
2nd Workshop on Object Technology for Ambient Intelligence and Pervasive Computing (
OT4AmI 2006) at the European Conference on Object-Oriented Programming (
ECOOP 2006)
1st Workshop on Software Engineering of Pervasive Services (
SEPS 2006) at the IEEE International Conference on Pervasive Services (
ICPS 2006)
1st Workshop on Open and Dynamic Aspect Languages (
ODAL 2006) at the ACM International Conference on AOSD (
AOSD 2006)
Research Projects
FONDECYT Project 1150017 - Gradual Software Verification: Foundations and Applications [2015-2018/lead]
INRIA Équipe Associée
REAL [2013-2015/lead]
FONDECYT Project 1110051 - Modular and Adaptable Software without Losing Control [2011-2014/lead]
INRIA Équipe Associée
RAPIDS [2010-2012/lead]
FONDECYT Project 1090083 - Engineering and Composition of Domain-Specific Aspect Languages [2009-2012/researcher]
STIC AmSud Project CoReA: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits (09STIC02) [2009-2010/researcher]
INRIA-CONICYT Project CORDIAL [2008-2009/lead]
FONDECYT Project 11060493 - Modularization and Adaptation of Complex and Dynamic Software Systems [Oct.2006-Oct.2009/lead]
Latin American Network on Aspect-Oriented Software Development [2007-2009/lead]
Bilateral collaboration with the PROG lab of the Vrije Universiteit Brussel: ORION (Open Reflective Infrastructure for Open Networks) [2006-2007/lead]
Center for Web Research (
CWR) [PhD student 2002-2004, Postdoc 2005-2006, Young Researcher 2006-2007]
European Network of Excellence CoreGRID (WP3) [2005-2007/researcher]
Chile-Korea ITCC Project AOP for the Grid [2004-2006/lead]
INRIA-CONICYT Project OSCAR [2004-2006/researcher]
INRIA-CONICYT Project ProXiMoS [2002-2003/researcher]
Administration
Deputy Director of the Computer Science Department (2015-)
Head of the Department Graduate Committee (2012-)
Coordinator of the PhD Program in Computer Science (2012-)
Elected Member of the Department Council (2012-)
Member of the Department Academic Evaluation Committee (2011-2014)
Library Coordinator (2009-)
Substitute Member of the Department Council (2007-2008)
Awards & Distinctions
Grad students
[PhD] Felipe Larenas (just starting)
[PhD] Raimil Cruz (just starting)
[PhD] Matías Toro (just starting)
[MSc] Gustavo Soto (modular composition of session types)
[MSc] Joffre Yagual (deep typechecking for Django)
[MSc] Nicolás Lehmann (just starting)
Former students:
[PhD] Oscar Callaú: Empirically-Driven Design and Implementation of Gradualtalk [co-advised with Romain Robbes]. Defended 27/01/2015. Now at Microsoft, Vancouver, Canada.
[PhD] Esteban Allende: Improving the Efficiency and Reliability of Gradual Typing [co-advised with Johan Fabry]. Defended 08/01/2015. Now at Autofact Spa.
[PhD] Rodolfo Toledo: Modular and Secure Access Control with Aspects. Defended 13/05/2014. Now at Movix, Chile.
[PhD] Ismael Figueroa: Effective Aspects: A Typed Monadic Model to Control and Reason About Aspect Interference [co-advised with Nicolas Tabareau]. Defended 22/04/2014. Now postdoc at INRIA. Now Professor at Universidad Católica de Valparaíso, Chile.
[PhD] Christophe Scholliers: Ambient Contracts [co-advised with Wolfgang De Meuter]. Defended 07/02/2013. Now postdoc at VUB.
[PhD] Paul Leger: Opening Up Trace-Based Mechanisms. Defended 05/10/2012. Now Professor at Universidad Católica del Norte, Chile.
[PhD] Guillaume Pothier: Towards Practical Omniscient Debugging. Defended 13/06/2011. Now at INRIA Chile (CIRIC). Now at Caligrafix, Chile.
[MSc] Matías Toro: Customizable Gradual Effects for Scala. Defended 18/05/2015. Now PhD student at U Chile.
[MSc] Felipe Bañados: Gradual Typing for Generic Type-and-Effect Systems [co-advised with Ron Garcia]. Defended 08/08/2014. Now PhD student at University of British Columbia, Canada.
[MSc] Milton Inostroza: Join Point Interfaces [co-advised with Eric Bodden]. Defended 12/04/2013. Now at Groupon, USA.
[MSc] Victor Ramiro: Proximity in Pervasive Computing. Defended 2009. Now PhD student at University of Toulouse, France.
Publications
Online profiles: Google Scholar ResearchGate
Online libraries and indices: DBLP ACM SpringerLink
The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Loading bibtex info...
Other material
I teach several courses related to programming languages.
In particular, I use Shriram Krishnamurthi's PLAI book for the first PL course. I have written a couple of add-ons for PLAI:
PrePLAI: crash course on Scheme and functional programming (in spanish)
OOPLAI: exploring OOP from scratch using macros
I have also gathered some writing tips over time.
Charla sobre ética en investigación (curso postgrado DCC)
