Concepedia

Joseph Tassarotti

JT

Statistics

Publications

15

Citations

528

H-Index

13

Active since

2012

Affiliations

Carnegie Mellon University(Current)

Max Planck Institute for Software Systems

New York University

Harvard University Press

Joseph Tassarotti is an author at Carnegie Mellon University specializing in computing, computer science, and formal methods.

Publications per year

2012–2024

15

Publications

15

RockSalt

Greg Morrisett, Gang Tan, Joseph Tassarotti et al. · 2012 · 136 citations

Computing, Computer Engineering, Computer Science +10

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 90 citations · Full text

Computing, Computer Science, Formal Methods +10

Verifying concurrent, crash-safe systems with Perennial

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek et al. · 2019 · 57 citations · Full text

Computing, Computer Science, Computer Systems +15

Verifying read-copy-update in a logic for weak memory

Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis · 2015 · 41 citations

Computing, Computer Engineering, Computer Science +17

Transfinite Iris: resolving an existential dilemma of step-indexed separation logic

Simon Spies, Lennard Gäher, Daniel Gratzer et al. · 2021 · 30 citations · Full text

Computing, Computer Science, Formal Methods +11

1–5 of 15