Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jialiang Chang
@inproceedings{DBLP:conf/isola/GaoSLCSY21, author = {Bo Gao and Ling Shi and Jiaying Li and Jialiang Chang and Jun Sun and Zijiang Yang}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13036}, pages = {453--469}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89159-6\_28}, doi = {10.1007/978-3-030-89159-6\_28}, timestamp = {Thu, 11 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/GaoSLCSY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ChangGX00Y19, author = {Jialiang Chang and Bo Gao and Hao Xiao and Jun Sun and Yan Cai and Zijiang Yang}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {sCompile: Critical Path Identification and Analysis for Smart Contracts}, booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November 5-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11852}, pages = {286--304}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_18}, doi = {10.1007/978-3-030-32409-4\_18}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/ChangGX00Y19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-00624, author = {Jialiang Chang and Bo Gao and Hao Xiao and Jun Sun and Zijiang Yang}, title = {sCompile: Critical Path Identification and Analysis for Smart Contracts}, journal = {CoRR}, volume = {abs/1808.00624}, year = {2018}, url = {http://arxiv.org/abs/1808.00624}, eprinttype = {arXiv}, eprint = {1808.00624}, timestamp = {Thu, 11 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-00624.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/ZhangYZLCHL17, author = {Xiaodong Zhang and Zijiang Yang and Qinghua Zheng and Pei Liu and Jialiang Chang and Yu Hao and Ting Liu}, title = {Automated Testing of Definition-Use Data Flow for Multithreaded Programs}, booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, pages = {172--183}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICST.2017.23}, doi = {10.1109/ICST.2017.23}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/ZhangYZLCHL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcpc/LiCYC17, author = {Hao Li and Jialiang Chang and Zijiang Yang and Steve Carr}, editor = {Lawrence Rauchwerger}, title = {Memory Distance Measurement for Concurrent Programs}, booktitle = {Languages and Compilers for Parallel Computing - 30th International Workshop, {LCPC} 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11403}, pages = {49--64}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-35225-7\_5}, doi = {10.1007/978-3-030-35225-7\_5}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lcpc/LiCYC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ChengCYW16, author = {Lin Cheng and Jialiang Chang and Zijiang Yang and Chao Wang}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {GUICat: {GUI} testing as a service}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {858--863}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970294}, doi = {10.1145/2970276.2970294}, timestamp = {Sat, 30 Sep 2023 09:51:40 +0200}, biburl = {https://dblp.org/rec/conf/kbse/ChengCYW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.