Sameer Sahasrabuddhe

Sameer Sahasrabuddhe

Bengaluru, Karnataka, India
732 followers 500+ connections

About

PhD Computer Science; C/C++ programmer; Experienced at building GPU compilers (especially…

Activity

Experience

  • AMD Graphic

    AMD

    Bengaluru, Karnataka, India

  • -

    Bangalore, India

  • -

    Pune Area, India

  • -

    Bangalore, India

  • -

    Bangalore, India

  • -

    Helsinki, Finland

  • -

Education

  • Indian Institute of Technology, Bombay Graphic

    Indian Institute of Technology, Bombay

    -

    -

    Title: A competitive pathway from high-level programs to hardware specifications

    My PhD thesis proposes a high-level synthesis flow based on an intermediate representation called AHIR (A Hardware Intermediate Representation) that factorises the control, data and storage aspects of a high-level program. The implemented flow synthesises unrestricted C programs into VHDL circuits that are correct by construction. The LLVM compiler framework is used to parse and optimise the input program…

    Title: A competitive pathway from high-level programs to hardware specifications

    My PhD thesis proposes a high-level synthesis flow based on an intermediate representation called AHIR (A Hardware Intermediate Representation) that factorises the control, data and storage aspects of a high-level program. The implemented flow synthesises unrestricted C programs into VHDL circuits that are correct by construction. The LLVM compiler framework is used to parse and optimise the input program while circuit-level optimisations are performed by the AHIR toolchain.

  • -

    -

  • -

    -

Publications

  • A Formal Analysis of the NVIDIA PTX Memory Consistency Model

    ASPLOS ’19

    This paper presents the first formal analysis of the official memory consistency model for the NVIDIA PTX virtual ISA. The PTX memory model is weakly ordered and provides scoped synchronization primitives that enable GPU program threads to communicate through memory. However, PTX does not require data race freedom, and this results in PTX using a fundamentally different (and more complicated) set of rules in its memory model.

    Other authors
    See publication
  • Towards Software-defined Silicon: Applying LLVM to Simplifying Software

    3rd Workshop on Infrastructures for Software/Hardware co-design

    In this paper, we describe an experimental tool chain that is able to transform existing, software-oriented C++ — within the limited domain of Click-based packet processing — into a hardware description.

    Other authors
    See publication
  • A C-to-RTL flow as an energy efficient alternative to embedded processors in digital systems

    13th Euromicro Conference on Digital System Design (DSD)

    We present an HLS flow for mapping an algorithm description (in C) to an RTL description of hardware. The energy consumption (per completed task) of each resulting circuit is considerably lower than that of an equivalent executable running on a low-power processor. The C-to-RTL flow offers an energy efficient alternative to embedded processors in mapping algorithms to digital VLSI systems.

    Other authors
    See publication
  • Towards Software-defined Silicon: Experiences in Compiling Click to NetFPGA

    1st European NetFPGA Developers Workshop

    Other authors
  • A competitive pathway from high-level programs to hardware specifications

    PhD Thesis, Indian Institute of Technology Bombay

  • AHIR: A Hardware Intermediate Representation for Hardware Generation from High-level Languages

    20th International Conference on VLSI Design

    Other authors

View Sameer’s full profile

  • See who you know in common
  • Get introduced
  • Contact Sameer directly
Join to view full profile

Other similar profiles

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Add new skills with these courses