ORCID as entered in ROS
https://orcid.org/0000-0003-0380-3506
Select Publications
Conference Papers
, 2015, 'Effective soundness-guided reflection analysis', in Blazy S; Jensen T (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, FRANCE, Saint Malo, pp. 162 - 180, presented at
, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Beijing China, pp. 889 - 898, presented at
, 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, '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, '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
, 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
, 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, '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
, 2014, 'Parallel pointer analysis with CFL-reachability', in Proceedings of the International Conference on Parallel Processing, Minneapolis, pp. 451 - 460, presented at
, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at
, 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
, 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
, 2014, 'Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis', in Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, ACM, pp. 154 - 164, presented at
, 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
, 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
, 2013, 'Query-directed adaptive heap cloning for optimizing compilers', in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, presented at
, 2012, 'Ownership Types for Object Synchronisation', in Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, pp. 18 - 33, presented at
, 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
, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, presented at
, 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
, 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
, 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
, 2011, 'Efficient energy balancing aware multiple base station deployment for WSNs', in Wireless Sensor Networks - 8th European Conference, EWSN 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 179 - 194, presented at
, 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
, 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
, 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
, 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
, 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
, 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, 'ACS: an addressless configuration support for efficient partial reconfigurations', in International conference on field-programmable technology, Proceedings, Taipei, Taiwan, pp. 161 - 168, presented at
, 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
, 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
, 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
, 2007, 'Loop recreation for thread-level speculation', in 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, presented at
, 2007, 'Toward automatic data distribution for migrating computations', in 2007 International conference on parallel processing, China, presented at
, 2007, 'Towards data tiling for whole programs in scratchpad memory allocation', in 12th Asia-Pacific computer systems architecture conference, Korea, presented at
, 2007, 'Validity invariants and effects', in 21st European conference on object oriented programming, Berlin, Germany, presented at
, 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
, 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
Filter by type
https://orcid.org/0000-0003-0380-3506