BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gopinath:K=

Contributed to:

SEFM 20072007
CAV 20052005
CAV 20012001
POPL 19891989
ASPLOS 20162016
ASPLOS 20182018
ASPLOS 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.