2
Publications
79
Citations
2
H-Index
2016
Active since
Benoit Daloze is an author specializing in parallel computing, parallel programming, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingAutomated ReasoningFormal VerificationComputer EngineeringParallel Programming
Publications per year
2016–2016
2
2
Cross-language compiler benchmarking: are we fast yet?
Stefan Marr, Benoit Daloze, Hanspeter Mössenböck · 2016 · 57 citations
Efficient and thread-safe objects for dynamically-typed languages
Benoit Daloze, Stefan Marr, Daniele Bonetta et al. · 2016 · 22 citations
Engineering, Multithreaded Environments, Computer Architecture +19
Rows per page
1–2 of 2