The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers...
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...