Travelled to:1 × France
1 × USA
2 × United Kingdom
Collaborated with:Aravinda Prasad Ashish Panwar M.C.Kumar A.Roy J.L.Hennessy S.Bansal V.K.Shanbhag M.Turunen A.Ahtiainen M.Luukkainen
Talks about:model (3) page (2) huge (2) probabilist (1) procrastin (1) synchron (1) recoveri (1) protocol (1) function (1) support (1)
Person: K. Gopinath
DBLP: Gopinath:K=
Contributed to:
2007
20052001
1989
201620182019Wrote 7 papers:
- SEFM-2007-KumarG #modelling #validation
- Recovery from DoS Attacks in MIPv6: Modeling and Validation (MCK, KG), pp. 205–214.
- CAV-2005-0002G #modelling #probability #protocol #verification
- Improved Probabilistic Models for 802.11 Protocol Verification (AR, KG), pp. 239–252.
- CAV-2001-ShanbhagGTAL #model checking #named
- EASN: Integrating ASN.1 and Model Checking (VKS, KG, MT, AA, ML), pp. 382–386.
- POPL-1989-GopinathH #functional
- Copy Elimination in Functional Languages (KG, JLH), pp. 303–314.
- ASPLOS-2016-PrasadG #memory management
- Prudent Memory Reclamation in Procrastination-Based Synchronization (AP, KG), pp. 99–112.
- ASPLOS-2018-PanwarPG
- Making Huge Pages Actually Useful (AP, AP, KG), pp. 679–692.
- ASPLOS-2019-PanwarBG #fine-grained #named #performance
- HawkEye: Efficient Fine-grained OS Support for Huge Pages (AP, SB, KG), pp. 347–360.