CUFinder

Aina Niemetz

Aina Niemetz

Stanford University

H-index: 18

North America-United States

Contact Aina Niemetz

About Aina Niemetz

Aina Niemetz, With an exceptional h-index of 18 and a recent h-index of 15 (since 2020), a distinguished researcher at Stanford University, specializes in the field of Formal Methods, Satisfiability Modulo Theories, Automated Reasoning.

His recent articles reflect a diverse array of research interests and contributions to the field:

Generating and exploiting automated reasoning proof certificates

Bitwuzla

Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers

IPASIR-UP: User Propagators for CDCL

Murxla: A modular and highly extensible API fuzzer for SMT solvers

Flexible proof production in an industrial-strength SMT solver

cvc5: A versatile and industrial-strength SMT solver

Bit-precise reasoning via Int-blasting

Aina Niemetz Information

University

Position

___

Citations(all)

1222

Citations(since 2020)

1015

Cited By

445

hIndex(all)

18

hIndex(since 2020)

15

i10Index(all)

24

i10Index(since 2020)

21

Email

University Profile Page

Google Scholar

Aina Niemetz Skills & Research Interests

Formal Methods

Satisfiability Modulo Theories

Automated Reasoning

Top articles of Aina Niemetz

Generating and exploiting automated reasoning proof certificates

Communications of the ACM

2023/9/22

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Byron Cook
Byron Cook

H-Index: 25

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Bitwuzla

2023/7/17

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers

International Journal on Software Tools for Technology Transfer

2023/4

Joseph Scott
Joseph Scott

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Saeed Nejati
Saeed Nejati

H-Index: 5

Vijay Ganesh
Vijay Ganesh

H-Index: 25

IPASIR-UP: User Propagators for CDCL

2023

Katalin Fazekas
Katalin Fazekas

H-Index: 4

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Armin Biere
Armin Biere

H-Index: 39

Murxla: A modular and highly extensible API fuzzer for SMT solvers

2022/8/6

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Clark Barrett
Clark Barrett

H-Index: 29

Flexible proof production in an industrial-strength SMT solver

2022/8

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Yoni Zohar
Yoni Zohar

H-Index: 5

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Clark Barrett
Clark Barrett

H-Index: 29

cvc5: A versatile and industrial-strength SMT solver

2022

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Martin Brain
Martin Brain

H-Index: 13

Makai Mann
Makai Mann

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Ying Sheng
Ying Sheng

H-Index: 2

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Bit-precise reasoning via Int-blasting

2022/1/14

Yoni Zohar
Yoni Zohar

H-Index: 5

Makai Mann
Makai Mann

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language.

2022/10/12

Andres Nötzli
Andres Nötzli

H-Index: 8

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Towards Satisfiability Modulo Parametric Bit-vectors

Journal of automated reasoning

2021/10

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Yoni Zohar
Yoni Zohar

H-Index: 5

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

ddSMT 2.0: Better delta debugging for the SMT-LIBv2 language and friends

2021/7/15

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

On solving quantified bit-vector constraints using invertibility conditions

Formal Methods in System Design

2021/7

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Syntax-guided quantifier instantiation

2021/3/23

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Ternary Propagation-Based Local Search for more Bit-Precise Reasoning

2020/9/21

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Creating an Agile Hardware Design Flow

2020/7/20

Clark Barrett
Clark Barrett

H-Index: 29

Ross Daly
Ross Daly

H-Index: 5

Caleb Donovick
Caleb Donovick

H-Index: 4

David Durst
David Durst

H-Index: 2

Kayvon Fatahalian
Kayvon Fatahalian

H-Index: 26

Teguh Hofstee
Teguh Hofstee

H-Index: 2

Mark Horowitz
Mark Horowitz

H-Index: 5

Fredrik Kjolstad
Fredrik Kjolstad

H-Index: 9

Taeyoung Kong
Taeyoung Kong

H-Index: 2

Makai Mann
Makai Mann

H-Index: 2

Jackson Melchert
Jackson Melchert

H-Index: 3

Aina Niemetz
Aina Niemetz

H-Index: 11

Priyanka Raina
Priyanka Raina

H-Index: 6

Stephen Richardson
Stephen Richardson

H-Index: 30

Jeff Setter
Jeff Setter

H-Index: 4

James Thomas
James Thomas

H-Index: 10

Christopher Torng
Christopher Torng

H-Index: 9

Leonard Truong
Leonard Truong

H-Index: 5

Nestan Tsiskaridze
Nestan Tsiskaridze

H-Index: 7

Keyi Zhang
Keyi Zhang

H-Index: 4

Bitwuzla at the SMT-COMP 2020

arXiv preprint arXiv:2006.01621, 2020

2020/5/30

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

Tools and Algorithms for the Construction and Analysis of Systems

2020

Joseph Scott
Joseph Scott

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Saeed Nejati
Saeed Nejati

H-Index: 5

Vijay Ganesh
Vijay Ganesh

H-Index: 25

See List of Professors in Aina Niemetz University(Stanford University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine