default search action

combined dblp search
author search
venue search
publication search

ask others

Andres Nötzli

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LachnittFARBNBT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LachnittFARBNBT24
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. TACAS (1) 2024: 311-330
2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BarbosaBCDKLNNOPRTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar:
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66(10): 86-95 (2023)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ShengNRZDGPQBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli:
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67(3): 32 (2023)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/WilsonNRCTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/WilsonNRCTB23
Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett:
Partitioning Strategies for Distributed SMT Solving. FMCAD 2023: 199-208
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/smt/LachnittFA0BNBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/LachnittFA0BNBT23
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
Automatic Verification of SMT Rewrites in Isabelle/HOL. SMT 2023: 78
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-05854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-05854
Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett:
Partitioning Strategies for Distributed SMT Solving. CoRR abs/2306.05854 (2023)
2022
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BarbosaRKLNNOPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BarbosaRKLNNOPV22
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett:
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR 2022: 15-35
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ShengNRZDGPQBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ShengNRZDGPQBT22
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli:
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR 2022: 125-143
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NotzliRBBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NotzliRBBT22
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli:
Even Faster Conflicts and Lazier Reductions for String Solvers. CAV (2) 2022: 205-226
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/NotzliBNPRBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/NotzliBNPRBT22
Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli:
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. FMCAD 2022: 65-74
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BarbosaBBKLMMMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BarbosaBBKLMMMN22
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar:
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) 2022: 415-442
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ZoharIMNNPRBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ZoharIMNNPRBT22
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli:
Bit-Precise Reasoning via Int-Blasting. VMCAI 2022: 496-518
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08095
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli:
Reasoning About Vectors using an SMT Theory of Sequences. CoRR abs/2205.08095 (2022)
2021
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-09743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-09743
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett:
lazybvtoint at the SMT Competition 2020. CoRR abs/2105.09743 (2021)
2020
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ReynoldsNBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ReynoldsNBT20
Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
A Decision Procedure for String to Code Point Conversion. IJCAR (1) 2020: 218-237
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ReynoldsNBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ReynoldsNBT20
Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
Reductions for Strings and Regular Expressions Revisited. FMCAD 2020: 225-235
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BrownRNLSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BrownRNLSS20
Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan:
Towards a verified range analysis for JavaScript JITs. PLDI 2020: 135-150

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ReynoldsNBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ReynoldsNBT19
Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
High-Level Abstractions for Simplifying Extended String Constraints in SMT. CAV (2) 2019: 23-42
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ReynoldsBNBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ReynoldsBNBT19
Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. CAV (2) 2019: 74-83
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NotzliRBNPBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NotzliRBNPBT19
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli:
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. SAT 2019: 279-297
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-10175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-10175
Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
CVC4SY for SyGuS-COMP 2019. CoRR abs/1907.10175 (2019)
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AndryscoNBJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AndryscoNBJS18
Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan:
Towards Verified, Constant-time Floating Point Operations. CCS 2018: 1369-1382
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/NotzliKFBA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/NotzliKFBA18
Andres Nötzli, Jehandad Khan, Andy Fingerhut, Clark W. Barrett, Peter Athanas:
p4pktgen: Automated Test Case Generation for P4 Programs. SOSR 2018: 5:1-5:7
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-08775
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-08775
Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli:
CVC4 at the SMT Competition 2018. CoRR abs/1806.08775 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/AbergerLTNOR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/AbergerLTNOR17
Christopher R. Aberger, Andrew Lamb, Susan Tu, Andres Nötzli, Kunle Olukotun, Christopher Ré:
EmptyHeaded: A Relational Engine for Graph Processing. ACM Trans. Database Syst. 42(4): 20:1-20:44 (2017)
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BrownNE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BrownNE16
Fraser Brown, Andres Nötzli, Dawson R. Engler:
How to Build Static Checking Systems Using Orders of Magnitude Less Code. ASPLOS 2016: 143-157
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NotzliB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NotzliB16
Andres Nötzli, Fraser Brown:
LifeJacket: verifying precise floating-point optimizations in LLVM. SOAP@PLDI 2016: 24-29
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NotzliB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NotzliB16
Andres Nötzli, Fraser Brown:
LifeJacket: Verifying precise floating-point optimizations in LLVM. CoRR abs/1603.09290 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AbergerNOR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbergerNOR15
Christopher R. Aberger, Andres Nötzli, Kunle Olukotun, Christopher Ré:
EmptyHeaded: Boolean Algebra Based Graph Processing. CoRR abs/1503.02368 (2015)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/vldb/KochAKNNLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vldb/KochAKNNLS14
Christoph Koch, Yanif Ahmad, Oliver Kennedy, Milos Nikolic, Andres Nötzli, Daniel Lupei, Amir Shaikhha:
DBToaster: higher-order delta processing for dynamic, frequently fresh views. VLDB J. 23(2): 253-278 (2014)
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/KlonatosNSKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/KlonatosNSKK13
Yannis Klonatos, Andres Nötzli, Andrej Spielmann, Christoph Koch, Viktor Kuncak:
Automatic synthesis of out-of-core algorithms. SIGMOD Conference 2013: 133-144

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.