Research output per year
Research output per year
Personal profile
Current research
A generic operational semantics of monadic effects in functional languages; applications of game-theoretic notions for formalizing program contracts in concurrent and distrbuted settings.
Primary fields of research
Applied programming-language semantics, with particular emphasis on defining and reasoning about computational effects. Machine-verifiable reasoning about programs and languages, including formal code certification.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Axiomatising an information flow logic based on partial equivalence relations
Filinski, A., Larsen, K. F. & Jensen, T. P., 2024, In: International Journal on Software Tools for Technology Transfer. 26, p. 445–461Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Citation (Scopus)11 Downloads (Pure) -
Proof-directed program transformation: A functional account of efficient regular expression matching
Filinski, A., 2021, In: Journal of Functional Programming. 31, 38 p., e12.Research output: Contribution to journal › Journal article › Research › peer-review
-
Streaming nested data parallelism on multicores
Madsen, F. M. & Filinski, A., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2 Citations (Scopus) -
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, A., 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
3 Citations (Scopus) -
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, A., 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
7 Citations (Scopus) -
FHPC'12: Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing
Filinski, A. (ed.) & Grelck, C. (ed.), 2012, Association for Computing Machinery. 104 p.Research output: Book/Report › Book › Research › peer-review
-
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, A., Henglein, F., Larsen, K. F., Steffensen, M. & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (eds.). Springer, p. 98-113 16 p. (Lecture notes in computer science, Vol. 7193).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Towards a comprehensive theory of monadic effects
Filinski, A., 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research