Synthesizing dynamic bug detectors for foreign language interfaces

TitleSynthesizing dynamic bug detectors for foreign language interfaces
Publication TypeConference Paper
Year of Publication2010
AuthorsLee, B., B. Wiedermann, M. Hirzel, R. Grimm, and K. S. McKinley
Conference NameThe ACM conference on Programming Language Design and Implementation (PLDI)
Date Published07/2010
URLhttp://userweb.cs.utexas.edu/~bclee/papers/jinn-pldi-2010.pdf