Items where Author, Editor or other role is "Vollmer, Michael"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: C | H | K | M | S | V

Number of items: 12.

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)

H

Harris, Sarah, Cooksey, Simon, Vollmer, Michael, Batty, Mark (2023) Rust for Morello: Always-on memory safety, even in unsafe code (experience paper). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). LIPIcs , 263. 39:1-39:27. Schloss Dagstuhl - Leibniz-Zentrum f\"r Informatik E-ISBN 978-3-95977-281-5. (doi:10.4230/LIPICS.ECOOP.2023.39) (KAR id:106406)

K

Koparkar, Chaitanya S., Singhal, Vidush, Gupta, Aditya, Rainey, Mike, Vollmer, Michael, Pelenitsyn, Artem, Tobin-Hochstadt, Sam, Kulkarni, Milind, Newton, Ryan R. (2024) Garbage collection for mostly serialized heaps. In: ISMM 2024: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Managem. . pp. 1-14. ACM E-ISBN 979-8-4007-0615-8. (doi:10.1145/3652024.3665512) (KAR id:106408)

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)

M

Marshall, Daniel, Vollmer, Michael, Orchard, Dominic (2022) Linearity and uniqueness: An Entente Cordiale. In: Lecture Notes in Computer Science. Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science , 13240. pp. 346-375. Springer ISBN 978-3-030-99336-8. E-ISBN 978-3-030-99336-8. (doi:10.1007/978-3-030-99336-8_13) (KAR id:98024)

S

Singhal, Vidush, Koparkar, Chaitanya, Zullo, Joseph, Pelenitsyn, Artem, Vollmer, Michael, Rainey, Mike, Newton, Ryan R., Kulkarni, Milind (2024) Optimizing Layout of Recursive Datatypes with Marmoset. In: 38th European Conference on Object-Oriented Programming (ECOOP 2024). . Schloss Dagstuhl - Leibniz-Zentrum f\"r Informatik (In press) (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:106460)

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)

This list was generated on Fri Nov 22 19:38:51 2024 GMT.