High-rate, ultralong cycle-life lithium/sulfur batteries enabled by nitrogen-doped graphene Y Qiu, W Li, W Zhao, G Li, Y Hou, M Liu, L Zhou, F Ye, H Li, Z Wei, S Yang, ... Nano letters 14 (8), 4821-4827, 2014 | 767 | 2014 |
Tool support for refactoring functional programs H Li, C Reinke, S Thompson Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003 | 167 | 2003 |
A Domain-Specific Language for Scripting Refactorings in Erlang H Li, S Thompson 15th Fundamental Approaches to Software Engineering(FASE2012), 15pp, 2012 | 73 | 2012 |
A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011 | 73 | 2011 |
Clone detection and removal for Erlang/OTP within a refactoring environment H Li, S Thompson Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 71 | 2009 |
The Haskell refactorer, HaRe, and its API H Li, S Thompson, C Reinke Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005 | 67 | 2005 |
Similar code detection and elimination for Erlang programs H Li, S Thompson Practical Aspects of Declarative Languages: 12th International Symposium …, 2010 | 59 | 2010 |
Refactoring erlang programs H Li, S Thompson, L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy The Proceedings of 12th International Erlang/OTP User Conference, 2006 | 50 | 2006 |
Refactoring Haskell Programs H Li PQDT-UK & Ireland, 2006 | 46 | 2006 |
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse H Li, S Thompson, G Orosz, M Tóth Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, 61-72, 2008 | 44 | 2008 |
Let's make refactoring tools user-extensible! H Li, S Thompson Proceedings of the fifth workshop on refactoring tools, 32-39, 2012 | 36 | 2012 |
Comparative study of refactoring haskell and erlang programs H Li, S Thompson 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006 | 33 | 2006 |
Incremental clone detection and elimination for erlang programs H Li, S Thompson Fundamental Approaches to Software Engineering: 14th International …, 2011 | 31 | 2011 |
Towards property-based testing of restful web services P Lamela Seijas, H Li, S Thompson Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 77-78, 2013 | 28 | 2013 |
Testing erlang refactorings with QuickCheck H Li, S Thompson Implementation and Application of Functional Languages: 19th International …, 2008 | 26 | 2008 |
Refactoring with Wrangler, updated H Li, S Thompson, G Orosz, M Töth | 25 | 2008 |
Formalisation of Haskell refactorings H Li, S Thompson Intellect Books, 2005 | 25 | 2005 |
Refactoring tools for functional languages S Thompson, H Li Journal of Functional Programming 23 (3), 293-350, 2013 | 24 | 2013 |
A User-extensible Refactoring Tool for Erlang Programs H Li, S Thompson University of Kent, 2011 | 23 | 2011 |
Improving the network scalability of Erlang N Chechina, H Li, A Ghaffari, S Thompson, P Trinder Journal of Parallel and Distributed Computing 90, 22-34, 2016 | 19 | 2016 |