Since the advent of Spectre, a number of counter-measures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined …
Ethereum has emerged as the most popular smart contract platform, with hundreds of thousands of contracts stored on the blockchain and covering diverse application scenarios …
Automatic program verification and symbolic model checking tools interface with theorem proving technologies that check satisfiability of formulas. A theme pursued in the past years …
J Arias, M Carro, E Salazar, K Marple… - Theory and Practice of …, 2018 - cambridge.org
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems …
Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large …
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, eg, legal or health counseling) to justify in human-understandable terms the …
Many complex systems, ranging from social, industrial, economics, financial, educational, to military, require that we obtain high-quality solutions to combinatorial problems. Linear …
M Brockschmidt, F Emmes, S Falke, C Fuhs… - ACM Transactions on …, 2016 - dl.acm.org
We present a modular approach to automatic complexity analysis of integer programs. Based on a novel alternation between finding symbolic time bounds for program parts and …
Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level …