Home | Legals | Sitemap | KIT
Rehman

Dr.-Ing. Semeen Rehman

Promotion date: 15.07.2015
Topic: Reliable Software for Unreliable Hardware – A Cross-Layer Approach
rehmanHyi5∂informatik uni-karlsruhe de

Short Bio

I received my Ph.D. in computer science on 15.July.2015 at Karlsruhe Institute of Technology (KIT), Germany. My main research interests are cross-layer reliability optimization covering various system layers like compiler and run-time system, fault-tolerant computing, approximate computing and embedded systems. I developed various reliability models and adaptive optimization techniques at different design abstractions of the software and hardware stacks. I have contributed to the GetSURE-I and GetSURE-II projects that focus on enabling reliability across multiple system layers (i.e., run-time system, architecture, and compilation). These projects are funded by the German Research Foundation's (DFG) priority research program (SPP1500) under the scope of "Dependable Embedded Systems". In particular, I contributed towards proposal writing (in parts, on behalf of the principal investigators) and researching novel concepts and solutions. I received CODES+ISSS 2015 and 2011 Best Paper Awards, several HiPEAC Paper Awards, Richard Newton Young Student Fellow Award at DAC 2015, and Research Student Award at KIT in 2012. I have 20+ publications in premier journals and conferences on various aspects of dependable computing, fault tolerance, and adaptive reliability optimization.

 

Research Interests

  • Compiler and Run-Time Systems for Reliable Computing
  • Compiler-Level Support for Adaptive Systems
  • Approximate Computing across Different Layers of the Software Stack
  • Embedded Systems
  • Multi-/Many-Cores

 

Awards and Achievements

  • Best Paper Awards
    • CODES+ISSS'15 Best Paper Award for the paper “R2Cache: Reliability-Aware Reconfigurable Last-Level Cache Architecture for Multi-Cores” in IEEE International Conference on Hardware-Software Codesign and System Synthesis, 2015.
    • CODES+ISSS'11 Best Paper Award for the paper “Reliable Software for Unreliable Hardware: Embedded Code Generation aiming at Reliability” in IEEE International Conference on Hardware-Software Codesign and System Synthesis, 2011.
  • Richard Newton Young Student Fellow Award at DAC 2015.
  • HiPEAC Paper Awards by the European Network of Excellence on High Performance and Embedded Architecture and Compilation.
    • DAC 2015 paper on “Hayat: Harnessing Dark Silicon and Variability for Aging Deceleration and Balancing”.
    • DAC 2014 paper on “ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era”.
    • DAC 2014 paper on “dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects”.
    • DAC 2014 paper on “Multi-Layer Dependability: From Microarchitecture to Application Level”.
    • DAC 2013 paper on “Exploiting Program-Level Masking and Error Propagation for Constrained Reliability Optimization”.
    • DAC 2013 paper on “RASTER: Runtime Adaptive Spatial/Temporal Error Resiliency for Embedded Processors”.
    • DAC 2012 paper on “Instruction Scheduling for Reliability-Driven Compilation”.
  • Research Student Award’12: Research Student Awards (RSA) from KIT, Summer 2012
    [Money = 1000 + 2400 Euros].
  • DAAD - Deutscher Akademischer Austauschdienst Scholarship Award for Ph.D. studies at the Karlsruhe Institute of Technology (KIT), Germany.
  • Awards for Students that I Supervised:
    • Hermann-Billing-Preis 2012 for Best Master Thesis: “Analysis and Design of Hybrid Hardware/Software Reliability Techniques for Embedded Processors” by my student Florian Kriebel: Prize Money = 1000 Euros

 

Professional Services

  • Reviewer for the following Transaction:
    • TCAD – Transactions on Computer-Aided Design of Integrated Circuits and Systems: 2015.
  • Reviewer (on behalf of Prof. Dr. Jörg Henkel and Dr. Muhammad Shafique) for the following conferences:
    • ICCAD – IEEE/ACM International Conference on Computer-Aided Design: 2015.
    • DAC – ACM/IEEE/EDA Design Automation Conference 2012.
    • DATE – IEEE/ACM Design Automation and Test in Europe Conference: 2013.
    • CASES – IEEE International Conference on Compilers Architectures and Synthesis of Embedded Systems: 2011, 2012, 2013, 2015.
    • ESTIMedia –IEEE Symposium on Embedded Systems for Real-time Multimedia: 2015.
    • ASP-DAC – Asia and South Pacific Design Automation Conference: 2014.
    • NOCS – IEEE International Symposium on Networks-on-Chip: 2011.
    • SCOPES – International Workshop on Software and Compilers for Embedded Systems: 2015.
    • ISVLSI – IEEE Computer Society Annual Symposium on VLSI: 2013.
    • SAMOS – International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation: 2013.

 

