Intet billede af Andrzej Filinski

Andrzej Filinski

PhD, datalogi

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

Publikationer pr. år

Personlig profil

Aktuel forskning

En generisk operationssemantik for monadiske effekter i funktionssprog; anvendelser af spilteoretiske begreber til formalisering af programkontrakter i samtidige og distribuerede systemer.

Primære forskningsområder

Anvendt semantik for programmeringssprog, med særlig vægt på definition af og ræsonneren om beregningsmæssige effekter. Maskinverificerbar ræsonneren om programmer og sprog, herunder formel kodecertificiering.

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Andrzej Filinski er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 3 Lignende profiler
Se fuldt fingerprint

  • Streaming nested data parallelism on multicores

    Madsen, F. M. & Filinski, A., 8 sep. 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

    1 Citationer (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, s. 43-54 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    3 Citationer (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, s. 13-24 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    7 Citationer (Scopus)

  • FHPC'12: Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing

    Filinski, A. (Redaktør) & Grelck, C. (Redaktør), 2012, Association for Computing Machinery. 104 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › 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. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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, s. 1-1 1 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning

  • 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, s. 483-494 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    20 Citationer (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, Bind P-154. s. 3473-3484 12 s. (GI Edition: Lecture Notes in Informatics, Bind P-154).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Se alle 14 publikation