Claudio Agustin Mista

Doctoral Student at Information Security
Image of Claudio Agustin Mista

Showing 5 publications


BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Claudio Agustin Mista, Alejandro Russo
Proceedings of the 21st International Symposium on Trends in Functional Programming
Paper in proceedings

Generating Random Structurally Rich Algebraic Data Type Values

Claudio Agustin Mista, Alejandro Russo
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST), p. 48-54
Paper in proceedings

Deriving Compositional Random Generators

Claudio Agustin Mista, Alejandro Russo
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages
Paper in proceedings

Branching Processes for QuickCheck Generators

Claudio Agustin Mista, Alejandro Russo, John Hughes
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell. Vol. 53 (7), p. 1-13
Journal article

Download publicaton list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Claudio Agustin Mista participates, but you have to be logged in as a Chalmers employee to see them.