Research output per year
Research output per year
- 16 results
Search results
-
2024
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)6 Downloads (Pure) -
2021
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
-
2016
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) -
2013
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) -
2012
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
-
2011
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
-
2010
Monads in action
Filinski, A., 2010, POPL'10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 483-494 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
23 Citations (Scopus) -
2009
A Game-Theoretic Model for Distributed Programming by Contract
Henriksen, A. S., Hvitved, T. & Filinski, A., 2009, Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. Bonner Köllen Verlag, Vol. P-154. p. 3473-3484 12 p. (GI Edition: Lecture Notes in Informatics, Vol. P-154).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2007
Inductive Reasoning About Effectful Data Types
Filinski, A. & Støvring, K., 2007, ICFP 07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, October 1-3, 2007. Association for Computing Machinery, p. 97-110 (SIGPLAN Notices; No. 42 (9)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
15 Citations (Scopus) -
On the relations between monadic semantics
Filinski, A., 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75Research output: Contribution to journal › Journal article › Research › peer-review
23 Citations (Scopus) -
2005
Denotational Aspects of Untyped Normalization by Evaluation
Filinski, A. & Rohde, H. K., 2005, In: Informatique théorique et applications (Imprimé). 39, 3, p. 423-453Research output: Contribution to journal › Journal article › Research › peer-review
8 Citations (Scopus) -
2004
A Denotational Account of Untyped Normalization by Evaluation
Filinski, A. & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
11 Citations (Scopus) -
2002
Normalization and Partial Evaluation
Dybjer, P. & Filinski, A., 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, p. 137-192 (Lecture notes in computer science; No. 2395).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education
32 Citations (Scopus) -
2001
Normalization by Evaluation for the Computational Lambda-Calculus
Filinski, A., 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
33 Citations (Scopus)