2018.10.19
Publications
2018.06.17
Publications
model checking, memory consistency models, operational semantics, data race freedom, bisimulation
2018.04.13
Dataset
2018.04.13
Publications
2018.03.15
Publications
2018.01.31
Poster
program analysis, machine learning, high performance computing, Fortran, evidence-based performance tuning
2017.12.15
Publications
memory consistency models, model checking, program verification
2017.12.02
Poster
2017.11.12
Publications
memory consistency models, model checking, program verification
2017.11.07
Honors / Awards