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 × New Zealand
1 × South Africa
1 × Switzerland
1 × Turkey
1 × United Kingdom
14 × USA
2 × China
3 × Canada
Collaborated with:
C.Lattner J.Criswell D.Dhurjati R.L.B.Jr. W.Dietz A.Lenharth S.V.Adve S.K.Sahoo S.Kowshik S.Heumann N.Dautenhahn J.M.Mellor-Crummey M.Vakilian T.Kasampalis S.Wang S.T.King B.L.Chamberlain V.V.Lam B.Ensink Q.Yi K.Kennedy D.Dig J.Overbey C.Geigle P.Li J.Regehr H.Abdel-Shafi J.Hall S.Dasgupta D.P.0001 G.Rosu R.E.Johnson M.Li P.Ramachandran Y.Zhou A.Tzannes S.T.Heumann L.Eloussi M.Han N.Honarmand A.Welc T.Shpeisman R.Komuravelli P.Simmons H.Sung H.Sharif Prakalp Srivastava Muhammad Huzaifa Maria Kotsifakou Keyur Joshi Yasmin Sarita Nathan Zhao S.Misailovic
Talks about:
system (6) safe (6) parallel (5) softwar (5) effect (5) analysi (4) oper (4) architectur (3) program (3) languag (3)

Person: Vikram S. Adve

DBLP DBLP: Adve:Vikram_S=

Facilitated 1 volumes:

ASPLOS 2010Ed

Contributed to:

ASPLOS 20152015
ASPLOS 20142014
ASPLOS 20132013
PPoPP 20132013
ICSE 20122012
ECOOP 20112011
POPL 20112011
ICSE 20102010
ASE 20092009
ASPLOS 20092009
OOPSLA 20092009
ASPLOS 20082008
PPoPP 20082008
PLDI 20072007
SOSP 20072007
ICSE 20062006
PLDI 20062006
PLDI 20052005
CGO 20042004
LCTES 20032003
LCTES/OM 20012001
PLDI 20002000
PLDI 19981998
HPCA 19971997
ASE 20152015
OOPSLA 20182018
OOPSLA 20192019
PLDI 20192019

Wrote 28 papers:

ASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
ASPLOS-2014-CriswellDA #operating system
Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using
Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
PPoPP-2013-HeumannAW #concurrent
The tasks with effects model for safe concurrency (SH, VSA, SW), pp. 239–250.
ICSE-2012-DietzLRA #c #c++ #comprehension #integer
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
ECOOP-2011-BocchinoA #framework #object-oriented #parallel #programming
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks (RLBJ, VSA), pp. 306–332.
POPL-2011-BocchinoHHAAWS #nondeterminism #parallel
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
ICSE-2010-SahooCA #automation #debugging #empirical
An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.
ASE-2009-VakilianDBOAJ #summary
Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
ASPLOS-2009-LenharthAK #operating system
Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
OOPSLA-2009-BocchinoADAHKOSSV #java #parallel
A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.
ASPLOS-2008-LiRSAAZ #comprehension #design #fault
Understanding the propagation of hard errors to software and implications for resilient system design (MLL, PR, SKS, SVA, VSA, YZ), pp. 265–276.
PPoPP-2008-BocchinoAC #clustering #memory management #scalability #transaction
Software transactional memory for large scale clusters (RLBJ, VSA, BLC), pp. 247–258.
PLDI-2007-LattnerLA #analysis #points-to
Making context-sensitive points-to analysis with heap cloning practical for the real world (CL, AL, VSA), pp. 278–289.
SOSP-2007-CriswellLDA #architecture #execution #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
ICSE-2006-DhurjatiA #array #bound #c
Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
PLDI-2006-DhurjatiKA #alias #analysis #named
SAFECode: enforcing alias analysis for weakly typed languages (DD, SK, VSA), pp. 144–157.
PLDI-2005-LattnerA #automation #data type #layout #performance
Automatic pool allocation: improving performance by controlling data structure layout in the heap (CL, VSA), pp. 129–142.
CGO-2004-LattnerA #compilation #framework #named #program analysis
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CL, VSA), pp. 75–88.
LCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety
Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
LCTES-OM-2001-AdveLE #adaptation #compilation #distributed
Language and Compiler Support for Adaptive Distributed Applications (VSA, VVL, BE), pp. 238–246.
PLDI-2000-YiAK #memory management #multi #recursion
Transforming loops to recursion for multi-level memory hierarchies (QY, VSA, KK), pp. 169–181.
PLDI-1998-AdveM #integer #optimisation #program analysis #set #using
Using Integer Sets for Data-Parallel Program Analysis and Optimization (VSA, JMMC), pp. 186–198.
HPCA-1997-Abdel-ShafiHAA #communication #evaluation #multi
An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors (HAS, JH, SVA, VSA), pp. 204–215.
ASE-2015-TzannesHEVAH #parallel
Region and Effect Inference for Safe Parallelism (T) (AT, STH, LE, MV, VSA, MH), pp. 512–523.
OOPSLA-2018-DietzA #library #multi
Software multiplexing: share your libraries and statically link them too (WD, VSA), p. 26.
OOPSLA-2019-SharifSHKJSZAMA #compilation #information retrieval #named #optimisation
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations (HS, PS, MH, MK, KJ, YS, NZ, VSA, SM, SVA), p. 30.
PLDI-2019-Dasgupta0KAR #architecture #semantics #set
A complete formal semantics of x86-64 user-level instruction set architecture (SD, DP0, TK, VSA, GR), pp. 1133–1148.

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.