Raimil Cruz
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