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
GitHub: https://github.com/nvision-2017

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 …

4 min read

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

5 min read Dev Tools

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

4 min read

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.

Featured Publications

CSIT

The formidable increase in the number of smaller and smarter embedded devices has compelled programmers to develop more and more specialized application programs for these systems. These resource intensive programs that have to be executed on limited memory systems make a strong case for compiler optimizations that reduce the executable size of programs. Standard compilers (like LLVM) offer an out-of-the-box -Oz optimization option—just a series of compiler optimization passes—that is specifically targeted for the reduction of the generated executable size. In this paper, we aim to analyze the effects of optimizations of LLVM compiler on the reduction of executable size. Specifically, we take the size of the executable as a metric and attempt to divide the -Oz series into logical groups and study their individual effects; while also study the effect of their combinations. Our preliminary study over SPEC CPU 2017 benchmarks gives us an insight into the comparative effect of the groups of passes on the executable size. Our work has potential to enable the user to tailor a custom series of passes so as to obtain the desired executable size.
PDF Project DOI
CP

Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft clauses without providing any optimality guarantees. In this paper, we propose two approximation strategies for improving incomplete MaxSAT solving. In one of the strategies, we cluster the weights and approximate them with a representative weight. In another strategy, we break up the problem of minimizing the sum of weights of unsatisfiable clauses into multiple minimization subproblems. Experimental results show that approximation strategies can be used to find better solutions than the best incomplete solvers in the MaxSAT Evaluation 2017.
PDF Project DOI Preprint

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 …
PDF Project DOI

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

PDF Code Project

Popular Topics

Approximation bash C++ Code size optimizations Compiler optimizations Compilers Cryptography Decryption ECC Encryption Executable size GNU Readline Internship LLVM LLVM Pass MaxSAT Minix Open-WBO Security Semaphore Timetable UTokyo

Contact