Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Muhammad Naiman Jalil | Lattice

Muhammad Naiman Jalil

United Arab Emirates University, United Arab Emirates

Papers on Lattice

1

Total citations

0

Topics

1

h-index

0

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Muhammad Ali Hassan Ahmad (1)Muhammad Hashim Ali (1)Muhammad Ali Amer (1)Muhammad Hassan (1)

Papers (1)

Aug 10, 2026

Lakehead University2w ago·also DFKI, United Arab Emirates University

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction

Reducing false positives in smart contract analysis tools could save developers countless hours previously wasted on investigating non-issues.

Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Ali Amer +3

Code Generation & Program Synthesis