Papers by Muhammad Asaduzzaman
SLICEFORMER: Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding (2026.acl-long)
Copied to clipboard
| Challenge: | Static program slicing is a software engineering technique for isolating code relevant to specific variables. |
| Approach: | They propose a new approach that reformulates static program slicing as a sequence-to-sequence task using small language models such as CodeT5+. |
| Outcome: | The proposed approach improves on Java and Python program slicing benchmarks with up to 22% gain in ExactMatch. |