Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2013 | Automatically exploiting cross-invocation parallelism using runtime information | Huang, Jialu; Jablin, Thomas B; Beard, Stephen R; Johnson, Nick P; August, David I |
| 21-Feb-2018 | VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W |
| Jan-2015 | Relax, no need to round: Integrality of clustering formulations | Awasthi, Pranjal; Bandeira, Afonso S; Charikar, Moses; Krishnaswamy, Ravishankar; Villar, Soledad, et al |
| 2012 | A Dependent LP-Rounding Approach for the k-Median Problem | Charikar, Moses; Li, Shi |
| 2020 | Deep-inverse correlography: towards real-time high-resolution non-line-of-sight imaging | Metzler, CA; Heide, F; Rangarajan, P; Balaji, MM; Viswanath, A, et al |
| Mar-2012 | Automatic speculative DOALL for clusters | Kim, Hanjun; Johnson, Nick P; Lee, Jae W; Mahlke, Scott A; August, David I |
| 2014 | Online Bipartite Matching with Decomposable Weights | Charikar, Moses; Henzinger, Monika; Nguyễn, Huy L |
| 2016 | Modular Verification for Computer Security | Appel, Andrew W |
| 2014 | Open Problem: Tensor Decompositions: Algorithms up to the Uniqueness Threshold? | Bhaskara, Aditya; Charikar, Moses; Moitra, Ankur; Vijayaraghavan, Aravindan |
| 2018 | Exploring the phenotypic consequences of tissue specific gene expression variation inferred from GWAS summary statistics | Barbeira, Alvaro N; Dickinson, Scott P; Bonazzola, Rodrigo; Zheng, Jiamao; Wheeler, Heather E, et al |