Scholar
George Varghese
Google Scholar ID: 0LFeICYAAAAJ
Manipal Institute of Technology
I. C. Engines
Renewable Energy
Biodiesel
emission control
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
69
H-index
4
i10-index
1
Publications
7
Co-authors
0
Publications
7 items
Can LLMs help find Ambiguities in Protocol Specifications?
2026
Cited
0
Towards Simple Models of Complex SmartNICs
2026
Cited
0
CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
2026
Cited
0
LLM-Based Config Synthesis requires Disambiguation
2025
Cited
0
Extremal Testing for Network Software using LLMs
2025
Cited
0
Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures
2025
Cited
0
Scaling IP Lookup to Large Databases using the CRAM Lens
2025
Cited
0
