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: Adve:Vikram_S=
Facilitated 1 volumes:
EdContributed to:
201520142013
2013
2012
2011
20112010
20092009
200920082008
2007
2007200620062005
2004
2003200120001998
19972015201820192019Wrote 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.