If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2020

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
21 Downloads (Pure)

MemLock: Memory Usage Guided Fuzzing

Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM, 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
27 Downloads (Pure)

Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
79 Downloads (Pure)
2019

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
68 Downloads (Pure)

Locating Vulnerabilities in Binaries via Memory Layout Recovering

Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
278 Downloads (Pure)
2018

Automated Modular Verification for Relaxed Communication Protocols

Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
164 Downloads (Pure)

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14 – 20, 2018 Proceedings, Part I. Springer Open, p. 41-60 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
123 Downloads (Pure)

Testing heap-based programs with Java StarFinder

Pham, L. H., Le, Q. L., Phan, Q. S., Sun, J. & Qin, S., 27 May 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 268-269 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a program logic for C11 release-sequences

He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards ‘verifying’ a water treatment system

Wang, J., Sun, J., Jia, Y., Qin, S. & Xu, Z., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Using intention recognition in a simulation platform to assess physical activity levels of an office building

Zeng, Y., Zhang, Z., Han, T. A., Spears, I. R. & Qin, S., 12 May 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Durfee, E., Winikoff, M., Larson, K. & Das, S. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1817-1819 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Probabilistic Denotational Semantics for an Interrupt Modelling Language

Huang, Y., Zhao, Y., Qin, S. & He, J., 18 Jan 2016, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE, (Engineering of Complex Computer Systems, IEEE International Conference on).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State-Taint Analysis for Detecting Resource Bugs

Xu, Z., Fan, D. & Qin, S., 17 Jul 2016, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

GPU Accelerated On-the-Fly Reachability Checking

Qin, S., 2015, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Termination and non-termination specification inference

Le, T. C., Qin, S. & Chin, W-N., Jun 2015, PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 6 ed. New York, USA: ACM, Vol. 50. p. 489-498

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
144 Downloads (Pure)

TLV: abstraction through testing, learning, and validation

Sun, J., Xiao, H., Liu, Y., Lin, S-W. & Qin, S., 2015, ESEC/FSE 2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, USA: ACM, p. 698-709

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
122 Downloads (Pure)
2013

Data-Race-Freedom of Concurrent Programs

Barnett, G. & Qin, S., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE, p. 272-279

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

