Sciweavers

2 search results - page 1 / 1
» Automated Derivation of Application-aware Error Detectors us...
Sort
View
IOLTS
2007
IEEE
88views Hardware» more  IOLTS 2007»
13 years 10 months ago
Automated Derivation of Application-aware Error Detectors using Static Analysis
Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravisha...
PLDI
2010
ACM
13 years 9 months ago
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Ro...