Carnegie Mellon University

Arithmetic Garbling from Bilinear Maps (2019) Fleischhacker N, Malavolta G, Schröder D Conference contribution Subvector Commitments with Application to Succinct Arguments (2019) Lai RWF, Malavolta G Conference contribution Homomorphic Time-Lock Puzzles and Applications (2019) Malavolta G, Thyagarajan SAK Conference contribution Incremental proofs of sequential work (2019) Döttling N, Lai RWF, Malavolta G Conference contribution Building a BW-tree takes more than just BuzzWords (2018) Wang Z, Pavlo A, Lim H, Leis V, Zhang H, Kaminsky M, Andersen DG Conference contribution SuRF: Practical range query filtering with fast succinct tries (2018) Zhang H, Lim H, Leis V, Andersen DG, Kaminsky M, Keeton K, Pavlo A Conference contribution GAtor: A First-Principles Genetic Algorithm for Molecular Crystal Structure Prediction (2018) Curtis F, Li X, Rose T, Vázquez-Mayagoitia Á, Bhattacharya S, Ghiringhelli LM, Marom N Journal article Everything you always wanted to know about compiled and vectorized queries but were afraid to ask (2018) Kersten T, Leis V, Kemper A, Neumann T, Pavlo A, Boncz P Conference contribution First-principles investigation of mechanical properties of silicene, germanene and stanene (2017) Mortazavi B, Rahaman O, Makaremi M, Dianat A, Cuniberti G, Rabczuk T Journal article A summary of the REVERB challenge: State-of-the-art and remaining challenges in reverberant speech processing research (2016) Kinoshita K, Delcroix M, Gannot S, Habets E, Haeb-Umbach R, Kellermann W, Leutnant V, et al. Journal article, Original article