My main interest is in programming languages and software
engineering in general, and functional programming, bidirectional transformation, and software adaptation in particular. I am very interested in transformational programming, and I am looking into how to apply it to automatic program optimization, systematic parallelization of
sequential programs, efficient manipulation of structured documents,
and bidirectional model transformation for software development.
Selected Recent Publications [complete list | DBLP |
Google Scholar]
Recent Keynote/Invited Talks:
- Constructive Bidirectional Programming @ TFP 2021
- Dependable Bidirectional Programming @ APSEC 2020
- Dependable View Update Strategies on Relations @ FROM 2020
- On Verification of Bidirectional Transformations @ ICFEM 2018
- Verification of Roundtrip Property in Bidirectional Programming @ FMAC 2018
- Can Programming be Liberated from Unidirectional Style? @ FLOPS 2018
My old keynote/invited talks:
GRACE 2017,
KSE 2017,
SCAM'17,
JSSST'16,
APLAS'14,
FM'14,
ISHCS'13,
AWASE'13,
PEPM'13,
HOR'12.
|
I am now involved in the following international conferences,
journals, and communities. Please consider
submission of your papers and participation in the related events.
- Member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
- Editorial Board Members:
Science of Computer Programming,
Software and Systems Modeling,
Journal of Object Technology,
National Science Review,
SCIENCE CHINA Information Sciences
- Organizers:
MODELS 2021 (GC Co-Chair),
PEPM 2020 (PC Co-Chair),
SoICT 2019 (General Co-Chair)
- PC Members:
ICFP 2023,
POPL 2023,
SLE 2022,
APLAS 2022,
Euro-Par 2022,
SEAMS 2022,
FLOPS 2022,
ESOP 2021,
SEAMS 2021,
ECMFA 2021,
IFL 2020,
SEAMS 2020 (MIP Award Committee Chair),
FLOPS 2020,
PPDP 2019,
FM 2019,
MPC 2019,
SEAMS 2019,
POPL 2019,
ICFEM 2018,
MODELS 2018,
ICFP 2018 (ERC),
SEAMS 2018,
FASE 2018,
ICDE 2018,
FHPC 2017,
Internetware 2017,
ECMFA 2017,
PEPM 2017
You may find more information about my activities by clicking
here.
|