Xin Qin

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

[GitHub] [Resume/CV]


I am a second 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]
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 HSCC, 2019.
[Paper]
Joint Probability Distribution of Prediction Errors of ARIMA
Xin Qin, Jyotirmoy V. Deshmukh
In Arxiv, 2019.
[Paper]
Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning
Xin Qin, Nikos Arechiga, Andrew Best, Jyotirmoy Deshmukh
In Arxiv, 2019.


Internship

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


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.