Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Inferbo: Infer-based numerical buffer overrun analyzer (2017). https://research.fb.com/blog/2017/02/inferbo-infer-based-buffer-overrun-analyzer/
Atkey, R.: Amortised resource analysis with separation logic. Log. Methods Comput. Sci (2011)
Bygde, S.: Static WCET analysis based on abstract interpretation and counting of elements. Ph.D. thesis (2010)
Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of C programs. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 459–465. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20398-5_33
Çiçek, E., Barthe, G., Gaboardi, M., Garg, D., Hoffmann, J.: Relational cost analysis. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL 2017, Association for Computing Machinery, New York, NY, USA (2017)
Crary, K., Weirich, S.: Resource bound certification. POPL 2000, Association for Computing Machinery, New York (2000)
Danielsson, N.A.: Lightweight semiformal time complexity analysis for purely functional data structures. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2008, New York (2008)
Distefano, D., Fähndrich, M., Logozzo, F., O’Hearn, P.W.: Scaling static analyses at facebook. Commun. ACM (2019)
Ermedahl, A., Sandberg, C., Gustafsson, J., Bygde, S., Lisper, B.: Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In: Proceedings 7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007) 6 (2007)
Hoffmann, J., Das, A., Weng, S.C.: Towards automatic resource bound analysis for ocaml. SIGPLAN Not (2017)
Knoth, T., Wang, D., Reynolds, A., Hoffmann, J., Polikarpova, N.: Liquid resource types. Proc. ACM Program. Lang. (ICFP) (2020)
Wang, P., Wang, D., Chlipala, A.: Timl: A functional language for practical complexity analysis with invariants 1(OOPSLA) (2017)
Wilhelm, R., et al.: The worst-case execution-time problem–overview of methods and survey of tools. ACM Trans. Embed. Comput, Syst (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Çiçek, E., Bouaziz, M., Cho, S., Distefano, D. (2020). Static Resource Analysis at Scale (Extended Abstract). In: Pichardie, D., Sighireanu, M. (eds) Static Analysis. SAS 2020. Lecture Notes in Computer Science(), vol 12389. Springer, Cham. https://doi.org/10.1007/978-3-030-65474-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-65474-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-65473-3
Online ISBN: 978-3-030-65474-0
eBook Packages: Computer ScienceComputer Science (R0)