Sanjay Malakar

I am a second-year P.hD. student in Computer Science at University of California, Riverside (UCR), advised by Prof. Manu Sridharan and a member of the RIPLE group. My research lies at the intersection of Program Analysis and Software Security. Currently, I focus on detecting and addressing resource leaks in software systems, using advanced techniques like program analysis, code transformations, and Large Language Models (LLMs).

Previously, I worked as a Senior Software Engineer at OpenRefactory, Inc., a Silicon Valley-based deep-tech company developing SAST tools to detect and fix security, reliability, and compliance bugs.

I hold a B.Sc. in Computer Science and Engineering from Bangladesh University of Engineering and Technology, where I completed my undergraduate thesis under the supervision of Prof. Rifat Shahriyar, focusing on fixing data race conditions in multi-threaded applications. Additionally, I worked with Dr. Gias Uddin and Dr. Anindya Iqbal on an empirical study of challenges in low-code software development, addressing developer productivity, usability, and adoption barriers.

Beyond research, I am passionate about advancing software reliability and security through automation.

Recent News

Experience

Graduate Student Researcher

University of California, Riverside

I work on refining the Checker Framework’s Resource Leak Checker to improve the detection of resource leaks in Java applications. My research involves refining resource management inference techniques to enhance detection accuracy and applying code transformations and leveraging Large Language Models (LLMs) to generate and validate automated patches, ensuring robust solutions across diverse open-source projects.

July 2024 - Present

Senior Software Engineer

OpenRefactory, Inc.

Contributed to the development of Intelligent Code Repair (iCR), a Static Application Security Testing (SAST) tool designed to detect and fix bugs in Java, Python, and Go projects. Key responsibilities and contributions:

  • Designed and implemented algorithms for pointer analysis, including incremental analysis and handling of threading and framework lifecycle methods.
  • Developed custom checkers for advanced bug detection, including taint analysis and null pointer detection.
  • Executed performance optimizations using ProtoBuf, improving memory efficiency and serialization performance.
  • Transitioned the deployment architecture from monolithic to microservices, enabling scalability for SaaS platforms.
  • Established CI/CD pipelines, integrating streamlined testing workflows and deployment automation.

February 2021 - August 2023

Education

University of California, Riverside

Doctor of Philosophy
Computer Science

CGPA: 3.93/4.00

September 2023 - Present

Bangladesh University of Engineering and Technology

Bachelor of Science
Computer Science and Engineering

CGPA: 3.60/4.00
Major CGPA: 3.81/4.00

February 2016 - February 2021

Notre Dame College

Secondary School Certificate

GPA: 5.00/5.00

July 2013 - June 2015

Publications and Projects

Developer Discussion Topics on the Adoption and Barriers of Low Code Software Development Platforms

Co-Authors: Md Abdullah Al Alamin, Gias Uddin, Sadia Afroz, Tameem Bin Haider, Anindya Iqbal

Published in the Empirical Software Engineering (EMSE) journal, this study builds on our MSR’21 paper. We applied topic modeling to 33K relevant Stack Overflow posts from 38 popular low-code platforms, conducting a manual annotation of statistically significant data samples to identify adoption barriers and trends.

An Empirical Study of Developer Discussions on Low-Code Software Development Challenges

Co-Authors: Md Abdullah Al Alamin, Gias Uddin, Sadia Afroz, Tameem Bin Haider, Anindya Iqbal

This study analyzed approximately 5K Stack Overflow posts discussing nine popular low-code platforms. We identified trends, challenges, and implications for practitioners, platform providers, educators, and researchers.

RaceFixer - An Automated Data Race Fixer

Co-Authors: Tameem Bin Haider, Rifat Shahriyar

My undergraduate thesis, RaceFixer, is a Clang-based tool that automates the detection and repair of single-variable atomicity violations. It enhances ThreadSanitizer's bug reports with static analysis to generate suitable patches, emphasizing lock reuse and deadlock prevention.


Skills


Achievements

Scholarships

  • Deans Distinguished Fellowship - Awarded at the University of California, Riverside (2023-2024)
  • University Merit Scholarship - Achieved stipends from BUET in four out of seven terms for excellent result
  • Talentpool Scholarship - Achieved from Bangladesh Government in Higher Secondary School Certificate Examination (2016-2020), Secondary School Certificate Examination (2014-2015), and Junior School Certificate Examination (2011-2012) for outstanding performance

Awards

  • Dean's List Award - Got award from BUET in Junior year for an extraordinary result
  • Shapla Cub Award - Received from the honorable Prime Minister of Bangladesh for extraordinary performance as a Cub Scout

Certification

  • LinkedIn Assessment: C, C++, Java, Python, JavaScript, React.js, and Machine Learning
  • Coursera: Deep Learning Specialization, Machine Learning, Python for Everybody Specialization, Version Control with Git
  • Udemy: Practical OpenShift for Developers - OpenShift 4, React - The Complete Guide (incl Hooks, React Router, Redux)
  • HackerRank: Problem Solving (Advanced) Certificate

Problem Solving

  • LeetCode: Ranked with % acceptance rate

Co-organizer

  • Actively worked as an organizer of BUET CSE FEST 2019, 2020
  • Freshmen Student Reception Program, CSE, BUET (2017)


Contact

463 Winston Chung Hall, 900 University Ave. Riverside, CA 92521