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: Jha:Susmit
Contributed to:
2011
2010
2010
2009Wrote 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.