Baoluo Meng

dblp:186/8457 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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
FMCAD7
2024 Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments
Chen Zhao 0010, Minglai Shao 0001, Baoluo Meng, Xujiang Zhao
IJCAI4
2024 Assurance Case Synthesis from a Curated Semantic Triplestore
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling
SAFECOMP2
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
FMCAD1
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
PADL2
2022 Sort race
abstract
Abstract 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
SAFECOMP1
2017 Relational Constraint Solving in SMT
Baoluo Meng, Andrew Reynolds 0001, Cesare Tinelli, Clark W. Barrett
CADE1