LIU Yang

Research Associate

School of Computing
National University of Singapore
10 Kent Ridge Cresent, Singapore 119260

E-mail: liuyang AT comp.nus.edu.sg
Office Tel: (65) 6516 1510
Fax: (65) 6779 4580
Office: S15 06-04
  

About Me (This is a CV like page)

I am a research fellow in School of Computing, NUS. My current research interests are related to Formal Method, Web Services Orchestration and Model Checking. My Ph.D supervisors were Dr. Dong JinSong and Dr. Rudy Setiono.

Currently, I am heavily involved in the Process Analysis Toolkit (PAT) development, which is a self-contained framework to support composing, simulating and reasoning of concurrent and real-time systems. PAT implements all proposed model checking techniques catering for checking deadlock-freeness, divergence-free, reachability, LTL checking, refinement checking and etc. PAT has a generic framework, which can be easily extended to support new languages and verification algorithms. Currently, three modules have been developed in PAT. The experiment results show that PAT is capable of verifying systems with large number of states and complements the state-of-the-art model checkers in several aspects.

Education

Scholarship and Awards

Publication my DBLP publication list

Journal Articles
  1. Jun Sun, Yang Liu, Jin Song Dong and Jing Sun, Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science in China, Nov, 2008.
  2. Yang Liu and Jun Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science, vol 151, issue 2, pp. 107-124, May, 2006. An early version appeared at International Workshop on Web Languages and Formal Methods (WLFM'05).
Refereed Conference Papers
  1. Yang Liu, Jun Sun and Jin Song Dong. Scalable Multi-Core Model Checking Fairness Enhanced Systems. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009. (Accepted).
  2. Jun Sun, Yang Liu, Jin Song Dong and Xian Zhang. Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009. (Accepted).
  3. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. Fair Model Checking of Parameterized Systems. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009. (Accepted).
  4. Yang Liu, Wei Chen, Yanhong A. Liu and Jun Sun. Model Checking Lineariability via Refinement. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009. (Accepted).
  5. Yang Liu, Jun Pang, Jun Sun and Jianhua Zhao. Verification of Population Ring Protocols in PAT. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China. (Accepted).
  6. Jun Sun, Yang Liu, Jin Song Dong and Chun Qing Chen. Integrating Specification and Programs for System Modeling and Verification. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China. (Accepted).
  7. Shaojie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen and Yanhong A. Liu. Formal Verification of Scalable NonZero Indicators. The 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009). pages 406-411, USA. 2009.
  8. Jun Sun, Yang Liu, Jin Song Dong and Jun Pang. Towards Flexible Verification under Fairness. The 21th International Conference on Computer Aided Verification (CAV 2009). pages 702-708, France, 2009.
  9. Jun Sun, Yang Liu, Jin Song Dong and Hai H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. The 10th International Conference on Formal Engineering Methods (ICFEM 2008). Japan, 2008.
  10. Jun Sun, Yang Liu and Jin Song Dong. CSP Model Checking Revisited: Introducing a Process Analysis Toolkit. The third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Greece, October 13-15, 2008.
  11. Jun Sun, Yang Liu and Jin Song Dong. Bounded Model Checking of Compositional Processes, 2nd IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2008), NanJing, China, Jun. 2008.
  12. Yang Liu, Jun Sun and Jin Song Dong. An Analyzer for Extended Compositional Process Algebras, The 30th International Conference on Software Engineering (ICSE 2008), Germany, 2008.
  13. Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang, Verification of Computation Orchestration via Timed Automata. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
  14. Yang Liu and J. Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. International Workshop on Web Languages and Formal Methods (WLFM'05), joint with FM'05, University of Newcastle upon Tyne, UK, 2005

Work Experiences

Teaching Experiences

International Referee

Research Projects

Sudoku Game

I wrote a small sudoku game using C# 2.0. To run it, you need .NET framework 2.0 installed. The installation file will lead you to the download of the .NET framework 2.0. If case you can not run the installation file, you can try the direct executable files.
I implementatd most of the popular strageties: hidden elements, naked elements, sub-group and x-wing.
Have fun. (no virus and spyware for this game, don't need to worry.)

News update about the Sudoku software at 26, July 2007
Singapore Changi Airport is having the Sudoku competetion inside Terminal 1 and Terminal 2 from 27 July to 26 Aug 2007, which is based on my small game. It is a server-client application, where server sends the games to the clients and passengers finish the puzzle and send the result back to the server.

My friend Guo Liang and I did the programming for this event. It is really exciting to work inside the best airport in the world!

Football Betting Game

I wrote a football betting game: SmartBET88, which suggests the player to bet the football matches in Singapore. The calculation of bet strategy and winning probability are quite complicated but interesting. Since this is a commercial software, the details are not revealed here for the confidentiality.

Useful Links

Last Updated: Oct 25, 2009
stats