BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
A.Reynolds C.W.Barrett C.Tinelli Fraser Brown D.R.Engler Y.Klonatos A.Spielmann C.Koch V.Kuncak H.Barbosa
Talks about:
synthesi (2) constraint (1) algorithm (1) simplifi (1) magnitud (1) abstract (1) automat (1) system (1) syntax (1) string (1)

Person: Andres Nötzli

DBLP DBLP: N=ouml=tzli:Andres

Contributed to:

SIGMOD 20132013
CAV (2) 20192019
ASPLOS 20162016

Wrote 4 papers:

SIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis
Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
CAV-2019-ReynoldsBNBT #named #performance #synthesis
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis (AR, HB, AN, CWB, CT), pp. 74–83.
CAV-2019-ReynoldsNBT #abstraction #constraints #smt #string
High-Level Abstractions for Simplifying Extended String Constraints in SMT (AR, AN, CWB, CT), pp. 23–42.
ASPLOS-2016-BrownNE #how #order #static analysis #using
How to Build Static Checking Systems Using Orders of Magnitude Less Code (FB, AN, DRE), pp. 143–157.
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.