Qingzhou Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | EGPGV | Interacting with Large Distributed Datasets Using Sketch. | Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni |
| 2015 | ICSE | GPredict: Generic Predictive Concurrency Analysis. | Jeff Huang, Qingzhou Luo, Grigore Rosu |
| 2014 | RV | ROSRV: Runtime Verification for Robots. | Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu |
| 2014 | RV | RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. | Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu |
| 2013 | ISSTA | EnforceMOP: a runtime property enforcement system for multithreaded programs. | Qingzhou Luo, Grigore Rosu |
| 2012 | ICSE | Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. | Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov |
| 2011 | ISSTA | Change-aware preemption prioritization. | Vilas Jagannath, Qingzhou Luo, Darko Marinov |
| 2010 | FASE | A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. | Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu |