3 papers:
ICSE-v2-2015-Cornu #debugging #named #null #using- Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces (BC), pp. 790–791.
VLDB-2006-MokbelCA #privacy #query- The New Casper: Query Processing for Location Services without Compromising Privacy (MFM, CYC, WGA), pp. 763–774.
DATE-1998-DaveJ #architecture #concurrent #embedded #named #realtime #specification- CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures (BPD, NKJ), pp. 118–124.
