conf.researchr.org / Andrzej Filinski

Not registered as user yet

Name:Andrzej Filinski
Affiliation:DIKU, University of Copenhagen

Contributions

ICFP 2021 Author of Proof-directed program transformation: A functional account of efficient regular expression matching (JFP Presentation) within the Research Papers-track
FHPC 2016 Author of Streaming Nested Data Parallelism on Multicores within the FHPC-track