2 citations · 4 across the 4 of their papers we have counts for
4 papers
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
Jacob Lidman, Josef Svenningsson
Static program analysis is used to summarize properties over all dynamic executions. In a unifying approach based on 3-valued logic properties are either assigned a definite value…
Embedding by Normalisation
Shayan Najd, Sam Lindley, Josef Svenningsson +1
This paper presents the insight that practical embedding techniques, commonly used for implementing Domain-Specific Languages, correspond to theoretical Normalisation-By-Evaluation…
Everything old is new again: Quoted Domain Specific Languages
Shayan Najd, Sam Lindley, Josef Svenningsson +1
We describe a new approach to domain specific languages (DSLs), called Quoted DSLs (QDSLs), that resurrects two old ideas: quotation, from McCarthy's Lisp of 1960, and the subformu…
Specification and Verification of Side Channel Declassification
Josef Svenningsson, David Sands
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems -- in particular through the implementations of cryptographic operation…