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: Shyamasundar:R=_K=
Contributed to:
2010
2009
2007
2004
2002
1999
199519931993
1993
1991
1990
1987Wrote 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.