Sotabase

Career

· Researcher at Software Systems Laboratory (SSL), Columbia University

Publications (109)

Julia: A Generic Static Analyser for the Java Bytecode
2005
679
cited
Biological network analysis with CentiScaPe: centralities and experimental dataset integration
F1000Research · 2014
148
cited
Static analysis of Android programs
Information and Software Technology · 2011
100
cited
A Termination Analyser for Java Bytecode Based on Path-Length
2009
95
cited
Information Flow Analysis for Java Bytecode
International Conference on Verification, Model Checking and Abstract Interpretation · 2005
83
cited
Pair-Sharing Analysis of Object-Oriented Programs
Sensors Applications Symposium · 2005
64
cited
Static analysis for discovering IoT vulnerabilities
International Journal on Software Tools for Technology Transfer (STTT) · 2020
64
cited
Static Analysis for GDPR Compliance
Italian Conference on Cybersecurity · 2018
56
cited
A termination analyzer for Java bytecode based on path-length
ACM Transactions on Programming Languages and Systems · 2010
48
cited
Class analyses as abstract interpretations of trace semantics
TOPL · 2003
47
cited
Abstract Interpretation of Prolog Programs
International Conference on Algebraic Methodology and Software Technology · 1999
43
cited
Path-Length Analysis for Object-Oriented Programs
2006
41
cited
Precise null-pointer analysis
Journal of Software and Systems Modeling · 2011
41
cited
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
International Conference on Verification, Model Checking and Abstract Interpretation · 2006
38
cited
The Julia Static Analyzer for Java
Sensors Applications Symposium · 2016
37
cited
Creating, generating and comparing random network models with NetworkRandomizer
F1000Research · 2017
36
cited
Static Identification of Injection Attacks in Java
ACM Transactions on Programming Languages and Systems · 2019
36
cited
Vulnerability analysis of Android auto infotainment apps
ACM International Conference on Computing Frontiers · 2018
34
cited
Finding the shortest path with PesCa: a tool for network reconstruction
F1000Research · 2015
33
cited
Security Analysis of the OWASP Benchmark with Julia
Italian Conference on Cybersecurity · 2017
28
cited
Sotabase
Fausto Spoto | Researcher Profile | Sotabase | Sotabase