Travelled to:1 × India
1 × Spain
Collaborated with:A.Cheung R.Bodík J.Li Y.Xiong Z.Hu C.Omar J.Aldrich Y.Feng I.Dillig J.Jiang Xiangyu Luo L.Z.0023
Talks about:program (2) between (2) exampl (2) queri (2) type (2) mani (2) api (2) transform (1) synthes (1) express (1)
Person: Chenglong Wang
DBLP: Wang:Chenglong
Contributed to:
2015
2015
2016
2018
2017
2020Wrote 6 papers:
- PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety
- SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
- SAC-2015-OmarWA #composition #metaprogramming #syntax
- Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
- ECOOP-2016-WangJLXLZH #api #source code
- Transforming Programs between APIs with Many-to-Many Mappings (CW, JJ, JL, YX, XL, LZ0, ZH), p. 26.
- OOPSLA-2018-WangCB #query #reasoning #relational
- Speeding up symbolic reasoning for relational queries (CW, AC, RB), p. 25.
- PLDI-2017-WangCB #query #sql
- Synthesizing highly expressive SQL queries from input-output examples (CW, AC, RB), pp. 452–466.
- POPL-2020-WangFBCD #visualisation
- Visualization by example (CW, YF, RB, AC, ID), p. 28.