Piramanayagam Arumuga Nainar
Computer Sciences Department
University of Wisconsin - Madison
1210, W Dayton st
Job search: My application materials are here. Now, I work in Oracle (Santa Clara) in the DPA Technology Office. I am still reachable by the cs.wisc.edu email id below.
Office: (was) 6352 Computer Science Building
E-mail: arumuga [at] cs.wisc.edu
- 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
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.
Applications of Static Analysis and Program Structure in Statistical Debugging
- Statistical Debugging Using Compound Boolean Predicates, ISSTA 2007
- Automated Adaptive Bug Isolation Using Dyninst
- Adaptive Bug Isolation, ICSE 2010
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.
- Math 431 - Introduction to the Theory of Probability
- Math 542 - Modern Algebra
- Math 771 - Set Theory
- Math 770 - Foundations of Mathematics
- 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
- CS 547 - Computer Systems Modeling Fundamentals
- CS 706 - Analysis of Software Artifacts
- Project: Statistical Debugging Using Compound Boolean Predicates
- CS 704 - Principles of Programming Languages
- CS 752 - Advanced Computer Architecture
- Project: Performance Study of Log Based Transactions in Software
- CS 577 - Introduction to Algorithms
- CS 701 - Programming Languages and Compilers
- Project: Survey of Compiler Support for Transactional Memories
- Teaching Assistant for CS 367
My dot files. Comments and suggestions are most welcome.
Madison-Metro bus stops on Google Maps