Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Conference Papers
, 2015, 'Design and Implementation of a Highly Efficient DGEMM for 64-bit ARMv8 Multi-Core Processors', in 2015 International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Beijing, pp. 200 - 209, presented at 2015 International Conference on Parallel Processing, Beijing, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.29
, 2015, 'Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors', in 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), IEEE, New York, pp. 957 - 963, presented at 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), New York, 24 August 2015 - 26 August 2015, http://dx.doi.org/10.1109/HPCC-CSS-ICESS.2015.151
, 2015, 'Hadoop+: Modeling and evaluating the heterogeneity for MapReduce applications in heterogeneous clusters', in Proceedings of the International Conference on Supercomputing, Association for Computing Machinery (ACM), CA, Newport Beach, pp. 143 - 153, presented at Proceedings of the 29th ACM on International Conference on Supercomputing, CA, Newport Beach, 08 June 2015 - 11 June 2015, http://dx.doi.org/10.1145/2751205.2751236
, 2015, 'File system-independent block device support for storage class memory', in Proceedings IEEE INFOCOM, Institute of Electrical and Electronics Engineers (IEEE), PEOPLES R CHINA, Hong Kong, pp. 468 - 473, presented at 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), PEOPLES R CHINA, Hong Kong, 26 April 2015 - 01 May 2015, http://dx.doi.org/10.1109/INFCOMW.2015.7179429
, 2014, 'WPBOUND: Enforcing spatial memory safety efficiently at runtime with weakest preconditions', in Proceedings International Symposium on Software Reliability Engineering ISSRE, Institute of Electrical and Electronics Engineers (IEEE), ITALY, Naples, pp. 88 - 99, presented at 2014 IEEE 25th International Symposium on Software Reliability Engineering, ITALY, Naples, 03 November 2014 - 06 November 2014, http://dx.doi.org/10.1109/ISSRE.2014.20
, 2014, 'Message from U-science 2014 program chairs', in Proceedings 2014 World Ubiquitous Science Congress 2014 IEEE 12th International Conference on Dependable Autonomic and Secure Computing Dasc 2014, pp. xv, http://dx.doi.org/10.1109/DASC.2014.6
, 2014, 'Region-Based Selective Flow-Sensitive Pointer Analysis', in Müller-Olm M; Seidl H (ed.), 21st International Symposium on static Analysis, LNCS, Munich, Germany, pp. 319 - 336, presented at 21st International Symposium on static Analysis, Munich, Germany, 11 September 2014 - 13 September 2014
, 2014, 'Parallel pointer analysis with CFL-reachability', in Proceedings of the International Conference on Parallel Processing, Minneapolis, pp. 451 - 460, presented at International Conference on Parallel Processing, Minneapolis, 09 September 2014 - 12 September 2014, http://dx.doi.org/10.1109/ICPP.2014.54
, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at 8th European Conference on Object-Oriented Programming (ECOOP'14), UppSala, 28 July 2014 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2
, 2014, 'Lifetime holes aware register allocation for clustered VLIW processors', in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, IEEE Conference Publications, pp. 1 - 4, presented at Design Automation and Test in Europe, 24 March 2014 - 28 March 2014, http://dx.doi.org/10.7873/date.2014.103
, 2014, 'Lifetime holes aware register allocation for clustered VLIW processors', in Proceedings -Design, Automation and Test in Europe, DATE, Dresden, pp. 90:1 - 90:4, presented at International Conference on Design, Automation and Test in Europe, Dresden, 24 March 2014 - 28 March 2014, http://dx.doi.org/10.7873/DATE2014.103
, 2014, 'Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis', Association for Computing Machinery (ACM), pp. 154 - 164, presented at Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, http://dx.doi.org/10.1145/2581122.2544154
, 2014, 'A collaborative divide-and-conquer k-means clustering algorithm for processing large data', in Proceedings of the 11th ACM Conference on Computing Frontiers Cf 2014, http://dx.doi.org/10.1145/2597917.2597918
, 2014, 'Accelerating dynamic detection of uses of undefined values with static value-flow analysis', in Proceedings of the 12th ACM IEEE International Symposium on Code Generation and Optimization Cgo 2014, pp. 154 - 164, http://dx.doi.org/10.1145/2544137.2544154
, 2013, 'Foreword', in Proceedings of the ACM SIGPLAN Conference on Languages Compilers and Tools for Embedded Systems LCTES
, 2013, 'Accelerating Inclusion-based Pointer Analysis on Heterogeneous CPU-GPU Systems', Bengaluru (Bangalore), India, presented at IEEE International Conference on High Performance Computing (HiPC’13), Bengaluru (Bangalore), India, 18 December 2013 - 21 December 2013, http://www.cse.unsw.edu.au/~jingling/papers/hipc13.pdf
, 2013, 'An empirical model for predicting cross-core performance interference on multicore processors', in Parallel Architectures and Compilation Techniques Conference Proceedings Pact, pp. 201 - 212, http://dx.doi.org/10.1109/PACT.2013.6618817
, 2013, 'Layout Oblivious Compiler Optimization for Matrix Multiplication', in 8th International Conference on High-Performance Embedded Architectures and Compilers, ACM, Berlin, presented at HIPEAC'13, Berlin, 21 June 2013 - 23 June 2013
, 2013, 'Query-Directed Adaptive Heap Cloning for Optimizing Compilers', in PROCEEDINGS OF THE 2013 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), IEEE, PEOPLES R CHINA, Shenzhen, pp. 1 - 11, presented at 11th IEEE/ACM International Symposium on Code Generation and Optimization (CGO), PEOPLES R CHINA, Shenzhen, 23 February 2013 - 27 February 2013
, 2012, 'Ownership Types for Object Synchronisation', in Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, pp. 18 - 33, presented at APLAS, Kyoto Japan, 11 December 2012, http://dx.doi.org/10.1007/978-3-642-35182-2
, 2012, 'Ownership types for object synchronisation', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 18 - 33, http://dx.doi.org/10.1007/978-3-642-35182-2_3
, 2012, 'Static memory leak detection using full-sparse value-flow analysis', Minneapolis, MN, pp. 254 - 264, presented at 21st International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/04000800.2336784
, 2012, 'Static memory leak detection using full-sparse value-flow analysis', Association for Computing Machinery (ACM), pp. 254 - 264, presented at Proceedings of the 2012 International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/2338965.2336784
, 2012, 'WCET-Aware Data Selection and Allocation for Scratchpad Memory', in Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, ASSOC COMPUTING MACHINERY, Beijing, pp. 41 - 50, presented at LCTES'12, Beijing, 12 June 2012 - 13 June 2012, http://dx.doi.org/10.1145/2345141.2248425
, 2012, 'On-demand dynamic summary-based points-to analysis', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2012, ACM, New York, NY, USA, pp. 264 - 274, presented at 10th International Symposium on Code Generation and Optimization, CGO, San Jose, CA, 31 March 2012 - 04 April 2012, http://dx.doi.org/10.1145/2259016.2259050
, 2012, 'WCET-aware Data Selection and Allocation for Scratchpad Memory', in Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, ACM, pp. 41 - 50, http://dx.doi.org/10.1145/2248418.2248425
, 2011, 'Extendable pattern-oriented optimization directives', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2011, IEEE Computer Society, Piscataway, NJ, United States, pp. 107 - 118, presented at 9th International Symposium on Code Generation and Optimization, CGO 2011, Chamonix, France, 02 April 2011 - 06 April 2011, http://dx.doi.org/10.1109/CGO.2011.5764679
, 2011, 'Efficient energy balancing aware multiple base station deployment for WSNs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 179 - 194, http://dx.doi.org/10.1007/978-3-642-19186-2_12
, 2011, 'Laser ultrasonic technique for evaluating human dental enamel', in Journal of Physics Conference Series, http://dx.doi.org/10.1088/1742-6596/278/1/012041
, 2010, 'Optimal Loop Parallelization for Maximizing Iteration-Level Parallelism', in International Conference on Compilers, Architecture and Synthesis for Embedded Systems archive Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, ACM, 2009, presented at International Conferences on Compilers, Architectures, and Synthesis for Embedded Systems, Scottsdale, AZ, 24 October 2010 - 29 October 2010, http://dx.doi.org/10.1145/1629395.1629407
, 2010, 'Message from the PDCAT 2010 program co-chairs', in Parallel and Distributed Computing Applications and Technologies PDCAT Proceedings, pp. 14, http://dx.doi.org/10.1109/PDCAT.2010.5
, 2009, 'Ownership Downgrading for Ownership Types', in Lecture Notes In Computer Science; Vol. 5904: Proceedings of the 7th Asian Symposium on Programming Languages and Systems, Springer-Verlag, Berlin, Heidelberg, presented at 7th Asian Symposium on Programming Languages and Systems, Seoul, Korea, 14 December 2009 - 16 December 2009, http://dx.doi.org/10.1007/978-3-642-10672-9_12
, 2009, 'Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction', in Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Springer-Verlag, Berlin, Heidelberg, presented at 18th International Conference on Compiler Construction, York, UK, 22 March 2009 - 29 March 2009, http://dx.doi.org/10.1007/978-3-642-00722-4_7
, 2009, 'Comparability graph coloring for optimizing utilization of stream register files in stream processors', in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, Raleigh, pp. 111 - 120, presented at 14th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Raleigh, 14 February 2009 - 18 February 2009, http://dx.doi.org/10.1145/1504176.1504195
, 2009, 'Compatibility Graph Coloring for Optimizing Utilization Of Stream Register files in Stream processors', in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, USA, presented at 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Raleigh, NC, 14 February 2009 - 18 February 2009, http://dx.doi.org/10.1145/1504176.1504195
, 2008, 'Hardware support for efficient sparse matrix vector multiplication', in 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Proceedings, Shanghai, China, pp. 37 - 43, presented at 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Shanghai, China, 17 December 2008 - 20 December 2008
, 2008, 'ACS: an addressless configuration support for efficient partial reconfigurations', in International conference on field-programmable technology, Proceedings, Taipei, Taiwan, pp. 161 - 168, presented at International conference on field-programmable technology, Taipei, Taiwan, 07 December 2008 - 10 December 2008
, 2008, 'Exploiting loop-dependent stream reuse for stream processors', in Parallel Architectures and Compilation Techniques Conference Proceedings Pact, pp. 22 - 31, http://dx.doi.org/10.1145/1454115.1454121
, 2008, 'A gather/scatter hardware support for efficient fast fourier transform', in 13th IEEE Asia Pacific Computer Systems Architecture Conference Acsac 2008, http://dx.doi.org/10.1109/APCSAC.2008.4625444
, 2008, 'Thread sensitive module scheduling for multicore processors', in 37th international conference on parallel processing, Portland, Oregon, USA, presented at 37th international conference on parallel processing, Portland, Oregon, USA, 09 September 2008 - 12 September 2008
, 2008, 'A gather/scatter hardware support for efficient fast Fourier transform', in ACSAC 2008 13th IEEE Asia-Pacific computer systems architecture conference, Hsinchu, Taiwan, pp. 1 - 8, presented at ACSAC 2008 13th IEEE Asia-Pacific computer systems architecture conference, Hsinchu, Taiwan, 04 August 2008 - 06 August 2008
, 2008, 'Optimizing scientific application loops on stream processors', in ACM SIGPLAN Notices, pp. 161 - 170, http://dx.doi.org/10.1145/1379023.1375679
, 2008, 'Optimizing scientific application loops on stream processors', in ACM Sigplan Notices, Association of Computing Machinery, New York, NY, USA, presented at ACM Sigplan Notices
, 2007, 'Loop recreation for thread-level speculation', in 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, presented at 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, 05 December 2007 - 07 December 2007
, 2007, 'Toward automatic data distribution for migrating computations', in 2007 International conference on parallel processing, China, presented at International conference on parallel processing 2007, China, 10 September 2007 - 14 September 2007
, 2007, 'Towards data tiling for whole programs in scratchpad memory allocation', in 12th Asia-Pacific computer systems architecture conference, Korea, presented at 12th Asia-Pacific computer systems architecture conference, Korea, 22 August 2007 - 25 August 2007
, 2007, 'Validity invariants and effects', in 21st European conference on object oriented programming, Berlin, Germany, presented at 21st European conference on object oriented programming, Berlin, Germany, 30 July 2007 - 03 August 2007
, 2007, 'Scratchpad allocation for data aggregates in superperfect graphs', in 2007 ACM conference on languages, compilers and tools for embedded systems, San Diego, Californa, USA, presented at ACM conference on languages, compilers and tools for embedded systems 2007, San Diego, Californa, USA, 13 June 2007 - 15 June 2007
, 2006, 'Minimizing Bank Selection Instructions for Partitioned Memory Architectures', in International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, Seoul, South Korea, presented at International Conference on Compilers, Architecture, and Synthesis for Embedded Systems 2009, Seoul, South Korea, 22 October 2006 - 25 October 2006
, 2006, 'Trace-based cache leakage reduction at link time', in Advances in computer systems architecture, 11th Asia-Pacific conference, Shanghai, China, presented at Advances in computer systems architecture, 11th Asia-Pacific conference, Shanghai, China, 06 September 2006 - 08 September 2006