Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2

Source URL: cakeml.org

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Procedural programming languages
• Logic in computer science
• Separation logic
• Substructural logic
• ColdFusion Markup Language
• Functional programming
• Theorem
• Type theory

Learning to Prove with Tactics Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish March 28, 2018

Source URL: cl-informatik.uibk.ac.at

Dirihlē princips Teorija un piemēri, gatavojoties Novada olimpiādeimācību gadā Materiāla izstrādē izmantota grāmata A. Andžāns, J. Čakste, T. Larfelds, L. Ramāna, M. Seile “Vidējās vērtīb

Source URL: nms.lu.lv

A New Verified Compiler Backend for CakeML Yong Kiam Tan Magnus O. Myreen Ramana Kumar

Source URL: cakeml.org

Some Experiments with the Performance of LAMP Architecture UV Ramana Veritas Software TV Prabhakar IIT Kanpur

Source URL: www.cse.iitk.ac.in

CakeML: A Verified Implementation of ML Ramana Kumar ∗ 1 Magnus O. Myreen † 1 1

Source URL: cakeml.org

The U.S.-India Nuclear Deal: Violating Norms, Terminating Futures Andrew Lichterman and M.V. Ramana* In September 2008, the U.S. brought a proposal to lift the ban on nuclear trade with India to the Nuclear Suppliers Gro

Source URL: disarmamentactivist.org

Can Paying Firms Quicker Affect Aggregate Employment? Jean-Noel Barrot Ramana Nanda Working Paper

Source URL: www.hbs.edu

PNUTS: Yahoo!’s Hosted Data Serving Platform Brian F. Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver and Ramana Yerneni Yahoo! Research A

Source URL: nil.csail.mit.edu

• Computing
• Fault-tolerant computer systems
• Data management
• Distributed computing architecture
• Consistency model
• Transaction processing
• Replication
• Distributed database
• Eventual consistency
• Database
• Pnuts
• Tablet computer