This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
We show how to efļ¬ciently evaluate generic map-ļ¬lter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
āMulti-agent systems are difļ¬cult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
Where do contracts ā speciļ¬cation elements embedded in executable code ā come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
Instruction set extensions (ISEs) can accelerate embedded processor performance. Many algorithms for ISE generation have shown good potential; some of them have recently been expa...
Theo Kluter, Philip Brisk, Paolo Ienne, Edoardo Ch...