Daryl Shannon

According to our database, Daryl Shannon authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2006

Analyzing the Uses of a Software Modeling Tool.

Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006