Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
11 - 15 ud af 15Pr. side: 10
- 2012
- Udgivet
FHPC'12: Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing
Filinski, Andrzej (red.) & Grelck, C. (red.), 2012, Association for Computing Machinery. 104 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt
- 2013
- Udgivet
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 13-24 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, s. 43-54 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
- Udgivet
Streaming nested data parallelism on multicores
Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, s. 44-51 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- Udgivet
Proof-directed program transformation: A functional account of efficient regular expression matching
Filinski, Andrzej, 2021, I: Journal of Functional Programming. 31, 38 s., e12.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 9314