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: Sharma:Nikhil
Contributed to:
2014
201320112010
2009
1997
2019Wrote 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.