[Wala-wala] Question about wala/ML (Ariadne) tensor analysis

[Raffi T Khatchadourian]

I was wondering if wala/ML (Ariadne) supports tensor analysis for TensorFlow v2. In other words, I am wondering if the analysis supports imperative style TensorFlow code for analyzing tensor types and shapes. TensorFlow 2 (imperative style) code does not use placeholders and sessions, which could particularly have implications for tensor shape analysis.

Thanks!

-- 

Raffi Khatchadourian <raffi.khat...@hunter.cuny.edu>

Assistant Professor, Computer Science, Hunter College

Doctoral Faculty of the Graduate School and University Center's Ph.D. Program in Computer Science

City University of New York (CUNY)

http://cs.hunter.cuny.edu/~Raffi.Khatchadourian99