Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017
Context-Updates Analysis and Refinement in Chisel
Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco
This paper presents the context-updates synthesis component of Chisel--a tool that synthesizes a program slicer directly from a given algebraic specification of a programming langu…
cs.PL2014
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics
Julien Henry, Mihail Asavoae, David Monniaux +1
In systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the…