15 citations · 15 across the 2 of their papers we have counts for
3 papers
cs.PL2019
Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel +1
JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the st…
cs.SE2019★ 15 cited
Neural Bug Finding: A Study of Opportunities and Challenges
Andrew Habib, Michael Pradel
Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analy…
cs.CV2012
Viewpoint Invariant Object Detector
Osama Khalil, Andrew Habib
Object Detection is the task of identifying the existence of an object class instance and locating it within an image. Difficulties in handling high intra-class variations constitu…