Shaohui Wang (aka Vincent)

Department of Computer and Information Science
School of Engineering and Applied Science
University of Pennsylvania
Levine 514, 3330 Walnut Street
Philadelphia, PA 19104, USA
Email: shaohui/at/seas/dot/upenn/dot/edu

About Me

I'm a PhD student in the Department of Computer and Information Science at Penn. I am affiliated with the PRECISE center and the RTG group. I work with Professor Insup Lee and Professor Oleg Sokolsky.

Previously I was an undergraduate in the major of Information and Computing Science in Department of Mathematical Sciences at Tsinghua University, and then a graduate student in the major of Mathematical Logic in Department of Philosophy at Peking University.

Research Projects

My research interest lies in topics in formal methods, especially formal specification, verification, and algorithms and applications of model checking techniques. More broadly, I'm interested in studies which help build reliable, safe, and efficient software systems, such as topics appeared in software engineering, computer aided verification and theory of programming languages. I am/was involved in the following projects:

• Model-Extraction via Program Analysis
• The Pacemaker Challenge
• Medical Devices Plug and Play
• Assurance and Safety Cases for Medical Devices
• Runtime Monitoring and Runtime Verification

Publications

• Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Goessler, Oleg Sokolsky, and Insup Lee.
  A Causality Analysis Framework for Component-based Real-time Systems.
  Submitted.
• Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, and Insup Lee. (2013).
  Contract-based Blame Assignment by Trace Analysis.
  In Proceedings of HiCoNS'13, the 2nd International Conference on High Confidence Networked System.
  updated pdf
• Shaohui Wang, Srinivasan Dwarakanathan, Oleg Sokolsky, and Insup Lee. (2012).
  High-level model extraction via symbolic execution.
  Technical Report MS-CIS-12-04, University of Pennsylvania.
  pdf
• Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, and Insup Lee. (2011).
  Runtime verification of traces under recording uncertainty.
  In Proceedings of RV'11, the 2nd International Conference on Runtime Verification.
  pdf
• Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, O. Sokolsky, and Insup Lee. (2010).
  A safety-assured development approach for real-time software.
  In 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 133-142.
  pdf
• Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones. (2009).
  Model-based testing of GUI-driven applications.
  In Software Technologies for Embedded and Ubiquitous Systems, volume 5860 of LNCS, pages 203-214. Springer.
  pdf

Teaching

• Fall 2012
  Teaching Assistant for CIS441 / 541
  Embedded Software for Life-Critical Applications
  • Office Hours: By Appointment
  • Everything is available at Blackboard.
  • We also use ThinkBinder for class discussions.
• Fall 2011
  Grader for CIS441 / 541
  Embedded Software for Life-Critical Applications
  • Everything is available at Blackboard.
• Fall 2010
  Teaching Assistant for CIS441
  Embedded Software for Life-Critical Applications
  • Office Hours: By Appointment
  • Course Webpage
  • Everything else is available at Blackboard.
• Spring 2010
  Teaching Assistant for CIS541
  Embedded and Cyber Physical Systems
  • Course Webpage
• Fall 2009
  Teaching Assistant for CIS140
  Introduction to Cognitive Science
  • Office Hours: Monday 1pm-2pm & Tuesday 11am-12pm @ Levine 612
  • All course materials, homeworks, information are available at Blackboard.
  • Last year's Course Webpage

Courses

• Spring 2012
  • CIS 673: Computer-Aided Verification
• Spring 2011
  • CIS 682: Friendly Logics
• Fall 2009
  • CIS 540: Principles of Embedded Systems
• Spring 2009
  • CIS 500: Software Foundations
  • CIS 505: Software Systems (Newsgroup)
  • CIS 480/899: Embedded and Cyber Physical Systems
• Fall 2008
  • CIS 502: Analysis of Algorithms
  • CIS 520: Machine Learning (Schedule) (Term Project)
  • CIS 996: Research Seminar
  • EAS 510: Technical Communication and Academic Writing

Miscs

• I maintain a blog which mostly only contains notes to configuring various infrequently used software / tools.
• Advices on making a Ph.D
  • Simon Peyton Jones (Microsoft) How to Write a Great Research Paper (pdf) (Advisor-recommended reading)
  • Jim Woodcock (U York) Doing a Ph.D (pdf)
  • Mihir Bellare (UCSD) The Ph.D Experience
  • Randy Pausch (CMU) Time Management (video)
  • Even More Advice....
• Check out the mobile version of my homepage

---

Last updated: June 2, 2013.