Abhishek Roy
Contact 14/184, Vasundhra Voice: +91-9868950931
Information Ghaziabad, Uttar Pradesh E-mail: a.roy@iitg.ernet.in
India - 201012 WWW: www.iitg.ernet.in/stud/a.roy/
Education Indian Institute of Technology, Guwahati
Bachelor of Technology, Computer Science and Engineering 7.7/10
Higher Secondary School, 2004
Central Board of Secondary Education 89.6%
Secondary School, 2002
Central Board of Secondary Education 92%
Publications Ling Chen, Abhishek Roy, Wolfgang Nejdl. Event Detection from Flickr Data
through Wavelet-based Spatial Analysis. In 18th ACM Conference on Information
and Knowledge Management (CIKM2009). (under peer review)
Technical Skills Programming: C, Java, C++, Promela, Shell Scripting, Assembly (8085)
Tools: Eclipse IDE, vim, gdb, Oracle, Spin Model Checker, Rational Rose, LATEX
Internships L3S Research Center, Hanover, Germany
Guide: Professor Wolfgang Nejdl May 2008 - July 2008
We developed a wavelet based approach to detect events from Flickr tags. The tem-
poral and locational distributions of tag usage were analyzed in the first place, where
a wavelet transform was employed to suppress noise and detect strong clusters. Then
we identified the tags related with events and further distinguished between tags of
periodic and aperiodic events. Afterwards, tags representing an event were clus-
tered. Finally, for each tag cluster, photos corresponding to the represented event
were extracted.
Embedded Systems Lab, IIT Delhi, India
Guide: Professor Subrat Kar May 2007 - July 2007
We implemented a dialer to negotiate PPP connection on PIC microcontroller. The
microcontroller could then send the query over the serial port to a PC running SQL
server. I also developed a server-client for file transfer over sockets during the term.
Programming was done on Unix using BSD socket library.
Thesis/Academic Verifying Correctness of Dynamic Software Transactional Memory
Reports Guide: Dr. Purandar Bhaduri September 2008 - April 2009
Software transactional memory is a concurrency control mechanism analogous to
database transactions for controlling access to shared memory in concurrent com-
puting. Parallel programs such as those using STM, or explicit locks execute in a
non-deterministic way, so they are hard to test, and bugs can be almost impossible
to reproduce. We modeled Dynamic STM implementation with Promela and ver-
ified the correctness properties using Spin Model Checker. This work showed how
STM designers could use the Spin Model Checker as a verification tool when they
develop or modify STM algorithms.
Making Selfish BitTorrent Clients History
Guide: Dr. Diganta Goswami November 2008
When a selfish client obtains a larger than normal view of the BitTorrent swarm
and connects to all peers in its view, it increases its chances to become unchoked by
leechers and to discover seeders. In this term paper we have proposed modifications
to BitTorrent protocol which should cover the loopholes that selfish clients exploit.
1 of 2
Information Flow Decomposition for Network Coding
Guide: Dr. Sajith Gopalan April 2008
With network coding, intermediate nodes may send out packets that are linear com-
binations of previously received information. This report explained the information
flow decomposition for network coding with its application in wireless networks.
Major Academic Chat Application November 2008
Projects Incrementally developed a fault tolerant chat client-server architecture with options
for P2P based communication. A feature to play hangman game was added too.
Compiler for Nothing language April 2008
Lexical analysis was done using Lex and grammar rules were specified using Yacc.
The final compiler took a Nothing language program as input and generated a cor-
responding 8085 compatible code as output.
PintOS: Enhancing the Kernel November 2007
Taken as part of Operating Systems course, it consisted of getting familiar with
operating system requirements and gradually enhancing an educational OS kernel
(Pintos) running on a Intel hardware and simulating it. The enhancements included
solving multi threading problems, implementing schemes for running programs in
both kernel and user mode, memory management and file system handling.
Automation of CSE Department Library April 2007
The project involved familiarization with Eclipse and Rational products. Domain
analysis and full requirements definition were performed. Rational Rose was used
to describe class diagrams, subsystems, their interactions and interfaces.
4-bit RISC Based Microprocessor April 2007
Designed and fabricated a 4-bit Microprocessor with an Arithmetic Logic Unit
(ALU), Register Set and 256 X 4-bit Main Memory based on Micro programmed
Control.
Extracurricular Programming
I regularly solve programming problems available on the Universidad de Valladolid
robot judge. I maintain a technical blog at ubirevera.wordpress.com.
Computer Science & Engineering Association
I was in the editorial team of the CSEA magazine - Linked List. It involved regular
interaction with the alumni, getting the articles and looking at almost all the as-
pects of publishing a magazine. I was also the Services Secretary of CSEA (2008-09).
Quizzing
Won first prize in Open Quiz (IIT Guwahati, 2008) and NIIT-egurucool.com Com-
puter IQ Quiz (Delhi, 2002). I was finalist in IMS Quotient (Guwahati, 2007) and
Business Quiz (Techniche, 2005). Interest in quizzing requires me to be well-versed
in current affairs.
Techniche
I was in the organizing team of ‘Access Denied’ - network security event at Techniche
2007. I also organized Virtual Stock Market in Techniche 2005. Techniche is the
annual technical and management fest of IIT Guwahati.
Last updated on June 15, 2009.
2 of 2
