Aleksandar Chakarov

19 papers A* 3A 3B 2C 1Journal 6Unranked 4

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