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 × France
1 × Germany
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
N.Dershowitz D.Gangopadhyay G.Sivakumar I.Laguna D.H.Ahn S.Bagchi M.Schulz T.Gamblin
Talks about:
object (2) chart (2) obj (2) progress (1) parallel (1) jeopardi (1) behavior (1) tangibl (1) reactiv (1) environ (1)

Person: Subrata Mitra

DBLP DBLP: Mitra:Subrata

Contributed to:

PLDI 20142014
RTA 19991999
ECOOP 19931993
TOOLS USA 19931993
CADE 19921992
ALP 19901990

Wrote 6 papers:

PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability
Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.
RTA-1999-DershowitzM
Jeopardy (ND, SM), pp. 16–29.
ECOOP-1993-GangopadhyayM #behaviour #named #specification
ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.
TOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation
ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.
CADE-1992-DershowitzMS #convergence #decidability
Decidable Matching for Convergent Systems (ND, SM, GS), pp. 589–602.
ALP-1990-DershowitzMS #equation
Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.

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.