Boris Shingarov

Orcid: 0000-0003-1696-0092

According to our database1, Boris Shingarov authored at least 5 papers between 2015 and 2024.

Collaborative distances:

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards a Dynabook for verified VM construction.
J. Comput. Lang., 2024

Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs.
Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

2020
The gem5 Simulator: Version 20.0+.
CoRR, 2020

2017
Programming a Smalltalk VM in Coq.
Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies, 2017

2015
Live Introspection of Target-Agnostic JIT in Simulation.
Proceedings of the International Workshop on Smalltalk Technologies, 2015


  Loading...