Van Chan Ngo Computer Scientist and Software Engineer Research interests are in formal methods, programming languages, compilers, and language-based security. I am a member of the Principles of Programming Group, School of Computer Science, Carnegie Mellon University.
  • About /
  • Research /
  • Publications
  • Talks /
  • Notes /
  • CV /
  • Categories
  • Tags
Do one thing, and do it well. -- Unix philosophy
Home

Paper at ESLsyn Conference

13 SEP 2016 • 1 min read

I found a student at IIT India implementing our work in the paper published at ESLSyn-DAC, IEEE, 2014 “Precise Deadlock Detection for Polychronous Data-flow Specifications”. She/he is guided by Dr. Sandeep Shukla.

Project

You can look at the on-going report here. Hopefully, she/he will have a nice tool after.

© 2020 Van Chan Ngo. Powered by Jekyll, leonids theme