Collaborated with:Yatin A. Manerkar D.Lustig M.Pellauer M.Martonosi
Talks about:trisect (1) softwar (1) hardwar (1) memori (1) verif (1) model (1) check (1) tri (1) isa (1)
Person: Caroline Trippel
DBLP: Trippel:Caroline
Contributed to:
2017Wrote 1 papers:
- ASPLOS-2017-TrippelMLPM #hardware #memory management #named #verification
- TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA (CT, YAM, DL, MP, MM), pp. 119–133.