Hierarchical Pointer Analysis for Distributed Programs Amir Kamil Katherine Yelick Computer Science Division, University of California, Berkeley

Source URL: titanium.cs.berkeley.edu

• Data types
• Primitive types
• Computing
• Software engineering
• Pointer
• Stack
• Reference
• Abstract interpretation

Erratum to DICE 2010 Paper by Amir M. Ben-Amram The program considered in the text just before Sec 4.4 should have been: X2 := 0; loop X3 { X1 := X1 + X2 *X1 ; X2 := X1 }

Source URL: www2.mta.ac.il

(Fault) Attacks what is possible to do! 2007 Assia Tria, Bruno Robisson CEA-LETI Jean-max Dutertre, Amir-pasha Mirbaha : ENSM-SE

Source URL: www-mitacs2009.imag.fr

Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity Amir M. Ben-Amram The Academic College of Tel-Aviv Yaffo STACS 2013

Source URL: www2.mta.ac.il

Amir Pnueli and the Dawn of Hybrid Systems Oded Maler CNRS-VERIMAG, University of Grenoble Centre Equation, 2 av de VignateGières, France

Source URL: www-verimag.imag.fr

On the Termination of Integer Loops Amir ben-Amram The Tel-Aviv Academic College Samir Genaim

Source URL: www2.mta.ac.il

Exploring Robustness in Group Key Agreement Yair Amir
Yongdae Kim

Source URL: homes.cerias.purdue.edu

Popular Conjectures and Dynamic Problems Amir Abboud Stanford  University “Hardness in P” workshop, STOC 15’

Source URL: theory.stanford.edu

Scaling Secure Group Communication Systems: Beyond Peer-to-Peer Yair Amir ∗ Cristina Nita-Rotaru ∗ Jonathan Stanton †

Source URL: homes.cerias.purdue.edu

When Tolerance Causes Weakness: The Case of Injection-Friendly Browsers Yossi Gilad Amir Herzberg

Source URL: www2013.wwwconference.org