Fetching the paper…
Reading the bibliography…
Large-scale software development requires dynamic and multifaceted static code analysis that extends beyond the capabilities of traditional tools.
Logic programming
Genesereth, M. R., and Ginsberg, M. L · 1985
Earlier work this paper cites.
Magic sets and other strange ways to implement logic programs
Bancilhon, F., Maier, D., Sagiv, Y., and Ullman, J. D · 1986
Earlier work this paper cites.
An amateur’s introduction to recursive query processing strategies
Bancilhon, F., and Ramakrishnan, R · 1986
Earlier work this paper cites.
What you always wanted to know about Datalog (and never dared to ask)
Ceri, S., Gottlob, G., and Tanca, L · 1989
Earlier work this paper cites.
Principles of Database and Knowledge-Base Systems, Vol. 1
Ullman, J. D · 1989
Earlier work this paper cites.
Software Change Impact Analysis
Arnold, R. S · 1996
Earlier work this paper cites.
Mapreduce: Simplified data processing on large clusters
Dean, J., and Ghemawat, S · 2004
Earlier work this paper cites.
Hadoop - The Definitive Guide: MapReduce for the Cloud
White, T · 2009
Earlier work this paper cites.
Hive - a petabyte scale data warehouse using hadoop
Thusoo, A., Sarma, J. S., Jain, N., Shao, Z., Chakka, P., Zhang, N., Antony, S., Liu, H., and Murthy, R · 2010
Earlier work this paper cites.
Practical change impact analysis based on static program slicing for industrial software systems
Acharya, M., and Robinson, B · 2011
Earlier work this paper cites.
μ \mu z- an efficient engine for fixed points with constraints
Hoder, K., Hoder, K., Bjørner, N., and De Moura, L · 2011
Cited alongside, same era.
A taxonomy for software change impact analysis
Lehnert, S · 2011
Cited alongside, same era.
Investigating the impact of design debt on software quality
Zazworka, N., Shaw, M. A., Shull, F., and Seaman, C · 2011
Cited alongside, same era.
Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing
Zaharia, M., Chowdhury, M., Das, T., Dave, A., Ma, J., McCauly, M., Franklin, M. J., Shenker, S., and Stoica, I · 2012
Cited alongside, same era.
Diver: Precise dynamic impact analysis using dependence-based trace pruning
Cai, H., and Santelices, R · 2014
Cited alongside, same era.
Moving fast with software verification
Calcagno, C., Distefano, D., Dubreil, J., Gabi, D., Hooimeijer, P., Luca, M., O’Hearn, P., Papakonstantinou, I., Purbrick, J., and Rodriguez, D · 2015
Soufflé: On synthesis of program analyzers
Jordan, H., Scholz, B., and Subotić, P · 2016
Later among the works it cites.
Lessons from building static analysis tools at google
Sadowski, C., Aftandilian, E., Eagle, A., Miller-Cushon, L., and Jaspan, C · 2018
Later among the works it cites.
Pinpoint: fast and precise sparse value flow analysis for million lines of code
Shi, Q., Xiao, X., Wu, R., Zhou, J., Fan, G., and Zhang, C · 2018
Later among the works it cites.
Scaling static analyses at facebook
Distefano, D., Fähndrich, M., Logozzo, F., and O’Hearn, P. W · 2019
Later among the works it cites.
Differential datalog
Ryzhyk, L., and Budiu, M · 2019
Later among the works it cites.
SQLite, 2020
Hipp, R. D · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Tricorder: Building a Program Analysis Ecosystem
Sadowski, C., van Gogh, J., Jaspan, C., Soderberg, E., and Winter, C · 2015
Cited alongside, same era.
QL: Object-oriented Queries on Relational Data
Avgustinov, P., de Moor, O., Jones, M. P., and Schäfer, M · 2016
Cited alongside, same era.
DistIA: a cost-effective dynamic impact analysis for distributed programs
Cai, H., and Thain, D · 2016
Cited alongside, same era.
Cloudbuild: Microsoft’s distributed and caching build service
Esfahani, H., Fietz, J., Ke, Q., Kolomiets, A., Lan, E., Mavrinac, E., Schulte, W., Sanches, N., and Kandula, S · 2016
Cited alongside, same era.
https://clang-analyzer.llvm.org/
Clang static analyzer
Cited in the paper.
https://codeql.github.com/
Codeql
Cited in the paper.
Christakis, M., Cottenier, T., Filieri, A., Luo, L., Mansur, M. N., Pike, L., Rosner, N., Schäf, M., Sengupta, A., and Visser, W · 2022
Later among the works it cites.
Large language models meet nl2code: A survey
Chen, B., Zan, D., Zhang, F., Lu, D., Wu, B., Guan, B., Wang, Y., and Lou, J.-G · 2023
Later among the works it cites.
A survey on language models for code, 2023
Zhang, Z., Chen, C., Liu, B., Liao, C., Gong, Z., Yu, H., Li, J., and Wang, R · 2023
Later among the works it cites.
A survey of large language models for code: Evolution, benchmarking, and future trends, 2023
Zheng, Z., Ning, K., Wang, Y., Zhang, J., Zheng, D., Ye, M., and Chen, J · 2023
Later among the works it cites.