Person

Cristian Zamfir

This person is no longer with EPFL

Official source

https://people.epfl.ch/cristian.zamfir

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Cristian Zamfir

Graph Chatbot

Automatic generation of program execution that reaches a given failure point

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Parallel symbolic execution on cluster of commodity hardware

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Automatic generation of program execution that reaches a given failure point

Parallel symbolic execution on cluster of commodity hardware