Projects

MIC Loop Fuser

Published:

Enabling more loop fusions by Moving Intervening Code blocks between two loop candidates.

Code Report

Trim

Published:

A fast and accurate crash-consistency bug detection tool for persistent-memory applications.


Decaf Compiler

Published:

A compiler for Decaf programming language that supports lexical analysis, syntax analysis, semantic analysis, IR generation and code generation.


DBPR

Published:

Can we combine data privacy and Byzantine resilience in distributed machine learning?

Code Report