More Like this

1. Real-time MLton: A Standard ML runtime for real-time functional programs

   https://doi.org/10.1017/S0956796821000174  

   SHIVKUMAR, BHARGAV; MURPHY, JEFFREY; ZIAREK, LUKASZ (January 2021, Journal of Functional Programming)

   Abstract There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain-specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper, we present our current work on leveraging Standard ML (SML) in the embedded and real-time domains. Specifically, we detail our experiences in modifying MLton, a whole-program optimizing compiler for SML, for use in such contexts. We focus primarily on the language runtime, reworking the threading subsystem, object model, and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML. 

   more » « less
2. Machine Learning in Real-Time Internet of Things (IoT) Systems: A Survey

   https://doi.org/10.1109/JIOT.2022.3161050  

   Bian, Jiang; Arafat, Abdullah Al; Xiong, Haoyi; Li, Jing; Li, Li; Chen, Hongyang; Wang, Jun; Dou, Dejing; Guo, Zhishan (March 2022, IEEE Internet of Things Journal)
3. PlanGenLLMs: A Modern Survey of LLM Planning Capabilities

   Wei, Hui; Zhang, Zihao; He, Shenghua; Xia, Tian; Pan, Shijia; Liu, Fei (January 2025, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025))
4. A High-Rate Software-Defined Underwater Acoustic Modem With Real-Time Adaptation Capabilities

   https://doi.org/10.1109/ACCESS.2018.2815026  

   Demirors, Emrecan; Sklivanitis, George; Santagati, G. Enrico; Melodia, Tommaso; Batalama, Stella N. (January 2018, IEEE Access)
5. Visualizing The Intermediate Representation of Just-in-Time Compilers

   Lim, H; Kobourov, S. (January 2021, 29th International Symposium on Graph Drawing and Network Visualization (GD))

   null (Ed.)