Staff – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

Department of Computer Science DIKU > Staff

Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

  • The APL Section


  1. 2016
  2. Published

    Streaming nested data parallelism on multicores. / Madsen, Frederik Meisner; Filinski, Andrzej.

    Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, 2016. p. 44-51.

    Research output: Research - peer-reviewArticle in proceedings

  3. 2013
  4. Published

    Towards a streaming model for nested data parallelism. / Madsen, Frederik Meisner; Filinski, Andrzej.

    FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, 2013. p. 13-24.

    Research output: Research - peer-reviewArticle in proceedings

  5. Published

    Structural logical relations with case analysis and equality reasoning. / Rasmussen, Ulrik Terp; Filinski, Andrzej.

    LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, 2013. p. 43-54.

    Research output: Research - peer-reviewArticle in proceedings

  6. 2012
  7. Published

    Functional High Performance Financial IT : the HIPERFIT Research Center in Copenhagen. / Berthold, Jost; Filinski, Andrzej; Henglein, Fritz; Larsen, Ken Friis; Steffensen, Mogens; Vinter, Brian.

    Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. ed. / Ricardo Peña; Rex Page. Springer, 2012. p. 98-113.

    Research output: Research - peer-reviewArticle in proceedings

  8. Published

    FHPC'12 : Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing. / Filinski, Andrzej (Editor); Grelck, Clemens (Editor).

    Association for Computing Machinery, 2012. 104 p.

    Research output: Research - peer-reviewBook

  9. 2011
  10. Published

    Towards a comprehensive theory of monadic effects. / Filinski, Andrzej.

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

    Research output: ResearchConference abstract in proceedings

  11. 2010
  12. Published

    Monads in action. / Filinski, Andrzej.

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

    Research output: Research - peer-reviewArticle in proceedings

  13. 2009
  14. Published

    A Game-Theoretic Model for Distributed Programming by Contract. / Henriksen, Anders Starcke; Hvitved, Tom; Filinski, Andrzej.

    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. Vol. P-154 Bonner Köllen Verlag, 2009. p. 3473-3484.

    Research output: Research - peer-reviewArticle in proceedings

  15. 2007
  16. Published

    Inductive Reasoning About Effectful Data Types. / Filinski, Andrzej; Støvring, Kristian.

    ICFP 07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, October 1-3, 2007. Association for Computing Machinery, 2007. p. 97-110.

    Research output: Research - peer-reviewArticle in proceedings

  17. Published

    On the relations between monadic semantics. / Filinski, Andrzej.

    In: Theoretical Computer Science, Vol. 375, No. 1-3, 2007, p. 41-75.

    Research output: Research - peer-reviewJournal article

Previous 1 2 Next

ID: 9314