big tits
big tits
al-ama
al-ana
al-asi
al-bbw
al-bds
al-blo
al-boo
al-ebo
al-foo
al-gro
al-gy
al-han
al-har
al-int
al-lat
al-les
al-mat
al-mil
al-pan
al-par
al-pis
al-shm
al-tee
al-voy
ce-ama
ce-ana
ce-asi
ce-bbw
ce-bds
ce-blo
ce-boo
ce-ebo
ce-gy
ce-har
ce-int
ce-lat
ce-les
ce-mat
ce-mil
ce-pan
ce-pis
ce-shm
ce-tee
ce-voy
vi-ama
vi-ana
vi-ani
vi-asi
vi-bbw
vi-bds
vi-blo
vi-boo
vi-ebo
vi-foo
vi-gro
vi-gy
vi-han
vi-har
vi-inc
vi-int
vi-lat
vi-les
vi-mat
vi-mil
vi-pan
vi-par
vi-pis
vi-shm
vi-tee
vi-uni
vi-voy

Start of topic | Skip to actions

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.

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).
How easy/difficulty is it to apply Xi and Pfenning's approach to Verilog? (2008/02/06).

End of topic
Skip to actions | Back to top

Web Actions:

Preferences

This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.