According to our database1, Haoxiang Lin authored at least 10 papers between 2008 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Well Extend Partial Well Orderings.
An Empirical Study on Quality Issues of Production Big Data Platform.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
GraM: scaling graph computation to the trillions.
Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015
A Constructive Proof On the Compositionality of Linearizability.
A characteristic study on failures of production distributed data-parallel programs.
Proceedings of the 35th International Conference on Software Engineering, 2013
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012
G2: A Graph Processing System for Diagnosing Distributed Systems.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011
Language-based replay via data flow cut.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
MODIST: Transparent Model Checking of Unmodified Distributed Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Hang analysis: fighting responsiveness bugs.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008