35 papers:
ESOP-2015-Blanchette0T #data type- Witnessing (Co)datatypes (JCB, AP, DT), pp. 359–382.
TACAS-2015-Beyer #verification- Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
- TACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability
- On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
ESEC-FSE-2015-0001DDHS #validation #verification- Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
DAC-2014-ChakrabortyMV #generative #satisfiability #scalability- Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.
DATE-2014-SeidlK #quantifier- Partial witnesses from preprocessed quantified Boolean formulas (MS, RK), pp. 1–6.
VLDB-2014-ZhangR #case study #in memory #named #statistics- DimmWitted: A Study of Main-Memory Statistical Analytics (CZ, CR), pp. 1283–1294.
SAS-2013-NamjoshiZ #program transformation- Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
STOC-2013-GargGSW #encryption- Witness encryption and its applications (SG, CG, AS, BW), pp. 467–476.
CIAA-2013-BrzozowskiL #complexity- Universal Witnesses for State Complexity of Basic Operations Combined with Reversal (JAB, DL), pp. 72–83.
CAV-2013-ChakrabortyMV #generative #satisfiability #scalability- A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.
- CAV-2012-SinhaSCS
- Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.
CIKM-2011-MetzgerEHS #named- S3K: seeking statement-supporting top-K witnesses (SM, SE, KH, RS), pp. 37–46.
- VLDB-2010-ElbassuoniHMS #documentation #information management #named
- ROXXI: Reviving witness dOcuments to eXplore eXtracted Information (SE, KH, SM, RS), pp. 1589–1592.
ITiCSE-2010-KyrilovCT #assessment #case study #education #evaluation #online #using- Improving CS education at Wits using an online assessment and evaluation system: a case study (AK, JC, MT), p. 314.
LATA-2010-Ehlers #automaton- Short Witnesses and Accepting Lassos in ω-Automata (RE), pp. 261–272.
FoSSaCS-2009-KupfermanP #automaton #bound- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata (OK, NP), pp. 182–196.
TLCA-2009-Miquel- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (AM), pp. 188–202.
- ITiCSE-2008-SandersL #programming language #python #student
- Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
- ITiCSE-2007-SandersG #modelling #recursion #student
- Students’ mental models of recursion at wits (IDS, VCG), p. 317.
- ESOP-2007-BessonJT #abstract interpretation #proving
- Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.
- ITiCSE-2006-HoltRS #education #python
- Introducing python into the first year curriculum at wits (AH, SR, IDS), p. 335.
- ITiCSE-2006-RauchasSK #education #experience #programming
- The effect of prior programming experience in a scheme-based breadth-first curriculum at wits (SR, IDS, BK), p. 326.
SAT-2006-Buresh-OppenheimM #satisfiability- Minimum Witnesses for Unsatisfiable 2CNFs (JBO, DGM), pp. 42–47.
ICFP-2005-TerauchiA- Witnessing side-effects (TT, AA), pp. 105–115.
ICLP-2005-SarkarPC #proving- Small Proof Witnesses for LF (SS, BP, KC), pp. 387–401.
PODS-2003-KiferGBW #how- How to quickly find a witness (DK, JG, CB, WMW), pp. 272–283.
PPDP-2003-WuAS #proving- Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.
- DATE-2001-CasavantGLMWA #generative #graph #simulation
- Property-specific witness graph generation for guided simulation (AEC, AG, SL, AM, KW, PA), p. 799.
- DATE-2001-TeicaRV #automation #design #on the #using #verification
- On the verification of synthesized designs using automatically generated transformational witnesses (ET, RR, RV), p. 798.
ICALP-2000-AielloBOR #performance #proving #verification- Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP (WA, SNB, RO, SR), pp. 463–474.
- STOC-1996-FrankelGY #encryption #robust
- Witness-Based Cryptographic Program Checking and Robust Function Sharing (YF, PG, MY), pp. 499–508.
- DAC-1995-ClarkeGMZ #generative #model checking #performance
- Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking (EMC, OG, KLM, XZ), pp. 427–432.
- PODS-1995-ChangH #database #generative #using
- Using Witness Generators to Support Bi-directional Update Between Object-Based Databases (TPC, RH), pp. 196–207.
- STOC-1990-FeigeS #protocol
- Witness Indistinguishable and Witness Hiding Protocols (UF, AS), pp. 416–426.
