Experience

 
 
 
 
 

Teaching Assistant

IIT Hyderabad

Jan 2019 – Apr 2019 Sangareddy, Telangana, India
Course: CS2433 Principles of Programming Languages II
Instructor: Dr. Saurabh Joshi
 
 
 
 
 

Teaching Assistant

IIT Hyderabad

Oct 2018 – Nov 2018 Sangareddy, Telangana, India
Course: CS2400 Principles of Programming Languages I
Instructor: Dr. Saurabh Joshi
 
 
 
 
 

Research Intern

The University of Tokyo

May 2018 – Jul 2018 Tokyo, Japan
IJEP Internship Program 2018
Advisor: Prof. Reiji Suda.
 
 
 
 
 

Teaching Assistant

IIT Hyderabad

Jan 2018 – Apr 2018 Sangareddy, Telangana, India
Course: CS2433 Principles of Programming Languages II
Instructor: Dr. Saurabh Joshi
 
 
 
 
 

Teaching Assistant

IIT Bhilai

Jan 2018 – Apr 2018 Sangareddy, Telangana, India
Course: CS2433 Principles of Programming Languages II
Instructor: Dr. Ramakrishna Upadrasta
 
 
 
 
 

Teaching Assistant

IIT Bhilai

Oct 2017 – Nov 2017 Sangareddy, Telangana, India
Course: CS2400 Principles of Programming Languages I
Instructor: Dr. Ramakrishna Upadrasta
 
 
 
 
 

Web Developer

ηvision 2017, Techno-management fest of IIT Hyderabad

May 2016 – Feb 2017 Sangareddy, Telangana, India

Recent Posts

I was interning at the University of Tokyo during the summer after the 3rd year of my B. Tech. This was the first time I visited any …

GNU Readline is an easy-to-use library for autocompleting using Tab key and bash like history using up/down array keys for interactive …

Trapdoor functions or one-way functions are essential for the working of public key cryptography or asymmetric cryptography where …

Projects

Open-WBO Incomplete MaxSAT Solver

Contributions to Open-WBO Incomplete MaxSAT solver.

Analysis of Executable Size Reduction by LLVM passes

Analysis of impact of LLVM Passes on executable size and compile time on SPEC 2017 CPU Benchamrk.

Timetabler

Timetable generator using maxsat solver(Open-WBO)

Semaphore in Minix

Semaphore implementation in Minix 3.

Recent Publications

Quickly discover relevant content by filtering publications.

The formidable increase in the number of smaller and smarter embedded devices has compelled programmers to develop more and more …

Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft …