Programming Paradigms and Beyond Shriram Krishnamurthi and Kathi Fisler Brown University and

Source URL: cs.brown.edu

• Programming paradigms
• Software engineering
• Computing
• Programming language
• Functional programming
• Imperative programming
• Reactive programming
• Object-oriented programming
• Syntax
• Scripting language
• Declarative programming
• Assignment

The Design and Implementation of a Dataflow Language for Scriptable Debugging∗† Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss Computer Science Department Brown Univer

Source URL: cs.brown.edu

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien

Source URL: cs.brown.edu

Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

Source URL: cs.brown.edu

Alchemy: Transmuting Base Alloy Specifications into Implementations Shriram Krishnamurthi Daniel J. Dougherty

Source URL: www.hashcollision.org

Interfaces for Modular Feature Verification Harry C. Li Brown University, USA Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

Verifying Aspect Advice Modularly ∗ Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

Embracing Policy Engineering Kathi Fisler Shriram Krishnamurthi Daniel J. Dougherty

Source URL: web.cs.wpi.edu

• Computing
• Security
• Policy
• Crime prevention
• Cryptography
• Information governance
• National security
• Internet privacy
• Privacy policy
• Privacy
• Computer security
• Cloud computing

In-Flow Peer-Review of Tests in Test-First Programming Joe Gibbs Politz Shriram Krishnamurthi Brown University

Source URL: cs.brown.edu

• Education
• Software testing
• Academia
• Test suite
• Peer assessment
• Test
• Educational assessment
• Acceptance testing
• Peer feedback
• SAT
• Unit testing

Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler

Source URL: web.cs.wpi.edu

• Mathematical logic
• Theoretical computer science
• Formal methods
• Logic
• Logic in computer science
• Hardware verification languages
• Model checking
• Formal verification
• E
• Gmail
• Aspect-oriented software development
• Propositional calculus