Open to opportunities

Vismay Raj

@vismayraj

Message

Senior Software Engineer specializing in Rust and LLVM technologies.

India

Message

What I'm looking for

I seek a collaborative environment that fosters innovation and offers opportunities for professional growth.

I am a Senior Software Engineer with a strong focus on Rust and LLVM technologies. Currently, I work at Conviva, where I contribute to the development of a computational engine that constructs Directed Acyclic Graphs (DAGs) for stateful computations. My expertise includes advanced Rust programming, custom DSLs, and dynamic library linking, which allows me to create efficient and robust solutions for streaming data.

Prior to Conviva, I served as a Junior Haskell Developer at Migamake, where I automated test cases for various systems and developed tools to enhance server functionality. My journey began at AMD India, where I developed an analysis tool to identify and mitigate floating-point errors in LLVM passes. Throughout my career, I have consistently leveraged my skills in programming languages such as C++, Python, and Haskell to drive innovation and improve software performance.

Experience

Work history, roles, and key accomplishments

Current

Senior Software Engineer

Current

Conviva

May 2023 - Present (2 years 1 month)

Worked on Conviva's computational engine TLB, which is similar to Spark as it constructs DAGs that execute stateful computations on streaming data. Contributed to the platform side of code including but not limited to typed Python, custom DSL, and testing frameworks.

C++LLVM Custom DAG DSL Python Parquet Actor Frameworks YACC

Junior Haskell Developer

Migamake

Jul 2022 - Present (2 years 11 months)

Created automated test cases for streamcardano.com, involving SQL queries to validate server functionality and test streaming endpoints. Developed automated test cases for hUrl, a system converting OpenAPI specifications into language-specific API codes for Rust, Scala, and Haskell.

Haskell SQL OpenAPI Rust Scala Automated Testing

Software Development Engineer

AMD India Pvt Ltd.

Jun 2020 - Present (5 years)

Developed an analysis tool to monitor passes that modify and add code segments, potentially causing floating-point errors, crucial for maintaining high precision after optimizations. Identified LLVM passes causing floating-point errors and implemented flags as workarounds.

LLVM C++Static Code Analysis Floating Point Arithmetic Compiler Optimization

Software Developer Intern

Mathworks

Apr 2019 - Present (6 years 2 months)

Created a tool to summarize errors after compiling Matlab source code, achieving a 66% reduction in error report data through compression. Developed both front-end and back-end tools to make these errors easily accessible to developers.

Matlab C++Front End Developer

Education

Degrees, certifications, and relevant coursework

Indian Institute of Technology Palakkad

Btech, Computer Science and Engineering

Grade: 7.91 CGPA

Activities and societies: Project: LLVM Local Optimizations ( Advisor : Dr. Unnikrishnan C ) Project: Formal verification framework for FPGA systems using Rocq ( advisor : Prof. Piyush P Kurur ) Course: Operating Systems Course: Model Checking Course: Machine Learning Course: Compiler Optimizations Course: Paradigms of Programming languages (Haskell, Rust, SMLoNJ, Coq(aka Rocq), Prolog)

Completed a Bachelor of Technology in Computer Science and Engineering. Achieved a CGPA of 7.91. Engaged in projects focusing on LLVM Local Optimizations and Formal verification framework for FPGA systems using Rocq.