Items where Author, Editor or other role is "Vollmer, Michael"
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 8.
C
| Castro-Perez, David, Paviotti, Marco, Vollmer, Michael (2024) Mechanising Recursion Schemes with Magic-Free Coq Extraction. In: Mechanising Recursion Schemes with Magic-Free Coq Extraction. . (In press) (doi:10.4230/LIPIcs.CVIT.2016.23) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:105615) |
|
K
| Koparkar, Chaitanya, Rainey, Mike, Vollmer, Michael, Kulkarni, Milind, Newton, Ryan R. (2021) Efficient tree-traversals: reconciling parallelism and dense data representations. Proceedings of the ACM on Programming Languages, 5 (ICFP). Article Number 91. ISSN 2475-1421. (doi:10.1145/3473596) (KAR id:95504) |
|
S
| Svensson, Bo Joel, Vollmer, Michael, Holk, Eric, McDonell, Trevor L., Newton, Ryan R. (2015) Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. In: FHPC 2015: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. . pp. 12-22. (doi:10.1145/2808091.2808093) (KAR id:95507) |
|
V
| Vollmer, Michael (2021) A Language-based Approach to Programming with Serialized Data. Doctor of Philosophy (PhD) thesis, Indiana University. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:100455) |
| Vollmer, Michael, Koparkar, Chaitanya, Rainey, Mike, Sakka, Laith, Kulkarni, Milind, Newton, Ryan R. (2019) LoCal: a language for programs operating on serialized data. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. . pp. 48-62. ACM ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314631) (KAR id:95505) |
|
| Vollmer, Michael, Spall, Sarah, Chamith, Buddhika, Sakka, Laith, Koparkar, Chaitanya, Kulkarni, Milind, Tobin-Hochstadt, Sam, Newton, Ryan R. (2017) Compiling Tree Transforms to Operate on Packed Representations. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs) , 74. 26:1-26:29. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany ISBN 978-3-95977-035-4. (doi:10.4230/LIPIcs.ECOOP.2017.26) (KAR id:98980) |
|
| Vollmer, Michael, Scott, Ryan G., Musuvathi, Madanlal, Newton, Ryan R. (2017) SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. ACM SIGPLAN Notices, 52 (8). pp. 283-298. ISSN 0362-1340. (doi:10.1145/3155284.3018746) (KAR id:98981) |
|
| Vollmer, Michael, Svensson, B.J., Holk, Eric, Newton, Ryan R. (2015) Meta-programming and auto-tuning in the search for high performance GPU code. In: FHPC 2015: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. . pp. 1-11. ACM ISBN 978-1-4503-3807-3. (doi:10.1145/2808091.2808092) (KAR id:95046) |
|
