Sanjay Malakar

I am a senior software engineer at OpenRefactory, Inc., a Silicon Valley-based deep-tech software company that focuses on automatically fixing security, reliability, and compliance bugs.

My research focuses on Software Engineering, Software Security, and Programming Languages.

I received my Bachelor of Science degree in Computer Science and Engineering from Bangladesh University of Engineering and Technology. I completed my undergraduate thesis under the supervision of professor Dr. Rifat Shahriyar on addressing atomicity bugs in software. Besides that, I worked with Dr. Gias Uddin, Assistant Professor, University of Calgary, and Dr. Anindya Iqbal on an empirical study of low-code software development challenges.

Apart from my academic activities, I like to travel to new places with my friends and family. In my free time, I enjoy solving problems on data structure and algorithms, watching anime, and playing FPS games.

Recent News

Experience

Senior Software Engineer

OpenRefactory, Inc.

Extended the Intelligent Code Repair (iCR) product to support Python.

  • Developed and implemented algorithms for the pointer analysis engine for Python.
  • In-depth performance hacking by updating the serialization mechanism of iCR with ProtoBuf.
  • Contributed to creating deep learning-based algorithms to detect logical bugs in Python code.
  • Deployed iCR at an enterprise scale using Docker and Kubernetes.

January 2022 - Present

Software Engineer

OpenRefactory, Inc.

Worked on Intelligent Code Repair (iCR), which is a static analysis-based bug detection engine that (1) detects bugs that other tools miss, (2) does that with dramatically low false warnings, and (3) is the first and only tool in this space that can also synthesize fixes automatically for over half of all the bugs detected. Worked on iCR for Java. Key responsibilities:

  • Contributed to the core IP of iCR by working on the static program analysis.
  • Developed and implemented algorithms for a pointer analysis engine.
  • R&D on software weakness and vulnerabilities.
  • Contributed to the CI/CD pipelines.

February 2021 - January 2022

Education

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

Research

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

We presented a novel empirical study of around 5K Stack Overflow posts that contain discussions of nine popular low-code development platforms. We presented the low-code platform trends and discussed the difficulties that developers encounter while adopting these platforms. Our findings offered implications for low-code practitioners, platform providers, educators, and researchers.

RaceFixer - An Automated Data Race Fixer

Co-Authors: Tameem Bin Haider, Rifat Shahriyar

We developed a Clang-based tool that automates fixing single-variable atomicity violations. We utilized the bug reports of an existing bug-detection tool, ThreadSanitizer. We augmented them with static analysis to construct a suitable patch for each bug report, with the best effort to reuse locks and avoid deadlocks.

Status: In preparation for Concurrency and Computation: Practice and Experience..

Skills

  • Languages: Java, C, C++, Python, JavaScript, Matlab, Shell, Dart
  • Database: Oracle, MySQL, MongoDB, SQLite, Firebase
  • Frameworks: Django, React, Flutter, Express.js, JavaFX, Scrapy
  • Libraries: NumPy, Pandas, TensorFlow, Scikit Learn, Matplotlib
  • Web Technology: REST API, tRPC, Bootstrap, Tailwind CSS, Nginx
  • DevOps: Docker, Kubernetes, OpenShift, Jenkins, Ansible
  • Cloud: Amazon EC2, S3 Bucket, Azure, Linode
  • Technical Writing: LaTeX, Beamer, Overleaf
  • Build Tools: CMake, Gradle, Apache Maven
  • Others: Git, NS2, Eclipse JDT, IntelliJ Platform SDK

Achievements

Scholarships

  • 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)

Projects

DNS Cache Poisoning

 | Tools : Bind9, Virtual Machines

Remote DNS cache poisoning attack exploiting Kaminsky's DNS Cache poisoning flaw. (CVE-2008-1447)

Website developement for flight and hotel room reservation system

 | Tools : Django, JavaScript, SQLite

Developed a website as my level-4/term-1 project where customers can book flight tickets and hotel rooms through card payment, and companies can update their page and manage bookings.

hotel flight demo

DX-Ball

 | Tools : Micro-controller, Accelerometer sensor

The popular arcade game DX-Ball with LED Dot Matrix and Atmega32 micro-controller.

Software developement for football club management

 | Tools : Java, JavaFX, Oracle Database

An application that stores all information about the club (players, managers, games). Admin of the club can update, add, and delete this information and generate graphs from given data.

football-club-management

Tic-Tac-Toe

 | Tools : Game theory, OpenGL

Tic-Tac-Toe game using Minimax algorithm created in C++ using a wrapper for OpenGL in 2D.

tic-tac-toe

MISCELLANEOUS

  • C Compiler : Using lexical analyzer and parser designing tools.
  • 4-bit Microprocessor: Using Atmel Studio, MIPS architecture.
  • AI: Simulating the Mancala game by using basic algorithms in Artificial Intelligence.
  • Machine Learning: Exploring different ML algorithms such as KNN, Decision Tree, Naive Bayes, Neural Networks, etc.
  • Networking: Modifying some functionalities of the computer network in NS2.
  • Others: Implementing some functionalities of an OS on XV6, Ray tracing using OpenGL.

Contact

Shuru Campus, Wakil Tower, 8th Floor, Ta-131, Gulshan-Badda Link Road, Dhaka 1212, Bangladesh