LARA - Laboratory for Automated Reasoning and Analysis

Search 215 records for:

Search Tips :: Advanced Search

Latest additions:

2018-06-21 16:31	Monotonic Prefix Consistency in Distributed Systems Girault, Alain ; Gössler, Gregor ; Guerraoui, Rachid ; Hamza, Jad[...] 30 May 2018 \| Conference Papers \| Detailed record - Similar records
2017-11-13 08:17	PDF Algorithmic Resource Verification Kandhadai Madhavan, Ravichandhran ; Kuncak, Viktor 2017 \| Theses \| Detailed record - Similar records
2017-09-29 11:25	Multiple Files Programmation Interactive par l'Exemple Mayer, Mikaël 2017 \| Talks \| Detailed record - Similar records
2017-09-20 11:20	PDF Interactive Programming by Example Mayer, Mikaël ; Kuncak, Viktor 2017 \| Theses \| Detailed record - Similar records
2017-09-14 19:25	PDF The Operational Semantics and Implementation of a Core Dart language Gucevska, Zhivka ; Kuncak, Viktor 2017 \| Student Projects \| Detailed record - Similar records
2017-08-21 13:47	PDF Verification by Reduction to Functional Programs Blanc, Régis William ; Kuncak, Viktor 2017 \| Theses \| Detailed record - Similar records
2017-07-18 16:17	PDF Proactive Synthesis of Recursive Tree-to-String Functions from Examples Mayer, Mikaël ; Kuncak, Viktor ; Hamza, Jad 2017 \| Conference Papers \| Detailed record - Similar records
2017-07-14 20:17	PDF Termination of Open Higher-Order Programs Voirol, Nicolas ; Kandhadai Madhavan, Ravichandhran ; Kuncak, Viktor 2017 \| Reports \| Detailed record - Similar records
2017-07-10 13:42	PDF Contract-Based Resource Verification for Higher-Order Functions with Memoization Madhavan, Ravichandhran ; Kulal, Sumith ; Kuncak, Viktor Acm Sigplan Notices, 52 (1), 330-343 (2017) 2017 \| Journal Articles \| Detailed record - Similar records
2017-06-29 10:53	On verifying causal consistency Bouajjani, Ahmed ; Enea, Constantin ; Guerraoui, Rachid ; Hamza, Jad[...] POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 52 (1), 626-638 (2017) 2017 \| Conference Papers \| Detailed record - Similar records

[>> more]