Satyendra Banjare

Software Engineer

Bangalore Urban, Karnataka, India6 yrs experience

Most Likely To SwitchHighly Stable

Key Highlights

Stackforce AI infers this person is a Software Development Engineer with expertise in CI/CD and security tools.

KubernetesBazelGithubSecurity Concurrent Separation LogicLibgit2

C (Programming Language)C++Compiler DevelopmentDockerEnglishFortifyGitGitLabGrafanaHelm (Software)JavaScriptJenkinsLuaNode.jsOctokit

IIT Roorkee 2020 | UniMelb intern 2019 | GSoC 2018

2 roles

Promoted

Apr 2022 – Present · 3 yrs 11 mos · Bengaluru, Karnataka, India

Added Bazel build tool to the team's MonoRepo. Setup bazel builds on k8s and added Remote build Caching. Helped in building rules for compiling ReasonML projects. Bazelified Java, nodejs and ReasonML projects.
Worked on internal tool to analyze and create & close github Issues for different security scanning tools.

BazelKubernetesGitHubSecurity Scanning Tools

Jul 2020 – Apr 2022 · 1 yr 9 mos · Bengaluru, Karnataka, India

Implemented internal version of GitLab's Merge Train using github bots and improved team's PR merge rate by 3x. Also got all the bots running on K8s with a simple one-click deploy.

GitHubKubernetesGitLab

Nov 2019 – Jan 2020 · 2 mos · Melbourne, Victoria, Australia

with Prof. Toby Murray
Worked on Extending the SecCSL (Security Concurrent Separation Logic) to the existing Viper toolchain to allow making assertions on the information flow security in the Viper Language.

ViperSecurity Concurrent Separation Logic

May 2018 – Aug 2018 · 3 mos · Remote

This project aims at updating lua bindings to libgit2 for the lua users to use libgit2 ( pure C implementation of the Git core methods ) API from lua. The new luagit2 covers most of important libgit2 modules. It is developed completely using lua-C api. This provided us with a lot of flexibiltiy to create functions that are very close to lua style in their final implementation.

Lualibgit2