Tutorials

  • M. Shafique, S. Rehman, “Designing and Architecting Advanced Embedded Systems”, at the National University of Sciences and Technology (NUST), Dec. 2014, Islamabad, Pakistan.

Publications

Journals

  • S. Rehman, K.-H. Chen, F. Kriebel, A. Toma, M. Shafique, J.-J. Chen, J. Henkel
    Cross-Layer Software Dependability on Unreliable Hardware
    in IEEE Transactions on Computers (TC), 2015, (accepted).
     
  • S. Rehman, F. Kriebel, M. Shafique, J. Henkel
    Reliability-Driven Software Transformations for Unreliable Hardware
    in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Volume 33, Issue 11, pp. 1597–1610, 2014.
     

Conferences

  • D. Gnad, M. Shafique, F. Kriebel, S. Rehman, D. Sun, J. Henkel
    Hayat: Harnessing Dark Silicon and Variability for Aging Deceleration and Balancing
    in ACM/EDAC/IEEE 52nd Design Automation Conference (DAC), San Francisco, CA, USA, June 8-12, 2015 (accepted).
     
  • F. Kriebel, S. Rehman, D. Sun, P. V. Aceituno, M. Shafique, J. Henkel
    ACSEM: Accuracy-Configurable Fast Soft Error Masking Analysis in Combinatorial Circuits
    in IEEE/ACM 18th Design, Automation and Test in Europe Conference (DATE), Grenoble, France, 9-13 March, 2015 (accepted).
     
  • S. Rehman, F. Kriebel, D. Sun, M. Shafique, J. Henkel
    dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects
    in ACM/IEEE/EDA 51st Design Automation Conference (DAC), San Francisco, CA, USA, June 1-5, 2014.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC’14) Paper Award.
  • F. Kriebel, S. Rehman, D. Sun, M. Shafique, J. Henkel
    ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era
    in ACM/IEEE/EDA 51st Design Automation Conference (DAC), San Francisco, CA, USA, June 1-5, 2014.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC’14) Paper Award.
     
  • J. Henkel, L. Bauer, H. Zhang, S. Rehman, M. Shafique
    Multi-Layer Dependability: From Microarchitecture to Application Level
    in ACM/IEEE/EDA 51st Design Automation Conference (DAC), San Francisco, CA, USA, June 1-5, 2014.
    Invited Paper for the Special Session: “Embedded Resiliency: Approaches for the Next Decade”.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC’14) Paper Award.
     
  • S. Rehman, F. Kriebel, M. Shafique, J. Henkel
    Compiler-Driven Dynamic Reliability Management for On-Chip Systems under Variabilities
    in IEEE/ACM 17th Design Automation and Test in Europe Conference (DATE), San Francisco, CA, USA, June 1-5, 2014.
     
  • Muhammad Shafique, Semeen Rehman, Pau Vilimelis Aceituno, Jörg Henkel
    Exploiting Program-Level Masking and Error Propagation for Constrained Reliability Optimization
    in 50th ACM/EDA/IEEE Design Automation Conference (DAC), Austin, TX, USA, June 2013.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC'13) Paper Award.
     
  • Tuo Li, Muhammad Shafique, Jude Angelo Ambrose, Semeen Rehman, Jörg Henkel, Sri Parameswaran
    RASTER: Runtime Adaptive Spatial/Temporal Error Resiliency for Embedded Processors
    in 50th ACM/EDA/IEEE Design Automation Conference (DAC), Austin, TX, USA, June 2013.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC'13) Paper Award.
     
  • Tuo Li, Muhammad Shafique, Jude Angelo Ambrose, Semeen Rehman, Jörg Henkel, Sri Parameswaran
    DHASER: Dynamic Heterogeneous Adaptation for Soft-Error Resiliency in ASIP-based Multi-Core Systems
    in IEEE/ACM 31st International Conference on Computer-Aided Design (ICCAD), San Jose, CA, USA, November 2013, pp. 646-653.
     
  • Semeen Rehman, Anas Toma, Florian Kriebel, Muhammad Shafique, Jian-Jia Chen, Jörg Henkel
    Reliable Code Generation and Execution on Unreliable Hardware under Joint Functional and Timing Reliability Considerations
    in 19th IEEE Real-Time and Embedded Technology and Applicaitons Symposium (RTAS), Philadelphia, USA, April 2013, pp. 273-282.
     
  • Semeen Rehman, Muhammad Shafique, Pau Vilimelis Aceituno, Florian Kriebel, Jian-Jia Chen, Jörg Henkel
    Leveraging Variable Function Resilience for Selective Software Reliability on Unreliable Hardware
    in IEEE/ACM 16th Design Automation and Test in Europe Conference (DATE), Grenoble, France, March 2013, pp. 1759-1764.
     
  • Tuo Li, Muhammad Shafique, Semeen Rehman, Swarnalatha Radhakrishnan, Roshan Ragel, Jude Angelo Ambrose, Jörg Henkel, Sri Parameswaran
    HW/SW Methodology for Configurable Soft-Error Resilient Application Specific Instruction-Set Processor
    in IEEE/ACM 16th Design Automation and Test in Europe Conference (DATE), Grenoble, France, March 2013, pp. 707-712.
     
  • Semeen Rehman, Muhammad Shafique, Jörg Henkel:
    Instruction Scheduling for Reliability-Aware Compilation
    in 49th ACM/EDA/IEEE Design Automation Conference (DAC), San Francisco, CA, USA, June 2012, pp. 1288-1296.
    Received a 'European Network of Excellence on High Performance and Embedded Architecture and Compilation' (HiPEAC'12) Paper Award.
     
  • Muhammad Shafique, Bruno Zatt, Semeen Rehman, Florian Kriebel, Jörg Henkel
    Power-Efficient Error-Resiliency for H.264/AVC Context-Adaptive Variable Length Coding
    in IEEE/ACM 15th Design Automation and Test in Europe Conference (DATE), Dresden, Germany, March 2012, pp. 697-702.
     
  • Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel
    RAISE: Reliability-Aware Instruction SchEduling for Unreliable Hardware
    in 17th Asia and South Pacific Design Automation Conference (ASP-DAC), Sydney, Australia, Jan.-Feb. 2012, pp. 671-676.
     
  • Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel
    Reliable Software for Unreliable Hardware: Embedded Code Generation aiming at Reliability
    in IEEE International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS),Taipei, Taiwan, October 2011, pp. 237-246.
    Received the CODES+ISSS'11 Best Paper Award.
     
  • Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel
    ReVC: Computationally Reliable Video Coding on Unreliable Hardware Platforms: A Case Study on Error-Tolerant H.264/AVC CAVLC Entropy Coding
    in IEEE 18th International Conference on Image Processing (ICIP), Brussels, Belgium, September 2011, pp. 405-408.
     

