Joseph R. Harrison

Orcid: 0000-0001-7199-2797

According to our database1, Joseph R. Harrison authored at least 5 papers between 2017 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Hierarchical Database of One Million Websites.
Proceedings of the IEEE Secure Development Conference, 2022

2020
Robust communications in Erlang
PhD thesis, 2020

2019
Runtime type safety for erlang/otp behaviours.
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 2019

2018
Automatic detection of core Erlang message passing errors.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017
Towards an Isabelle/HOL formalisation of core Erlang.
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017


  Loading...