Publications

Domain-Level Observation and Control for Compiled Executable DSLs

Executable Domain-Specific Languages (DSLs) are commonly defined with either operational semantics (i.e., interpretation) or …

Lossless compaction of model execution traces

Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the …