CUFinder

Noam Rinetzky

About Noam Rinetzky

Noam Rinetzky, With an exceptional h-index of 23 and a recent h-index of 16 (since 2020), a distinguished researcher at Tel Aviv University, specializes in the field of Verification, Concurrency, Symbolic execution.

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

State Merging with Quantifiers in Symbolic Execution

Runtime Complexity Bounds Using Squeezers

Relaxed effective callback freedom: a parametric correctness condition for sequential modules with callbacks

A bounded symbolic-size model for symbolic execution

Address-aware query caching for symbolic execution

Shape analysis

Taming callbacks for smart contract modularity

Proving highly-concurrent traversals correct

Noam Rinetzky Information

University

Position

Assistant Professor of Computer Science

Citations(all)

2320

Citations(since 2020)

961

Cited By

1733

hIndex(all)

23

hIndex(since 2020)

16

i10Index(all)

40

i10Index(since 2020)

22

Email

University Profile Page

Google Scholar

Noam Rinetzky Skills & Research Interests

Verification

Concurrency

Symbolic execution

Top articles of Noam Rinetzky

State Merging with Quantifiers in Symbolic Execution

2023/11/30

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Sharon Shoham
Sharon Shoham

H-Index: 16

Vaibhav Sharma
Vaibhav Sharma

H-Index: 5

Runtime Complexity Bounds Using Squeezers

ACM Transactions on Programming Languages and Systems (TOPLAS)

2022/7/15

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Sharon Shoham
Sharon Shoham

H-Index: 16

Relaxed effective callback freedom: a parametric correctness condition for sequential modules with callbacks

IEEE Transactions on Dependable and Secure Computing

2022/5/30

Elvira Albert
Elvira Albert

H-Index: 19

Noam Rinetzky
Noam Rinetzky

H-Index: 15

A bounded symbolic-size model for symbolic execution

2021/8/20

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Address-aware query caching for symbolic execution

2021/4/12

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Shape analysis

2000

Reinhard Wilhelm
Reinhard Wilhelm

H-Index: 23

Thomas Reps
Thomas Reps

H-Index: 34

Taming callbacks for smart contract modularity

Proceedings of the ACM on Programming Languages

2020/11/13

Elvira Albert
Elvira Albert

H-Index: 19

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Proving highly-concurrent traversals correct

Proceedings of the ACM on Programming Languages

2020/11/13

Artem Khyzha
Artem Khyzha

H-Index: 4

Adam Morrison
Adam Morrison

H-Index: 15

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Sharon Shoham
Sharon Shoham

H-Index: 16

Past-sensitive pointer analysis for symbolic execution

2020

Timotej Kapus
Timotej Kapus

H-Index: 3

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Cristian Cadar
Cristian Cadar

H-Index: 25

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs

arXiv preprint arXiv:2009.02775

2020/9/6

Sharon Shoham
Sharon Shoham

H-Index: 16

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Relocatable addressing model for symbolic execution

2020/7/18

Noam Rinetzky
Noam Rinetzky

H-Index: 15

WIP: Finding bugs automatically in smart contracts with parameterized invariants

Retrieved July

2020/2/21

Neil Immerman
Neil Immerman

H-Index: 25

Daniel Jackson
Daniel Jackson

H-Index: 24

Alexander Nutz
Alexander Nutz

H-Index: 5

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Putting the squeeze on array programs: Loop verification via inductive rank reduction

2020/1/13

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Noam Rinetzky
Noam Rinetzky

H-Index: 15

Sharon Shoham
Sharon Shoham

H-Index: 16

Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation

2020/1/13

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Noam Rinetzky
Noam Rinetzky

H-Index: 15

See List of Professors in Noam Rinetzky University(Tel Aviv University)