• Sign in
  • Sign up
conf.researchr.org / Ramy Shahin
  • ESEC/FSE 2021 profile
  • ICSE 2021 profile
  • MODELS 2021 profile
  • PLDI 2022 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
Ramy Shahin

Registered user since Tue 6 Oct 2020

Name:Ramy Shahin
Country:Canada
Affiliation:University of Toronto

Contributions

PLDI 2022 Author of (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs within the SIGPLAN Track-track
MODELS 2021 Author of A Lean Approach to Building Valid Model-Based Safety Arguments within the Technical Papers-track
Author of Applying Declarative Analysis to Software Product Line Models: An Industrial Study within the Technical Papers-track
ESEC/FSE 2021 Session Chair of Dependability—Vulnerabilities 2 (part of Research Papers)
Session Chair of Analysis—Programming Languages (part of Research Papers)
SPLASH 2020 Session Chair of F-3A (part of OOPSLA)
Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track
PADL 2020 Author of Variability-aware Datalog within the PADL 2020-track
Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
ICSE 2021 Author of Towards Modal Software Engineering within the NIER - New Ideas and Emerging Results-track

Share
xSun 22 May 12:03
using conf.researchr.org (v1.55.6)
Support page
Sign Up