Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Shaowei Zhu 0001

> Home > Persons

Person information

affiliation: Princeton University, NJ, USA
affiliation: Georgia Institute of Technology, Atlanta, GA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2023
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KincaidKZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KincaidKZ23
Zachary Kincaid, Nicolas Koh, Shaowei Zhu:
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. Proc. ACM Program. Lang. 7(POPL): 1275-1307 (2023)

Conference and Workshop Papers

see FAQ

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

2021
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhuK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhuK20
Shaowei Zhu, Zachary Kincaid:
Reflections on Termination of Linear Loops. CAV (2) 2021: 51-74
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001K21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001K21
Shaowei Zhu, Zachary Kincaid:
Termination analysis without the tears. PLDI 2021: 1296-1311
2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiZdO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiZdO18
Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso:
Enlightened debugging. ICSE 2018: 82-92
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/NihalaniCZVA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/NihalaniCZVA17
Rahul Nihalani, Sriram P. Chockalingam, Shaowei Zhu, Vijay V. Vazirani, Srinivas Aluru:
Probabilistic estimation of overlap graphs for large sequence datasets. BIBM 2017: 247-252

Informal and Other Publications

see FAQ

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

2022
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-04000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-04000
Zachary Kincaid, Nicolas Koh, Shaowei Zhu:
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. CoRR abs/2211.04000 (2022)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-09783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-09783
Shaowei Zhu, Zachary Kincaid:
Termination Analysis Without the Tears. CoRR abs/2101.09783 (2021)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13941
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13941
Shaowei Zhu, Zachary Kincaid:
Reflections on Termination of Linear Loops. CoRR abs/2105.13941 (2021)

a service of

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.