Saurabh Joshi sbjoshi[at]cse[dot]iitk[dot]ac[dot]in sbjoshi[at]fedoraproject[dot]org Research Scholar Department of Computer Science and Engineering Indian Institute of Technology Kanpur

Profile

Saurabh Joshi

Education

Experience

• Project Trainee | Aug 2006 - July 2007 | Software Engineering Group | IBM India Research Lab, New Delhi

Publication

With :

• R K Shyamasundar, Sanjeev Aggarwal,"A New Method of MHP Analysis for Languages with Dynamic Barriers", 17th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS) 2012 ( To appear )

• Shuvendu Lahiri, Akash Lal, "Underspecified Harness and Interleaved Bugs", Symposium on Principles of Programming Languages ( POPL ) 2012

• Shivali Agarwal, R K Shyamasundar, "Distributed Generalized Dynamic Barrier Synchronization", International Conference on Distributed Computing and Networking ( ICDCN ) 2011, Lecture Notes in Computer science, Springer, Vol-6522,pp.143-154.

• Frederic Doucet, R.K. Shyamasundar, Ingolf H. Krueger and Rajesh K. Gupta, "Reactivity in SystemC Transaction-Level Models", Haifa Verification Conference ( HVC 2007 ), Lecture Notes in Computer science, Springer-Verlag Berlin, Vol-4899,pp.34-50.

Erdos Number : 4 ( ;-) )

Paul Erdos -> Norbert W. Sauer -> Werner Kuich -> Rudrapatna Kallikote Shyamasundar -> Saurabh Joshi

Found via MathSciNet

Internships

• Rigorous Software Engineering Group, Microsoft Research India, Bangalore - Feb 2011 - April 2011
• Rigorous Software Engineering Group, Microsoft Research India, Bangalore - May 2010 - Sept 2010
• Summer School on Programming Languages, Analysis and Verification by Microsoft Research at IISc Bangalore - June - 2008

Projects

• Improving precision and usability of static analysis tools during my project trainee stint at IBM IRL
• Symbolic Model Checking on Large Sequential Circuits - MTech Thesis - under supervision of Dr Supratik Chakraborty
• Efficient Page Replacement Algorithms using Genetic Programming - BE Project - under supervision of Dr Ketan Kotecha
• Steganography using greyscale static GIF images - MTech Course Project

Talks

• What is this FOSS all about? - A linux/FOSS awareness talk at Krishna Girls Engineering College, Kanpur - 30th October 2010
• Linux Workshop - Workshop on basic Linux system administration and networking at Krishna Institute of Technology, Kanpur - 29-30th October 2010
• What is this FOSS all about? - A linux/FOSS awareness talk at Krishna Institute of Technology, Kanpur - April 2010
• Linux Installation Demo at Krishna Institute of Technology, Kanpur - April 2010
• Authentication via Keystroke Dynamics - SecNet 2006 - Annual network security workshop at Department of CSE, IIT Bombay.
• Workshop of Introduction to Artificial Intelligence - A Little Step 2003 - A Technical Festival at G H Patel College of Engineering and Technology

Teaching Assistantship/Mentorship

• CS719 - Data Streaming Algorithms ( Instructor : Prof Sumit Ganguly ) , July 2008 - Dec 2008
• CS 100 - A Toy SAT Solver - Guided BTech students for this course project , Jan 2009 - April 2009
• CS 100 - Sudoku Solver using SAT Solver - Guided BTech students for this course project , Jan 2010 - April 2010

Reviewer

• High Performance Computing 2010
• Principles and Practices of Parallel Programming 2010
• HACK.IN 2009

Positions held

• System Administrator, Department of CSE, IIT Kanpur
• System Administrator, Official Public Linux Mirror, IIT Kanpur
• Fedora Ambassador
• Organizing Team, FSTTCS 2009
• System Administrator, Center for Formal Design and Verification of Softwares , IIT Bombay , ( July 2003 - July 2006 )
• Technical Team Head, Organizing Committee, SecNet 2005
• Technical Team Member, Organizing Committee, SecNet 2006

Programming

• Ranked 26th in Bitwise 2006 - An International Online Programming Contest by IIT Kharagpur - amogst 2700 participating teams

Hobbies

• I am a die hard Linux fan :-)
• Chess
• Guitar
• Singing

powered by Pandoc

Last Modified at : Wed May 9 19:31:45 IST 2012