papers


PUBLISHED PAPERS

2018

NIPS (spotlight): "Precision and Recall for Time Series" (3.45% acceptance (168/4856), joint with Brown)

MAPL: "The Three Pillars of Machine Programming" (joint with MIT)

SysML: "Precision and Recall for Range-Based Anomaly Detection" (joint with Brown)

SysML: "Greenhouse: A Zero-Positive Machine Learning System for Time-Series Anomaly Detection" (joint with Brown)

SysML: "Toward Scalable Verification for Safety-Critical Deep Networks" (joint with Stanford)


2017-2016

(Took a break from research and joined the startup world...)


2015

PACT: "TSXProf: Profiling Hardware Transactions" (joint with Lehigh)


2014

PACT: "Invyswell: A Hybrid Transactional Memory for Haswell's Restricted Transactional Memory" (joint with Brown)

IWOOMP: "Towards Transactional Memory for OpenMP" (joint with IBM, Oracle, LLNL)


2013

PACT: "Concurrent Predicates: A Debugging Technique for Every Parallel Programmer"

HotPar: "Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack" (joint with Brown)

HotPar: "But How Do We Really Debug Transactional Memory Programs?"

ISCA: "QuickRec: Prototyping an Intel Architecture Extension for Record and Replay of Multithreaded Programs" (joint with UIUC)

TRANSACT: "Generic Programming Needs Transactional Memory" (joint with HP Labs)


2012

PACT: "Visualizing Transactional Memory" (joint with Brown and CU-Boulder)

HotPar: "Concurrent Predicates: Finding and Fixing the Root Cause of Concurrency Violations"


2011

MICRO: "CoreRacer: A Practical Memory Race Recorder for Multicore x86 TSO Processors"

LCPC: "Optimizing the Concurrent Execution of Locks and Transactions"


2010

BoostCon: "Reducing the Integration Complexity of Software Transactional Memory with TBoost.STM"

WTTM: "Proving Conflict Serializability for Full Invalidation"

CGO: "An Efficient Software Transactional Memory Using Commit-Time Invalidation" (Best Presentation Award)


2009

BoostCon: "Toward Simplified Parallel Support in C++"

ICOOOLPS: "An Efficient Lock-Aware Transactional Memory Implementation"

ISaC: "Shifting the Parallel Programming Paradigm" (Best Presentation Award)

ASPLOS (Poster): "Lock-Aware Transactional Memory"


2008

EPHAM: "Extending Contention Managers for User-Defined Priority-Based Transactions"

ICOOOLPS: "C++ Move Semantics for Exception Safety and Optimization in Software Transactional Memory Libraries"


2007

LCSD: "DracoSTM: A Practical C++ Approach to Software Transactional Memory"