Papers
Model Driven Visual Analytics, S. Garg, E.J. Nam. IV. Ramakrishnan, K. Mueller, IEEE VAST 2008 (IEEE Symposium on Visual Analytics Science and Technology) (Upcoming)
Exploring Collaborative Analysis using Movie Plots, S. Garg, S. Brennan, K. Mueller, G. Zelinsky, IV Ramakrishnan, D. Warren, and A. Kaufman. CEWIT Conference, 2007.
[abstract] [presentation]
Assisted in the following papers:
Toward a Multi-Analyst, Collaborative Framework for Visual Analytics Framework, S. Brennan, K. Mueller, G. Zelinsky, IV Ramakrishnan, D. Warren, and A. Kaufman. IEEE Symposium on Visual Analytics Science and Technology 2006, Baltimore, MD, pp. 129-136, October 2006.
Reasoning about Synchronization in GALS Systems, S. Chakraborty, J. Mekie and D. K. Sharma, Formal Methods in System Design, Vol. 28, No. 2, pp. 153-169, May 2006.
Resume [pdf]
Name Supriya Garg
Email sgarg AT cs.sunysb.edu
Phone no. 631-356-5953
Education
Ph.D. Computer Science [3.68/4]
State University of New York, Stony Brook
B.Tech. Computer Science and Engineering [7.97/10]
Indian Institute of Technology, Bombay
Project Information
Research Assistant, Visualization Lab, SUNY Stony Brook: [Jun 2006 – Present]
Teaching Assistant, Discrete Mathematics & Logic [Fall 2005]
Teaching Assistant, History of Computer Sc. & Logic [Spring 2006]
Summer Intern, Texas Instruments, Bangalore [May 2004 – July 2004]
Projects
- Semantic analysis (ongoing) – Studying lexical and semantic relations of words to find interesting relations between words.
- Network Visualization (ongoing) – Visualization of Network Data, to detect various well known patterns, as well as anomalies in it.
- Exploring Collaborative Analysis using Movie Plots – Presented a poster paper at the CEWIT, 2007 conference.
- Toward a Multi-Analyst, Collaborative Framework for Visual Analytics (VAST’06 paper) – Implemented a prototype for the same.
- Synonym Resolution and Clustering of Entities - This project is designed to remove duplicate entries in an entity table. It looks at the named entities extracted from a corpus, and merges highly similar entities based on some measures. Given these similarity measures, it is easy to cluster information both visually, and return query results to a user in a meaningful manner by grouping similar data.
- Illustrative Display of Hidden Iso-Surface Structure – An attractive illustrative visualization of volumetric datasets to display important inner structures.
- Graphics Project- Three rendering methods: Displacement-mapping, Bump-mapping and Bidirectional Reflection Distribution Function (BRDF) are blended together so that the whole scene looks as if it were displacement-mapped, when in fact much of it was rendered with cheaper algorithms.
- Geometric Foundations - This project implements a method in which wire curves give definition to an object and shape its deformable features. This approach is useful in applications like animating figures with flexible articulations, modeling wrinkled surfaces, and stitching geometry together.
- Undelete – Designed and implemented a kernel module which can help a user recover recently deleted files.
- Automated Generation of Functional Tests using Formal techniques – This project was done as part of summer training at Texas Instruments, Bangalore under Dr. R. Parekhji, Dr. S.K. Roy and Prof. S. Ramesh. The project involved representing a subset of a pipelined DLX processor in Verilog and using a model checker (VIS) to generate sequence of instructions so that an internal signal is triggered.
- B. Tech. Project (under Prof. S. Chakraborty) - Implemented a prototype which helps interface circuit designers reason about timing in Globally Asynchronous Locally Synchronous (GALS) systems. This approach uses Abstract Timing Diagrams (ATD) as a graphical formalism for specifying constraints between interface events, and determining symbolic constraints for correct operation of various interfacing schemes. The main advantage of using this methodology is that it permits reasoning about synchronization problems in terms of symbolic delays, even without knowing low-level implementation details.
- Seminar - Studied SAT based Bounded Model Checking and how it complements symbolic model checking. Looked at different variations of it like unbounded model checking, and at recent methods to make it more efficient.
- Untwine - Studied the software Untwine which performs hierarchical discovery of the topology, and made a few modifications to it like adding features like: MAC address search, port scan, display of the entire hierarchy tree of a host, search for inactive hosts and, useful facilities like ping and finger.
- Time Table Manager - This manages the timetable of academic institutions, there being two levels of administrators - one at the department level and one at institute level. SQL, JDBC and JAVA Servlets were used to implement it.
- Fuzzy Logic Traffic Controller - Undertook an extensive study on fuzzy logic controllers and applied it to a traffic controller which monitored traffic in 4 directions and changed signals taking into account traffic density and a maximum timeout period.
Computer skills:
- Programming languages – C, C++, JAVA, Pascal, Scheme, Lex, and Yacc.
- Scripting languages – Perl, Python, and Unix Shell.
- Operating Systems – Linux, Windows, Mac OSX.
- Web Tools – HTML, XML, CSS, JavaScript, AJAX, CGI.
- Other Software – SQL, Latex, Photoshop, Eclipse, Visual Studio .NET, Xilinx for hardware design and simulation (VHDL is the HDL), VIS and SMV for model checking.
Academic achievements:
- Selected among the top 35 students in the Indian National Chemistry Olympiad (INChO), 2001, and attended a 10-day training camp for selecting the Indian contingent to participate in the International Chemistry Olympiad (IChO). Won the award for "Best Solution to a challenging problem".
- Certificate of merit by National Standard Examination in Physics for being placed in the National top 1%.
- Selected to participate in Indian National Mathematics Olympiad (INMO), 2000. Was awarded a certificate of merit for standing 9th in the Regional Mathematics Olympiad (RMO), 2000 and a silver medal for outstanding performance in the same.
- Stood 16th all India in the IIT Joint Entrance Examination, 2001.
- Stood 1st in the Mathematics Olympiad, 2003 conducted by the Mathematics department of IIT Bombay.
