Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Manerkar, Yatin A."'
Microarchitectural security verification of software has seen the emergence of two broad classes of approaches. The first is based on semantic security properties (e.g., non-interference) which are verified for a given program and a specified abstrac
Externí odkaz:
http://arxiv.org/abs/2406.05403
A system may be modelled as an operational model (which has explicit notions of state and transitions between states) or an axiomatic model (which is specified entirely as a set of invariants). Most formal methods techniques (e.g., IC3, invariant syn
Externí odkaz:
http://arxiv.org/abs/2208.06733
Autor:
Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A., Mora, Federico, Seshia, Sanjit A.
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied
Externí odkaz:
http://arxiv.org/abs/2208.03699
Modern SoCs are heterogeneous parallel systems comprised of components developed by distinct teams and possibly even different vendors. The memory consistency model (MCM) of processors in such SoCs specifies the ordering rules which constrain the val
Externí odkaz:
http://arxiv.org/abs/2003.04892
Autor:
Manerkar, Yatin A., Trippel, Caroline, Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret
The C and C++ high-level languages provide programmers with atomic operations for writing high-performance concurrent code. At the assembly language level, C and C++ atomics get mapped down to individual instructions or combinations of instructions b
Externí odkaz:
http://arxiv.org/abs/1611.01507
Autor:
Trippel, Caroline, Manerkar, Yatin A., Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret
Memory consistency models (MCMs) which govern inter-module interactions in a shared memory system, are a significant, yet often under-appreciated, aspect of system design. MCMs are defined at the various layers of the hardware-software stack, requiri
Externí odkaz:
http://arxiv.org/abs/1608.07547
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
SHAOKAI LIN, MANERKAR, YATIN A., LOHSTROH, MARTEN, POLGREEN, ELIZABETH, SHENG-JUNG YU, JERAD, CHADLIA, LEE, EDWARD A., SESHIA, SANJIT A.
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-24, 24p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.