Yatin A. Manerkar | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Sanjit A. Seshia
65 publications
Margaret Martonosi
17 publications
Caroline Trippel
13 publications
Michael Pellauer
11 publications
Elizabeth Polgreen
9 publications
Adwait Godbole
8 publications
Shaokai Lin
7 publications
Kevin Cheang
4 publications
Federico Mora
3 publications
Pranav Gaddamadugu
3 publications
Daniel Lustig
3 publications

research

∙ 08/13/2022

Automated Conversion of Axiomatic to Operational Models: Theory and Practice

A system may be modelled as an operational model (which has explicit not...

0 Adwait Godbole, et al. ∙

research

∙ 08/07/2022

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

UCLID5 is a tool for the multi-modal formal modeling, verification, and ...

0 Elizabeth Polgreen, et al. ∙

research

∙ 03/09/2020

RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification

Modern SoCs are heterogeneous parallel systems comprised of components d...

0 Yatin A. Manerkar, et al. ∙

research

∙ 08/26/2016

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Memory consistency models (MCMs) which govern inter-module interactions ...

0 Caroline Trippel, et al. ∙