BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
generat (7)
proof (4)
base (4)
program (4)
first (3)

Stem wit$ (all stems)

35 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.