Natasha Sharygina
http://usi.to/fqf
Publications
Key publications (2)
Technical report (3)
- Fedyukovich G., Sharygina N. (2014) Automated Discovery of Simulation Between Programs (2014/05)
- Alberti F., Sharygina N. (2013) Decision Procedures for Flat Array Properties (2013/04)
- Alberti F., Sharygina N. (2012) Tackling divergence: abstraction and acceleration in array programs (2012/01)
