Recent Posts

The slides used for the class presentation for the course CS5030 (Topics in Theoretical Computer Science) at IIT Hyderabad.

1 min read

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

*
All MaxSAT LLVM

Open-WBO Incomplete MaxSAT Solver

Contributions to Open-WBO Incomplete MaxSAT solver.

Interval Domain Abstract Interpreter

Abstract interpreter for interval domain for integers using CBMC APIs

Mail client in C++

IMAP and SMTP Mail client implementation in C++

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.

Cool compiler

Compiler for COOL language

Timetabler

Timetable generator using maxsat solver(Open-WBO)

Battleship

Battleship game built in Golang

Semaphore in Minix

Semaphore implementation in Minix 3

Go and Checkers

Go and Checkers in Haskell language

APV Quiz

Course Project based on concurrency.

Bookbay

Online portal and android app for books based on courses at IIT Hyderabad

Publications

All Publications

. Approximation Strategies for Incomplete MaxSAT. CP, 2018.

Preprint PDF Project DOI

Experience

 
 
 
 
 
January 2019 – April 2019
Sangareddy, Telangana, India

Teaching Assistant

IIT Hyderabad

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

Teaching Assistant

IIT Hyderabad

Course: CS2400 Principles of Programming Languages I
Instructor: Dr. Saurabh Joshi
 
 
 
 
 
May 2018 – July 2018
Tokyo, Japan

Research Intern

The University of Tokyo

IJEP Internship Program 2018
Advisor: Prof. Reiji Suda.
 
 
 
 
 
January 2018 – April 2018
Sangareddy, Telangana, India

Teaching Assistant

IIT Hyderabad

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

Teaching Assistant

IIT Bhilai

Course: CS2433 Principles of Programming Languages II
Instructor: Dr. Ramakrishna Upadrasta
 
 
 
 
 
October 2017 – November 2017
Sangareddy, Telangana, India

Teaching Assistant

IIT Bhilai

Course: CS2400 Principles of Programming Languages I
Instructor: Dr. Ramakrishna Upadrasta
 
 
 
 
 
May 2016 – February 2017
Sangareddy, Telangana, India

Web Developer

ηvision 2017, Techno-management fest of IIT Hyderabad

GitHub: https://github.com/nvision-2017

Contact