POPL 2017 (series) / CoqPL 2017 (series) / The Third International Workshop on Coq for Programming Languages /
Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
Abstract (CoqPL_2017_paper_7.pdf) | 140KiB |
Sat 21 Jan
16:00 - 16:25 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
16:25 - 16:50 Talk | Abhishek Anand, Andrew AppelPrinceton, Greg MorrisettCornell University, Zoe ParaskevopoulouPrinceton University, USA, Randy PollackHarvard University, Olivier Savary BelangerPrinceton University, Matthieu SozeauInria, Matthew WeaverPrinceton University File Attached | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:15 Talk | Izumi AsakuraTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
17:15 - 17:40 Talk | Ryan DoengesUniversity of Washington, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Karl Palmskog File Attached | |||||||||||||||||||||||||||||||||||||||||
17:40 - 18:05 Talk | File Attached |