194 search results - page 32 / 39 » An Exception Monitoring System for Java |
120
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
109
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
80
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
91
Voted
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
111
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...