BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.Reynolds C.Tinelli C.W.Barrett J.C.Blanchette P.Fontaine A.Viswanathan D.E.Ouraoui A.Nötzli
Talks about:
synthesi (1) selector (1) scalabl (1) process (1) formula (1) datatyp (1) syntax (1) solver (1) higher (1) extend (1)

Person: Haniel Barbosa

DBLP DBLP: Barbosa:Haniel

Contributed to:

CADE 20172017
IJCAR 20182018
CADE 20192019
CAV (2) 20192019

Wrote 4 papers:

CADE-2017-BarbosaBF #fine-grained #proving #scalability
Scalable Fine-Grained Proofs for Formula Processing (HB, JCB, PF), pp. 398–412.
IJCAR-2018-ReynoldsVBTB #data type
Datatypes with Shared Selectors (AR, AV, HB, CT, CWB), pp. 591–608.
CADE-2019-BarbosaROTB #higher-order #logic #smt
Extending SMT Solvers to Higher-Order Logic (HB, AR, DEO, CT, CWB), pp. 35–54.
CAV-2019-ReynoldsBNBT #named #performance #synthesis
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis (AR, HB, AN, CWB, CT), pp. 74–83.

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.