This is an old revision of the document!
News
Research Interests
programming and programming languages: design, semantics, implementation, analysis, type systems, verification
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 (Conferences)
34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (
OOPSLA 2019)
23rd ACM SIGPLAN International Conference on Functional Programming (
ICFP 2018)
45th ACM SIGPLAN Conference on Principles of Programming Languages (
POPL 2018)
27th European Symposium on Programming (
ESOP 2018)
32nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (
OOPSLA 2017) – External Program Committee
14th Asian Symposium on Programming Languages and Systems (
APLAS 2016)
17th Symposium on Trends in Functional Programming (
TFP 2016)
31st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (
OOPSLA 2016) – External Program Committee
30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (
OOPSLA 2015)
24th European Symposium on Programming (
ESOP 2015)
14th International Conference on Modularity, External Review Committee (
MODULARITY 2015)
13th International Conference on Generative Programming: Concepts & Experiences (
GPCE 2014)
27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (
OOPSLA 2012)
-
10th ACM International Conference on Generative Programming and Component Engineering (
GPCE 2011)
10th ACM International Conference on Aspect-Oriented Software Development (
AOSD 2011)
6th ACM Dynamic Languages Symposium (
DLS 2010)
24th European Conference on Object-Oriented Programming (
ECOOP 2010)
9th ACM International Conference on Aspect-Oriented Software Development (
AOSD 2010)
-
IFIP International Conference on Distributed Applications and Interoperable Systems (
DAIS 2009)
47th International Conference on Objects, Models, Components and Patterns (
TOOLS-EUROPE 2009)
13th Brazilian Symposium on Programming Languages (
SBLP 2009)
8th International Conference on Software Composition (
SC 2009)
ACM Symposium on Applied Computing (
SAC 2009), Track on Programming for Separation of Concerns
5th International Conference on Autonomic and Autonomous Systems (
ICAS 2009)
XXVIIth International Conference of the Chilean Computer Science Society (
SCCC 2008)
12th Brazilian Symposium on Programming Languages (
SBLP 2008)
IFIP International Conference on Distributed Applications and Interoperable Systems (
DAIS 2008)
ACM Symposium on Applied Computing (
SAC 2008), Track on Programming Languages, and Track on Programming for Separation of Concerns
International Conference on Trustworthy Global Computing (
TGC 2007)
IFIP International Conference on Distributed Applications and Interoperable Systems (
DAIS 2007)
International Symposium on Software Composition (
SC 2007)
ACM Symposium on Applied Computing (
SAC 2007), Track on Programming for Separation of Concerns
NODe 2006 - Objects, Aspects, Services, the Web
ACM Symposium on Applied Computing (
SAC 2006), Track on Programming for Separation of Concerns
Program Committee Member (Workshops)
Editorial Boards, Committees, Evaluations
-
-
-
-
-
-
-
Evaluator for the following funding agencies: FONDECYT Regular National Research Competition, Chile; Swiss National Science Foundation, Switzerland; Netherlands Organisation for Scientific Research, Holland; Israel Science Foundation; FONCYT, Argentina; Research Foundation - Flanders (FWO), Belgium; Agence Nationale pour la Recherche (ANR), France; EU ECOS-Sud.
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)
Outreach
In June/July 2014, I was volunteering as a 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 Projects
FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]
INRIA Équipe Associée GECO [2018-2020/lead]
CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/lead]
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
Member of the Qualifying Committee of the Engineering Faculty (FCFM) [2020-]
Member of the Department Graduate Committee [2020-]
Director of the Computer Science Department [2016-2018]
Deputy Director of the Computer Science Department [2015-2016]
Head of the Department Graduate Committee [2012-2016]
Coordinator of the PhD Program in Computer Science [2012-2016]
Elected Member of the Department Council [2012-2016]
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] Raimil Cruz (typed-based relaxed noninterference)
[PhD] Elizabeth Labrada (gradual parametricity)
[MSc] Hans Fehrmann (exceptional type theory)
[MSc] Fabian Mosso (interval effects)
Former students:
[PhD] Matías Toro: Abstracting Gradual Typing: Metatheory and Applications. Defended 05/07/2019. Now Postdoc at IMFD, Chile.
[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. Now Professor at University of Gent, Belgium.
[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 CEO at Caligrafix, Chile.
[MSc] Nicolás Lehmann: Gradual Refinement Types. Defended 9/3/2017. Now at Sudo Technologies, USA.
[MSc] Johannes Bader: Gradual Program Verification with Implicit Dynamic Frames (Karlsruhe Institute of Technology) [co-advised with Jonathan Aldrich (CMU) and Gregor Snelting (KIT)]. Defended 4/10/2016. Now at Microsoft, USA.
[MSc] Gustavo Soto: Modular Composition of Session Types. Defended 1/12/2015. Now at OGR, 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)