Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Quantification
• Predicate
• Propositional calculus
• Quantifier
• FO
• Satisfiability modulo theories
• Predicate transformer semantics

Maelstrom: Transparent Error Correction for Lambda Networks Mahesh Balakrishnan, Tudor Marian, Ken Birman, Hakim Weatherspoon, Einar Vollset {mahesh, tudorm, ken, hweather, einar}@cs.cornell.edu Cornell University, Ithac

Source URL: fireless.cs.cornell.edu

THE LILYPAD LIST: Seven steps to the simple life by Marian Van Eyk McCain

Source URL: www.lilypadlist.com

1 Integrated Approach To Data Center Power Management Lakshmi Ganesh, Hakim Weatherspoon, Tudor Marian, Ken Birman Computer Science Department, Cornell University

Source URL: fireless.cs.cornell.edu

ENCYCLICAL OF POPE PIUS XII PROCLAIMING A MARIAN YEAR TO COMMEMORATE THE CENTENARY OF THE DEFINITION OF THE DOGMA OF THE IMMACULATE CONCEPTION

Source URL: ephesians-511.net

New Generation of Electrically-Cooled HPGe Detector Arrays for X-ray Spectroscopy J. Flamanc, V. Marian, M. Ginsz, B. Pirard, P. Quirin, M.O. Lampert Contact: Mirion Technologies, Parc des Tanneries -

Source URL: www.canberra.com

This is the pre-print of the article. Find the final version here: http://dx.doi.orgidj.23.1.06dor Information Design Journal 23(1) © 2017 John Benjamins Publishing Company Marian Dörk, Christopher Pietsch & G

Source URL: mariandoerk.de

PHYSICAL REVIEW B 80, 155112 共2009兲 Complete band gaps in two-dimensional photonic quasicrystals Marian Florescu,1,* Salvatore Torquato,2 and Paul J. Steinhardt2 1Department

Source URL: physics.princeton.edu

Verifiable Policy-Defined Networking for Security Management Dinesha Ranathunga* , Matthew Roughan* , Phil Kernick** , Nick Falkner* , Hung Nguyen* , Michelle McClintock* , Marian Mihailescu* * University of Adelaide

Source URL: www.maths.adelaide.edu.au