Travelled to:1 × Austria
1 × China
1 × France
1 × Greece
1 × Ireland
2 × Italy
3 × United Kingdom
6 × USA
Collaborated with:W.Chin H.H.Nguyen J.S.Dong C.David C.Gherghina F.Craciun J.Sun G.He M.C.Rinard C.Popeea Q.L.Le T.C.Le S.Lin C.Luo P.Hao X.Zhang H.Xiao Y.Liu H.Zhu Q.Xu C.Ma Z.Qiu S.Khoo Y.Tao S.Tang Y.Liu Z.Xu R.Voicu H.Wang X.Xie Y.L.0001 Y.Li Y.L.0003 T.L.0002
Talks about:program (6) verif (6) specif (5) memori (3) infer (3) properti (2) languag (2) verifi (2) termin (2) shape (2)
Person: Shengchao Qin
DBLP: Qin:Shengchao
Contributed to:
2015
2015
2014
20122011
2011
2009
2008
2008
2007
20062005
2005
200420042003
20192019Wrote 20 papers:
- ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation
- TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
- PLDI-2015-LeQC #specification #termination
- Termination and non-termination specification inference (TCL, SQ, WNC), pp. 489–498.
- CAV-2014-LeGQC #analysis #higher-order
- Shape Analysis via Second-Order Bi-Abduction (QLL, CG, SQ, WNC), pp. 52–68.
- SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification
- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
- CAV-2011-ChinGVLCQ #calculus #verification
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
- FM-2011-GherghinaDQC #source code #specification #verification
- Structured Specifications for Better Verification of Heap-Manipulating Programs (CG, CD, SQ, WNC), pp. 386–401.
- FM-2011-QinLCH #automation #specification #verification
- Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.
- ESOP-2009-CraciunCHQ #parametricity
- An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
- ISMM-2008-ChinNPQ #bound #low level #memory management #source code
- Analysing memory resource bounds for low-level programs (WNC, HHN, CP, SQ), pp. 151–160.
- POPL-2008-ChinDNQ #composition #logic #object-oriented #verification
- Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.
- VMCAI-2007-NguyenDQC #automation #logic #verification
- Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.
- ICSE-2006-DongHZQ #modelling #named
- HighSpec: a tool for building and checking OZTA models (JSD, PH, XZ, SQ), pp. 775–778.
- ICSE-2005-ChinKQPN #alias #policy #safety #verification
- Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.
- SAS-2005-ChinNQR #memory management #object-oriented #source code #verification
- Memory Usage Verification for OO Programs (WNC, HHN, SQ, MCR), pp. 70–86.
- IFM-2004-DongQS #generative #specification
- Generating MSCs from an Integrated Formal Specification Language (JSD, SQ, JS), pp. 168–186.
- PLDI-2004-ChinCQR #object-oriented
- Region inference for an object-oriented language (WNC, FC, SQ, MCR), pp. 243–254.
- FME-2003-QinC #hardware
- Mapping Statecharts to Verilog for Hardware/Software Co-specification (SQ, WNC), pp. 282–300.
- FME-2003-QinDC #programming #semantics
- A Semantic Foundation for TCOZ in Unifying Theories of Programming (SQ, JSD, WNC), pp. 321–340.
- ASE-2019-TaoTLXQ #api #data analysis #how #performance #question #runtime
- How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? (YT, ST, YL, ZX, SQ), pp. 665–668.
- ESEC-FSE-2019-WangXLLLQLL #layout #memory management
- Locating vulnerabilities in binaries via memory layout recovering (HW, XX, SWL, YL0, YL, SQ, YL0, TL0), pp. 718–728.