Selected Publications

@inproceedings{conf/asplos/LiDX19,

title = {Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices.},

author = {Gushu Li and Yufei Ding and Yuan Xie},

year  = {2019},

date = {2019-01-01},

booktitle = {ASPLOS},

pages = {1001-1014},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/WuADS18,

title = {Data Citation: Giving Credit Where Credit is Due.},

author = {Yinjun Wu and Abdussalam Alawini and Susan B. Davidson and Gianmaria Silvello},

year  = {2018},

date = {2018-01-01},

booktitle = {SIGMOD Conference},

pages = {99-114},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/MarcusPSG18,

title = {NashDB: An End-to-End Economic Method for Elastic Database Fragmentation, Replication, and Provisioning.},

author = {Ryan Marcus and Olga Papaemmanouil and Sofiya Semenova and Solomon Garber},

year  = {2018},

date = {2018-01-01},

booktitle = {SIGMOD Conference},

pages = {1253-1267},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/MishraPCCP18,

title = {Oblix: An Efficient Oblivious Search Index.},

author = {Pratyush Mishra and Rishabh Poddar and Jerry Chen and Alessandro Chiesa and Raluca Ada Popa},

year  = {2018},

date = {2018-01-01},

booktitle = {IEEE Symposium on Security and Privacy},

pages = {279-296},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/AngelCLS18,

title = {PIR with Compressed Queries and Amortized Query Processing.},

author = {Sebastian Angel and Hao Chen and Kim Laine and Srinath T. V. Setty},

year  = {2018},

date = {2018-01-01},

booktitle = {IEEE Symposium on Security and Privacy},

pages = {962-979},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/RoesslerD18,

title = {Protecting the Stack with Metadata Policies and Tagged Hardware.},

author = {Nick Roessler and André DeHon},

year  = {2018},

date = {2018-01-01},

booktitle = {IEEE Symposium on Security and Privacy},

pages = {478-495},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/AbateABEFHLPST18,

title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.},

author = {Carmine Abate and Arthur Azevedo Amorim and Roberto Blanco and Ana Nora Evans and Guglielmo Fachini and Catalin Hritcu and Théo Laurent and Benjamin C. Pierce and Marco Stronati and Andrew Tolmach},

year  = {2018},

date = {2018-01-01},

booktitle = {CCS},

pages = {1351-1368},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/HeoLPN18,

title = {Effective Program Debloating via Reinforcement Learning.},

author = {Kihong Heo and Woosuk Lee and Pardis Pashakhanloo and Mayur Naik},

year  = {2018},

date = {2018-01-01},

booktitle = {CCS},

pages = {380-394},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/TuLLH18,

title = {Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors.},

author = {Yazhou Tu and Zhiqiang Lin and Insup Lee and Xiali Hei},

year  = {2018},

date = {2018-01-01},

booktitle = {USENIX Security Symposium},

pages = {1545-1562},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/SettyAGL18,

title = {Proving the correct execution of concurrent services in zero-knowledge.},

author = {Srinath T. V. Setty and Sebastian Angel and Trinabh Gupta and Jonathan Lee},

year  = {2018},

date = {2018-01-01},

booktitle = {OSDI},

pages = {339-356},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/imc/MarderLDHcS18,

title = {Pushing the Boundaries with bdrmapIT: Mapping Router Ownership at Internet Scale.},

author = {Alexander Marder and Matthew J. Luckie and Amogh Dhamdhere and Bradley Huffaker and claffy and Jonathan M. Smith},

year  = {2018},

date = {2018-01-01},

booktitle = {Internet Measurement Conference},

pages = {56-69},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/ZhaoTZALHKK018,

title = {RF-based 3D skeletons.},

author = {Mingmin Zhao and Yonglong Tian and Hang Zhao and Mohammad Abu Alsheikh and Tianhong Li and Rumen Hristov and Zachary Kabelac and Dina Katabi and Antonio Torralba},

year  = {2018},

date = {2018-01-01},

booktitle = {SIGCOMM},

pages = {267-281},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/YaseenSL18,

title = {Synchronized network snapshots.},

author = {Nofel Yaseen and John Sonchack and Vincent Liu},

year  = {2018},

date = {2018-01-01},

booktitle = {SIGCOMM},

pages = {402-416},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/ArzaniCCZLPLO18,

title = {007: Democratically Finding the Cause of Packet Drops.},

author = {Behnaz Arzani and Selim Ciraci and Luiz F. O. Chamon and Yibo Zhu and Hongqiang Liu and Jitu Padhye and Boon Thau Loo and Geoff Outhred},

year  = {2018},

date = {2018-01-01},

booktitle = {NSDI},

pages = {419-435},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/DeLozierELD18,

title = {SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably.},

author = {Christian DeLozier and Ariel Eizenberg and Brandon Lucia and Joseph Devietti},

