Peng Liu

According to our database1, Peng Liu
  • authored at least 17 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Using Abstract Interpretation to Correct Synchronization Faults.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Automatic text input generation for mobile testing.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
GaDei: On Scale-up Training As A Service For Deep Learning.
CoRR, 2016

Python predictive analysis for bug detection.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Apex: automatic programming assignment error explanation.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

ARROW: automated repair of races on client-side web pages.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

IPA: improving predictive analysis with pointer analysis.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015
Light: replay via tightly bounded recording.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Grail: context-aware fixing of concurrency bugs.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Flint: fixing linearizability violations.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Unleashing concurrency for irregular data structures.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Finding incorrect compositions of atomicity.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012
Pert: The Application-Aware Tailoring of Java Object Persistence.
IEEE Trans. Software Eng., 2012

Axis: Automatically fixing atomicity violations through solving control constraints.
Proceedings of the 34th International Conference on Software Engineering, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010
LEAP: lightweight deterministic multi-processor replay of concurrent java programs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

LEAP: lightweight deterministic multi-processor replay of concurrent java programs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010


  Loading...