Themis Melissaris

PhD Candidate, Princeton Computer Science



pic I am a final-year Ph.D. student in the Computer Science department at Princeton. I am advised by Prof. Margaret Martonosi and Prof. Kelly Shaw. My goal is to build practical testing tools for system correctness. My research interests span different areas of Systems. During my internships at VMware (summer 2018), Samsung Research America (summer 2016) and Cisco (summer 2015), I worked on Systems applications for the Internet of Things.

Before coming to Princeton, I spent six months as a visiting scholar at UT Dallas, working with Prof. Yiorgos Makris. I received my Diploma in Electrical and Computer Engineering from NTUA, Greece, where I was advised by Prof. Iraklis Anagnostopoulos and Prof. Dimitrios Soudris.

I am on the job market!

PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing
Themis Melissaris, Markos Markakis, Kelly A. Shaw, Margaret Martonosi.
MICRO, 2020.

Introduces PerpLE, a tool suite that enables synchronization-free consistency testing for multiprocessors. PerpLE offers significant testing performance and efficiency benefits.

OKAPI: In Support of Application Correctness in Smart Home Environments
Themis Melissaris, Kelly A. Shaw, Margaret Martonosi.
FMEC, 2019.

Presentation of correctness deficiencies in commercial smart home platforms and design of OKAPI, a framework that provides correctness guarantees for smart home applications.

Locomotive: Optimizing Mobile Web Traffic Using Selective Compression
Themis Melissaris, Kelly A. Shaw, Margaret Martonosi.
WoWMoM, 2017. (extended)

Mobile and IoT web traffic optimization techniques based on selective compression that save bandwidth and speedup data transfers.

Agora: Agent and market-based resource management for many-core systems
Themis Melissaris, Iraklis Anagnostopoulos, Dimitrios Soudris and Dionisios Reisis,
ICECS, 2016.

Resource management simulation framework for Many-core systems with market-based policies.