year  = {2018},

date = {2018-01-01},

booktitle = {ASPLOS},

pages = {286-300},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/ZhaL18,

title = {Liquid Silicon-Monona: A Reconfigurable Memory-Oriented Computing Fabric with Scalable Multi-Context Support.},

author = {Yue Zha and Jing Li},

year  = {2018},

date = {2018-01-01},

booktitle = {ASPLOS},

pages = {214-228},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/ChenLLAJLZ17,

title = {Distributed Provenance Compression.},

author = {Chen Chen and Harshal Tushar Lehri and Lay Kuan Loh and Anupam Alur and Limin Jia and Boon Thau Loo and Wenchao Zhou},

year  = {2017},

date = {2017-01-01},

booktitle = {SIGMOD Conference},

pages = {203-218},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/imc/ZhangLZK17,

title = {High-resolution measurement of data center microbursts.},

author = {Qiao Zhang and Vincent Liu and Hongyi Zeng and Arvind Krishnamurthy},

year  = {2017},

date = {2017-01-01},

booktitle = {Internet Measurement Conference},

pages = {78-85},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/YuanLMMAL17,

title = {Quantitative Network Monitoring with NetQRE.},

author = {Yifei Yuan and Dong Lin and Ankit Mishra and Sajal Marwaha and Rajeev Alur and Boon Thau Loo},

year  = {2017},

date = {2017-01-01},

booktitle = {SIGCOMM},

pages = {99-112},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/WuCHZL17,

title = {Automated Bug Removal for Software-Defined Networks.},

author = {Yang Wu and Ang Chen and Andreas Haeberlen and Wenchao Zhou and Boon Thau Loo},

year  = {2017},

date = {2017-01-01},

booktitle = {NSDI},

pages = {719-733},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/micro/PengWD17,

title = {PARSNIP: performant architecture for race safety with no impact on precision.},

author = {Yuanfeng Peng and Benjamin P. Wood and Joseph Devietti},

year  = {2017},

date = {2017-01-01},

booktitle = {MICRO},

pages = {490-502},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/micro/DeLozierEHPD17,

title = {TMI: thread memory isolation for false sharing repair.},

author = {Christian DeLozier and Ariel Eizenberg and Shiliang Hu and Gilles Pokam and Joseph Devietti},

year  = {2017},

date = {2017-01-01},

booktitle = {MICRO},

pages = {639-650},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/LiuIL16,

title = {Enabling Incremental Query Re-Optimization.},

author = {Mengmeng Liu and Zachary G. Ives and Boon Thau Loo},

year  = {2016},

date = {2016-01-01},

booktitle = {SIGMOD Conference},

pages = {1705-1720},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/KolesnikovKLMR16,

title = {Attribute-based Key Exchange with General Policies.},

author = {Vladimir Kolesnikov and Hugo Krawczyk and Yehuda Lindell and Alex J. Malozemoff and Tal Rabin},

year  = {2016},

date = {2016-01-01},

booktitle = {CCS},

pages = {1451-1463},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/AngelWHLSSBW16,

title = {Defending against Malicious Peripherals with Cinch.},

author = {Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish},

year  = {2016},

date = {2016-01-01},

booktitle = {USENIX Security Symposium},

pages = {397-414},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/CarliniMVZSSWZ16,

title = {Hidden Voice Commands.},

author = {Nicholas Carlini and Pratyush Mishra and Tavish Vaidya and Yuankai Zhang and Micah Sherr and Clay Shields and David A. Wagner and Wenchao Zhou},

year  = {2016},

date = {2016-01-01},

booktitle = {USENIX Security Symposium},

pages = {513-530},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/YunMSJKN16,

title = {APISan: Sanitizing API Usages through Semantic Cross-Checking.},

author = {Insu Yun and Changwoo Min and Xujie Si and Yeongjin Jang and Taesoo Kim and Mayur Naik},

year  = {2016},

date = {2016-01-01},

booktitle = {USENIX Security Symposium},

pages = {363-378},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/AngelS16,

title = {Unobservable Communication over Fully Untrusted Infrastructure.},

author = {Sebastian Angel and Srinath T. V. Setty},

year  = {2016},

date = {2016-01-01},

booktitle = {OSDI},

pages = {551-569},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/PapadimitriouBC16,

title = {Big Data Analytics over Encrypted Datasets with Seabed.},

author = {Antonis Papadimitriou and Ranjita Bhagwan and Nishanth Chandran and Ramachandran Ramjee and Andreas Haeberlen and Harmeet Singh and Abhishek Modi and Saikrishna Badrinarayanan},

year  = {2016},

date = {2016-01-01},

booktitle = {OSDI},

pages = {587-602},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/imc/MarderS16,

title = {MAP-IT: Multipass Accurate Passive Inferences from Traceroute.},

author = {Alexander Marder and Jonathan M. Smith},

