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 × Cyprus
1 × France
1 × South Africa
1 × USA
Collaborated with:
S.A.Seshia S.Gulwani A.Tiwari R.Limaye R.Venkatesan D.King D.Muthukumaran T.Jaeger S.Jha
Talks about:
synthesi (2) program (2) placement (1) arithmet (1) vector (1) solver (1) mediat (1) effici (1) compon (1) beaver (1)

Person: Susmit Jha

DBLP DBLP: Jha:Susmit

Contributed to:

PLDI 20112011
ESOP 20102010
ICSE 20102010
CAV 20092009

Wrote 4 papers:

PLDI-2011-GulwaniJTV #source code #synthesis
Synthesis of loop-free programs (SG, SJ, AT, RV), pp. 62–73.
ESOP-2010-KingJMJJS #automation #security
Automating Security Mediation Placement (DK, SJ, DM, TJ, SJ, SAS), pp. 327–344.
ICSE-2010-JhaGST #component #synthesis
Oracle-guided component-based program synthesis (SJ, SG, SAS, AT), pp. 215–224.
CAV-2009-JhaLS #named #performance #smt
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic (SJ, RL, SAS), pp. 668–674.

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.