Aleksandar Chakarov and Static Analysis - Free people check

(1 - 12 from 13

)

Home: Aleksandar Chakarov

anchakarov.github.io

Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy, Debugging Machine Learning Tasks. arXiv preprint arXiv: (2016). Aleksandar Chakarov, Sriram Sankaranarayanan, Expectation Invariants for Probabilistic Program Loops as Fixed Points. 21st International Static Analysis

PeopleExplorer: An Integrated Interactive Exploratory People Search...

crystal.exp.sis.pitt.edu

1 : Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani Static analysis for probabilistic programs: inferring whole program properties from ...

Static Analysis: 21st International Symposium, SAS 2014, ...

books.google.co.uk

Expectation Invariants for Probabilistic Program Loops as Fixed Points Aleksandar Chakarov and Sriram Sankaranarayanan Department of Computer Science ...

Static Analysis: 24th International Symposium, SAS 2017, New ...

books.google.co.uk

The first author would like to thank Aleksandar Chakarov for some helpful email discussions. This work is supported by Australian Research Grants, ...

Static Analysis: 21st International Symposium, SAS 2014, Munich,...

books.google.ca

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in...

Static Analysis for Probabilistic Programs: Inferring ...

citeseerx.ist.psu.edu

BibTeX @MISC{Sankaranarayanan_staticanalysis, author = {Sriram Sankaranarayanan and Aleksandar Chakarov and Sumit Gulwani}, title = {Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths.}, year = {}}

Static Analysis for Probabilistic Programs: Inferring Whole Program...

www.microsoft.com

Aleksandar Chakarov. University of Colorado, Boulder. aleksandar.chakarov@ colorado.edu. Sumit Gulwani. Microsoft Research, Redmond. sumitg@microsoft.

Wikipedia: Radhia Cousot - Wikipedia

Radhia Cousot best young researcher paper award. Since September 2014, the Radhia Cousot best young researcher paper award is attributed annually by the program chair on behalf of the program committee of the Static Analysis Symposia (SAS) (Munich, Germany): Aleksandar Chakarov (University of Colorado, Boulder, CO, USA), ...