Folgen
Andres Nötzli
Andres Nötzli
Bestätigte E-Mail-Adresse bei stanford.edu
Titel
Zitiert von
Zitiert von
Jahr
Emptyheaded: A relational engine for graph processing
CR Aberger, A Lamb, S Tu, A Nötzli, K Olukotun, C Ré
ACM Transactions on Database Systems (TODS) 42 (4), 1-44, 2017
2152017
DBToaster: higher-order delta processing for dynamic, frequently fresh views
C Koch, Y Ahmad, O Kennedy, M Nikolic, A Nötzli, D Lupei, A Shaikhha
The VLDB Journal 23 (2), 253-278, 2014
952014
P4pktgen: Automated test case generation for p4 programs
A Nötzli, J Khan, A Fingerhut, C Barrett, P Athanas
Proceedings of the Symposium on SDN Research, 1-7, 2018
642018
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 74-83, 2019
522019
cvc5: A Versatile and Industrial-Strength SMT Solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
492022
How to build static checking systems using orders of magnitude less code
F Brown, A Nötzli, D Engler
Proceedings of the Twenty-First International Conference on Architectural …, 2016
392016
Towards verified, constant-time floating point operations
M Andrysco, A Nötzli, F Brown, R Jhala, D Stefan
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
322018
LifeJacket: verifying precise floating-point optimizations in LLVM
A Nötzli, F Brown
Proceedings of the 5th ACM SIGPLAN International Workshop on State of the …, 2016
252016
Syntax-guided rewrite rule enumeration for SMT solvers
A Nötzli, A Reynolds, H Barbosa, A Niemetz, M Preiner, C Barrett, ...
International Conference on Theory and Applications of Satisfiability …, 2019
242019
Automatic synthesis of out-of-core algorithms
Y Klonatos, A Nötzli, A Spielmann, C Koch, V Kuncak
Proceedings of the 2013 ACM SIGMOD International Conference on Management of …, 2013
20*2013
EmptyHeaded: boolean algebra based graph processing
CR Aberger, A Nötzli, K Olukotun, C Ré
ArXiv e-prints, 2015
142015
High-level abstractions for simplifying extended string constraints in SMT
A Reynolds, A Nötzli, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 23-42, 2019
122019
Towards a verified range analysis for JavaScript JITs
F Brown, J Renner, A Nötzli, S Lerner, H Shacham, D Stefan
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
102020
Reductions for Strings and Regular Expressions Revisited.
A Reynolds, A Nötzli, CW Barrett, C Tinelli
FMCAD, 225-235, 2020
82020
Bit-Precise Reasoning via Int-Blasting
Y Zohar, A Irfan, M Mann, A Niemetz, A Nötzli, M Preiner, A Reynolds, ...
International Conference on Verification, Model Checking, and Abstract …, 2022
62022
A decision procedure for string to code point conversion
A Reynolds, A Nötzli, C Barrett, C Tinelli
International Joint Conference on Automated Reasoning, 218-237, 2020
62020
Rewrites for SMT solvers using syntax-guided enumeration
A Reynolds, H Barbosa, A Niemetz, A Nötzli, M Preiner, C Barrett, ...
SMT Workshop, 2018
42018
lazybv2int at the SMT Competition 2020
Y Zohar, A Irfan, M Mann, A Nötzli, A Reynolds, C Barrett
32020
Flexible Proof Production in an Industrial-Strength SMT Solver
H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ...
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa …, 2022
22022
CVC4SY for sygus-comp 2019
A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli
arXiv preprint arXiv:1907.10175, 2019
22019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20