Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fei Xie

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 Kai Cong

> Home > Persons > Fei Xie

Publications

2020
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ChenYLCX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ChenYLCX20
Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie:
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution. SANER 2020: 172-183
2019
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/icess/0008CYWWLX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icess/0008CYWWLX19
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie:
End-to-End Concolic Testing for Hardware/Software Co-Validation. ICESS 2019: 1-8
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03915
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03915
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie:
Hardware/Software Co-monitoring. CoRR abs/1905.03915 (2019)
2018
[c111]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChenHYCKX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChenHYCKX18
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie:
CRETE: A Versatile Binary-Level Concolic Testing Framework. FASE 2018: 281-298
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/LinCYLZHX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/LinCYLZHX18
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie:
Concolic testing of SystemC designs. ISQED 2018: 1-7
2016
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/LinYCX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/LinYCX16
Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie:
Generating high coverage tests for SystemC designs using symbolic execution. ASP-DAC 2016: 166-171
[c97]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/YangHCLRX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/YangHCLRX16
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie:
Validating scheduling transformation for behavioral synthesis. DATE 2016: 1652-1657
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CongLYX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CongLYX16
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
OpenRISC System-on-Chip Design Emulation. CoRR abs/1602.03095 (2016)
2015
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CongLYX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CongLYX15
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
Automatic fault injection for driver robustness testing. ISSTA 2015: 361-372
2014
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/YangHCLRX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/YangHCLRX14
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie:
Scalable Certification Framework for Behavioral Synthesis Front-End. DAC 2014: 149:1-149:6
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/date/CongLYX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/CongLYX14
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
Coverage evaluation of post-silicon validation tests with virtual prototypes. DATE 2014: 1-6
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/LeiCYX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/LeiCYX14
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie:
Validating direct memory access interfaces with conformance checking. ICCAD 2014: 9-16
2013
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LeiXC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LeiXC13
Li Lei, Fei Xie, Kai Cong:
Post-silicon conformance checking with virtual prototypes. DAC 2013: 29:1-29:6
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/CongXL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/CongXL13
Kai Cong, Fei Xie, Li Lei:
Automatic concolic test generation with virtual prototypes for post-silicon validation. ICCAD 2013: 303-310
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/YangHCRX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/YangHCRX13
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie:
Equivalence checking for compiler transformations in behavioral synthesis. ICCD 2013: 491-494
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LeiCX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LeiCX13
Li Lei, Kai Cong, Fei Xie:
Optimizing post-silicon conformance checking. ICCD 2013: 499-502
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/CongXL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/CongXL13
Kai Cong, Fei Xie, Li Lei:
Symbolic Execution of Virtual Devices. QSIC 2013: 1-10

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.