Daniel Mendoza

According to our database, Daniel Mendoza authored at least 16 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation.

Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken

CoRR, April, 2025

Ingredient-based method to create medication lists and support granular data segmentation.

Daniel Mendoza, Isca Amanda, Lin Zhao, Darwyn Chern, María Adela Grando

Health Informatics J., 2025

FHIR Granular Sensitive Data Segmentation.

Preston Lee, Daniel Mendoza, Martha Kaiser, Eric Lott, Gagandeep Singh, Adela Grando

Appl. Clin. Inform., 2025

2024

Stability Impacts of Sandia Frequency Shift Anti-Islanding on a Grid-Connected Inverter.

Daniel Mendoza, Maryam Khanbaghi

Proceedings of the 50th Annual Conference of the IEEE Industrial Electronics Society, 2024

MGit: A Model Versioning and Management System.

Wei Hao, Daniel Mendoza, Rafael Mendes, Deepak Narayanan, Amar Phanishayee, Asaf Cidon, Junfeng Yang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers.

Daniel Mendoza, Christopher Hahn, Caroline Trippel

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Model Selection for Latency-Critical Inference Serving.

Daniel Mendoza, Francisco Romero, Caroline Trippel

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

MGit: A Model Versioning and Management System.

Wei Hao, Daniel Mendoza, Rafael da Silva, Deepak Narayanan, Amar Phanishayee

CoRR, 2023

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Dynamic Network Adaptation at Inference.

Daniel Mendoza, Caroline Trippel

CoRR, 2022

A Transfer Learning Model for Polarity in Touristic Reviews in Spanish from TripAdvisor.

Daniel Mendoza, Jorge Ramos-Zavaleta, Adrian Rodríguez

Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2022) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2022), 2022

2021

Interference-Aware Scheduling for Inference Serving.

Daniel Mendoza, Francisco Romero, Qian Li, Neeraja J. Yadwadkar, Christos Kozyrakis

Proceedings of the EuroMLSys@EuroSys 2021, 2021

Pushing the Limits of Parallel Discrete Event Simulation for SystemC.

Rainer Dömer, Zhongqi Cheng, Daniel Mendoza, Emad Malekzadeh Arasteh

Proceedings of the A Journey of Embedded and Cyber-Physical Systems, 2021

2020

Local rainfall modelling based on global climate information: A data-based approach.

Daniel Mendoza, Esteban P. Samaniego, Diego E. Mora, Mauricio Espinoza, Esteban A. Pacheco, Alex M. Avilés

Environ. Model. Softw., 2020

Lazy Event Prediction using Defining Trees and Schedule Bypass for Out-of-Order PDES.

Daniel Mendoza, Zhongqi Cheng, Emad Malekzadeh Arasteh, Rainer Dömer

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2017

A robust video identification framework using perceptual image hashing.

Francisco Vega, Jose Medina, Daniel Mendoza, Victor Saquicela, Mauricio Espinoza

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017