|
Sandeep Bindal |
|
|
Resume | About Me | Academic Interests | Projects | Technical Skills | Courses
I am a 4th year dual degree student at the Department of Computer Science and Engineering at the Indian Institute of Technology, Delhi, India.
My General interests include Computers, Movies, Music.. :)
Systems
Algorithms
Scalable Tool For Testing Concurrent Java Programs (May 10 - present):
Prof. Sorav Bansal, CSE, IITD
The aim of this project is to develop a tool for systematic and deterministic testing of concurrent Java Programs
to detect concurrency bugs. The idea is to explore the search space with new notions which could find the bugs quickly
in the real world programs. We have introduced the notion of variable bounding and t-bounding to find out bugs
much faster than the existing tools like Chess.
Virtual FPGA (Jun - Nov 10):
Prof. M Balakrishnan, CSE, IITD
As part of the ongoing Virtual Labs project of IITD worked on designing experiments meant to help students learn
computer architecture related concepts from a remote location. The project involves working on the Microblaze processor
on the Alpha Data XRM-II board and involves designing a system with caching, pipelining enabled.
The project is being continued as part of the Embedded Systems Course.
Designed and implemented a tiny functional language (May 10 ):
Prof. Sanjeeva Prasad, CSE, IITD
Designed and implemented a tiny functional language (as a part of Programming Languages course) for computing
expressions supporting multiple data types, functions and variables. Wrote the tokeniser, parser and the compiler
for the same in SML.
MIPS 32 Processor model (Nov 09) :
Prof. Anshul Kumar, CSE, IITD
As part of the Computer architecture course a 32-bit processor having RAM, RF, ALU and Control was designed and
simulated using the Logisim tool version 2.1.6(
Carl Burch,Hendrix College). This processor implemented some basic
MIPS instructions, namely lw, sw, beq, jump and R-type. It was later on extended to incorporate input and output system.
Programming and Scripting Languages : Java, Standard ML, C/C++, MIPS-32 Assembly Language, HTML
Hardware Description Languages : VHDL, Verilog
DataBases : MySQL
Operating Systems : Microsoft Windows , Linux
Others : Xilinx ISE, Xilinx EDK ml-lex, ml-yacc, Logisim, Netbeans IDE, LaTeX
Computer Science:
Introduction to Computers and Programming
Data Structures
Discrete Mathematical Structures
Computer Architecture
Design Practices in Computer Science
Programming Languages
Analysis and Design of Algorithms
Computer Networks
Synthesis of Digital Systems
Embedded Systems Laboratory
Operating Systems
Database Management Systems
*Systems and Networks Security
Electrical Engineering:
Fundamentals of Electrical Engineering
Digital Electronics Circuits
Signals and Systems
Other Departments:
Introduction to Analysis and Differential Equations
Introduction to Algebra and Matrix Analysis
Introduction to Probability Theory and Stochastic Processes
Physics of Materials
Engineering Mechanics
Engineering Graphics
Computer Aided Design
Computational Physics
*Operational Research
* Courses currently being done in the 7th semester.
Site last updated: July 28, 2011
© Sandeep Bindal ,2011
The template has been "inherited" from Nitesh
Mor and Ravneet
Singh who attribute it to L.
Anand who in turn got it from Abhinav
Golas who ripped it from Anjul Patney.
The trail kind of dies after this ;)