Probabilistic programming

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, +1

Reliability AnalysisEngineeringData ScienceProbabilistic ProgramsProgram Analysis +12

SYNERGY

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, +2

Counterexample-guided Model CheckingProgram CheckingSynergy AlgorithmEngineeringRuntime Verification +13

HOLMES: Effective statistical debugging via efficient path profiling

Trishul Chilimbi, Ben Liblit, Krishna K. Mehra, +2

Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisSoftware Analysis +15

Compositional may-must program analysis

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, +1

Software MaintenanceEngineeringVerificationSoftware EngineeringDynamic Test Generation +20

Merlin

Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, +1

EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification +15

Proofs from tests

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, +1

Program CheckingEngineeringVerificationDash AlgorithmSoftware Engineering +17

Automating Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Aditya V. Nori, +4

IEEE Software

Software MaintenanceProgram CheckingEngineeringVerificationTest Data Generation +19

FairSquare: probabilistic verification of program fairness

Aws Albarghouthi, Loris D’Antoni, Samuel Drews, +1

Proceedings of the ACM on Programming Languages

Program CheckingEngineeringVerificationSoftware SystemsSoftware Engineering +18

A user-guided approach to program analysis

Ravi Mangal, Xin Zhang, Aditya V. Nori, +1

Software MaintenanceProgram CheckingEngineeringSoftware SystemsSoftware Engineering +20

Bayesian inference using data flow analysis

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, +2

Bayesian StatisticEngineeringVerificationSoftware EngineeringProbabilistic Computation +19