DCC | Académicas/os - Éric Tanter

DCC

Académicas/os

Éric Tanter

Profesor Titular

Anexo +56229784953 Oficina Of. N310

Eric Tanter

Nombramiento Académico Actual

  • Académico - Profesor Titular

Títulos y Grados

  • Doctor - U. de Nantes 2006

Cargos en Docencia y/o Administración

  • Coordinador de Prácticas de Título - Departamento de Ciencias de la Computación actual

Docencia Últimos 7 años

Memorias y Tesis Últimos 7 años

Participación como Profesor Guía

  • Formalización enfocada a operaciones de tensores PyTorch, 2025
  • Tyger una herramienta de tipado estático extensible para Python, 2025
  • Estudio de un lenguaje gradual con subtipos nominales, 2024
  • C# unit test smell detection in Visual Studio, 2024
  • A Coq formalization of RDF and its applications, 2023
  • Gradual system F, 2022
  • Gradual sensitivity types, 2021
  • A reasonably exceptional type theory a type theory with exceptios, 2020
  • Countable polymorphic may-must effects, 2020
  • Type abstraction and faceted types for declassification, 2020

Investigación Últimos 7 Años

Publicaciones

  • Definitional Proof Irrelevance Made Accessible Leibniz International Proceedings in Informatics, LIPIcs, 2026
  • Bounded Sort Polymorphism with Elimination Constraints PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2026
  • Gradual Sensitivity Typing Proceedings - IEEE Computer Security Foundations Symposium, 2025
  • Robust Dynamic Embedding for Gradual Typing PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2025
  • Incremental Certified Programming PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2025
  • Visualizing the semantics of gradual languages with Gredex SOFTWAREX, 2025
  • Elucidating Type Conversions in SQL Engines Lecture Notes in Computer Science, 2025
  • All Your Base Are Belong to Us Sort Polymorphism for Proof Assistants PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2025
  • Gradual C0: Symbolic Execution for Gradual Verification ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2024
  • Gradual Differentially Private Programming COMMUNICATIONS OF THE ACM, 2024
  • Securing Verified IO Programs Against Unverified Code in F¿ PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024
  • Contextual Linear Types for Differential Privacy ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023
  • Gradual System F JOURNAL OF THE ACM, 2022
  • Propositional Equality for Gradual Dependently Typed Programming PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022
  • A Reasonably Gradual Type Theory PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022
  • Gradualizing the Calculus of Inductive Constructions ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022
  • Plausible Sealing for Gradual Parametricity PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022
  • An Extended Account of Trace-relating Compiler Correctness and Secure Compilation ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2021
  • Gradual program analysis for null pointers Leibniz International Proceedings in Informatics, LIPIcs, 2021
  • Gradually structured data PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021
  • The Marriage of Univalence and Parametricity JOURNAL OF THE ACM, 2021
  • Gradual verification of recursive heap data structures PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020
  • Trace-Relating Compiler Correctness and Secure Compilation Lecture Notes in Computer Science, 2020
  • A mechanized formalization of GraphQL CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, 2020
  • Abstracting gradual references SCIENCE OF COMPUTER PROGRAMMING, 2020
  • The Little Prover JOURNAL OF FUNCTIONAL PROGRAMMING, 2020

Proyectos de Investigación

  • Gradual Reasoning About Programs: Typing, Analysis, and Verification FONDECYT, 1190058, 2019 - 2023
  • Instituto Milenio de Investigación sobre los Fundamentos de los Datos - IMFD Iniciativa científica Milenio, IM1705, 2017 - 2027