VLDB 2026 Research / reviewers in the wild / expert
Baoluo Meng
dblp:186/8457
· DBLP profile ↗
8ranked-venue papers
3as first author
7since 2021 · last 2024
0000-0002-3284-1969ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 1 first-author · 4 since 2021Theory of computation · 3 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 2 · 1 first-author · 1 since 2021Security and privacy · 2 · 1 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Haoze Wu 0001, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett |
FMCAD | 7 |
| 2024 | Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments
Chen Zhao 0010, Minglai Shao 0001, Baoluo Meng, Xujiang Zhao |
IJCAI | 4 |
| 2024 | Assurance Case Synthesis from a Curated Semantic Triplestore
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
SAFECOMP | 2 |
| 2023 | Towards a Correct-by-Construction Design of Integrated Modular Avionics
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Tim Oates 0001 |
FMCAD | 1 |
| 2023 | UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos |
PADL | 2 |
| 2022 | Sort raceabstractAbstract Sorting is one of the oldest computing problems and is still very important in the age of big data. Numerous algorithms and implementation techniques have been proposed. In this study, we focus on comparison based, internal sorting algorithms. We created 12 types of data of various sizes for experiments and tested extensively various implementations in a single setting. Using some effective techniques, we found that quicksort is adaptive to nearly sorted inputs and is still the best overall sorting algorithm. We also identified techniques that are effective in timsort, which is one of the most popular and efficient sorting methods based on natural mergesort. In addition, we created a version of our own mergesort, which performs better than timsort on nearly sorted instances. Our implementations of quicksort and mergesort are different from other implementations reported in all textbooks or research articles, and are faster than any version of the C library qsort functions not only for randomly generated data, but also for various types of nearly sorted data. This work can aid the user to choose the best sorting algorithm for the hard sorting job at hand, and provides a platform for anyone to test their own sorting algorithm against the best in the field. Hantao Zhang 0001, Baoluo Meng |
Softw. Pract. Exp. | 2 |
| 2021 | Automating the Assembly of Security Assurance Case Fragments
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
SAFECOMP | 1 |
| 2017 | Relational Constraint Solving in SMT
Baoluo Meng, Andrew Reynolds 0001, Cesare Tinelli, Clark W. Barrett |
CADE | 1 |