Using web corpus statistics for program analysis

By Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy. 2014

37 citations recorded by the source corpus.

Subfields: Information Systems, Software, Program Analysis & Verification, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Systems

  1. Michael Pradel
  2. Jibesh Patra
  3. Miltiadis Allamanis
  4. Swarat Chaudhuri
  5. Pavol Bielik
  6. Premkumar T. Devanbu
  7. Charles Sutton
  8. Tien Nhut Nguyen

In Software

  1. Michael Pradel
  2. Jibesh Patra
  3. Pavol Bielik
  4. Tien Nhut Nguyen
  5. Swarat Chaudhuri
  6. Martin T. Vechev
  7. Veselin Raychev
  8. C. Jermaine

In Program Analysis & Verification

  1. Michael Pradel
  2. Jibesh Patra
  3. Pavol Bielik
  4. Martin T. Vechev
  5. Veselin Raychev
  6. Tien Nhut Nguyen
  7. Tal Ben-Nun
  8. Alice Shoshana Jakobovits

In Signal Processing

  1. Michael Pradel
  2. Jibesh Patra
  3. Pavol Bielik
  4. Martin T. Vechev
  5. Veselin Raychev
  6. Tien Nhut Nguyen
  7. Miltiadis Allamanis
  8. Anh Tuan Nguyen

Citations in the corpus