![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| vmcai19.pdf | 2019-01-15 10:05 | 585K | |
| sas18.pdf | 2019-07-25 08:29 | 443K | |
| sas18-slides.pdf | 2019-07-25 08:43 | 164K | |
| sas10.pdf | 2015-11-26 20:38 | 604K | |
| sas10-slides.pdf | 2015-11-26 20:38 | 348K | |
| popl24.pdf | 2024-02-28 10:13 | 398K | |
| popl23.pdf | 2023-02-14 11:16 | 442K | |
| popl19b.pdf | 2018-12-28 16:45 | 530K | |
| popl19a.pdf | 2018-12-28 16:45 | 492K | |
| popl19a-slides.pdf | 2019-07-25 08:29 | 243K | |
| popl18b.pdf | 2017-11-27 08:42 | 1.1M | |
| popl18b-slides.pdf | 2018-02-11 17:58 | 186K | |
| popl18a.pdf | 2017-11-27 08:42 | 1.0M | |
| popl18a-slides.pdf | 2018-02-11 17:58 | 157K | |
| popl15.pdf | 2015-11-26 20:38 | 518K | |
| popl15-slides.pdf | 2015-11-26 20:38 | 147K | |
| popl14c.pdf | 2015-11-26 20:38 | 482K | |
| popl14b.pdf | 2015-11-26 20:38 | 899K | |
| popl14b-slides.pdf | 2015-11-26 20:38 | 174K | |
| popl14a.pdf | 2015-11-26 20:38 | 529K | |
| popl13.pdf | 2015-11-26 20:38 | 1.7M | |
| popl13-slides.pdf | 2016-04-04 20:39 | 145K | |
| popl12faq.pdf | 2015-11-26 20:38 | 114K | |
| popl12.pdf | 2015-11-26 20:38 | 361K | |
| popl12-slides.pdf | 2015-11-26 20:38 | 270K | |
| pldi21.pdf | 2021-06-30 15:36 | 360K | |
| pldi20.pdf | 2020-07-27 18:10 | 482K | |
| pldi17.pdf | 2017-07-08 11:44 | 644K | |
| pldi17-slides.pdf | 2017-07-08 11:44 | 191K | |
| pldi16.pdf | 2017-04-21 09:59 | 644K | |
| mfps17.pdf | 2017-07-08 11:44 | 731K | |
| lics16.pdf | 2016-05-09 22:59 | 325K | |
| lics16-slides.pdf | 2016-09-07 21:42 | 120K | |
| ijcai16.pdf | 2016-05-09 09:52 | 1.3M | |
| ijcai16-slides.pdf | 2016-09-07 21:42 | 836K | |
| fmcad15.pdf | 2015-11-26 20:37 | 342K | |
| fmcad15-slides.pdf | 2015-11-26 20:37 | 151K | |
| fkp16-full.pdf | 2016-05-09 09:52 | 355K | |
| esop15.pdf | 2015-11-26 20:37 | 679K | |
| dlt08.pdf | 2015-11-26 20:37 | 201K | |
| concur09.pdf | 2019-01-15 10:05 | 193K | |
| cav21.pdf | 2021-10-13 11:19 | 799K | |
| cav19.pdf | 2019-07-25 08:29 | 492K | |
| cav13b.pdf | 2015-11-26 20:37 | 216K | |
| cav13a.pdf | 2015-11-26 20:37 | 452K | |
| a4f58954e0726cc7b5bd..> | 2019-01-15 10:05 | 244K | |
| S1567832611000166.html | 2019-01-15 10:05 | 63K | |
| 1-s2.0-S156783261100..> | 2019-01-15 10:05 | 554K | |