Sudheendra Hangal

TL;DR: DIDUCE, a practical and effective tool that aids programmers in detecting complex program errors and identifying their root causes, is introduced and suggests that detecting and checking program invariants dynamically is a simple and effective methodology for debugging many different kinds of program errors across a wide variety of application domains.

TL;DR: This paper describes a new polynomial time algorithm which is incorporated in TSOtool, a program to check the behavior of the memory subsystem in a shared memory multiprocessor and has been successful in detecting several bugs in the design of commercial microprocessors and systems, during both pre-silicon and post- silicon phases of validation.

TL;DR: IODINE presents a way to automatically extract properties such as state machine protocols, request-acknowledge pairs, and mutual exclusion between signals from design simulations using dynamic analysis.

TL;DR: A software simulation method and program storage device for software defect detection and obtaining insight into software code is disclosed, where simulation consists of executing target software program code for multiple input values and multiple code paths at the same time, thus achieving 100% coverage over inputs and paths as mentioned in this paper.

TL;DR: Preliminary experimental results suggest that it is viable to enable sharing of private social data between close friends with a decentralized architecture, and can be written in a small number of lines of code using SociaLite.