37 search results - page 7 / 8 » Model Checking Machine Code with the GNU Debugger |
136
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
112
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
148
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
164
Voted
RV
2010
Springer
15 years 20 days ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
129
Voted
PLDI
2009
ACM
15 years 9 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 ...