en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
324 Publications
2019 | Conference Paper | IST-REx-ID: 6175 
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019), Phoenix, AZ, United States.
View
| Files available
| arXiv
2019 | Conference Paper | IST-REx-ID: 6056
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Probabilistic smart contracts: Secure randomness on the blockchain,” in IEEE International Conference on Blockchain and Cryptocurrency, Seoul, Korea.
View
| Files available
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6380
K. Chatterjee, A. K. Goharshady, N. Okati, and A. Pavlogiannis, “Efficient parameterized algorithms for data packing,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, p. 53, 2019.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6378
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 374–381.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6462
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6780
M. Huang, H. Fu, K. Chatterjee, and A. K. Goharshady, “Modular verification for almost-sure termination of probabilistic programs,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Athens, Greece.
View
| Files available
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 143
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotny, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.
View
| DOI
| Download (ext.)
2018 | Journal Article | IST-REx-ID: 198
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, and M. Nowak, “Language acquisition with communication between learners,” Journal of the Royal Society Interface, vol. 15, no. 140, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35
K. Chatterjee, W. Dvorák, M. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” in 28th International Conference on Automated Planning and Scheduling , Delft, Netherlands, 2018.
View
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 66
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies.,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118, p. 11.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 24
K. Chatterjee, A. Elgyütt, P. Novotny, and O. Rouillé, “Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4692–4699.
View
| DOI
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 310
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, USA, 2018, pp. 2341–2356.
View
| DOI
| Download (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 454
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, and M. Nowak, “Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness,” Nature Communications, vol. 9, no. 1, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6009
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, p. 9, 2018.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 5993
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2, p. 7, 2018.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 6340
A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
View
| Files available
| arXiv