• Sign in
  • Sign up
conf.researchr.org / Raimil Cruz
  • APLAS 2019 profile
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Raimil Cruz

Registered user since Wed 11 Jan 2017

Name:Raimil Cruz
Country:Chile
Affiliation:University of Chile
Personal website: https://pleiad.cl/people/racruz
Research interests:information-flow control, gradual typing

Contributions

2019

APLAS

  • Author of Existential Types for Relaxed Noninterference within the Research Papers-track

2018

ECOOP/ISSTA

  • Committee Member in Program Committee within the Doc Symposium-track

2017

ECOOP

  • Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track
  • Committee Member in Program Committee within the ECOOP Doctoral Symposium-track

2016

ECOOP

  • Author of Exploring optional security typing within the Doctoral Symposium-track
Share
xMon 19 May 16:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up