Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

Source URL: lara.epfl.ch

Rupak Mahapatra, Ph.D. Texas A&M University Searches for New Physics through Dark Matter and Neutrino Interactions Weakly Interacting Massive Particles (WIMP) are

Source URL: physics.tamu.edu

Dynamic Package Interfaces Shahram Esmaeilsabzali1⋆ , Rupak Majumdar2, Thomas Wies3 , and Damien Zufferey4⋆⋆ 1 University of Waterloo

Source URL: pub.ist.ac.at

Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences

Source URL: www.sosy-lab.org

Rupak Das Emergency Fund GAABESU Emergency Fund Committee launched a fund drive to help a fellow alumnus in medical emergency. An appeal from Sri Rupak DasME in CE) along with a medical report is attached here for

Source URL: www.becollege.org

Spahn, Paul Bernd (2008), „Managing Fiscal Conflicts“, in: Unity in Diversity: Learning from Each Other, Vol. 2, Emerging Issues in Fiscal Federalism, Edited by Ronal L. Watts and Rupak Chattopadhyay, Forum of Federa

Source URL: www.wiwi.uni-frankfurt.de

Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

Source URL: lara.epfl.ch

• Primitive types
• Software engineering
• Mathematics
• Numerical analysis
• Floating point
• Genetic algorithm
• Error detection and correction
• C
• Affine arithmetic
• Computer arithmetic
• Computing
• Data types

A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

Source URL: www.mpi-sws.org

• Nested word
• Finite state transducer
• Finite-state machine
• Büchi automaton
• Automata theory
• Theoretical computer science
• Computer science

Curriculum Vitae Rupak Majumdar Department: Email:

Source URL: www.mpi-sws.org

• Principles of Programming Languages
• Max Planck Institute for Software Systems
• International Colloquium on Automata
• Languages and Programming
• Lecture Notes in Computer Science
• Computing
• CHIC
• Computer science
• Automata theory
• Association for Computing Machinery

Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar

Source URL: www.kenmcmil.com

• Propositional calculus
• Model theory
• Predicate logic
• Formal languages
• First-order logic
• Function
• Interpretation
• Entailment
• Partition
• Logic
• Mathematics
• Mathematical logic