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 × Canada
1 × China
1 × Ireland
1 × Turkey
7 × USA
Collaborated with:
M.M.K.Martin S.Zdancewic A.Yoga J.Zhao D.Menendez S.Burckhardt M.Musuvathi A.D.Hilton A.Roth A.Gupta I.Goiri R.Bianchini T.D.Nguyen N.P.Lopes J.Regehr P.Kothari N.Boushehrinejadmoradi V.Ganapathy L.Iftode C.DeLozier R.A.Eisenberg P.Osera
Talks about:
parallel (4) program (3) optim (3) llvm (3) base (3) framework (2) schedul (2) peephol (2) acceler (2) safeti (2)

Person: Santosh Nagarakatte

DBLP DBLP: Nagarakatte:Santosh

Contributed to:

ASPLOS 20152015
PLDI 20152015
CGO 20142014
OOPSLA 20132013
PLDI 20132013
PLDI 20122012
POPL 20122012
ASPLOS 20102010
ISMM 20102010
HPCA 20092009
PLDI 20092009
ASE 20152015
FSE 20162016
ESEC/FSE 20172017
PLDI 20172017
PLDI 20192019

Wrote 16 papers:

ASPLOS-2015-GoiriBNN #approximate #framework #named #pipes and filters
ApproxHadoop: Bringing Approximations to MapReduce Frameworks (IG, RB, SN, TDN), pp. 383–397.
PLDI-2015-LopesMNR #optimisation
Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
CGO-2014-NagarakatteMZ #named #pointer
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.
OOPSLA-2013-DeLozierENOMZ #c++ #set #type safety
Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
PLDI-2013-ZhaoNMZ #optimisation #verification
Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
PLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore
Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.
POPL-2012-ZhaoNMZ #formal method #program transformation #representation
Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
ASPLOS-2010-BurckhardtKMN #debugging #probability #random
A randomized scheduler with probabilistic guarantees of finding bugs (SB, PK, MM, SN), pp. 167–178.
ISMM-2010-NagarakatteZMZ #c #compilation #named #safety
CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
HPCA-2009-HiltonNR #named
iCFP: Tolerating all-level cache misses in in-order processors (ADH, SN, AR), pp. 431–442.
PLDI-2009-NagarakatteZMZ #bound #c #memory management #named #safety
SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.
ASE-2015-Boushehrinejadmoradi #development #framework #mobile #testing
Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
FSE-2016-YogaNG #concurrent #detection #parallel #source code
Parallel data race detection for task parallel programs with locks (AY, SN, AG), pp. 833–845.
ESEC-FSE-2017-YogaN #parallel #performance #profiling #source code
A fast causal profiler for task parallel programs (AY, SN), pp. 15–26.
PLDI-2017-MenendezN #data-driven #named #optimisation
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM (DM, SN), pp. 49–63.
PLDI-2019-YogaN #analysis #difference
Parallelism-centric what-if and differential analyses (AY, SN), pp. 485–501.

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.