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 × France
1 × Germany
1 × Israel
1 × Italy
1 × Portugal
1 × Sweden
19 × USA
Collaborated with:
∅ R.Jagadeesan D.Cunningham M.C.Rinard K.M.Kahn V.Sarkar C.v.Praun O.Tardieu V.Gupta B.Herta R.Bodík I.Peshansky D.Grove M.M.Michael A.Shinnar N.Nystrom C.Grothoff A.Solar-Lezama L.Tancau S.A.Seshia M.T.Vechev P.Panangaden J.Levy P.Kambadur S.B.Kodali Y.Zibin J.Palsberg S.Chandra C.Palamidessi F.D.Valencia B.Victor W.Marrero C.Pitcher R.Motwani R.Panigrahy S.Venkatasubramanian M.Takeuchi S.Crafa S.Krishnamoorthy B.Bloom A.Sabharwal H.Samulowitz G.Arnold P.Charles C.Donawa A.Kielstra K.Ebcioglu A.Iyengar K.Kawachiya H.Murata M.Vaziri G.Bikshandi J.G.Castaños V.K.Nandivada S.Sur P.Varma T.Wen
Talks about:
program (13) constraint (9) concurr (8) semant (4) object (3) time (3) distribut (2) constrain (2) approach (2) problem (2)

Person: Vijay A. Saraswat

DBLP DBLP: Saraswat:Vijay_A=

Facilitated 1 volumes:

ILPS 1991Ed

Contributed to:

ECOOP 20142014
PPoPP 20142014
ECOOP 20122012
OOPSLA 20122012
SAT 20122012
VLDB 20122012
PPoPP 20112011
PPoPP 20092009
OOPSLA 20082008
PPoPP 20082008
PLDI 20072007
PPoPP 20072007
ASPLOS 20062006
LICS 20062006
OOPSLA 20052005
PPDP 20052005
STOC 20002000
POPL 19951995
LICS 19941994
LICS 19921992
POPL 19911991
ICLP 19901990
NACLP 19901990
OOPSLA 19901990
POPL 19901990
ICLP/SPL 19881988
POPL 19871987
SLP 19871987

Wrote 31 papers:

ECOOP-2014-CrafaCSST #semantics
Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.
PPoPP-2014-CunninghamGHIKMSTT #performance #programming
Resilient X10: efficient failure-aware programming (DC, DG, BH, AI, KK, HM, VAS, MT, OT), pp. 67–80.
PPoPP-2014-TardieuHCGKSSTV
X10 and APGAS at Petascale (OT, BH, DC, DG, PK, VAS, AS, MT, MV), pp. 53–66.
ECOOP-2012-ZibinCPS
Object Initialization in X10 (YZ, DC, IP, VAS), pp. 207–231.
OOPSLA-2012-TardieuNPS
Constrained kinds (OT, NN, IP, VAS), pp. 811–830.
SAT-2012-BloomGHSSS #framework #game studies #named #parallel #satisfiability #scalability
SatX10: A Scalable Plug&Play Parallel SAT Framework — (BB, DG, BH, AS, HS, VAS), pp. 463–468.
VLDB-2012-ShinnarCHS #in memory #named #performance
M3R: Increased performance for in-memory Hadoop jobs (AS, DC, BH, VAS), pp. 1736–1747.
PPoPP-2011-SaraswatKKGK
Lifeline-based global load balancing (VAS, PK, SBK, DG, SK), pp. 201–212.
PPoPP-2009-BikshandiCKNPSSVW #implementation #multi #performance #source code
Efficient, portable implementation of asynchronous multi-place programs (GB, JGC, SBK, VKN, IP, VAS, SS, PV, TW), pp. 271–282.
PPoPP-2009-MichaelVS
Idempotent work stealing (MMM, MTV, VAS), pp. 45–54.
OOPSLA-2008-NystromSPG #object-oriented
Constrained types for object-oriented languages (NN, VAS, JP, CG), pp. 457–474.
PPoPP-2008-ChandraSSB #analysis #data type #distributed #locality #type inference
Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
PLDI-2007-Solar-LezamaATBSS #sketching
Sketching stencils (ASL, GA, LT, RB, VAS, SAS), pp. 167–178.
PPoPP-2007-SaraswatJMP #formal method #memory management #modelling
A theory of memory models (VAS, RJ, MMM, CvP), pp. 161–172.
PPoPP-2007-SaraswatSP #architecture #concurrent #named #programming
X10: concurrent programming for modern architectures (VAS, VS, CvP), p. 271.
ASPLOS-2006-Solar-LezamaTBSS #combinator #finite #sketching #source code
Combinatorial sketching for finite programs (ASL, LT, RB, SAS, VAS), pp. 404–415.
LICS-2006-PalamidessiSVV #on the #persistent #π-calculus
On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
OOPSLA-2005-CharlesGSDKEPS #approach #clustering #named #object-oriented
X10: an object-oriented approach to non-uniform cluster computing (PC, CG, VAS, CD, AK, KE, CvP, VS), pp. 519–538.
PPDP-2005-JagadeesanM #approach #constraints #declarative #programming
Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.
STOC-2000-MotwaniPSV #decidability #on the #problem
On the decidability of accessibility problems (RM, RP, VAS, SV), pp. 306–315.
POPL-1995-SaraswatJG #concurrent #constraints #programming
Default Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 272–285.
LICS-1994-SaraswatJG #concurrent #constraints #programming
Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.
LICS-1992-Saraswat #constraints
The Category of Constraint Systems is Cartesian-Closed (VAS), pp. 341–345.
POPL-1991-SaraswatRP #concurrent #constraints #programming #semantics
Semantic Foundations of Concurrent Constraint Programming (VAS, MCR, PP), pp. 333–352.
CLP-1990-Saraswat90 #concurrent #constraints #paradigm #programming
The Paradigm of Concurrent Constraint Programming (VAS), pp. 777–778.
NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards
Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.
OOPSLA-ECOOP-1990-KahnS #concurrent #constraints #programming
Actors as a Special Case of Concurrent Constraint Programming (KMK, VAS), pp. 57–66.
POPL-1990-SaraswatR #concurrent #constraints #programming
Concurrent Constraint Programming (VAS, MCR), pp. 232–245.
JICSCP-1988-Saraswat88 #logic
A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.
POPL-1987-Saraswat #concurrent #logic programming #programming language #semantics
The Concurrent Logic Programming Language CP: Definition and Operational Semantics (VAS), pp. 49–62.
SLP-1987-Saraswat87 #haskell #named #problem #semantics
GHC: Operational Semantics, Problems, and Relationships with CP(|, |) (VAS), pp. 347–358.
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.