Home

Publications

Presentations

Job Application

Personal

• Application Package in One File

  • Curriculum Vitae

  • Research Statement

  • Teaching Statement

• Representative Papers in One File

  • Modularity in Design: Formal Modeling and Automated Analysis. This is my working paper that is going to be submitted soon to TOSEM or TSE. This paper presents my major dissertation research.
  • Simon: A Tool for Logical Design Space Modeling and Analysis. ASE 2005. This paper presents my tool supporting my framework.
  • Information Hiding Interfaces for Aspect-oriented Design. ACM SIGSOFT ESEC/FSE-13. I applied my modeling and analysis approaches to the research represented in this paper.
  • The Structure and Value of Modularity in Design. ACM SIGSOFT ESEC/FSE-9. This paper presents the initial efforts that led to my dissertation work.

yuanfangcai@cs.virginia.edu

Phone: 434-982-2292