Open Questions

The following is a list of interesting questions that come up in discussions, and that I would like to see answered. The list is publicly available, and anyone can pursue his question. If you would like me to add a note saying that you are working on this problem, please send me an email. For Rice undergraduates, you can pursue these questions either for senior project (course) credit or for in the form of a research assistantship.

1. In their paper on Eliminating array bound checking through dependent types, Xi and Pfenning use a collection of benchmarks to evaluate their approach. How well can this collection of examples be expressed in Concoqtion? (2008/02/06).
2. How easy/difficulty is it to apply Xi and Pfenning's approach to Verilog? (2008/02/06).