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

Search results

  • 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
    47 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
    83 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
    132 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
    87 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
    324 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
    182 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
    129 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
    155 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
    133 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)
    117 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
    130 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
    98 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
    143 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
    87 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
    72 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
    89 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
    144 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
    196 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
    69 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
    88 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
    133 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
    133 Downloads (Pure)