Jia-Guang Sun
Orcid: 0000-0002-5884-7939Affiliations:
- Tsinghua University, School of Software, Beijing, China
According to our database1,
Jia-Guang Sun
authored at least 247 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., October, 2023
ACM Trans. Softw. Eng. Methodol., May, 2023
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023
Proc. ACM Manag. Data, 2023
Proceedings of the 32nd USENIX Security Symposium, 2023
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
IEEE Trans. Software Eng., 2022
IEEE Trans. Software Eng., 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
IEEE Trans. Software Eng., 2021
IEEE Trans. Ind. Informatics, 2021
IEEE Trans. Dependable Secur. Comput., 2021
Proceedings of the 2021 USENIX Annual Technical Conference, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the IEEE International Conference on Multimedia and Expo, 2020
Proceedings of the IEEE International Conference on Multimedia and Expo, 2020
2019
IEEE Trans. Neural Networks Learn. Syst., 2019
Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning.
IEEE Trans. Ind. Informatics, 2019
ACM Trans. Embed. Comput. Syst., 2019
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.
ACM Trans. Cyber Phys. Syst., 2019
Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory.
Int. J. Softw. Eng. Knowl. Eng., 2019
CoRR, 2019
CoRR, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 27th International Conference on Program Comprehension, 2019
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the IEEE International Conference on Industrial Internet, 2019
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
IEEE Trans. Neural Networks Learn. Syst., 2018
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.
IEEE Trans. Evol. Comput., 2018
IEEE Trans. Circuits Syst. II Express Briefs, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
IEEE Trans. Ind. Informatics, 2017
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron., 2017
J. Vis. Commun. Image Represent., 2017
Memetic-based schedule synthesis for communication on time-triggered embedded systems.
Int. J. Distributed Sens. Networks, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
IEEE Trans. Knowl. Data Eng., 2016
IEEE Trans. Computers, 2016
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks.
Sensors, 2016
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
IEEE Trans. Parallel Distributed Syst., 2015
IEEE Trans. Parallel Distributed Syst., 2015
IEEE Trans. Ind. Electron., 2015
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015
Frontiers Comput. Sci., 2015
Identifying and constructing elemental parts of shafts based on conditional random fields model.
Comput. Aided Des., 2015
Proceedings of the IEEE International Conference on Information and Automation, 2015
2014
ACM Trans. Graph., 2014
J. Appl. Math., 2014
Comput. J., 2014
Polynomial spline interpolation of incompatible boundary conditions with a single degenerate surface.
Comput. Aided Des., 2014
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014
Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, 2014
Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014
2013
IEEE Trans. Ind. Electron., 2013
Sci. China Inf. Sci., 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the IEEE International Conference on Computer Vision, 2013
Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
2012
Math. Comput. Model., 2012
Math. Comput. Model., 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012
2011
Softw. Syst. Model., 2011
<i>G</i><sup><i>n</i></sup> filling orbicular <i>N</i>-sided holes using periodic B-spline surfaces.
Sci. China Inf. Sci., 2011
Comput. Graph. Forum, 2011
Comput. Aided Des., 2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the 12th International Conference on Computer-Aided Design and Computer Graphics, 2011
2010
Filling <i>n</i>-sided regions with <i>G</i><sup>1</sup> triangular Coons B-spline patches.
Vis. Comput., 2010
IEEE Trans. Computers, 2010
IET Inf. Secur., 2010
Int. J. Geogr. Inf. Sci., 2010
Comput. Ind., 2010
Comput. Aided Des., 2010
Comput. Aided Des., 2010
Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method.
Proceedings of the SMI 2010, 2010
The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes.
Proceedings of the SMI 2010, 2010
Proceedings of the Fifth Annual ChinaGrid Conference, ChinaGrid 2010, Guangzhou, 2010
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010
2009
J. Intell. Inf. Syst., 2009
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector.
J. Comput. Sci. Technol., 2009
Workflow-based resource allocation to optimize overall performance of composite services.
Future Gener. Comput. Syst., 2009
Comput. Ind., 2009
Comput. Aided Geom. Des., 2009
2008
Reducing control points in lofted B-spline surface interpolation using common knot vector determination.
Comput. Aided Des., 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2007
AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems.
J. Comput. Sci. Technol., 2007
Data Min. Knowl. Discov., 2007
Comput. Aided Geom. Des., 2007
Proceedings of the Advances in Data and Web Management, 2007
Proceedings of the 2007 ACM Symposium on Solid and Physical Modeling, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Advances in Multimedia Modeling, 2007
Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2007), 2007
Using Decision Tree Learning to Predict Workflow Activity Time Consumption.
Proceedings of the ICEIS 2007, 2007
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007
Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007
2006
IEEE Trans. Circuits Syst. II Express Briefs, 2006
Comput. Math. Appl., 2006
Comput. Graph., 2006
Comput. Aided Des., 2006
Comput. Aided Des., 2006
Automatic least-squares projection of points onto point clouds with applications in reverse engineering.
Comput. Aided Des., 2006
Comput. Aided Des., 2006
Comput. Aided Des., 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006
Proceedings of the Information Security Practice and Experience, 2006
Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams.
Proceedings of the 22nd International Conference on Data Engineering, 2006
Proceedings of the 10th International Conference on CSCW in Design, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
Proceedings of the Frontiers of WWW Research and Development, 2006
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006
2005
An algorithm for tetrahedral mesh generation based on conforming constrained Delaunay tetrahedralization.
Comput. Graph., 2005
Comput. Aided Geom. Des., 2005
Proceedings of the Spring Conference on Computer Graphics, 2005
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005
Proceedings of the Mathematics of Surfaces XI, 2005
An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems.
Proceedings of the Networking and Mobile Computing, Third International Conference, 2005
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005
Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation.
Proceedings of the Computational Intelligence and Security, International Conference, 2005
Proceedings of the Computational Intelligence and Security, International Conference, 2005
2004
IEEE Trans. Vis. Comput. Graph., 2004
J. Comput. Sci. Technol., 2004
Proceedings of the Information Security Applications, 5th International Workshop, 2004
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2004
Proceedings of the Intelligent Data Engineering and Automated Learning, 2004
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Proceedings of the Computational and Information Science, First International Symposium, 2004
Enhancing the Scalability of the Community Authorization Service for Virtual Organizations.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004
Proceedings of the Information Security and Privacy: 9th Australasian Conference, 2004
2003
Comput. Secur., 2003
Proceedings of the Information Security Applications, 4th International Workshop, 2003
Proceedings of the Advances in Web-Age Information Management, 2003
Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2003
GridFS: A Web-Based Data Grid for the Distributed Sharing of Educational Resource Files.
Proceedings of the Advances in Web-Based Learning, 2003
Proceedings of the Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 2003
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003
Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services.
Proceedings of the Applied Cryptography and Network Security, 2003
2002
A constructive approach to solving 3-D geometric constraint systems using dependence analysis.
Comput. Aided Des., 2002
2001
Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints.
Vis. Comput., 2001
J. Comput. Sci. Technol., 2001
An Effective Feature-Preserving Mesh Simplification Scheme Based on Face Constriction.
Proceedings of the 9th Pacific Conference on Computer Graphics and Applications, 2001
Proceedings of the 9th Pacific Conference on Computer Graphics and Applications, 2001
2000
Bisection algorithms for approximating quadratic Bézier curves by G<sub>1</sub> arc splines.
Comput. Aided Des., 2000
A Matrix-Based Approach to Reconstruction of 3D Objects from Three Orthographic Views.
Proceedings of the 8th Pacific Conference on Computer Graphics and Applications, 2000
1999
1996
J. Comput. Sci. Technol., 1996