5 papers:
VMCAI-2015-Christakis0W #evaluation- An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
SIGMOD-2009-SunLDC #analysis #detection #workflow- Detecting and resolving unsound workflow views for correct provenance analysis (PS, ZL, SBD, YC), pp. 549–562.
VLDB-2009-SunLNDC #analysis #detection #named #workflow- WOLVES: Achieving Correct Provenance Analysis by Detecting and Resolving Unsound Workflow Views (PS, ZL, SN, SBD, YC), pp. 1614–1617.
CADE-2009-BonacinaLM #on the #proving #satisfiability #theorem proving- On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving (MPB, CL, LMdM), pp. 35–50.
CSL-2004-Lynch #proving #theorem proving- Unsound Theorem Proving (CL), pp. 473–487.
