Liu Yang @Sun450gmailcom1
Professor in Computer Science @ Nanyang Technological University ntu.edu.sg/home/yangliu/ Singapore Joined June 2019-
Tweets18
-
Followers313
-
Following363
-
Likes131
Just made our recent survey on "smart contract formal specification and verification" available on arXiv: arxiv.org/abs/2008.02712 We've also built a dataset of relevant publications, called SCPub: ntu-srslab.github.io/smart-contract… Hope this can be useful for people working on the topic
Happy to see two papers accepted at @ASEconf2020, "Model-Based Robustness Analysis of Stateful Deep Learning Systems" and "Automated Testing for Deep Learning Frameworks". Congrats to my coauthors @DODO_SG @tju_guo_tmac @leima_2005 @Sun450gmailcom1
A joint work with Lingling Fan(@Fan_Lingling00), Sen Chen(@chensen518), Yang Liu(@Sun450gmailcom1), Zhendong Su(@zhendongsu) and others.
After years' R&D and tool development, Scantist is now offering SCA for all languages and binaries, full SAST for APK, fuzzing for C/C++ binaries, architecture analysis for all languages, and many more are coming. e27.co/adobe-thanked-…
Thanks for the invitation. Had a great discussion.
Have you seen our invited panelists? 1st panel (09:00 UTC): @drsyoo, @leima_2005 @Sun450gmailcom1 (moderator @tsigalko18). 2nd panel (17:00 UTC): M. Fredrikson @amesbah @bugcounting @zicokolter (moderator: Corina Pasareanu) (thread)
Full room and a lot of enthusiasm @polymtl GIGL’s department seminar with @leima_2005 on the “Automatic Video Game Testing via Evolutionary Deep Reinforcement Learning”
Multiple Postdoc Positions on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain and AI Chips ntu.edu.sg/home/yangliu/p…
4 papers accepted by #icse2020. Two fuzzing papers, one mobile vulnerability detection and DL security. Really proud of the hard working team. And looking fwd to the industry adoptions of our tools.
@lilicoding @arc_gov_au @MonashInfotech Congratulations!
The 6th Distinguished Paper Award in last 4 years. Really proud of the team.
Congratulations to the authors of the paper "Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning" that won the Distinguished Paper Awards! 🎉Check our award page for more details and other winners! 👉bit.ly/356LlZF
@chatsudi Congratulations. A very nice work
2 weeks in Tokyo/NII talking about SE for ML systems: amazed at the intellectual freedom and pursuit of quality as well as the kindness and the generosity of the people I met. Japan and its people never cease to impress me.
@mboehme_ @ASEconf2019 Will get my student to email u a copy. Cheers.
Our paper "Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning" received @ASEconf2019 Distinguished Paper Award! So honored to have the chance to work with the brilliant students and netease AI team on the first game testing idea.
Our recent work gets the media coverage, a neuron behavior-based method for fake face deteciton🧐
A team of researchers from @NTUsg, Kyushu University @KyushuUniv_EN, @AlibabaGroup, and @Xiaomi AI Lab have introduced a new approach that monitors neuron behavior to spot AI-synthesized fake faces. #deepfakes #AI medium.com/syncedreview/a…
@mboehme_ @kayseesee Great people and excellent topic. Wish to attend as well.
Marcel Böhme👨�... @mboehme_
7K Followers 1K Following Software Security Group @maxplanckpress PhD @NUSComputing, Singapore Research Group: https://t.co/BRnFNNh6d9
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Chunyang Chen @chun_yang_chen
803 Followers 359 Following Dr, Professor at School of CIT, @TU_Muenchen Opinions are my own.
Annibale Panichella @AnniPanic
2K Followers 796 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Shurui Zhou @shuishuiblue
1K Followers 605 Following Assistant Professor @eceuoft @UofT; Ph.D @S3DatCMU
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️
Bogdan Vasilescu @b_vasilescu
2K Followers 1K Following I shorten academic research papers to fit in 10 pages for a living, at CMU.
Pinjia He @PinjiaHE
2K Followers 591 Following Assistant Professor at The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) @cuhksz.
A/Prof Kla Tantithamt... @klainfo
1K Followers 1K Following Associate Professor in Software Engineering @MonashInfoTech | Driving the Future of Agentic AI in SE
Andrea Stocco @tsigalko18
1K Followers 789 Following Software Engineering research @TU_Muenchen + @fortiss 🇩🇪 | prev. @usisoftware 🇨🇭| @UBC 🇨🇦 | PhD @InfUNIGE 🇮🇹 | exchange @TallinnTech @unitartu 🇪🇪
Wei Yang @davidyoung8906
331 Followers 332 Following Faculty @UT_Dallas PhD @IllinoisCS Alma Mater @sjtu1896 @武汉外国语学校 Hobby @dota2 @acmilan
Jinsheng Ba @JinshengBa
360 Followers 328 Following Postdoc in ETH Zurich. Software testing and security.
Aitor Arrieta @aitorarrieta
641 Followers 1K Following SW engineering researcher. Lecturer & Researcher at Mondragon University. Opinions my own!
Maurício Aniche @mauricioaniche
12K Followers 4K Following CTO @ Alura, ex-{Uber, Adyen, TU Delft, Locaweb}, author of https://t.co/WUAKj72qHb, once in top 20 list of most prolific young researchers in SE
Stefan Nagy @snagycs
1K Followers 1K Following Faculty @uutah. My lab hunts bugs: https://t.co/R74Wl128A9. Mastodon: [email protected] Bluesky: https://t.co/6sKvEYpXMF
Zhou (Joe) Li @lzcarl
2K Followers 2K Following Associate Professor at UCI EECS working on cyber-security and privacy. Opinions are my own.
Li Li @lilicoding
1K Followers 691 Following ARC DECRA Fellow and Senior Lecturer, Monash University #SoftwareEngineering #AndroidSecurity #MalwareAnalysis #AI4SE #SE4AI
FSE 2026 @FSEconf
5K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)
Yanduo Fu @YanduoF
29 Followers 452 Following
RJS 🏴☠️🐍 @RicardoJSola1
67 Followers 7K Following
Khan اطا @AdamnaufalI
13 Followers 500 Following
AISecHub @AISecHub
9K Followers 7K Following 🚀 AISecHub | AI & Cybersecurity | Securing AI systems, and sharing insights on emerging challenges | https://t.co/YeYtqq5tJC
ZHONGXIANG SUN @ZhongxiangS
2 Followers 79 Following
CHANDRADEEEP DUTTA @Chandradee32521
6 Followers 316 Following Asst. Professor & Head (Gen-AI/ML) in CSE | UGC - NET (JRF) QUALIFIED| IEEE Certified Author | https://t.co/rW818MIKyS, MS (CSE spcl. in Security), Research Fellow in Sec
nio⚛️ @matrix_zyt
11 Followers 226 Following When a person really desires something,all the universe conspires to help that person to realise his dream.
Tenir @Tenir_gB
74 Followers 7K Following
Seo-Yean @YeanSeo9598
48 Followers 246 Following
Duckaez @DuckaezagZ1l
18 Followers 877 Following
Tawtewslurt @TawtewslurtsTq
22 Followers 710 Following
God 0 Lucifer 27 Deat... @globalworkers5
12 Followers 378 Following The Power Of Propaganda - Uniteam 🟤🔴🟢
Sofía Bobadilla @BobadillaPSofia
157 Followers 455 Following PhD student on vulnerability repair for Smart Contracts at @KTHuniversity 🇸🇪 Originally from Chile 🇨🇱 , cs engineer from @uchile @DevConScholars 2024
Cristian Cadar @c_cadar
1K Followers 266 Following
Mazen Ezzeddine @Mazen_Ezzeddine
607 Followers 5K Following Université Côte d'Azur, Laboratoire d'Informatique, Signaux et Systèmes https://t.co/Q0F8PxFX07 HPS Hightech Payment Systems. https://t.co/gZkqNxsBqF
クマムシ.exe @SugarHigh_bin
379 Followers 6K Following
lk621 @_lk621
2 Followers 202 Following
zzyo @xmzzyo
12 Followers 553 Following
Crarlue @CrarlueVeFnv
86 Followers 2K Following
iSELab @iSELab_NJU
4 Followers 63 Following Intelligent Software Engineering Lab of Nanjing University
Piores @PioresPWmQAgc
1 Followers 130 Following
Changming Liu @Law1iar
60 Followers 266 Following PhD student of cybersecurity in northeastern university, Boston, MA.
li siyuan @lisiyuan201
0 Followers 29 Following
zzzxcvbnm @chasewindlu
0 Followers 35 Following
Alex @AlexMyFavorite
22 Followers 87 Following Security Researcher, focus on baseband firmware security, network protocol security, https://t.co/d64m0bVcdS
madvi ☽ @madvinuova
2K Followers 3K Following dreaming with intelligences in a new internet ☽ 🌐 madvi ⁕ cofounder @newfound8ion https://t.co/2JicAceWog @newos_computer https://t.co/GJgD6WEtZY @newcoin_nco https://t.co/Zi2qgFUzSD
Unatic @Unatic_Bui
334 Followers 4K Following
Piang @Piang_hengyu
10 Followers 226 Following
Chandler 🦦 @ChandlerOtterbe
1K Followers 2K Following Strategy @get_optimum // Web3 Research // ex-President @neu_blockchain // prev @bbh @StateStreet
Chen Change Loy @ccloy
4K Followers 748 Following President's Chair Professor @NTUsg Director of @MMLabNTU Computer vision and deep learning
Junming @junming548
3 Followers 24 Following
Nancy @motalesh21315
14 Followers 2K Following Among the easiest things in the world, procrastination is the least effortful.
wangjingnan @xie08488484
1 Followers 32 Following
wss @wss1082420
4 Followers 54 Following
Junming Liu @JM_Liu_
2 Followers 41 Following
Wei Tao @itaowe
111 Followers 414 Following Researcher @Tencent | PhD @FudanUniversity | prev. @MSFTResearch Shanghai_AI_Lab @ECNUER | Code Intelligence, Agent
Sean Li @Sean_XiangLi
146 Followers 560 Following Kernel Fuzzing @CityUHongKong, Former Research Assistant/Intern at OSLab @AlibabaGroup DAMO Academy & Zhejiang Lab & Teecert Lab @SUSTechSZ.
Jie Zhang @ZJZAC2
50 Followers 289 Following Research Scientist at @astar_research | Research Fellow at CSL, @NTUsg | Ph.D. at USTC | Watermarking, trustworthy Gen-AI, AI regulation and copyright
Gemin Hu @Gemin68
0 Followers 12 Following
Liu Wanting @vincentsupilana
38 Followers 627 Following Personal title: Software Engineering Manager—ActionlQ. Education: Master's - Baruch College. Country: United States
Adrian Lin @adrianl1n
41 Followers 586 Following Security Researcher, AI-first Thinker, Alumnus @UCL & @SheffieldUni
MetaTrustAlert @MetaTrustAlert
778 Followers 15 Following #MetaScout alert from @MetaTrustLabs | AgentLayer, @Agent_Layer, Autonomous AI Agent https://t.co/Q8o9GCL31y
Bihe Zhao @bdbdhioriginal
2 Followers 65 Following
Ruixiang Qian @AdianMoney
13 Followers 123 Following Nanjing University. Ph.D. student focusing on fuzzing.
Marcel Böhme👨�... @mboehme_
7K Followers 1K Following Software Security Group @maxplanckpress PhD @NUSComputing, Singapore Research Group: https://t.co/BRnFNNh6d9
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Chunyang Chen @chun_yang_chen
803 Followers 359 Following Dr, Professor at School of CIT, @TU_Muenchen Opinions are my own.
Annibale Panichella @AnniPanic
2K Followers 796 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Andreas Zeller @AndreasZeller
10K Followers 216 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
Lionel Briand @lionel_c_briand
4K Followers 219 Following Professor, IEEE and ACM Fellow, fellow of the Royal Society of Canada, CRC Tier 1 at U. of Ottawa, Canada. Director, Lero centre for software research, Ireland.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Bogdan Vasilescu @b_vasilescu
2K Followers 1K Following I shorten academic research papers to fit in 10 pages for a living, at CMU.
Mathias Payer @gannimo
8K Followers 383 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
ACM CCS 2025 @acm_ccs
6K Followers 0 Following ACM Conference on Computer and Communications Security
AST Lab ETH Zurich @ast_eth
796 Followers 86 Following Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
timmenzies @timmenzies
2K Followers 361 Following I’m a ex-nurse/ taxi-driver/ rocket scientist/ newspaper editor/ professor....what can I say? It all made sense at the time.
Dawn Song @dawnsongtweets
37K Followers 830 Following Professor in Computer Science at UC Berkeley, co-Director of Berkeley RDI Center; Building safe, secure, decentralized AI; Serial entrepreneur
Sebastiano Panichella @spanichella
2K Followers 2K Following Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: https://t.co/0Qxfm1ZC8s
AgentLayer | $AGENT L... @Agent_Layer
69K Followers 338 Following AgentLayer - A Decentralized Autonomous AI Agent Blockchain Protocol |Make $AGENT Great Again
MetaTrust Labs @MetaTrustLabs
11K Followers 279 Following Builder-first Web3 AI Security | Building @Agent_Layer @MetaTrustAlert | 1st AI Auditor Aegis https://t.co/rjn9kualgt | https://t.co/1c3iYFOY9G
Xiaoyong (Brian) Yuan @chbrian77
287 Followers 958 Following Assistant Professor @clemson ECE | PhD @UFCISE | interested in deep learning, security & privacy | currently working on trustworthy machine learning.
Shinan Liu @shinan_liu
653 Followers 1K Following Ph.D. Candidate @UChicagoCS | Networking, Security, Measurement, ML Systems
Valentin Wüstholz @vwuestholz
1K Followers 1K Following Principal Researcher and Co-founder at Consensys Diligence, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
cenzhang @zhclhy
178 Followers 849 Following
Yueqiang Cheng @AionHermes
202 Followers 116 Following Directory, Principal Security Architect, Head of Security Research, NIO #NIO #cybersecurity #WP29 #SecurityArchitect
Dan Roy @roydanroy
66K Followers 2K Following @Google DeepMind. On leave, Canada CIFAR AI Chair and Former Research Director, @VectorInst. Professor, @UofT (Statistics/CS). Views are my own.
ye.liu @yeliu39402922
18 Followers 60 Following Professor of Beijing Institute of Technology, China. Research interests on Software Engineering and Cyber Security.
Changming Liu @Law1iar
60 Followers 266 Following PhD student of cybersecurity in northeastern university, Boston, MA.
Wenbo Guo @WenboGuo4
1K Followers 594 Following Professor @UCSB; GenAI, Software, and everything in between; Head of Agent Security at @VirtueAI_co
ASE 2024 @ASE_conf
2K Followers 245 Following The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering
DeepTest Workshop @DeepTestConf
275 Followers 321 Following Workshop on Testing for Deep Learning and Deep Learning for Testing co-located with @ICSEconf.
Saeed Siddik @saeed_siddik
435 Followers 1K Following @IIT_DhakaUniv 🇧🇩 | @asgaard_lab @UAlberta 🇨🇦 || Software Analysis, Empirical Software Engineering, Software Artifacts
Monash Information Te... @MonashInfotech
3K Followers 514 Following Information Technology and Computer Science at Monash University. Leading experts in #Datascience #AI #Cybersecurity #Softwaresystems and #HCI
Cristina Cifuentes @criscifuentes
2K Followers 288 Following Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
Yuan Zhang @yuanxzhang
305 Followers 320 Following Professor @ Fudan University, interested in all areas of system security and software analysis.
stacksmashing @ghidraninja
49K Followers 452 Following Security researcher with a focus on hardware & firmware. I occasionally publish stuff on YouTube. Co-founder of @hextreeio. Contact: [email protected]
Hossein Lotfi @hosselot
7K Followers 60 Following Application security specialist at ZDI (views are my own). Check #hosselot_tips for vulnerability research tips.
Xinyu Xing @xingxinyu
1K Followers 1K Following Associate Professor@Northwestern University. lead of 42-b3yond-6ug. Many Ph.D./internship/visiting scholar openings in software/system security. DM/email me.
Gang Wang @ffmagicbean
3K Followers 2K Following Prof @ UIUC; PhD from UCSB; Researching in Security and Privacy, Data Analytics, and Human Factors
radare @radareorg
20K Followers 8 Following Reverse Engineering Framework for the commandline cowboys. Follow us in our primary fediverse for more updates https://t.co/aC9GtrVSVm
Keystone Engine @keystone_engine
3K Followers 6 Following The Ultimate Assembler Framework. Also see our related frameworks @capstone_engine & @unicorn_engine
Unicorn Engine @unicorn_engine
6K Followers 20 Following The Ultimate CPU Emulator. Also see our related frameworks @capstone_engine, @keystone_engine
Peter Rigby @rigbypc
350 Followers 163 Following Associate Professor at Concordia University. Research interests: OSS, software testing, developer turnover and knowledge loss, code review, machine translation.
Cor-Paul Bezemer @corpaul
499 Followers 393 Following Associate professor in Software Engineering @ University of Alberta ECE
Capstone Engine @capstone_engine
7K Followers 122 Following The Ultimate Disassembler Framework. Also see our related frameworks @unicorn_engine, @keystone_engine
Guozhu Meng @GuozhuM
11 Followers 45 Following
Jason Xue @jasonmhxue
434 Followers 2K Following Senior Research Scientist at CSIRIO; (Adjunct) Senior Research Fellow, University of Melbourne and Adelaide University
Zhen DONG @zhendong_
325 Followers 191 Following Associate professor at Fudan University working on software testing and analysis. Previously, he worked at @NUSComputing as a senior research fellow.
Arvind Narayanan @random_walker
127K Followers 540 Following Princeton CS prof and Director @PrincetonCITP. Coauthor of "AI Snake Oil" and "AI as Normal Technology". https://t.co/ZwebetjZ4n Views mine.
PLDI @PLDI
5K Followers 951 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
tosem @acm_tosem
2K Followers 815 Following
Simos Gerasimou @simosgerasimou
430 Followers 610 Following CS Associate Professor @ University of York, UK. 'I have no special talent, I am only passionately curious'
Jooyong Yi @jooyong_yi
81 Followers 153 Following
POPL 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).























