Alejandro Molina

According to our database, Alejandro Molina authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Shifting Left for Early Detection of Machine-Learning Bugs.

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser

Proceedings of the Formal Methods - 25th International Symposium, 2023