This is an old revision of the document!
News
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)
28th ACM SIGPLAN International Conference on Functional Programming (
ICFP 2023)
50th ACM SIGPLAN Conference on Principles of Programming Languages (
POPL 2023)
17th ACM Dynamic Languages Symposium (
DLS 2021)
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
Research Projects
ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
INRIA Équipe Associée GRAPA [2023-2025/lead]
Millenium Institute for Foundational Research on Data (IMFD), Associate Researcher [2023-2027]
FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]
Millenium Institute for Foundational Research on Data (IMFD), Associate Researcher [2018-2022]
INRIA Équipe Associée GECO [2018-2022/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
Coordinator of Department Undergrad Graduation Projects in Industry [2024-]
Member of the Department Graduate Committee [2020-]
Member of the Academic Qualification Committee of the Engineering Faculty (FCFM) [2020-2024]
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-2020]
Substitute Member of the Department Council [2007-2008]
Awards & Distinctions
Grad students
[PhD] Stefan Malewski
[PhD] Damian Arquez [co-advised with Matías Toro]
[PhD] Tomás Díaz
[MSc] José Luis Romero [co-advised with Matías Toro]
[MSc] Gaspar Ricci [co-advised with Matías Toro]
Former PhD students:
Elizabeth Labrada:
Gradual System F. [co-advised with Matías Toro]. Defended 21/12/2022.
-
-
-
-
-
-
Christophe Scholliers:
Ambient Contracts (Vrije Universiteit Brussel) [co-advised with Wolfgang De Meuter]. Defended 07/02/2013.
-
-
Former MSc students:
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)
