Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Emina Torlak
SymCert: Verifying SMT-based policy analyses
Cedar is a popular authorization language designed to support sound and complete policy analysis by reduction to SMT. But building these analyses is error-prone: subtle encoding mistakes can silently compromise soundness or completeness, and are hard to catch through testing alone. Cedar's high-assurance development process therefore requires writing and maintaining formal proofs of correctness for each new analysis.
Synthesis-aided crash consistency for storage systems
Amazon Web Services (AWS) is looking for a world class applied scientist in Great China Region (GCR). The candidate will work in GCR CTO Office to drive high visible, high impact AI/ML projects for Chinese customers. The candidate will invent, implement, and deploy state of the art machine learning algorithms under engineering AI. You will build prototypes and explore field new solutions. You will interact closely with our customers and with the academic community.
Testing Dafny (experience paper)
Job summaryDo you want to join a team of innovative scientists to research and develop AI and optimization technology that would disrupt the industry? Do you enjoy dealing with ambiguity and working on hard problems in a fast-paced environment?Amazon Connect is a highly disruptive cloud-based contact center from AWS that enables businesses to deliver intelligent, engaging, dynamic, and personalized customer service experiences.
Rosette: About
About Rosette Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it to logical constraints solved with off-the-shelf SMT solvers. By combining virtualized access to solvers with Racket’s metaprogramming, Rosette makes it easy to develop synthesis and verification tools for new languages.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Emina
Contact Emina, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack