This is an old revision of the document!
 |
|
| Raimil Cruz Concepción | |
| PhD Student | racruz@dcc.uchile.cl |
| PLEIAD Lab | Beauchef 851, of.313 |
| Computer Science Department (DCC) | Santiago, Chile |
| University of Chile | |
Research Interests
- Programming Languages
- Security typing
- Gradual typing
Research
- [bib,pdf] Type Abstraction for Relaxed Noninterference. Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter. Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), volume 74, pp.7:1-7:27, Barcelona, Spain, June 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik