Liu Yang
@Sun450gmailcom1
Followers
316
Following
131
Media
2
Statuses
18
Professor in Computer Science @ Nanyang Technological University
Singapore
Joined June 2019
Just made our recent survey on "smart contract formal specification and verification" available on arXiv: https://t.co/7ffCPQPoWb We've also built a dataset of relevant publications, called SCPub: https://t.co/469q45NeQE Hope this can be useful for people working on the topic
0
5
18
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
1
4
32
A joint work with Lingling Fan(@Fan_Lingling00), Sen Chen(@chensen518), Yang Liu(@Sun450gmailcom1), Zhendong Su(@zhendongsu) and others.
1
1
6
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. https://t.co/8ItOLt2bjE
e27.co
It was early 2016 when Dr Liu Yang and his team found what was considered a critical vulnerability in the Adobe Reader software, and the rest was history
0
4
21
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)
0
0
6
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”
1
3
8
Multiple Postdoc Positions on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain and AI Chips
0
4
14
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.
0
1
31
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! 👉 https://t.co/mymBA4bKET
0
2
28
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.
1
1
12
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.
2
3
19
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
https://t.co/8AvXOBSaYm
0
3
7