WELCOME TO THE LARISSSA TEAM!
Our research is focused on creating robust, efficient, performant, economical and secure distributed software systems. Special emphasis is placed on cross-layer design across levels of software and hardware abstractions, including designing and implementing embedded domain-specific languages (DSLs), distributed algorithms, and using theorem proving and Large Language Models (LLMs) to create solutions for enabling software systems to run faster and cheaper while producing correct results. We are interested particularly in improving software revenue management in cloud computing organizations and creating and running large-scale Monte-Carlo simulations for security, transportation and revenue management.
Our work is supported by the following recent National Science Foundation (NSF) grants:
Mark Grechanik, Ph.D., Lab Director / Principal Investigator Heading link
Dr. Mark Grechanik earned his Ph.D. in Computer Science from the department of Computer Sciences of the University of Texas at Austin. In parallel with his academic activities, he has consulted startups and Fortune 500 companies for over 30 years. Dr.Grechanik is a recipient of many best paper awards from competitive conferences, his research is funded by NSF, Microsoft, and a few companies including Grammatech, and he holds many patents. His ideas are implemented and used by different companies and organizations. Mark is a senior member of ACM and a senior member of IEEE and he was elected and he served for nine years as a member-at-large of the ACM SigSoft executive committee. Dr.Grechanik was the General Chair in 2016 of the IEEE International Conference on Software Testing, Verification and Validation (ICST’16), the premier conference in all areas related to software quality, he was elected to serve on the ICST Steering Committee, and he served on the Editorial board of the Springer Empirical Software Engineering Journal.