E-LIB Suche - Ergebnisse für: Manerkar, Yatin A.

1

Lifting Micro-Update Models from RTL for Formal Security An..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Godbole, Adwait ; Cheang, Kevin ; Manerkar, Yatin A.. - p. 631-648 , 2024

Link: https://dl.acm.org/doi/1..

2

PipeSynth: Automated Synthesis of Microarchitectural Axioms..:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Norman, Chase ; Godbole, Adwait ; Manerkar, Yatin A. - p. 513-527 , 2023

Link: https://dl.acm.org/doi/1..

3

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

Link: https://doi.org/10.1145/..

4

Kobold: Simplified Cache Coherence for Cache-Attached Accel..:

Brana, Jennifer ; Schwedock, Brian C. ; Manerkar, Yatin A..
IEEE Computer Architecture Letters. 22 (2023) 1 - p. 41-44 , 2023

Link: https://doi.org/10.1109/..

5

Modelling and Verification of Security-Oriented Resource Pa..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Godbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A.. - p. 268-273 , 2023

Link: https://doi.org/10.34727..

6

MOESI-prime : preventing coherence-induced hammering in ..:

, In: Proceedings of the 49th Annual International Symposium on Computer Architecture,

Loughlin, Kevin ; Saroiu, Stefan ; Wolman, Alec.. - p. 670-684 , 2022

Link: https://dl.acm.org/doi/1..

7

Automated Conversion of Axiomatic to Operational Models: Th..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. - p. 331-342 , 2022

Link: https://doi.org/10.34727..

8

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022

Link: https://doi.org/10.1007/..

9

Session details: Session 4A: Parallelism:

, In: MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture,

Manerkar, Yatin , 2021

Link: https://dl.acm.org/doi/1..

10

Full-Stack Memory Model Verification with TriCheck:

Trippel, Caroline ; Manerkar, Yatin A. ; Lustig, Daniel..
IEEE Micro. 38 (2018) 3 - p. 58-68 , 2018

Link: https://doi.org/10.1109/..

11

PipeProof : automated memory consistency proofs for micr..:

, In: Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture,

Manerkar, Yatin A. ; Lustig, Daniel ; Martonosi, Margaret. - p. 788-801 , 2018

Link: https://dl.acm.org/doi/1..

12

RTLcheck : verifying the memory consistency of RTL desig..:

, In: Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture,

Manerkar, Yatin A. ; Lustig, Daniel ; Martonosi, Margaret. - p. 463-476 , 2017

Link: https://dl.acm.org/doi/1..

13

TriCheck: Memory Model Verification at the Trisection of So..:

Trippel, Caroline ; Manerkar, Yatin A. ; Lustig, Daniel..
ACM SIGPLAN Notices. 52 (2017) 4 - p. 119-133 , 2017

Link: https://doi.org/10.1145/..

14

TriCheck : Memory Model Verification at the Trisection o..:

, In: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems,

Trippel, Caroline ; Manerkar, Yatin A. ; Lustig, Daniel.. - p. 119-133 , 2017

Link: https://dl.acm.org/doi/1..

15

TriCheck: Memory Model Verification at the Trisection of So..:

Trippel, Caroline ; Manerkar, Yatin A. ; Lustig, Daniel..
ACM SIGARCH Computer Architecture News. 45 (2017) 1 - p. 119-133 , 2017

Link: https://doi.org/10.1145/..