CUFinder

Éric Tanter

Éric Tanter

Universidad de Chile

H-index: 37

Latin America-Chile

Contact Éric Tanter

About Éric Tanter

Éric Tanter, With an exceptional h-index of 37 and a recent h-index of 23 (since 2020), a distinguished researcher at Universidad de Chile, specializes in the field of Programming Languages, Software Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

Securing Verified IO Programs Against Unverified Code in F

Gradual Sensitivity Typing

Contextual linear types for differential privacy

Programming Languages and Systems

Gradualizing the calculus of inductive constructions

Gradual System F

Gradual C0: Symbolic Execution for Efficient Gradual Verification

Gradual C0: Symbolic Execution for Gradual Verification

Éric Tanter Information

University

Position

Professor of Computer Science

Citations(all)

4455

Citations(since 2020)

1408

Cited By

3751

hIndex(all)

37

hIndex(since 2020)

23

i10Index(all)

96

i10Index(since 2020)

39

Email

University Profile Page

Google Scholar

Éric Tanter Skills & Research Interests

Programming Languages

Software Engineering

Top articles of Éric Tanter

Securing Verified IO Programs Against Unverified Code in F

Proceedings of the ACM on Programming Languages

2024/1/5

Éric Tanter
Éric Tanter

H-Index: 22

Gradual Sensitivity Typing

arXiv preprint arXiv:2308.02018

2023/8/3

Matías Toro
Matías Toro

H-Index: 4

Éric Tanter
Éric Tanter

H-Index: 22

Contextual linear types for differential privacy

ACM Transactions on Programming Languages and Systems

2023/5/17

Matías Toro
Matías Toro

H-Index: 4

Chike Abuah
Chike Abuah

H-Index: 1

Federico Olmedo
Federico Olmedo

H-Index: 11

Éric Tanter
Éric Tanter

H-Index: 22

Programming Languages and Systems

ACM Transactions on

2023

E Lee
E Lee

H-Index: 8

Gradualizing the calculus of inductive constructions

ACM Transactions on Programming Languages and Systems (TOPLAS)

2022/4/6

Éric Tanter
Éric Tanter

H-Index: 22

Gradual System F

Journal of the ACM

2022/10/28

Elizabeth Labrada
Elizabeth Labrada

H-Index: 1

Matías Toro
Matías Toro

H-Index: 4

Éric Tanter
Éric Tanter

H-Index: 22

Gradual C0: Symbolic Execution for Efficient Gradual Verification

arXiv preprint arXiv:2210.02428

2022/10/5

Mona Zhang
Mona Zhang

H-Index: 0

Joshua Sunshine
Joshua Sunshine

H-Index: 13

Éric Tanter
Éric Tanter

H-Index: 22

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Gradual C0: Symbolic Execution for Gradual Verification

arXiv preprint arXiv:2210.02428

2022/10

Mona Zhang
Mona Zhang

H-Index: 0

Joshua Sunshine
Joshua Sunshine

H-Index: 13

Éric Tanter
Éric Tanter

H-Index: 22

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Propositional equality for gradual dependently typed programming

Proceedings of the ACM on Programming Languages

2022/8/29

Éric Tanter
Éric Tanter

H-Index: 22

A reasonably gradual type theory

Proceedings of the ACM on Programming Languages

2022/8/29

Éric Tanter
Éric Tanter

H-Index: 22

Plausible sealing for gradual parametricity

Proceedings of the ACM on Programming Languages

2022/4/29

Elizabeth Labrada
Elizabeth Labrada

H-Index: 1

Matías Toro
Matías Toro

H-Index: 4

Éric Tanter
Éric Tanter

H-Index: 22

An extended account of trace-relating compiler correctness and secure compilation

ACM Transactions on Programming Languages and Systems (TOPLAS)

2021/11/10

Roberto Blanco
Roberto Blanco

H-Index: 3

Deepak Garg
Deepak Garg

H-Index: 5

Éric Tanter
Éric Tanter

H-Index: 22

Gradually structured data

Proceedings of the ACM on Programming Languages

2021/10/15

Michael Greenberg
Michael Greenberg

H-Index: 16

Éric Tanter
Éric Tanter

H-Index: 22

The Multiverse: Logical Modularity for Proof Assistants

arXiv preprint arXiv:2108.10259

2021/8/23

Éric Tanter
Éric Tanter

H-Index: 22

Approximate Normalization and Eager Equality Checking for Gradual Inductive Families

arXiv preprint arXiv:2107.04859

2021/7/10

Éric Tanter
Éric Tanter

H-Index: 22

Gradual program analysis for null pointers

arXiv preprint arXiv:2105.06081

2021/5/13

Jenna Wise
Jenna Wise

H-Index: 3

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Éric Tanter
Éric Tanter

H-Index: 22

Joshua Sunshine
Joshua Sunshine

H-Index: 13

The marriage of univalence and parametricity

Journal of the ACM (JACM)

2021/1/15

Éric Tanter
Éric Tanter

H-Index: 22

Gradual verification of recursive heap data structures

Proceedings of the ACM on Programming Languages

2020/11/13

Jenna Wise
Jenna Wise

H-Index: 3

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Éric Tanter
Éric Tanter

H-Index: 22

Joshua Sunshine
Joshua Sunshine

H-Index: 13

Abstracting gradual references

Science of Computer Programming

2020/10/1

Matías Toro
Matías Toro

H-Index: 4

Éric Tanter
Éric Tanter

H-Index: 22

A mechanized formalization of GraphQL

2020/1/20

Federico Olmedo
Federico Olmedo

H-Index: 11

Éric Tanter
Éric Tanter

H-Index: 22

See List of Professors in Éric Tanter University(Universidad de Chile)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine