|
My UW
|
UW Search
Computer Science Home Page
Home Page/
Biography
Job Search
Contact
Information
Education
Research
Courses
|
 |
|
|
Piramanayagam Arumuga Nainar
Graduate Student
Computer Sciences Department
University of Wisconsin - Madison
1210, W Dayton st
Madison, WI
|
|
Office: (was) 6352 Computer Science Building
E-mail: arumuga [at] cs.wisc.edu
Education
- Ph.D. in Computer Science from University of Wisconsin-Madison, 2012
- M.S. in Computer Science from University of Wisconsin-Madison, 2007
- B.E. in Computer Science from Anna University, 2005
Research
I received a doctoral degree at the University of Wisconsin-Madison.
My research interests include Programming Languages and Software Engineering.
I worked with Prof. Ben Liblit
in the Cooperative Bug Isolation project.
Dissertation
Applications of Static Analysis and Program Structure in Statistical Debugging
Publications
Talks
- Statistical Debugging Using Compound Boolean Predicates, ISSTA 2007
- Automated Adaptive Bug Isolation Using Dyninst
- Adaptive Bug Isolation, ICSE 2010
Courses
I have done several courses and projects as a part of my Master's degree and Mathematics Minor at UW-Madison. Project abstracts and reports are available upon request.
Summer 2008
- Math 431 - Introduction to the Theory of Probability
Spring 2008
- Math 542 - Modern Algebra
- Math 771 - Set Theory
Fall 2007
- Math 770 - Foundations of Mathematics
Spring 2007
- CS 810 - Models and Formalisms for Computation
- Project: Survey of Complexity of Model Checking
- CS 838 - Advanced Natural Language Processing (now CS 769)
- Project: Finding Software Topics - Author Topic Modeling of Bug Reports and Commit Messages
Fall 2006
- CS 547 - Computer Systems Modeling Fundamentals
- CS 706 - Analysis of Software Artifacts
- Project: Statistical Debugging Using Compound Boolean Predicates
Spring 2006
- CS 704 - Principles of Programming Languages
- CS 752 - Advanced Computer Architecture
- Project: Performance Study of Log Based Transactions in Software
Fall 2005
- CS 577 - Introduction to Algorithms
- CS 701 - Programming Languages and Compilers
- Project: Survey of Compiler Support for Transactional Memories
- Teaching Assistant for CS 367
|
|
|
