Publications

Conference papers

• Finding and fixing a mismatch between the Go memory model and data-race detector.
  A story on applied formal methods
  D. Fava
  SEFM 2020: Proceedings for the 18^th International Conference on Software Engineering and Formal Methods

• Operational Semantics of a Weak Memory Model with Channel Synchronization  [code]
  D. Fava, M. Steffen, and V. Stolz
  FM 2018: Proceedings for the 22^nd International Symposium on Formal Methods

• Crowdsourcing Program Preconditions via a Classification Game
  D. Fava, D. Shapiro, J. Osborn, M. Schaef, and E. Whitehead
  ICSE 2016: 38^th International Conference on Software Engineering

• Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery
  K. Compton, et al.
  DiGRA/FDG 2016: Proceedings of the 1^st International Joint Conference of the Digital Games Research Association and the Foundation of Digital Games

• Gamifying Program Analysis
  D. Fava, J. Signoles, M. Lemerre, M. Schaef, and A. Tiwari
  LPAR 2015: 20^th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

• Honeycomb: Post-Silicon Algorithmic and Focused Testing of Large Multi-Core CPU/GPUs
  J. Wilson, D. LaFollette, D. Fava
  DTTC 2009: Proceedings of the Design and Test Technology Conference, Intel Inc.

• Intrusion Activity Projection for Cyber Situational Awareness
  S. J. Yang, S. R. Byers, J. Holsopple, B. Argauer, and D. Fava
  ISI 2008: Proceedings of the International Conferences on Intelligence and Security Informatics

• Terrain and Behavior Modeling for Projecting Multistage Cyber Attacks
  D. Fava, J. Holsopple, S. J. Yang, and B. Argauer
  FUSION 2007: Proceedings of the 10^th International on Information Fusion

Journal articles

• Ready, set, Go! Data-race detection and the Go language
  D. Fava, M. Steffen
  Science of Computer Programming, 2020

• Operational Semantics of a Weak Memory Model with Channel Synchronization   [code]
  D. Fava, M. Steffen, and V. Stolz
  Journal of Logical and Algebraic Methods in Programming, 2019

• Projecting Cyber Attacks Through Variable Length Markov Models
  D. Fava, S. R. Byers, S. J. Yang
  IEEE Transactions on Information Forensics and Security, 2008

Technical reports and thesis

• Relaxed Memory Models andData-Race Detection tailored forShared-Memory Message-Passing Systems
  PhD Thesis, Oslo, Norway. 2021

• Anything goes unless forbidden. Notes on synchronization and the operational semantics of a relaxed memory model
  D. Fava, M. Steffen, and V. Stolz
  GIWG 2018: Proceedings of the 35^th Annual Meeting of the GI Working Group on
  Programming Languages and Computational Concepts

• Characterization of Cyber Attacks through Variable Length Markov Models
  Master Thesis, Rochester NY, USA. 2007

Edited books, proceedings, special issues

• Proceedings of the 30^th Nordic Workshop on Programming Theory
  Daniel S. Fava, Einar Broch Johnsen, Olaf Owe (editors)
  Oslo, Norway, October 2018