ACM SRC is a forum for students to present their original research at established conferences that are sponsored or co-sponsored by ACM, a well-respected US-based organisation that seeks to advance the arts and sciences of information processing.
 

David submitted a poster entitled “A Sound and Complete Specification Miner” to PLDI 2007, a rank-1 conference in programming languages and systems held under the auspices of ACM in San Diego in June 2007.
 

His work impressed the judges and earned him a spot in the second round of the competition, where he made an oral presentation that eventually won him second place in the graduate student track of the ACM SRC at PLDI 2007.
 

Commenting on the experience, David said, "ACM SRC has helped me obtain feedback on my research work from experts in the field and also provided me training to present my research contribution succinctly and clearly.”
 

“In the presentation session, one needs to convince a panel of judges on the quality of research done in a relatively short period of time. The judges are of different background in the research sub-community, and hence, one needs to be able to balance the amount of information presented,” he added.
 

As a winner in the SRC competition at PLDI 2007, David also made it to the ACM SRC Grand Finals, where his work was judged against the winners from other conferences.

Read more about David’s work here, and SRC here.