Michael McLoughlin

Orcid: 0000-0003-2347-6258

According to our database¹, Michael McLoughlin authored at least 4 papers between 2017 and 2025.

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

2025

Scaling Instruction-Selection Verification against Authoritative ISA Semantics.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.

[BibT_eX]

[DOI]

Proceedings of the 34th USENIX Security Symposium, 2025

2019

Overview of Virtual Ambisonic Systems.

[BibT_eX]

[DOI]

Michael McLoughlin

Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

2017

A knowledge-based, data-driven method for action-sound mapping.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on New Interfaces for Musical Expression, 2017

Michael McLoughlin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...