Travelled to:1 × Italy
1 × USA
Collaborated with:S.Srivastava R.Bodík A.S.Köksal J.Fisher N.Piterman
Talks about:synthesi (2) algorithm (1) program (1) experi (1) biolog (1) order (1) mutat (1) model (1) first (1) dynam (1)
Person: Yewen Pu
DBLP: Pu:Yewen
Contributed to:
2013
2011Wrote 2 papers:
- POPL-2013-KoksalPSBFP #biology #modelling #synthesis
- Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.
- OOPSLA-2011-PuBS #algorithm #first-order #programming #synthesis
- Synthesis of first-order dynamic programming algorithms (YP, RB, SS), pp. 83–98.