Chechik, Marsha

1. Normative Requirements Operationalization with Large Language Models
   2024/04/18 by Feng, Nick, Marsso, Lina, Yaman, S. Getir +9 · 6 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Automatic and Efficient Variability-Aware Lifting of Functional Programs
   2020/10/01 by Shahin, Ramy, Chechik, Marsha · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
3. Abstraction Engineering
   2024/08/26 by Nelly Bencomo, Bencomo, Nelly, Jordi Cabot +11 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #Distributed systems and fault tolerance #FOS: Computer and information sciences #Software Engineering (cs.SE)
4. Early Verification of Legal Compliance via Bounded Satisfiability Checking
   2022/09/08 by Feng, Nick, Marsso, Lina, Sabetzadeh, Mehrdad +1 · 1 citation
   #FOS: Computer and information sciences #Software Engineering (cs.SE)