{"repository":{"description":"A short paper on how to use pushdown analysis techniques for better precision in non-pushdown models.","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"ianj","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-05-05T18:13:19-07:00","pushed_at":"2013-05-05T18:13:19-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"J. Ian Johnson","company":"Northeastern University","blog":"http://www.ccs.neu.edu/home/ianj/","location":"Boston, MA","email":"6ae3a2c6de7ec8088d95bd437d9a1f90ec95d253@ccs.neu.edu"},"url":"https://github.com/ianj/concrete-summaries"}