Author:
Dilley Nicolas,Lange Julien
Publisher
Springer Science and Business Media LLC
Reference50 articles.
1. Borges, H., Valente, M.T.: What’s in a GitHub star? Understanding repository starring practices in a social coding platform. J. Syst. Softw. 146, 112–129 (2018). https://doi.org/10.1016/j.jss.2018.09.016
2. Castro-Perez, D., Hu, R., Jongmans, S., Ng, N., Yoshida, N.: Distributed programming using role-parametric session types in Go: statically-typed endpoint apis for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL), 29–12930 (2019)
3. Chabbi, M., Ramanathan, M.K.: A study of real-world data races in golang. In: PLDI, pp. 474–489. ACM, New York, NY, USA (2022)
4. Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: TACAS. Lecture notes in computer science, vol. 2988, pp. 168–176. Springer, Berlin, Heidelberg (2004)
5. Cordeiro, L.C., Kesseli, P., Kroening, D., Schrammel, P., Trtík, M.: JBMC: A bounded model checking tool for verifying Java bytecode. In: CAV (1). Lecture Notes in Computer Science, vol. 10981, pp. 183–190. Springer, Berlin, Heidelberg (2018)