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 × Denmark
1 × Germany
1 × Hungary
1 × Italy
1 × South Africa
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
M.R.K.K.Rao H.J.Shah D.Kapur R.N.Kundaji B.Wang N.V.N.Kumar P.Varma P.K.Pandya G.Berry S.Ramesh K.T.Narayana T.Pitassi S.Agarwal R.Barik V.Sarkar S.A.Seshia A.K.Bhattacharjee S.D.Dhodapkar
Talks about:
program (5) termin (3) reactiv (2) develop (2) semant (2) prove (2) logic (2) well (2) nondeterminist (1) cryptograph (1)

Person: R. K. Shyamasundar

DBLP DBLP: Shyamasundar:R=_K=

Contributed to:

ICSE 20102010
ESEC/FSE 20092009
PPoPP 20072007
ICLP 20042004
VMCAI 20022002
World Congress on Formal Methods 19991999
SAS 19951995
FME 19931993
ICLP 19931993
POPL 19931993
CSL 19911991
PLILP 19901990
ICALP 19871987

Wrote 13 papers:

ICSE-2010-KumarSS #for free
Can we certify systems for freedom from malware (NVNK, HJS, RKS), pp. 175–178.
ESEC-FSE-2009-VarmaSS #memory management
Backward-compatible constant-time exception-protected memory (PV, RKS, HJS), pp. 71–80.
PPoPP-2007-AgarwalBSS #analysis #source code
May-happen-in-parallel analysis of X10 programs (SA, RB, VS, RKS), pp. 183–193.
ICLP-2004-KundajiS #calculus #development #refinement #semantics
Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.
VMCAI-2002-Shyamasundar #encryption #framework #protocol
Analyzing Cryptographic Protocols in a Reactive Framework (RKS), pp. 46–64.
FM-v2-1999-SeshiaSBD
A Translation of Statecharts to Esterel (SAS, RKS, AKB, SDD), pp. 983–1007.
SAS-1995-RaoS #execution #prolog #source code
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
FME-1993-RaoPS #compilation #development #tool support #verification
Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
ICLP-1993-RaoKS #haskell #proving #source code #termination
Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
POPL-1993-BerryRS #communication #process
Communicating Reactive Processes (GB, SR, RKS), pp. 85–98.
CSL-1991-RaoKS #logic programming #proving #source code #termination
A Transformational Methodology for Proving Termination of Logic Programs (MRKKR, DK, RKS), pp. 213–226.
PLILP-1990-WangS #logic programming #source code #termination #towards
Towards a Characterization of Termination of Logic Programs (BW, RKS), pp. 204–221.
ICALP-1987-ShyamasundarNP #network #nondeterminism #semantics
Semantics for Nondeterministic Asynchronous Broadcast Networks (RKS, KTN, TP), pp. 72–83.

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.