Liu Yang

Professor in Computer Science @ Nanyang Technological University

[Yi Li @liyistc]

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

[Yi Li @liyistc]

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

[Ting Su @su_tingsu]

A joint work with Lingling Fan(@Fan_Lingling00), Sen Chen(@chensen518), Yang Liu(@Sun450gmailcom1), Zhendong Su(@zhendongsu) and others.

[Liu Yang @Sun450gmailcom1]

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

[Liu Yang @Sun450gmailcom1]

Thanks for the invitation. Had a great discussion.

[DeepTest Workshop @DeepTestConf]

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)

[Liu Yang @Sun450gmailcom1]

Hard work pays off

[Maleknaz Nayebi @MaleknazNayebi]

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”

[Liu Yang @Sun450gmailcom1]

Multiple Postdoc Positions on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain and AI Chips https://t.co/RUSGlw16JH

[Liu Yang @Sun450gmailcom1]

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.

[Liu Yang @Sun450gmailcom1]

Looking for citations😛

[Liu Yang @Sun450gmailcom1]

@lilicoding @arc_gov_au @MonashInfotech Congratulations!

[Liu Yang @Sun450gmailcom1]

The 6th Distinguished Paper Award in last 4 years. Really proud of the team.

[ASE Conference @ASEconf2019]

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

[Liu Yang @Sun450gmailcom1]

@chatsudi Congratulations. A very nice work

[Amel Bennaceur @amel_bennaceur]

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.

[Liu Yang @Sun450gmailcom1]

@mboehme_ @ASEconf2019 Will get my student to email u a copy. Cheers.

[Liu Yang @Sun450gmailcom1]

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.

[Lei Ma @leima_2005]

Our recent work gets the media coverage, a neuron behavior-based method for fake face deteciton🧐

[Liu Yang @Sun450gmailcom1]

@mboehme_ @kayseesee Great people and excellent topic. Wish to attend as well.