Author of the publication

Recursed Is Not Recursive: A Jarring Result.

, , and . ISAAC, volume 181 of LIPIcs, page 50:1-50:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Inducing and Exploiting Activation Sparsity for Fast Inference on Deep Neural Networks., , , , , , , , , and . ICML, volume 119 of Proceedings of Machine Learning Research, page 5533-5543. PMLR, (2020)Path Puzzles: Discrete Tomography with a Path Constraint is Hard., , , , , and . CoRR, (2018)Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible., , , , , , , , , and . Theor. Comput. Sci., (2020)Path Puzzles: Discrete Tomography with a Path Constraint is Hard., , , , , and . Graphs Comb., 36 (2): 251-267 (2020)The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm., , , and . ICDCS, page 348-357. IEEE Computer Society, (2014)Distributionally Linearizable Data Structures., , , , and . SPAA, page 133-142. ACM, (2018)The Parameterized Complexity of Ricochet Robots., and . J. Inf. Process., (2017)Recursed Is Not Recursive: A Jarring Result., , and . ISAAC, volume 181 of LIPIcs, page 50:1-50:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Relaxed concurrent ordering structures.. Massachusetts Institute of Technology, Cambridge, USA, (2018)ndltd.org (oai:dspace.mit.edu:1721.1/118089).Inherent Limitations of Hybrid Transactional Memory., , , , and . CoRR, (2014)