Kin-Keung Ma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SAS | Directed Symbolic Execution. | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2010 | ICSE | Using symbolic evaluation to understand behavior in configurable software systems. | Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter |
| 2007 | OOPSLA | Inferring aliasing and encapsulation properties for java. | Kin-Keung Ma, Jeffrey S. Foster |