Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:


    1. 2021
    2. 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 tidsskriftTidsskriftartikelfagfællebedømt

    3. 2016
    4. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    5. 2013
    6. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    8. 2012
    9. 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/rapportBogfagfællebedømt

    10. Udgivet

      Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

      Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & 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. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    11. 2011
    12. Udgivet

      Towards a comprehensive theory of monadic effects

      Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, s. 1-1 1 s.

      Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

    13. 2010
    14. Udgivet

      Monads in action

      Filinski, Andrzej, 2010, POPL'10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 483-494 12 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    15. 2009
    16. Udgivet

      A Game-Theoretic Model for Distributed Programming by Contract

      Henriksen, A. S., Hvitved, T. & Filinski, Andrzej, 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, Bind P-154. s. 3473-3484 12 s. (GI Edition: Lecture Notes in Informatics, Bind P-154).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    17. 2007
    18. Udgivet

      Inductive Reasoning About Effectful Data Types

      Filinski, Andrzej & 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, s. 97-110 (SIGPLAN Notices; Nr. 42 (9)).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    19. Udgivet

      On the relations between monadic semantics

      Filinski, Andrzej, 2007, I: Theoretical Computer Science. 375, 1-3, s. 41-75

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    20. 2005
    21. Udgivet

      Denotational Aspects of Untyped Normalization by Evaluation

      Filinski, Andrzej & Rohde, H. K., 2005, I: Informatique théorique et applications (Imprimé). 39, 3, s. 423-453

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    22. 2004
    23. Udgivet

      A Denotational Account of Untyped Normalization by Evaluation

      Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (red.). Springer, s. 167-181 (Lecture notes in computer science; Nr. 2987).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    24. 2002
    25. Udgivet

      Normalization and Partial Evaluation

      Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, s. 137-192 (Lecture notes in computer science; Nr. 2395).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiUndervisning

    26. 2001
    27. Udgivet

      Normalization by Evaluation for the Computational Lambda-Calculus

      Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (red.). Springer, s. 151-165 (Lecture notes in computer science; Nr. 2044).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    ID: 9314