Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Source URL: www.cs.purdue.edu

• Finite automata
• Abstract algebra
• Algebra
• Finite-state transducer
• Mathematics
• Theoretical computer science
• Finite-state machine
• Semigroup action
• Kazhdan's property
• Tree transducer

Copyright by Roopsha Samanta 2013 The Dissertation Committee for Roopsha Samanta

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Computer science
• Formal methods
• Debugging
• Turing Award
• Computer programming
• Formal verification
• Computing
• Algorithm

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Source URL: www.cs.purdue.edu

• Mathematics
• Formal languages
• Temporal logic
• Syntax
• Metalogic
• Logic
• Metaphilosophy
• Model theory
• Linear temporal logic
• Interpretation
• Computation tree logic
• Variable

Single-frequency, high-power, continuous-wave fiber-laser-pumped Ti:sapphire laser Suddapalli Chaitanya Kumar,1,* Goutam Kumar Samanta,1,2 Kavita Devi,1 Stefano Sanguinetti,1 and Majid Ebrahim-Zadeh1,3 1 2

Source URL: www.mirsurg.eu

CHAPTER ON THE UNIVERSAL DOOR (SAMANTA MUKHA) LOTUS SUTRA (SADDHARMAPUNDARIKA SUTRA)

Source URL: www.abuddhistlibrary.com

Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 1, 97–108 Analysis of a delay nonautonomous predator-prey system with disease in the prey G.P. Samanta Mathematical Institute, Slovak Academy of Sciences

Source URL: www.lana.lt

QLOSE: Program Repair with Quantitative Objectives Loris D’Antoni Roopsha Samanta

Source URL: www.cs.purdue.edu