Travelled to:1 × France
1 × Germany
5 × USA
Collaborated with:R.Nikolaev J.Sundararaman ∅ J.Lepreau E.K.Maxwell N.Ramakrishnan W.C.Hsieh T.Kremenek P.Twohey A.Y.Ng D.R.Engler B.Ford G.Benson A.Lin O.Shivers
Talks about:languag (2) specif (2) script (2) kernel (2) java (2) data (2) uncertainti (1) substrat (1) research (1) interact (1)
Person: Godmar Back
DBLP: Back:Godmar
Contributed to:
2013
2010
2008
2006
200220001997Wrote 7 papers:
- SOSP-2013-NikolaevB #kernel #named #operating system
- VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
- KDD-2010-MaxwellBR #graph #memory management #mining #using
- Diagnosing memory leaks using graph mining on heap dumps (EKM, GB, NR), pp. 115–124.
- SOFTVIS-2008-SundararamanB #c #c++ #interactive #java #named #runtime #visualisation
- HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java (JS, GB), pp. 47–56.
- OSDI-2006-KremenekTBNE #nondeterminism #specification
- From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
- GPCE-2002-Back #named #scripting language #specification
- DataScript — A Specification and Scripting Language for Binary Data (GB), pp. 66–77.
- OSDI-2000-BackHL #java #process #resource management
- Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.
- SOSP-1997-FordBBLLS #kernel #research
- The Flux OSKit: A Substrate for Kernel and Language Research (BF, GB, GB, JL, AL, OS), pp. 38–51.