Ph.D. Forums

  • S. Rehman, M. Shafique, J. Henkel
    Reliable Software for Unreliable Hardware
    in ACM/SIGDA Ph.D. Forum at the ACM/IEEE/EDA 50th Design Automation Conference (DAC), 2013.
     
  • S. Rehman, M. Shafique, J. Henkel
    Reliable Software for Unreliable Hardware
    in ACM/SIGDA Ph.D. Forum at the IEEE/ACM 16th Design Automation and Test in Europe Conference (DATE), 2013.
     

Teaching

Supervision

 

Diploma Thesis (Diplomarbeiten)

  • New:
    • Diplomarbeit: Reliable Video Coding for Unreliable Hardware
    • Diplomarbeit: Developing Reliability-Aware Compiler Algorithms
    • Diplomarbeit: Developing Self-Resilient Applications for Unreliable Hardware
  • Completed/Supervised:
    • Pau Vilimelis Aceituno: Leveraging Algorithmic Resilience for Software Reliability Optimization;
      Supervisors: Muhammad Shafique, Semeen Rehman, Jörg Henkel
    • Florian Kriebel: Analysis and Design of Hybrid Hardware/Software Reliability Techniques for Embedded Processors
      (jointly supervised with Muhammad Shafique and Jörg Henkel)
      (Received the Hermann-Billing-Preis 2012 for Best Master Thesis)

 

Student Research Projects (Studienarbeiten)

  • New:
    • Implementing Reliability-Aware Instruction Scheduling Algorithms

 

HiWi

  • Open Positions:
    • Reliability Driven Compilation
  • Completed/Supervised:
    • Florian Kriebel: Enhancing the ArchC-based Fault Injection and Simulation Environment with Extended Fault Analysis Capabilities (supervised jointly with Muhammad Shafique)