설명: img89.gif

Program Analysis and Compiler Optimizations

  • Modulo Scheduler Implementation for VLIW Processor, International SoC Design Conference (ISOCC) 2014

  • Improving Data Transfer Throughput in Embedded Memory Subsystems , The 3rd International Workshop on Ubiquitous Computing & Applications (IWUCA 2012), also recommended as one of the best papers

  • An Efficient Management Technique for Fast SRAM Subsystems , International Conference on Convergence and Hybrid Information Technology (ICHIT 2012)

  • Fast graph-based instruction selection for multi-output instructions, Software-Practice & Experience, 2011

  • Compiler triggered C level error check, The Eighth Asian Symposium on Programming Languages and Systems(APLAS), Nov 2010

  • Adaptive Scratch Pad Memory Management for Dynamic Behavior of Multimedia Applications, IEEE Transactions on Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2009

  • Management Environment of Mass Windows Servers for Server-based Computing, The International Conference On Information Networking, January 2009

  • Compiler driven data layout optimization for regular/irregular array access patterns, ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), and also appears in ACM SIGPLAN Notices, June 2008

  • Software Controlled Memory Layout Reorganization for Irregular Array Access Patterns, ACM International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2007)

  • Efficient Embedded Code Generation with Multiple Load/Store Instructions, Software Practice & Experience, 2007

  • Preprocessing Strategy for Effective Modulo Scheduling on Multi-Issue Digital Signal Processors, International Conference on Compiler Construction (CC), also appear in Lecture Notes in Computer Science, March 2007

  • Instruction Re-selection for Iterative Modulo Scheduling on High Performance Multi-issue DSPs, Embedded Software Optimization (ESO), also appear in Lecture Notes in Computer Science 2006 ( Best Paper, selected for book chapter publication)

  • Run-time Memory Optimization for DDMB Architecture through CCB Algorithm, Embedded Software Optimization (ESO), also appear in Lecture Notes in Computer Science 2006

  • A Rule-based Optimal Placement of Scaling Shifts in Floating-point to Fixed-point Conversion for a Fixed-point Processor, International SoC Design Conference, Oct 2006

  • VISTA : VPO Interactive Systems for Tuning Applications, ACM Transactions on Embedded Systems, November 2006

  • Compiler transformations for effectively exploiting a zero overhead loop buffer, Software Practice & Engineering, 2005

  • Using Multiple Load/Store Instructions for Code Optimization, International SoC Design Conference, Oct 2004

  • Exploiting Parallelism in Memory Operations for Code Optimizations, Workshop on Languages and Compilers for Parallel Computing, also appear in Lecture Notes in Computer Science, September 2004

  • Code Optimizations for a VLIW-style Network Processing Unit, Software Practice & Engineering, April 2004

  • Fast Memory Bank Assignment for Fix-point Digital Signal Processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2004

  • Finding Effective Optimization Phase, ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES), and also appears in ACM SIGPLAN Notices, June 2003

  • Register and Memory Assignment for Non-orthogonal Architectures via Graph Coloring and MST Algorithms, ACM SIGPLAN Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES/SCOPES), June 2002

  • Efficient and Fast Allocation of On-chip Dual Memory Banks, 6th IEEE Workshop on Interaction between Compilers and Computer Architectures (INTERACT), February 2002

  • Efficient and Precise Array Access Analysis, ACM Transactions on Programming Languages And Systems (TOPLAS), 2002

  • Simplification of Array Access Patterns for Compiler Optimizations, ACM SIGPLAN Notices, Vol. 33, No. 5, pp. 60-71, May 1998 , also appears in Proceedings of the 1998 ACM Conference on Programming Languages Design and Implementations (PLDI)

  • A Proof Method for the Correctness of Modularized 0CFA, Information Processing Letters, 2001

  • Unified Interprocedural Parallelism Detection, International Journal of Parallel Processing (IJPP), 2001

  • A Comparative Analysis of Dependence Testing Mechanisms, Languages and Compilers for Parallel Computing, also appear in Lecture Notes in Computer Science, Springer-Verlag, August 2000

  • The Access Region Test, Languages and Compilers for Parallel Computing, also appear in Lecture Notes in Computer Science, Springer-Verlag, August 1999