Nimit Singhania

Papers

• Automating Test Automation (ICSE 2012) (pdf)

• Loopy: Programmable and Formally Verified Loop Transformations (pdf)

• Alternate and Learn: Finding Witnesses without looking all over (pdf)

• GPU Drano: Detecting Uncoalesced Accesses in GPU Programs (pdf)

• Precise Piecewise Affine Models from Input-Output data (pdf)

• Efficiently Scripting Change Resilient Scripts (pdf)

• Block-size independence of GPU programs(pdf)

• Static Detection of Uncoalesced Accesses in GPU Programs (pdf)

• Hedging Bets in Markov Decision Processes (pdf)

A set of short science writeups that describe how various phenomenan (both nature and man-made) work.

• Bicycle (part 1, part 2, part 3)

• Environment cycles (food cycle, water cycle)

• Light (part1, part2, part3, part4)

• Numbers (part1, part2, part3)

• Plants ( part1, part2, part3)

• Sound (part1, part2, part3)

A series of write-ups on programming as understood by layman. In the current era of computing, every person needs to be aware of how computing works and how simple techniques from computing can make life easier (without relying on an actual computing device like mobile or laptop).

• Finite State Machines (pdf)

• Random Processes (pdf)

• Formalization (pdf)

• First Order Logic (pdf)

• Computers with Oracles (pdf)