1 citations · 1 across the 2 of their papers we have counts for
5 papers
NL2SQLBench: A Modular Benchmarking Framework for LLM-Enabled NL2SQL Solutions
Shizheng Hou, Wenqi Pei, Nuo Chen +3
Natural Language to SQL (NL2SQL) technology empowers non-expert users to query relational databases without requiring SQL expertise. While large language models (LLMs) have greatly…
Scalable and Modular Robustness Analysis of Deep Neural Networks
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo +2
As neural networks are trained to be deeper and larger, the scalability of neural network analyzers is urgently required. The main technical insight of our method is modularly anal…
A Transactional Perspective on Execute-order-validate Blockchains
Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta +3
Smart contracts have enabled blockchain systems to evolve from simple cryptocurrency platforms, such as Bitcoin, to general transactional systems, such as Ethereum. Catering for em…
The Disruptions of 5G on Data-driven Technologies and Applications
Dumitrel Loghin, Shaofeng Cai, Gang Chen +12
With 5G on the verge of being adopted as the next mobile network, there is a need to analyze its impact on the landscape of computing and data management. In this paper, we analyze…
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo +1
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs. At present, one of its bigge…