Prasita Mukherjee

According to our database1, Prasita Mukherjee authored at least 5 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards Automated Verification of LLM-Synthesized C Programs.
CoRR, 2024

KestRel: Relational Verification Using E-Graphs for Program Alignment.
CoRR, 2024

2023
OCTAL: Graph Representation Learning for LTL Model Checking.
CoRR, 2023

2022
OCTAL: Graph Representation Learning for LTL Model Checking.
CoRR, 2022

2020
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020


  Loading...