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"