Xin Qin

Ph.D. Student
University of Southern California
Los Angeles, CA

[GitHub] [Resume/CV]


I am a third year Ph.D. student at University of Southern California, advised by Prof. Jyotirmoy Deshmukh. My research interests are in cyber-physical systems, formal methods, predictive monitoring, automated testing, machine learning. I received my Computer Science BS degree from ShanghaiTech Univeristy, where I advised by Prof. Yi MA and Prof. Hao Chen. I spent my last year of undergraduate in UC Berkeley as visiting student, working in BAIR Lab with Angjoo Kanazawa and Richard Zhang.


Publications

Shape Expressions for Specifying and Extracting Signal Features
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
In International Conference on Runtime Verification (RV), 2019. Best Paper Award
[Paper] [Bibtex]
Clairvoyant Monitoring for Signal Temporal Logic Patterns
Xin Qin, Jyotirmoy V. Deshmukh.
In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2020
[Paper]
Mining Shape Expressions from Examples
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic and Xin Qin.
In International Conference on Embedded Software (EMSOFT), 2020
[To appear]
Specifying and Detecting Temporal Patterns with Shape Expressions
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh.
In International Journal on Software Tools for Technology Transfer (STTT)
[To appear]
Specifying and Evaluating Quality Metrics for Vision-Based Perception Systems
Anand Balakrishnan, Aniruddh G. Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos.
In IEEE Proceedings of Design, Automation and Test in Europe (DATE), 2019.
[Paper] [Bibtex]
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract.
Xin Qin, Jyotirmoy V. Deshmukh
In International Conference on Hybrid Systems: Computation and Control (HSCC), 2019.
[Paper]
Probabilistic Verification of Learning-Enabled Cyber-Physical Systems using Conformal Regression.
Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh
In arXiv, 2020.
[Paper]
Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning
Xin Qin, Nikos Arechiga, Andrew Best, Jyotirmoy Deshmukh
In arXiv, 2019.
[Paper]
Joint Probability Distribution of Prediction Errors of ARIMA
Xin Qin, Jyotirmoy V. Deshmukh
In arXiv, 2019.
[Paper]


Internship

Toyota Research Institude Simulation Team, Autonomous Driving. Summer 2019.

China Europe International Business School (CEIBS) Teaching Assistant. Summer 2015.


Teaching

Computer Architecture, ShanghaiTech University
Teaching Assistant (TA) with Prof. Soren Schwertfeger. Spring 2017


Projects

Sketch An interesting undergraduate project done under supervision.
Given an image, regenerate the image in sequences. This is like how children reproduce an image after look at it.
drawing drawing drawing drawing drawing drawing drawing drawing drawing drawing drawing drawing
Train on MNIST Test on Omniglot:
drawing


Ray Tracing My ray tracing implementation.