Mark Lemay

According to our database¹, Mark Lemay authored at least 4 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

A Dependently Typed Language with Dynamic Equality.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

A dependently typed programming language with dynamic equality

[BibT_eX]

[DOI]

Mark Lemay

PhD thesis, 2022

2018

Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

2017

Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security.

[BibT_eX]

[DOI]

Proceedings of the 9th USENIX Workshop on the Theory and Practice of Provenance, 2017

Mark Lemay

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...