186 citations · 592 across the 23 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Neural Software Analysis
Michael Pradel, Satish Chandra
Many software development problems can be addressed by program analysis tools, which traditionally are based on precise, logical reasoning and heuristics to ensure that the tools a…
cs.SE2020★ 5 cited
Satisfying Increasing Performance Requirements with Caching at the Application Level
Jhonny Mertz, Ingrid Nunes, Luca Della Toffola +2
Application-level caching is a form of caching that has been increasingly adopted to satisfy performance and throughput requirements. The key idea is to store the results of a comp…