George Kastrinis

Publications

359

Citations

H-Index

2013

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

George Kastrinis is an author at National and Kapodistrian University of Athens specializing in program analysis, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisData ScienceFormal MethodsSoftware TestingFormal VerificationKnowledge DiscoverySoftware Engineering

Publications per year

2013–2018

Publications

Hybrid context-sensitivity for points-to analysis

George Kastrinis, Yannis Smaragdakis · 2013 · 132 citations

Llm Fine-tuning, Context-sensitive Points-to Analysis, Engineering +25

Introspective analysis

Yannis Smaragdakis, George Kastrinis, George Balatsouras · 2014 · 104 citations

Engineering, Software Engineering, Software Analysis +18

Hybrid context-sensitivity for points-to analysis

George Kastrinis, Yannis Smaragdakis · ACM SIGPLAN Notices · 2013 · 30 citations

Llm Fine-tuning, Context-sensitive Points-to Analysis, Engineering +25

Set-based pre-processing for points-to analysis

Yannis Smaragdakis, George Balatsouras, George Kastrinis · 2013 · 27 citations

Engineering, Universal Optimization Technique, Points-to Analysis +25

Static analysis of Java dynamic proxies

George Fourtounis, George Kastrinis, Yannis Smaragdakis · 2018 · 24 citations

Rows per page

1–5 of 8