Publisher
Springer International Publishing
Reference42 articles.
1. Albarghouthi, A., D’Antoni, L., Drews, S., Nori, A.V.: FairSquare: probabilistic verification of program fairness. In: PACMPL, vol. 1(OOPSLA), pp. 80:1–80:30 (2017)
2. Barowy, D.W., Gochev, D., Berger, E.D.: CheckCell: data debugging for spread-sheets. In: OOPSLA, pp. 507–523 (2014)
3. Bastani, O., Zhang, X., Solar-Lezama, A.: Verifying Fairness Properties via Concentration. CoRR, abs/1812.02573 (2018)
4. Chaudhuri, S., Gulwani, S., Lublinerman, R.: Continuity and robustness of programs. Commun. ACM 55(8), 107–115 (2012)
5. Cheney, J., Ahmed, A., Acar, U.A.: Provenance as dependency analysis. Math. Struct. Comput. Sci. 21(6), 1301–1337 (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Abstract Interpretation-Based Data Leakage Static Analysis;Lecture Notes in Computer Science;2024
2. Shifting Left for Early Detection of Machine-Learning Bugs;Formal Methods;2023
3. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023
4. Statically detecting data leakages in data science code;Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2022-06-14
5. A static analysis framework for data science notebooks;Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice;2022-05-21