year  = {2016},

date = {2016-01-01},

booktitle = {Internet Measurement Conference},

pages = {397-411},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/ChenWHZL16,

title = {The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance.},

author = {Ang Chen and Yang Wu and Andreas Haeberlen and Wenchao Zhou and Boon Thau Loo},

year  = {2016},

date = {2016-01-01},

booktitle = {SIGCOMM},

pages = {115-128},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/ArzaniCLSO16,

title = {Taking the Blame Game out of Data Centers Operations with NetPoirot.},

author = {Behnaz Arzani and Selim Ciraci and Boon Thau Loo and Assaf Schuster and Geoff Outhred},

year  = {2016},

date = {2016-01-01},

booktitle = {SIGCOMM},

pages = {440-453},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/isca/HuangHL16,

title = {Decoupling Loads for Nano-Instruction Set Computers.},

author = {Ziqiang Huang and Andrew D. Hilton and Benjamin C. Lee},

year  = {2016},

date = {2016-01-01},

booktitle = {ISCA},

pages = {406-417},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/micro/LehmanHL16,

title = {PoisonIvy: Safe speculation for secure memory.},

author = {Tamara Silbergleit Lehman and Andrew D. Hilton and Benjamin C. Lee},

year  = {2016},

date = {2016-01-01},

booktitle = {MICRO},

pages = {38:1-38:13},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/FanZL16,

title = {The Computational Sprinting Game.},

author = {Songchun Fan and Seyed Majid Zahedi and Benjamin C. Lee},

year  = {2016},

date = {2016-01-01},

booktitle = {ASPLOS},

pages = {561-575},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/AmorimDGHPST15,

title = {Micro-Policies: Formally Verified, Tag-Based Security Monitors.},

author = {Arthur Azevedo Amorim and Maxime Dénès and Nick Giannarakis and Catalin Hritcu and Benjamin C. Pierce and Antal Spector-Zabusky and Andrew Tolmach},

year  = {2015},

date = {2015-01-01},

booktitle = {IEEE Symposium on Security and Privacy},

pages = {813-830},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/PortsLLSK15,

title = {Designing Distributed Systems Using Approximate Synchrony in Data Center Networks.},

author = {Dan R. K. Ports and Jialin Li and Vincent Liu and Naveen Kr. Sharma and Arvind Krishnamurthy},

year  = {2015},

date = {2015-01-01},

booktitle = {NSDI},

pages = {43-57},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/DhawanHRVCSKPD15,

title = {Architectural Support for Software-Defined Metadata Processing.},

author = {Udit Dhawan and Catalin Hritcu and Raphael Rubin and Nikos Vasilakis and Silviu Chiricescu and Jonathan M. Smith and Thomas F. Knight Jr. and Benjamin C. Pierce and André DeHon},

year  = {2015},

date = {2015-01-01},

booktitle = {ASPLOS},

pages = {487-502},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/HicksSKS15,

title = {SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs.},

author = {Matthew Hicks and Cynthia Sturton and Samuel T. King and Jonathan M. Smith},

year  = {2015},

date = {2015-01-01},

booktitle = {ASPLOS},

pages = {517-529},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/AmsterdamerDMNS14,

title = {OASSIS: query driven crowd mining.},

author = {Yael Amsterdamer and Susan B. Davidson and Tova Milo and Slava Novgorodov and Amit Somech},

year  = {2014},

date = {2014-01-01},

booktitle = {SIGMOD Conference},

pages = {589-600},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/ClarkCBS14,

title = {Moving Targets: Security and Rapid-Release in Firefox.},

author = {Sandy Clark and Michael Collis and Matt Blaze and Jonathan M. Smith},

year  = {2014},

date = {2014-01-01},

booktitle = {CCS},

pages = {1256-1266},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/ChenMXHPSZ14,

title = {Detecting Covert Timing Channels with Time-Deterministic Replay.},

author = {Ang Chen and W. Brad Moore and Hanjun Xiao and Andreas Haeberlen and Linh Thi Xuan Phan and Micah Sherr and Wenchao Zhou},

year  = {2014},

date = {2014-01-01},

booktitle = {OSDI},

pages = {541-554},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/AngelBKOT14,

title = {End-to-end Performance Isolation Through Virtual Datacenters.},

author = {Sebastian Angel and Hitesh Ballani and Thomas Karagiannis and Greg O'Shea and Eno Thereska},

year  = {2014},

date = {2014-01-01},

booktitle = {OSDI},

pages = {233-248},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/WuZHZL14,

title = {Diagnosing missing events in distributed systems with negative provenance.},

author = {Yang Wu and Mingchen Zhao and Andreas Haeberlen and Wenchao Zhou and Boon Thau Loo},

year  = {2014},

date = {2014-01-01},

booktitle = {SIGCOMM},

pages = {383-394},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}