Private
The private section contains the useful links, articles and material created by myself.
It has nothing to do with my professional work. Nevertheless, I hope it is useful for
you to read these pages. In the following I will list some of the articles and presentations
I collected from internet that will help us understand the inside depths of basic fundamentals and also
to improve our personality.
Formal Verification
- An Introduction to Formal Verification by Sandeep K. Shukla
- Model Checking Overview by Edmund Clarke, School of Computer Science, Carnegie Mellon University, Pittsburgh, USA
- Excellent Presentation on SAT Solving Basic Principles and Future Directions by Dominik Stoffel, University of Kaiserslautern, Kaiserslautern, Germany
- Presentation on SAT and QBF in Formal Verification by Armin Biere, Jahannes Kepler University, Linz, Austra
- Partial Order Reduction For Asynhronous Systems from Lecture Notes, Caltech, CS
- Presentation on Tarjan's algorithm for computing Strongly Connected Components by Tim Callhan
- Nice presentation on Applications of Craig Interpolation to Model Checking by Ken L. McMillain from Cadence Labs
Software Engineering
- Requirements Engineering by Merlin Dorfman
- Explanation of design patterns in some simple examples
- The Power of 10 Rules for Writing Safety Critical Code from Spinroot
- FMG Programming Guidelines from FMG, Uni Tübingen, Germany based on external documents like BOOST Guidelines and Chapter 1 from the book The Practice of Programming by Brian W. Kernighan and Rob Pike.
Personality Development
- Skills every IT professional MUST have by Kshipra Singh published at rediff India
- Dangers of multitasking published at rediff India
- 10 ways to boost your self-confidence by Shilpa Shetished published at rediff India
- 6 ways to be a great boss by Deeksha Singh published at rediff India
- Why team work is always important by Gauri Mitra published at rediff India
- From college to corporate: What you need to know by Sunder Ramachandran published at rediff India
- Eight ways to get noticed at work by Sunder Ramachandran published at rediff India
- Negotiating Salary? 4 Important Tips by Meenakshi Subramaniam published at rediff India
- How best to negotiate your salary by Divakar Kaza published at rediff India
- Ten simple rules for making good oral presentations
- Ten simple rules for a good poster presentation