Research output per year
Research output 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.
- 4 Similar Profiles
-
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
-
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
-
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
-
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
-
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
-
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