| {{:people:minostro.jpg?150|Milton Inostroza}} ||
| **Milton Inostroza** ||
| //Master Student//| [[minostro@dcc.uchile.cl]]|
| [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] | Blanco Encalada 2120, of 336 |
| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | Santiago, Chile |
| [[http://www.uchile.cl|University of Chile]] | tel: +56 2 9784890 |
===== About Me =====
I'm a second year Master student at the [[http://www.dcc.uchile.cl|Computer Science Department]] of the [[http://www.uchile.cl|University of Chile]]. Currently I'm working on my Master Thesis promoted by [[http://www.pleiad.cl/people/etanter|Prof. Eric Tanter]] at Pleiad lab
===== Research Interests =====
* Aspect-Oriented Programming
* Modularity
===== Short Research Description=====
(from the abstract of my thesis proposal)
Aspect-Oriented Programming (AOP) successfully modularizes crosscutting concerns such as logging, profiling, security among others. However, AOP fails to provide modular reasoning and separate evolution of aspects and base code. In current aspect languages, modular reasoning is hampered because base code has no way to know which properties and invariants aspects rely upon, and because aspects, through their pointcuts, carry explicit references to the base code. This compromises separate evolution of aspects and base code because slight changes in either base or aspect code can break unwittingly strong assumptions made by programmers.
In the AOP community, several proposals try to address these problems without success. In this thesis, we introduce Join Point Interfaces (JPIs): a novel abstraction layer between aspects and base code. JPIs support, by design, modular reasoning and independent evolution by supporting a modular type-checking algorithm. We provide strong guarantees that any program that typechecks is free of uncaught checked exceptions at runtime. This in contrast to existing solutions that cannot provide such guarantees in all cases. In addition, we plan to implement JPIs as an extension of the abc compiler for AspectJ and migrate several applications to assess the impact of JPIs in real software products.
===== Publications =====
//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...