Yatin A. Manerkar

Computer Science · University of Michigan

Mid career · publishing since 2015

Parallel Computing and Optimization Techniques Embedded Systems Design Techniques Distributed systems and fault tolerance Formal Methods in Verification Advanced Data Storage Technologies

Publications

Citations

176

Est. group size

—

Recurring co-author estimate

Active years

Publishing since 2015

In context

Among 784 mid career Computer Science PIs within our index

Citations: 176cohort median 434

Publications / year (recent): 2.6cohort median 3.8

Typically publishes in teams of ~4 · 38% small-team papers (≤3 authors) · across 9 venues

Publication cadence

Publications per year over the last 10 years — averaging 2.6/year recently

Collaborators per year

Distinct co-authors at University of Michigan each year — a rough indication of whether the group around this researcher has been growing or contracting. An estimate from co-authorship, not a roster: collaborators are not necessarily lab members, and recent years can be under-counted while indexing catches up.

Recent publications

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
arXiv (Cornell University) · 2026
täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
arXiv (Cornell University) · 2026
Lifting Micro-Update Models from RTL for Formal Security Analysis
2024
SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security
2024
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
arXiv (Cornell University) · 2024
Towards Building Verifiable CPS using Lingua Franca
ACM Transactions on Embedded Computing Systems · 2023
Kobold: Simplified Cache Coherence for Cache-Attached Accelerators
IEEE Computer Architecture Letters · 2023
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
2023
Modelling and Verification of Security-Oriented Resource Partitioning Schemes
Open MIND · 2023
MOESI-prime
2022
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
Lecture notes in computer science · 2022
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
arXiv (Cornell University) · 2022
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
arXiv (Cornell University) · 2022
Progressive Automated Formal Verification of Memory Consistency in Parallel Processors
2021
Session details: Session 4A: Parallelism
2021

Publishes in

arXiv (Cornell University)×7
ACM Transactions on Embedded Computing Systems×1
IEEE Micro×1
ACM SIGPLAN Notices×1
ACM SIGARCH Computer Architecture News×1

Similar researchers

By research-topic overlap

Geoffrey Brown
Computer Science · Indiana University
Ryan Newton
Computer Science · Purdue University West Lafayette
Goutham Kalikrishna Reddy Kuncham
Computer Science · The Ohio State University
John L. Hennessy
Computer Science · University of Michigan
Scott Mahlke
Computer Science · University of Michigan

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 25, 2026.

Claim or correct this profile