3 citations · 7 across the 7 of their papers we have counts for
8 papers
Type Safety via Hoare Logic with Separation and Pure Types
Wenhua Li, Darius Foo, Quang Trung Ta +1
Type safety has traditionally rested on carefully crafted type systems, under the motto "well-typed programs cannot go wrong". Modern demands push type systems past this basic guar…
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…
FLAC: A Robust Failure-Aware Atomic Commit Protocol for Distributed Transactions
Hexiang Pan, Quang-Trung Ta, Meihui Zhang +3
In distributed transaction processing, atomic commit protocol (ACP) is used to ensure database consistency. With the use of commodity compute nodes and networks, failures such as s…
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…
Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo +1
We present a sequent-based deductive system for automatically proving entailments in separation logic by using mathematical induction. Our technique, called mutual explicit inducti…