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

Succinct Representation of Concurrent Trace Sets ∗ Ashutosh Gupta

Source URL: www.cs.purdue.edu

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

Motivation Groundwork Algorithm

Source URL: www.cs.purdue.edu

• Evolutionary biology
• Genetics
• Robustness

Preliminaries Solution framework Correctness

Source URL: www.cs.purdue.edu

• Algorithm
• Mathematical logic
• Theoretical computer science

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

Groundwork Algorithm Extensions

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Algorithm
• Mathematical logic
• Parallel computing
• Synchronization

Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ

Source URL: www.purdue.edu

• Planetary science
• Planetary geology
• Astronomy
• Nature
• Lunar science
• Impact crater
• Meteorite
• Secondary crater
• Impact event
• Meteoroid
• Hypervelocity
• Meteor Crater

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

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Timed automaton
• Finite-state machine
• Control theory
• XC
• Applied mathematics
• Mathematics
• Systems science
• Tree transducer