Findler to Give Software Language Engineering (SLE) 2016 Keynote Speech

He'll present his research, titled, "Redex: Lightweight Semantics Engineering" on Wed. Nov. 2 in Amsterdam, The Netherlands.

Prof. Robby Findler

Prof. Robby Findler has been invited to deliver a Keynote Talk at the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) on Wednesday, November 2, 2016 in Amsterdam, The Netherlands.

Prof. Findler will present a Software Language Engineering (SLE) 2016 Keynote on his research, titled, "Redex: Lightweight Semantics Engineering."

Redex is a programming language designed to support semantics engineers as they experiment with programming language models. To explore a model, an engineer writes down grammars, type systems, and operational semantics in a notation inspired by the programming languages literature. Redex breathes life into the model, building typing derivations, running example expressions, and using random generation to falsify claims about the model.

This talk gives an overview of Redex, motivating its design choices and giving a sense of how it feels to program in Redex. Then the talk dives into some of the techniques that Redex uses to generate random expressions.

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.

Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies).

McCormick News Article