Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers
Daniel Mendoza, Christopher Hahn, Caroline Trippel
FMCAD 2024: 24th Conference on Formal Methods in Computer-Aided Design (To Appear)
MGit: A Model Versioning and Management System
Wei Hao*, Daniel Mendoza*, Rafael Mendes, Deepak Narayanan, Amar Phanishayee, Asaf Cidon, Junfeng Yang
ICML 2024: 41st International Conference on Machine Learning
Model Selection for Latency-Critical Inference Serving
Daniel Mendoza, Francisco Romero, Caroline Trippel
Eurosys 2024: 19th European Conference on Computer Systems
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
CAV 2023: 35th International Conference on Computer Aided Verification
Interference-Aware Scheduling for Inference Serving
Daniel Mendoza, Francisco Romero, Qian Li, Neeraja J. Yadwadkar, Christos Kozyrakis
EuroMLSys 2021: Proceedings of the 1st Workshop on Machine Learning and Systems
Pushing the Limits of Parallel Discrete Event Simulation for SystemC
Rainer Doemer, Zhongqi Cheng, Daniel Mendoza, Emad Arasteh
A Journey of Embedded and Cyber-Physical Systems 2021
Lazy Event Prediction using defining trees and schedule bypass for out-of-order PDES
Daniel Mendoza, Zhongqi Cheng, Emad Arasteh, Rainer Doemer
DATE 2020: Proceedings of the Design, Automation and Test in Europe Conference
Integrating Parallel SystemC Simulation into Simics Virtual Platform
Daniel Mendoza, Ajit Dingankar, Zhongqi Cheng, Rainer Doemer
DVCon Europe 2019: Proceedings of the Design and Verification Conference in Europe
RISC Compiler and Simulator, Release V0.6.0: Out-of-Order Parallel Simulatable SystemC Subset
Guantao Liu, Tim Schmidt, Zhongqi Cheng, Daniel Mendoza, Rainer Doemer
Center for Embedded and Cyber-Physical Systems, Technical Report 2019
RISC: Recoding Infrastructure for SystemC, Open Source Framework for Parallel Simulation
Rainer Doemer, Zhongqi Cheng, Daniel Mendoza, Ajit Dingankar
Workshop on Open Source EDA Technology at ICCAD 2018
A Tool for Visualization of SystemC Models
Daniel Mendoza, Rainer Doemer
Center for Embedded and Cyber-Physical Systems, Technical Report 2017