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 × Finland
1 × Germany
2 × India
2 × United Kingdom
8 × USA
Collaborated with:
∅ Z.M.Ariola N.Dave J.E.Stoy X.Shen D.L.Rosenband M.King M.Katelman J.Maessen S.Aditya P.S.Barth R.S.Nikhil K.P.Gostelow W.Plouffe R.Y.Kain E.Sadeh M.Vijayaraghavan A.Chlipala Chanwoo Chung Jinhyung Koo Junsu Im S.Lee
Talks about:
hardwar (4) parallel (3) languag (3) softwar (2) modular (2) generat (2) strict (2) design (2) verif (2) innov (2)

Person: Arvind

DBLP DBLP: Arvind:

Contributed to:

CAV 20152015
ASPLOS 20122012
HPCA 20102010
PPoPP 20102010
FM 20082008
DAC 20042004
FME 20012001
OOPSLA 20002000
FPCA 19951995
FPCA 19911991
PEPM 19911991
FPCA 19891989
SOSP 19771977
SOSP 19731973
ASPLOS 20192019

Wrote 15 papers:

CAV-2015-VijayaraghavanC #composition #deduction #design #hardware #multi #verification
Modular Deductive Verification of Multiprocessor Hardware Designs (MV, AC, A, ND), pp. 109–127.
ASPLOS-2012-KingDA #automation #generative #hardware #interface
Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
HPCA-2010-Arvind #hardware #question
Is hardware innovation over? (A), p. 1.
PPoPP-2010-Arvind #hardware #question
Is hardware innovation over? (A), pp. 103–104.
FM-2008-ArvindDK #design #verification
Getting Formal Verification into Design Flow (A, ND, MK), pp. 12–32.
DAC-2004-RosenbandA #composition #scheduling
Modular scheduling of guarded atomic actions (DLR, A), pp. 55–60.
FME-2001-StoySA #correctness #protocol #proving
Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.
OOPSLA-2000-MaessenAS #java #memory management #using
Improving the Java memory model using CRF (JWM, A, XS), pp. 1–12.
FPCA-1995-AdityaAS #semantics #strict
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.
FPCA-1991-BarthNA #functional #named #parallel #strict
M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.
PEPM-1991-AriolaA #approach #program transformation
A Syntactic Approach to Program Transformations (ZMA, A), pp. 116–129.
FPCA-1989-AriolaA #named #parallel
P-TAC: A Parallel Intermediate Language (ZMA, A), pp. 230–242.
SOSP-1977-ArvindGP #data flow #monitoring
Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.
SOSP-1973-ArvindKS #generative #on the #process #string
On Reference String Generation Processes (A, RYK, ES), pp. 80–87.
ASPLOS-2019-ChungKIAL #named
LightStore: Software-defined Network-attached Key-value Drives (CC, JK, JI, A, SL), pp. 939–953.
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.