Yi Lv

According to our database1, Yi Lv authored at least 25 papers between 2006 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Deep convolutional network based on rank learning for OCT retinal images quality assessment.
Proceedings of the Medical Imaging 2019: Biomedical Applications in Molecular, 2019

2018
An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log., 2018

Decidability of linearizabilities for relaxed data structures.
SCIENCE CHINA Information Sciences, 2018

TSO-to-TSO linearizability is undecidable.
Acta Inf., 2018

2017
Decomposable Relaxation for Concurrent Data Structures.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2016
An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data.
Sensors, 2016

Bounded TSO-to-SC Linearizability Is Decidable.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

A novel approach to parameterized verification of cache coherence protocols.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

2015
TSO-to-TSO Linearizability Is Undecidable.
Proceedings of the Automated Technology for Verification and Analysis, 2015

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Input-Driven Active Testing of Multi-threaded Programs.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quasi-Linearizability is Undecidable.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
A new excitation field for magnetic induction tomography based on the focusing magnetic field.
Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014

Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014

Efficiently and Completely Verifying Synchronized Consistency Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2011
Fast Verification of Memory Consistency for Chip Multi-Processor.
Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

Manager as Scrum Master.
Proceedings of the 2011 Agile Conference, 2011

2010
We're All in This Together.
IEEE Software, 2010

2009
Environment Abstraction with State Clustering and Parameter Truncating.
Proceedings of the TASE 2009, 2009

Juicer: Scalable Extraction for Thread Meta-information of Web Forum.
Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2009

Fast complete memory consistency verification.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

2007
Computing Invariants for Parameter Abstraction.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol., 2006


  Loading...