emina.github.io - Emina Torlak

home > domains > emina.github.io

Description: Emina Torlak's homepage

cedar (312) rosette (79) kodkod (2)

Example domain paragraphs

My research aims to help people build better software more easily. I develop languages and tools for program verification and synthesis. I created Rosette and Kodkod , and co-lead the development of Cedar (with Mike Hicks ). Rosette is a solver-aided language that powers verification and synthesis tools for all kinds of systems, from radiation therapy control to Linux JIT compilers. Kodkod is a solver for relational logic, used widely in tools for software analysis and design. Cedar is an expressive, fast,

Links to emina.github.io (8)

• uwplse.org UW PLSE
• shumochu.com Shumo Chu
• habiba-farrukh.github.io Habiba Farrukh
• minikanren.org miniKanren.org
• uwplse.github.io UW PLSE
• azcwagner.github.io Chris Wagner
• nmacedo.github.io Nuno Macedo
• ocelot.tools Ocelot