BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Canada
3 × USA
Collaborated with:
P.Chauhan J.Huh K.Nam Q.Jacobson S.Bennett J.E.Smith D.Goyal G.Hasteer A.Mathur A.Mishchenko N.Eén R.K.Brayton M.L.Case Z.Yue E.Litt C.J.Cai J.Stern K.Baxter Z.Guan G.(.Zhang J.P.Near D.Darais Chike Abuah Tim Stevens Pranav Gaddamadugu L.Wang Neel Somani Mu Zhang 0001 Alex Shan D.Song
Talks about:
sequenti (2) role (2) multiscalar (1) understand (1) photograph (1) differenti (1) processor (1) sensemak (1) research (1) treasur (1)

Person: Nikhil Sharma

DBLP DBLP: Sharma:Nikhil

Contributed to:

CHI 20142014
DATE 20132013
CHI 20112011
CHI 20102010
DAC 20092009
HPCA 19971997
OOPSLA 20192019

Wrote 7 papers:

CHI-2014-YueLCSBGSZ #experience #research
Photographing information needs: the role of photos in experience sampling method-style research (ZY, EL, CJC, JS, KB, ZG, NS, G(Z), pp. 1545–1554.
DATE-2013-MishchenkoEBCCS
A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.
CHI-2011-Sharma
Role of available and provided resources in sensemaking (NS), pp. 1807–1816.
CHI-2010-HuhNS #comprehension #reuse #using
Finding the lost treasure: understanding reuse of used computing devices (JH, KN, NS), pp. 1875–1878.
DAC-2009-ChauhanGHMS #equivalence
Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
HPCA-1997-JacobsonBSS #control flow #multi
Control Flow Speculation in Multiscalar Processors (QJ, SB, NS, JES), pp. 218–229.
OOPSLA-2019-NearDASGWSZSSS #difference #higher-order #linear #named #privacy #type system
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy (JPN, DD, CA, TS, PG, LW, NS, MZ0, NS, AS, DS), p. 30.

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.