Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAFour papers from members of the department have been accepted at POPL 2014.
Posted: 1st October 2013
Four papers from members of the department have been accepted at POPL 2014, the leading venue in programming languages.
Abstract Acceleration of General Linear Loops.
B. Jeannet, P. Schrammel, S. Sankaranarayanan
Abstract Satisfaction.
V. D'Silva, L. Haller, D. Kroening
An Abstraction Refinement Approach to Higher-Order Model Checking.
S. Ramsay, R. Neatherway, L. Ong
Replicated Data Types: Specification, Verification, Optimality.
S. Burckhardt, A. Gotsman, H. Yang, M. Zawirski
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Five of our papers accepted to POPL 2018 and the ACM’s PACMPL | 0 | 8.45 | 06-11-2017 |
| 2 | Papers accepted to PLDI'14 | 0 | 24.29 | 05-02-2014 |
| 3 | Four Oxford papers accepted to MFCS 2014 | 0 | 15.88 | 12-06-2014 |
| 4 | Computational Linguistics Group Success at ACL | 0 | 13.61 | 06-03-2014 |
| 5 | Four papers by Oxford researchers accepted for presentation at POPL 2019 | 0 | 19.09 | 07-12-2018 |
| 6 | Five papers at KR-2014 | 0 | 10 | 30-01-2014 |
| 7 | Two papers accepted at the ACM/IEEE IPSN 2014 | 0 | 12.71 | 23-01-2014 |
| 8 | Six papers at TACAS 2016 | 0 | 10.94 | 20-12-2015 |
| 9 | Eight papers at AAAI'14 | 0 | 17.14 | 23-04-2014 |