This is my research and technology blog. I'll add stuff that I've found interesting in my research area (which is supposed to be programming languages, program analysis and verification). I'll be happy to receive you comments and criticisms.
In case you are wondering about the name, read this.
skip to main |
skip to sidebar
Random musings about technology and research of my interest.
Posts
Labels
- anagram (1)
- browser (1)
- chrome (1)
- dbms (1)
- epigram (1)
- funny (2)
- garbage collection (1)
- geeky (2)
- google (1)
- google chrome (1)
- grad school (1)
- introduction (1)
- java (1)
- jayant haritsa (1)
- kernighan (1)
- ms (1)
- multi-core (1)
- multi-threading (1)
- perlis (1)
- phd (1)
- programming language (1)
- programming quote (2)
- quantifier (1)
- quote (2)
- recursive acronym (1)
- ReferenceQueue (1)
- research (2)
- smt solver (1)
- sudoku (1)
- turing award (1)
- verification (1)
- weak reference (1)
- WeakHashMap (1)
- xinu (1)
- yices (1)
1 comment:
Hey Arnab. Good to see this.
Hope you get time to regularly update this blog and Best Wishes for the success.
Post a Comment