No photo of Andrzej Filinski

Andrzej Filinski

Ph.D., Computer Science

 https://orcid.org/0000-0002-9174-1861
20012016

Research activity 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.

Fingerprint

Dive into the research topics where Andrzej Filinski is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 3 Similar Profiles
View full fingerprint

  • Streaming nested data parallelism on multicores

    Madsen, F. M. & Filinski, A., 8 Sept 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

    1 Citation (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. (Editor) & Grelck, C. (Editor), 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

  • Monads in action

    Filinski, A., Jan 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

    20 Citations (Scopus)

  • 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

View all 14 research outputs