8 papers:
TACAS-2015-MullerPV #contest- Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.
- TACAS-2014-DudkaPV #contest #graph #memory management #named
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
PPoPP-2014-LiuTHB #detection #named #predict- PREDATOR: predictive false sharing detection (TL, CT, ZH, EDB), pp. 3–14.
- TACAS-2013-DudkaMPV #contest #low level #named #verification
- Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
- TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification
- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
CAV-2011-DudkaPV #data type #logic #named #using- Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
SIGMOD-1999-BonnetBCCCHKMMOSS- The Cornell Jaguar System: Adding Mobility to PREDATOR (PB, KB, ZC, VC, RC, TMH, RK, DM, TM, IO, PS, HS), pp. 580–581.
- SIGMOD-1997-SeshadriP #data type #named
- PREDATOR: An OR-DBMS with Enhanced Data Types (PS, MP), pp. 568–571.
