Browsing by Author Melissaris, Themis
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | OKAPI: In Support of Application Correctness in Smart Home Environments | Melissaris, Themis; Shaw, Kelly; Martonosi, Margaret |
| 2020 | PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing | Melissaris, Themis; Markakis, Markos; Shaw, Kelly; Martonosi, Margaret |