Huang, Y., Ferreira, J., He, G., Qin, S. & He, J., 2013, Formal Methods and Software Engineering. ICFEM 2013. Groves, L. & Sun, J. (eds.). Springer Berlin, p. 165-181 (Lecture Notes in Computer Science; vol. 8144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Invariants Synthesis over a Combined Domain for Automated Program Verification

Qin, S., He, G., Chin, W-N. & Yang, H., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Springer Berlin, Vol. 8051. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 18th International Conference on Engineering of Complex Computer Systems. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linking the Semantics of BPEL Using Maude

Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

Barnett, G. & Qin, S., 2012, Formal Methods and Software Engineering. ICFEM 2012. Aoki, T. & Taguchi, K. (eds.). Springer Berlin, Vol. 7635. ( Lecture Notes in Computer Science; vol. 7635).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Timed CSP Model for the Time-Triggered Language Giotto

Huang, Y., Zhao, Y., Qin, S., He, G. & Ferreira, J., 2012, 2012 35th Annual IEEE Software Engineering Workshop. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Zhu, H., Sanders, J. W., He, J. & Qin, S., 2012, Unifying Theories of Programming, UTP 2012. Wolff, B., Gaudel, M. C. & Feliachi, A. (eds.). Springer Berlin, p. 224-247 (Lecture Notes in Computer Science; vol. 7681).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Investigating Time Properties of Interrupt-Driven Programs

Huang, Y., Zhao, Y., Shi, J., Zhu, H. & Qin, S., 2012, Formal Methods: Foundations and Applications. SBMF 2012. Gheyi, R. & Naumann, D. (eds.). Springer Berlin, Vol. 7498. (Lecture Notes in Computer Science; vol. 7498).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LBI Cut Elimination Proof with BI-MultiCut

Arisaka, R. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Zhu, H., Liu, P., He, J. & Qin, S., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M. C. & Feliachi, A. (eds.). Springer Berlin, p. 164-185 (Notes in Computer Science; vol. 7681).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Moverness for Locks and Transactions

Barnett, G. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

Zhu, H., Xu, Q., Ma, C., Qin, S. & Qiu, Z., 2012, Software Engineering and Formal Methods. SEFM 2012. Eleftherakis, G., Hinchey, M. & Holcombe, M. (eds.). Springer Berlin, (Lecture Notes in Computer Science; vol. 7504).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

A specialization calculus for pruning disjunctive predicates to support verification

Chin, W. N., Gherghina, C., Voicu, R., Le, Q. L., Craciun, F. & Qin, S., 20 Jul 2011, Computer aided verification: Lecture Notes in Computer Science. Gopalakrishnan, G. & Qadeer, S. (eds.). Berlin: Springer, p. 293-309 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Citations (Scopus)
111 Downloads (Pure)

Automatically refining partial specifications for Program Verification

Qin, S., Luo, C., Chin, W-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
106 Downloads (Pure)

Structured specifications for better verification of heap-manipulating programs

Gherghina, C., David, C., Qin, S. & Chin, W-N., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 386-401 (Lecture notes in computer science; 6664).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
90 Downloads (Pure)

Towards an Axiomatic Verification System for JavaScript

Qin, S., Chawdhary, A., Xiong, W., Munro, M., Qiu, Z. & Zhu, H., 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

Loop Invariant Synthesis in a Combined Domain

Qin, S., He, G., Luo, C. & Chin, W-N., 2010, Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Springer Berlin, p. 468-484 (Lecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Probabilistic choice, reversibility, loops, and miracles

Stoddart, B., Bell, P. & Qin, S. (ed.), 2010, Lecture Notes in Computer Science. Shengchao, Q. (ed.). Springer Verlag, Vol. 6445.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
133 Downloads (Pure)

Stack bound inference for abstract java bytecode

Wang, S., Qiu, Z., Qin, S. & Chin, W-N., 2010, 2010 fourth international symposium on theoretical aspects of software engineering. IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
81 Downloads (Pure)
2009

An Interval-Based Inference of Variant Parametric Types

Craciun, F., Chin, W-N., He, G. & Qin, S., 2009, Programming Languages and Systems. ESOP 2009. Castagna, G. (ed.). Springer Berlin, p. 112-127 (Lecture Notes in Computer Science; vol. 5502).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Memory Usage Verification Using Hip/Sleek

He, G., Qin, S., Luo, C. & Chin, W-N., 2009, Automated Technology for Verification and Analysis. ATVA 2009. Liu, Z. & Ravn, A. P. (eds.). Springer Berlin, Vol. 5799. p. 166-181 (Lecture Notes in Computer Science; vol. 5799).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

A formal soundness proof of region-based memory management for object-oriented paradigm

Craciun, F., Qin, S. & Chin, W-N., 2008, Formal methods and software engineering. Springer Verlag, p. 126-146

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
63 Downloads (Pure)

A heap model for java bytecode to support separation logic

Luo, C., He, G. & Qin, S., 2008, Proceedings APSEC 2008. IEEE Computer Society, p. 127-134

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
85 Downloads (Pure)

Analysing memory resource bounds for low-level programs

Chin, W-N., Nguyen, H. H., Popeea, C. & Qin, S., 2008, Proceedings of the 7th international symposium on Memory management. ACM, p. 151-160

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Enhancing modular OO verification with separation logic

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2008, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM, p. 87-99

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying BPEL-Like Programs with Hoare Logic

Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2007

Automated Verification of Shape, Size and Bag Properties

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
129 Downloads (Pure)

Automated Verification of Shape and Size Properties Via Separation Logic

Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
180 Downloads (Pure)

Linking Object-Z with Spec#

Qin, S. & He, G., 2007, Proceedings of the IEEE international conference on engineering of complex computer systems, ICECCS. p. 185-194

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
65 Downloads (Pure)

Multiple pre/post specifications for heap-manipulating methods

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 357-364

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
82 Downloads (Pure)

Realizing Live Sequence Charts in SystemVerilog

Wang, H. H., Qin, S., Sun, J. & Dong, J. S., 2007, TASE 2007: First joint IEEE/IFIP symposium on theoretical aspects of software engineering, proceedings. p. 379-388

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
124 Downloads (Pure)
2006

Constructing Property-Oriented Models for Verification

He, J., Qin, S. & Sherif, A., 2006, Unifying theories of programming. p. 85-100 (Unifying Theories of Programming; vol. 4010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
117 Downloads (Pure)