Chao Wang 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shuvendu K. Lahiri

> Home > Persons > Chao Wang 0001

Publications

2020
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SungLKCW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SungLKCW20
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang:
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (SEIP) 2020: 172-181
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SungLKCWW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SungLKCWW20
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang:
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (Companion Volume) 2020: 320-321
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2020-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2020-1
Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12224, Springer 2020, ISBN 978-3-030-53287-1 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2020-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2020-2
Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12225, Springer 2020, ISBN 978-3-030-53290-1 [contents]
2018
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SungLEW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SungLEW18
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based scalable semantic diffing of concurrent programs. ASE 2018: 656-666
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2018
Shuvendu K. Lahiri, Chao Wang:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science 11138, Springer 2018, ISBN 978-3-030-01089-8 [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03777
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR abs/1807.03777 (2018)
2008
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WangGWLK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WangGWLK08
Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening:
Embedded software verification: challenges and solutions. ICCAD 2008: 5

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.