15 citations · 34 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 4 cited
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…