BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Italy
1 × New Zealand
1 × Switzerland
3 × USA
Collaborated with:
R.Alur E.A.Emerson R.Majumdar V.S.Prabhu R.Samanta S.Chaudhuri S.Sankaranarayanan P.Gupta G.Ramalingam V.P.Ranganath K.Vaswani M.Vazquez-Chanlatte X.Jin S.A.Seshia L.D'Antoni M.Raghothaman Y.Yuan A.Udupa A.Raghavan S.Mador-Haim M.M.K.Martin S.Gao J.Kapinski N.Roohi A.Solar-Lezama N.Aréchiga S.Kong
Talks about:
concurr (2) analysi (2) system (2) robust (2) proof (2) logic (2) data (2) nondeterminist (1) skorokhod (1) parameter (1)

Person: Jyotirmoy V. Deshmukh

DBLP DBLP: Deshmukh:Jyotirmoy_V=

Facilitated 2 volumes:

ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

CAV 20152015
LICS 20132013
PLDI 20132013
VMCAI 20132013
ICALP (2) 20112011
ESOP 20102010
ASE 20092009
TACAS 20062006
CAV (1) 20172017
CAV (2) 20192019

Wrote 10 papers:

CAV-2015-DeshmukhMP #consistency #metric #using
Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.
LICS-2013-AlurDDRY #automaton
Regular Functions and Cost Register Automata (RA, LD, JVD, MR, YY), pp. 13–22.
PLDI-2013-UdupaRDMMA #named #protocol #specification
TRANSIT: specifying protocols with concolic snippets (AU, AR, JVD, SMH, MMKM, RA), pp. 287–296.
VMCAI-2013-SamantaDC #analysis #robust
Robustness Analysis of Networked Systems (RS, JVD, SC), pp. 229–247.
ICALP-v2-2011-AlurD #nondeterminism #streaming #string #transducer
Nondeterministic Streaming String Transducers (RA, JVD), pp. 1–20.
ESOP-2010-DeshmukhRRV #concurrent #logic #proving
Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.
ASE-2009-DeshmukhES #analysis #concurrent #library
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.
TACAS-2006-DeshmukhEG #automation #data type #verification
Automatic Verification of Parameterized Data Structures (JVD, EAE, PG), pp. 27–41.
CAV-2017-Vazquez-Chanlatte #clustering #learning #logic
Logical Clustering and Learning for Time-Series Data (MVC, JVD, XJ, SAS), pp. 305–325.
CAV-2019-GaoKDRSAK #induction #proving
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.

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.