Julian Rosemann

According to our database1, Julian Rosemann authored at least 2 papers between 2017 and 2021.

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

2021
An abstract interpretation for SPMD divergence on reducible control flow graphs.
Proc. ACM Program. Lang., 2021

2017
Verified Spilling and Translation Validation with Repair.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017


  Loading...