13 papers:
CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using- Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.
DAC-2015-McLaughlin #behaviour #policy- Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.
ESOP-2015-ChengR #detection #spreadsheet #static analysis- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
OOPSLA-2015-MastrangeloPMLH #api #java- Use at your own risk: the Java unsafe API in the wild (LM, LP, AM, ML, MH, NN), pp. 695–710.
FoSSaCS-2014-KobayashiIT #higher-order- Unsafe Order-2 Tree Languages Are Context-Sensitive (NK, KI, TT), pp. 149–163.
ISSTA-2014-ZhangC #automation #detection #exception #information management #lightweight- Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
- CASE-2012-NazeemR #algorithm #performance #resource management
- An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CC-2012-KwonS #component #detection #static analysis- Static Detection of Unsafe Component Loadings (TK, ZS), pp. 122–143.
- ISSTA-2010-KwonS #automation #component #detection
- Automatic detection of unsafe component loadings (TK, ZS), pp. 107–118.
ICPR-2008-NingXZGH #detection #difference #learning- Temporal difference learning to detect unsafe system states (HN, WX, YZ, YG, TSH), pp. 1–4.
- OOPSLA-2008-FerraraLF #dot-net
- Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.
PLDI-2006-BergerZ #memory management #named #probability #safety- DieHard: probabilistic memory safety for unsafe languages (EDB, BGZ), pp. 158–168.
ICALP-2005-KnapikNUW #automaton- Unsafe Grammars and Panic Automata (TK, DN, PU, IW), pp. 1450–1461.
