I am a Postdoctoral Researcher in the John A. Paulson School of Engineering and Applied Sciences at Harvard University working with Stephen Chong and his group. I received my Ph.D. in Computer Science at the University of Virginia, under the supervision of John Knight and Kevin Sullivan.
Areas of Interest
Software dependability, formal verification, type system, and language-based security
Safe-critical systems are of extreme importance to society due to the high cost of their failures. Dependability of such systems requires delivering reliable, safe, and trusted services. The primary goal of my research is to help engineers build dependable software systems. I am investigating various approaches to achieve this goal. Specific topics include language-based security, formal and Natural languages in software systems, type system, and verification.
I am also interested in the application of Semantic Web techniques, especially for the integration of cross-domain system models, knowledge representation, and requirements elicitation/reconciliation process.
- J. Xiang, J. Knight, and K. Sullivan. “Is My Software Consistent With the Real World?”. HASE 2017: Symposium on High Assurance Systems Engineering, 2017. pdf
- J. Xiang, J. Knight, and K. Sullivan. “Synthesis of Logic Interpretation”. HASE 2016: Symposium on High Assurance Systems Engineering, 2016. pdf
- J. Xiang, J. Knight, and K. Sullivan. “Real-World Types and Their Application”. SAFECOMP 2015: Conference on Computer Safety, Reliability and Security, Delft, Netherlands, 2015. pdf
- J. Knight, J. Xiang, and K. Sullivan. “A Rigorous Definition of Cyber-Physical Systems”. Book Chapter In Trustworthy Cyber-Physical Systems. CRC Press, 2016. pdf
- J. Xiang. “Interpreted Formalism: Towards System Assurance and the Real-World Semantics of Software”. PhD Thesis. University of Virginia. Dec. 2016. pdf
- J. Knight, J. Rowanhill and J. Xiang. “A Safety Condition Monitoring System”. ASSURE 2015: Workshop on Assurance Cases for Software-intensive Systems, Delft, The Netherlands, 2015. pdf
- W.Qiao, L. Liu, J. Xiang. ASREF: An Adaptive Service Requirements Elicitation Framework Based on Goal-Oriented Modelling. IDEAS 08: IberoAmerican Workshop on Requirements Engineering and Software Environments, Feb 13-15, 2008. pdf
- J. Xiang, l. Liu, W. Qiao. “SREM: A Service Requirements Elicitation Mechanism based on Ontology”. COMPSAC 2007: International Computer Software and Applications Conference. July 23-27, 2007. pdf
- Interpreted formalism is a software analog of the notion of an informal interpretation from classical logic. It targets at improving software dependability by introducing real-world semantics to software systems, and conduct comprehensive type checking based on these semantics.
- Portable Type System is a type system that helps engineers enforce constraints residing in the real-world context, e.g., laws of physics, on different programming languages. The portability is realized by an intermediate representation.
- CLASS (The Comprehensive Lifecycle for Assuring System Safety) is a safety-engineering system lifecycle that extends the Assurance Based Development software concept to the system level.
- Strata is a framework for software dynamic translation.
- SREM is a requirements collection, elicitation, and reconciliation mechanism for web-services based on the Semantic Web technology.
- SAFARY is annotation-based Semantic Web Services framework for web-service publish, matching and discovery. The SAFARY framework is based on the METEOR-S framework developed by University of Georgia and IBM Watson.
I worked as a Teaching Assistant for the following courses:
- Discrete Mathematics
- Software Design
- Advanced Software System Design
- Requirements Engineering
Email is the best way to contact me: firstname.lastname@example.org. I can be physically found in the Maxwell DWorkin Hall, room 309 in Harvard University. The address is:
309 Maxwell Dworkin
33 Oxford St
Cambridge MA 02138
I named my beloved daughter Ada, hoping that she will be as smart as Ada Lovelace and as tough as Ada Wang.