Martin Elsman

According to our database1, Martin Elsman authored at least 27 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML.
Proceedings of the Practical Aspects of Declarative Languages, 2020

2019
Incremental flattening for nested data parallelism.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Data-parallel flattening by expansion.
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Compositional deep learning in Futhark.
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

2018
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.
Proc. ACM Program. Lang., 2018

High-Performance Defunctionalisation in Futhark.
Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Certified Compilation of Financial Contracts.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Modular acceleration: tricky cases of functional high-performance computing.
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2018

2017
Automated Execution of Financial Contracts on Blockchains.
Bus. Inf. Syst. Eng., 2017

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
FinPar: A Parallel Financial Benchmark.
ACM Trans. Archit. Code Optim., 2016

APL on GPUs: a TAIL from the past, scribbled in Futhark.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Low-level functional GPU programming for parallel algorithms.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015
Compiling APL to accelerate through a typed array intermediate language.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Certified symbolic management of financial multi-party contracts.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Compiling a Subset of APL Into a Typed Intermediate Language.
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Size slicing: a hybrid approach to size inference in futhark.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2005
Type-specialized serialization with sharing.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
A Retrospective on Region-Based Memory Management.
High. Order Symb. Comput., 2004

Typing XHTML Web Applications in ML.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003
Garbage collection safety for region-based memory management.
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Web Programming with SMLserver.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002
Combining Region Inference and Garbage Collection.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

1999
Static Interpretation of Modules.
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Program modules, separate compilation, and intermodule optimisation.
PhD thesis, 1999

1998
Polymorphic Equality - No Tags Required.
Proceedings of the Types in Compilation, Second International Workshop, 1998


  Loading...