%0 Journal Article %1 journals/pacmpl/ChenWGDFD22 %A Chen, Yanju %A Wang, Yuepeng %A Goyal, Maruth %A Dong, James %A Feng, Yu %A Dillig, Isil %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 560-588 %T Synthesis-powered optimization of smart contracts via data type refactoring. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#ChenWGDFD22 %V 6

@article{journals/pacmpl/ChenWGDFD22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Chen, Yanju and Wang, Yuepeng and Goyal, Maruth and Dong, James and Feng, Yu and Dillig, Isil}, biburl = {https://www.bibsonomy.org/bibtex/24d43284c8630a0d35fb294248cb81f5e/dblp}, ee = {https://doi.org/10.1145/3563308}, interhash = {2219c9f7cf7ad6625cdd188768258f20}, intrahash = {4d43284c8630a0d35fb294248cb81f5e}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA2}, pages = {560-588}, timestamp = {2024-04-08T09:54:24.000+0200}, title = {Synthesis-powered optimization of smart contracts via data type refactoring.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#ChenWGDFD22}, volume = 6, year = 2022 }