Articles with public access mandates - Roopsha SamantaLearn more
Available somewhere: 15
Qlose: Program Repair with Quantitative Objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
Mandates: Austrian Science Fund, European Commission
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
Formal methods in system design 50, 97-139, 2017
Mandates: US National Science Foundation, Austrian Science Fund, European Commission
Cost-aware automatic program repair
R Samanta, O Olivo, EA Emerson
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
Mandates: Austrian Science Fund, European Commission
Succinct representation of concurrent trace sets
A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Mandates: Austrian Science Fund, European Commission
SemCluster: clustering of imperative programming assignments based on quantitative semantic features
DM Perry, D Kim, R Samanta, X Zhang
Proceedings of the 40th acm sigplan conference on programming language …, 2019
Mandates: US National Science Foundation, US Department of Energy, US Department of …
Parameterized verification of systems with global synchronization and guards
N Jaber, S Jacobs, C Wagner, M Kulkarni, R Samanta
International Conference on Computer Aided Verification, 299-323, 2020
Mandates: US National Science Foundation
Augmented Example-Based Synthesis
S An, R Singh, S Misailovic, R Samanta
47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020
Mandates: US National Science Foundation
Quicksilver: modeling and parameterized verification for distributed agreement-based systems
N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
Mandates: US National Science Foundation
Explainable Program Synthesis by Localizing Specifications
A Nazari, Y Huang, R Samanta, A Radhakrishna, M Raghothaman
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2171-2195, 2023
Mandates: US National Science Foundation
Trace-guided inductive synthesis of recursive functional programs
Y Yuan, A Radhakrishna, R Samanta
Proceedings of the ACM on Programming Languages 7 (PLDI), 860-883, 2023
Mandates: US National Science Foundation
Lipschitz robustness of timed I/O systems
TA Henzinger, J Otop, R Samanta
International Conference on Verification, Model Checking, and Abstract …, 2015
Mandates: Austrian Science Fund, European Commission
Imageeye: Batch image processing using program synthesis
C Barnaby, Q Chen, R Samanta, I Dillig
Proceedings of the ACM on Programming Languages 7 (PLDI), 686-711, 2023
Mandates: US National Science Foundation
HACCLE: metaprogramming for secure multi-party computation
Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ...
Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021
Mandates: US Department of Defense, US Office of the Director of National Intelligence
Direct manipulation for imperative programs
Q Hu, R Samanta, R Singh, L D’Antoni
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
Mandates: US National Science Foundation
Enabling bounded verification of doubly-unbounded distributed agreement-based systems via bounded regions
C Wagner, N Jaber, R Samanta
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 172-200, 2023
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program