\input zb-basic
\input zb-ioport
\iteman{io-port 70928590}
\itemau{John, Lizy Kurian}
\itemti{Proprietary code to non-proprietary benchmarks: synthesis techniques for scalable benchmarks}
\itemso{ICPE, 1-2 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1958746.1958748}
\end