Grigore Roşu
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Language-parametric compiler validation with application to LLVM
Theodoros Kasampalis and others (2021) · Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems · ACM
A formal executable semantics of Verilog
Patrick Meredith and others (2010) · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
The rewriting logic semantics project
José Meseguer and others (2007) · Theoretical Computer Science · Elsevier BV
Synthesizing Monitors for Safety Properties
Klaus Havelund and others (2002) · Lecture notes in computer science · Springer Science+Business Media