Aleksandar Chakarov

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 9

Top Topics

Grammatical Inference

Asymptotic Properties

Top Venues

J. Autom. Lang. Comb.

Publications

Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta
Better Counterexamples for Dafny. TACAS (1) (2022)
Agnieszka Ciborowska, Aleksandar Chakarov, Rahul Pandita
Contemporary COBOL: Developers' Perspectives on Defects and Defect Location. ICSME (2021)
Agnieszka Ciborowska, Aleksandar Chakarov, Rahul Pandita
Contemporary COBOL: Developers' Perspectives on Defects and Defect Location. CoRR (2021)
Rahul Pandita, Steven Bucuvalas, Hugolin Bergier, Aleksandar Chakarov, Elizabeth Richards
Towards J.A.R.V.I.S. for Software Engineering: Lessons Learned in Implementing a Natural Language Chat Interface. AAAI Workshops (2018)
Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang
Abstracting Event-Driven Systems with Lifestate Rules. CoRR (2017)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS (2016)
Francine Blanchet-Sadri, Aleksandar Chakarov, Bob Chen, Lucas Manuelli, Sinziana Munteanu, Jarett Schwartz, Slater Stich
Recurrent Partial Words and Representable Sets. J. Autom. Lang. Comb. 21 (3) (2016)
Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS (2016)
Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy
Debugging Machine Learning Tasks. CoRR (2016)
Aleksandar Chakarov, Sriram Sankaranarayanan
Expectation Invariants for Probabilistic Program Loops as Fixed Points. SAS (2014)
Aleksandar Chakarov, Sriram Sankaranarayanan
Probabilistic Program Analysis with Martingales. CAV (2013)
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. PLDI (2013)
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. ICSE (2013)
Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich
Constructing partial words with subword complexities not achievable by full words. Theor. Comput. Sci. 432 (2012)
Francine Blanchet-Sadri, Bob Chen, Aleksandar Chakarov
Number of holes in unavoidable sets of partial words I. J. Discrete Algorithms 14 (2012)
Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos
Combining Time and Frequency Domain Specifications for Periodic Signals. RV (2011)
Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich
Recurrent Partial Words WORDS (2011)
Francine Blanchet-Sadri, Bob Chen, Aleksandar Chakarov
Minimum Number of Holes in Unavoidable Sets of Partial Words of Size Three. IWOCA (2010)
Peter B. Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac, Aleksandar Chakarov
Tricolorable torus knots are NP-complete. ACM Southeast Regional Conference (2009)