Junda He
Orcid: 0000-0003-3370-8585
According to our database1,
Junda He
authored at least 25 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., March, 2024
Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies.
CoRR, 2024
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs.
CoRR, 2024
CoRR, 2024
BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions.
CoRR, 2024
CoRR, 2024
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
APIDocBooster: An Extract-Then-Abstract Framework Leveraging Large Language Models for Augmenting API Documentation.
CoRR, 2023
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023
2022
CoRR, 2022
Proceedings of the IEEE International Conference on Software Analysis, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
PTM4Tag: sharpening tag recommendation of stack overflow posts with pre-trained models.
Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2018
Optimal formation control and collision avoidance in environment with multiple rectangle obstacles.
J. Frankl. Inst., 2018
Consensus control of networked multi-agent systems based on a novel hybrid transmission strategy.
IMA J. Math. Control. Inf., 2018
2017
Formation control of networked multi-agent systems based on a novel event-triggered transmission strategy.
Int. J. Autom. Control., 2017