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 ...
Runtime Verification: Second international Conference, RV ...
books.google.co.uk
294 Aleksandar Chakarov, Sriram Sankaranarayanan, and Georgios Fainekos Runtime Verification for Ultra-Critical Systems .
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 ...
Aleksandar Chakarov - researchr alias
researchr.org
Probabilistic Program Analysis with MartingalesAleksandar Chakarov, Sriram Sankaranarayanan. cav 2013: [doi] · Exploring the internal state of user ...
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 = {}}
CiteSeerX — Probabilistic Program Analysis with Martingales
citeseerx.ist.psu.edu
@MISC{Chakarov_probabilisticprogram, author = {Aleksandar Chakarov and Sriram Sankaranarayanan}, title = {Probabilistic Program Analysis with Martingales}, year = {}} Share. OpenURL . Abstract. We present techniques for the analysis of infinite state probabilistic programs to synthesize probabilistic invariants and prove almost-sure termination. Our analysis is based on the notion of …
SAS 2014
wwwmath.uni-muenster.de
... Josh Berdine, and Nir Piterman; Expectation Invariants for Probabilistic Program Loops as Fixed Points Aleksandar Chakarov and Sriram Sankaranarayanan.
Virtual Machines of SAS 2014
wwwmath.uni-muenster.de
... instructions; Expectation Invariants for Probabilistic Program Loops as Fixed Points Aleksandar Chakarov and Sriram Sankaranarayanan
Probabilistic Program Analysis with Martingales | SpringerLink
link.springer.com
Probabilistic Program Analysis with Martingales. Authors; Authors and affiliations. Aleksandar Chakarov; Sriram Sankaranarayanan. Aleksandar Chakarov. 1.
All web results to the name "Aleksandar Chakarov"
Combining Time and Frequency Domain SlidePlayer
slideplayer.com
Combining Time and Frequency Domain Specifications for Periodic Signals Aleksandar Chakarov and Sriram Sankaranarayanan University of Colorado ...
TDGS - "Aleksandar Chakarov"
juliette.lsi.us.es
"Aleksandar Chakarov" ... Aleksandar Chakarov, Sriram Sankaranarayanan · CAVFetch | Report | Google · Number of holes in unavoidable sets ...
CSE 590P: Programming Languages Seminar (Autumn 2013)
courses.cs.washington.edu
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani PLDI 13 : Adrian Sampson Pavel Panchekha : Nov 20: P: Safe Asynchronous Event-Driven Programming
CUPLV: Programming Languages and Verification at the...
pl.cs.colorado.edu
CUPLV authors Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Aleksandar Chakarov with collaborators Manu Sridharan
Dependability Perspectives | ICSE 2013
2013.icse-conferences.org
... Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh University of Colorado at Boulder, USA. Semantic Smells and Errors in Access Control Models: A Case
Exploring the Internal State of User Interfaces by Combining Computer...
2013.icse-conferences.org
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh University of Colorado at Boulder, USA. Track: New Ideas and Emerging Results
Chakarov/Sankaranaryanan: Probabilistic Program Analysis ...
home.cs.colorado.edu
Aleksandar Chakarov and Sriram Sankaranarayanan; We present techniques for the analysis of infinite state probabilistic programs to synthesize probabilistic invariants and prove almost-sure termination. Our analysis is based on the notion of (super) martingales from probability theory.
PLDI :: Programming Language Design and Implementation
pldi2013.ucombinator.org
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani. Reconciling Exhaustive Pattern Matching with Objects. Chinawat Isradisaikul, Andrew C. Myers.
Combining time and frequency domain specifications for periodic...
asu.pure.elsevier.com
Combining time and frequency domain specifications for periodic signals. Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos · IAFSE-CIDSE: ...
Accepted Papers | CAV 2013
cav2013.forsyte.at
Aleksandar Chakarov and Sriram Sankaranarayanan, Probabilistic Program Analysis with Martingales. Toni Mancini, Federico Mari, Annalisa Massini, Igor ...
SAS : Expectation Invariants for...
plv.colorado.edu
Aleksandar Chakarov and Sriram Sankaranarayanan. SAS 2014: International Static Analysis Symposium Abstract. BibTeX @string{SAS = "International Static Analysis ...
Deductive Proofs of Almost Sure Persistence and Recurrence ...
www.springerprofessional.de
Authors: Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan. Publisher: Springer Berlin Heidelberg. Published in: Tools and Algorithms for the ...
Sankaranarayanan/Chakarov/Gulwani: Probabilistic Program Analysis
home.cs.colorado.edu
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
NSF Award Search: Award # SHF: Small: Reasoning Rigorously...
www.nsf.gov
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, and Sriram Sankaranarayanan. "Uncertainty Propagation using ...
TACAS : Deductive Proofs of Almost Sure...
plv.colorado.edu
Aleksandar Chakarov, Yuen-Lam Voronin, and Sriram Sankaranarayanan · TACAS 2016: International Conference on Tools and Algorithms for the Construction ...
Virtual Machines of SAS 2014
staticanalysis.org
virtual machine, instructions; Expectation Invariants for Probabilistic Program Loops as Fixed Points Aleksandar Chakarov and Sriram Sankaranarayanan
Sylvie Putot - LIX - École Polytechniquewww.lix.polytechnique.fr › Labo › Sylvie.Putot › publis
www.lix.polytechnique.fr
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov and Sriram Sankaranarayanan, Uncertainty Propagation using Probabilistic Affine Forms ...
TACAS programme - etaps 2020
etaps.org
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov and Sriram Sankaranarayanan. Uncertainty Propagation using Probabilistic Affine Forms ...
New Ideas and Emerging Results | ICSE 2013
2013.icse-conferences.org
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh. Semantic Smells and Errors in Access Control Models: A Case Study in PHP
BibSLEIGH — Static analysis for probabilistic programs: inferring...
bibtex.github.io
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani Static analysis for probabilistic programs: inferring whole program properties from finitely many ...
Related search requests for Aleksandar Chakarov
Georgios Fainekos Olivier Bouissou Sylvie Putot | Yuan Feng Peter Golbus Evan Chang | Yuxin Deng Aditya Nori |
People Forename "Aleksandar" (2756) Name "Chakarov" (29) |
sorted by relevance / date