Concepedia

Matías Toro

MT

Statistics

Publications

4

Citations

82

H-Index

4

Active since

2015

Affiliations

University of Chile(Current)

Matías Toro is an author at University of Chile specializing in computer science, automated reasoning, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationDesignLanguage

Publications per year

2015–2023

4

Publications

4

Type-Driven Gradual Security with References

Matías Toro, Ronald Garcia, Éric Tanter · ACM Transactions on Programming Languages and Systems · 2018 · 44 citations

Engineering, Gsl Ref, Information Security +20

Abstracting gradual references

Matías Toro, Éric Tanter · Science of Computer Programming · 2020 · 15 citations · Full text

Reference Data, Automated Reasoning, Computational Linguistics +6

Customizable gradual polymorphic effects for Scala

Matías Toro, Éric Tanter · 2015 · 13 citations · Full text

Engineering, Gradual Effect, Verification +19

Contextual Linear Types for Differential Privacy

Matías Toro, David Darais, Chiké Abuah et al. · ACM Transactions on Programming Languages and Systems · 2023 · 10 citations · Full text

1–4 of 4