Browse
All of DSpaceCommunities & CollectionsBy Issue-DateAuthorsTitlesSubjectsThis CommunityBy Issue-DateAuthorsTitlesSubjects
My Account
Discover
AuthorFerdman, Mike (1)Hasabnis, Niranjan (1)Polychronakis, Michalis (1)Sekar, R (1)Srinivas, Suresh. (1)Subject
automatic building assembly to IR translators, Automatic semantic synthesis, code generator correctness testing, instruction set semantics, machine learning, symbolic execution (1)
Computer science (1)
... View MoreDate Issued
2015 (1)
Has File(s)Yes (1)