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.
CCFICOREShortFull NameSubmissionNotificationConference
BADSNInternational Conference on Dependable Systems and Networks2026-11-252027-03-182027-06-22
AA*S&PIEEE Symposium on Security and Privacy2026-11-102027-03-052027-05-18
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
ATACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
ABPPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2026-08-032026-10-262027-03-20
CIDEALInternational Conference on Intelligent Data Engineering and Automated Learning2026-07-242026-09-012026-11-19
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2026-07-192026-11-142027-08-09
CSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2026-07-152026-08-302026-10-09
CDASCInternational Conference on Dependable, Autonomic and Secure Computing2026-07-152026-09-012026-11-09
AA*POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
AA*ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
BA*EMNLPConference on Empirical Methods in Natural Language Processing2026-05-272026-08-202026-10-24
CCSEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BBSRDSIEEE Symposium on Reliable Distributed Systems2026-04-242026-07-032026-09-21
AA*CCSACM Conference on Computer and Communications Security2026-04-222026-07-172026-11-15
BBCONCURInternational Conference on Concurrency Theory2026-04-202026-06-152026-09-01
BAISSREInternational Symposium on Software Reliability Engineering2026-04-102026-07-082026-10-20
CCQRSInternational Conference on Software Quality, Reliability and Security2026-04-082026-05-302026-07-22
AA*FOCSIEEE Symposium on Foundations of Computer Science2026-04-012026-07-032026-11-08
BKESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2026-03-302026-05-042026-09-09
AA*SOSPACM Symposium on Operating Systems Principles2026-03-262026-07-032026-09-29
AA*ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
BAMODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
BBLCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2026-03-132026-05-012026-06-15
BARESInternational Conference on Availability, Reliability and Security2026-03-022026-05-132026-08-24
BA*KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20
AIJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
CBCOMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
BAECAIEuropean Conference on Artificial Intelligence2026-01-122026-04-292026-08-15
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CBPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2025-11-152026-02-082026-06-09
AA*PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
BSEAAEuromicro Conference on Software Engineering and Advanced Applications2025-05-252025-06-232025-09-10
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CBICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
BSafeCompInternational Conference on Computer Safety, Reliability and Security2024-02-042024-04-212024-09-17
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
BSEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
BiFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
SCSSSScandinavian Conference System and Software Safety2017-11-082018-05-21
BACADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
BAAAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2027-05-03
AA*ACLAnnual Meeting of the Association for Computational Linguistics2027-08-17
Attend Conferences
Total 2 items.
CCFICOREShortFull NameConferenceLocation
ABFMInternational Symposium on Formal Methods2018-07-15Oxford, UK
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Tracked Journals
Followed Researchers
NameInstitutionRegistrationScore
No results found.