Publications

In HotOS, 2017.

In SoCC, 2017.

In ASPLOS, 2016.

In ISSTA, 2015.

In OSDI, 2014.

In SoCC, 2014.

In SoCC, 2014.

In SoCC, 2013.

Contact