Basic Information
Name: Frank Xu
Institution: School of Computer Science and Engineering
Registration: 2017-10-15
Score: 2123
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering, Security & Privacy, Artificial Intelligence & Machine Learning, Systems & Architecture. Frequently viewed venues include FM, TASE, KR, TACAS, SafeComp.

My CV
Tracked Conferences
Total 53 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
AA1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*A1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
AAA2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2026-08-032026-10-262027-03-20
CB3DASCInternational Conference on Dependable, Autonomic and Secure Computing2026-07-152026-09-012026-11-09
AA*A1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
CBAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
AA*A1ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
BAA1EMNLPConference on Empirical Methods in Natural Language Processing2026-05-272026-08-202026-10-24
CBB1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BAA2SRDSIEEE Symposium on Reliable Distributed Systems2026-04-242026-07-032026-09-21
AA*A1CCSACM Conference on Computer and Communications Security2026-04-222026-07-172026-11-15
BAA2CONCURInternational Conference on Concurrency Theory2026-04-202026-06-152026-09-01
BAA2ISSREInternational Symposium on Software Reliability Engineering2026-04-102026-07-082026-10-20
CBB1QRSInternational Conference on Software Quality, Reliability and Security2026-04-082026-05-302026-07-22
BB1KESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2026-03-302026-05-042026-09-09
AAA1ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
AA*A1SOSPACM Symposium on Operating Systems Principles2026-03-262026-07-032026-09-29
BAA2MODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
BAB1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2026-03-132026-05-012026-06-15
BA*A2KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20
A*B1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
AA*A1KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2026-02-012026-05-162026-08-09
CBA2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
AA*A1ACLAnnual Meeting of the Association for Computational Linguistics2026-01-052026-04-042026-07-02
BAA1DSNInternational Conference on Dependable Systems and Networks2025-11-272026-03-192026-06-22
AB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CAPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2025-11-152026-02-082026-06-09
AA*S&PIEEE Symposium on Security and Privacy2025-11-132026-03-192026-05-18
AA*A1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
BA*A1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2025-10-012025-12-222026-05-25
CB1SEAAEuromicro Conference on Software Engineering and Advanced Applications2025-05-252025-06-232025-09-10
BAA2ECAIEuropean Conference on Artificial Intelligence2025-04-292025-07-102025-10-25
AA*A1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CAB5ICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
BB1SafeCompInternational Conference on Computer Safety, Reliability and Security2024-02-042024-04-212024-09-17
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
CSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
BB1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
A*A2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
B2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
BB1ARESInternational Conference on Availability, Reliability and Security2020-04-152020-06-032020-08-24
SCSSSScandinavian Conference System and Software Safety2017-11-082018-05-21
BAA2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
CB2IDEALInternational Conference on Intelligent Data Engineering and Automated Learning2026-11-22
Attend Conferences
Total 2 items.
CCFCOREQUALISShortFull NameConferenceLocation
AB1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Tracked Journals
Followed Researchers
NameInstitutionRegistrationScore
No results found.

Advertisement