Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
12-Dec-2018Magic-state functional units: Mapping and scheduling multi-level distillation circuits for fault-Tolerant quantum architecturesDing, Y; Holmes, A; Javadi-Abhari, A; Franklin, D; Martonosi, Margaret, et al
2014PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency ModelsLustig, Daniel; Pellauer, Michael; Martonosi, Margaret
2018PipeProof: Automated Memory Consistency Proofs for Microarchitectural SpecificationsManerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti
Nov-2013A no-reference metric for evaluating the quality of motion deblurringLiu, Yiming; Wang, Jue; Cho, Sunghyun; Finkelstein, Adam; Rusinkiewicz, Szymon
2015Finding Distractors In ImagesFried, Ohad; Shechtman, Eli; Goldman, Dan B; Finkelstein, Adam
2017Breaking the Sub-Exponential Barrier in ObfustopiaGarg, Sanjam; Pandey, Omkant; Srinivasan, Akshayaram; Zhandry, Mark
2016Anonymous Traitor Tracing: How to Embed Arbitrary Information in a KeyNishimaki, Ryo; Wichs, Daniel; Zhandry, Mark
Jun-2017The Optimal Mechanism for Selling to a Budget Constrained Buyer: The General CaseDevanur, Nikhil R; Weinberg, S Matthew
Sep-2016Deletion Without Rebalancing in Binary Search TreesSen, Siddhartha; Tarjan, Robert E; Kim, David H K
2020Binary Interactive Error Resilience Beyond 1/8 (or why (1/2)^3>1/8)Efremenko, Klim; Kol, Gillat; Saxena, Raghuvansh