We stand with Ukraine  

Lu Zhang

Affiliations:
  • Virginia Tech, Blacksburg, VA, USA


According to our database1, Lu Zhang authored at least 5 papers between 2013 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
RClassify: classifying race conditions in web applications via deterministic replay.
[BibTeX]
[DOI]
Lu Zhang
,
Chao Wang
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Runtime Verification and Debugging of Concurrent Software.
[BibTeX]
[DOI]
Lu Zhang
PhD thesis, 2016

2015
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures.
[BibTeX]
[DOI]
Lu Zhang
,
Arijit Chattopadhyay
,
Chao Wang
IEEE Trans. Software Eng., 2015

2014
Runtime prevention of concurrency related type-state violations in multithreaded applications.
[BibTeX]
[DOI]
Lu Zhang
,
Chao Wang
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Round-up: Runtime checking quasi linearizability of concurrent data structures.
[BibTeX]
[DOI]
Lu Zhang
,
Arijit Chattopadhyay
,
Chao Wang
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013


  Loading...