Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ramy Shahin
conf.researchr.org general profile
ESEC/FSE 2021 profile
ICSE 2021 profile
MODELS 2021 profile
PLDI 2022 profile
POPL 2020 profile
SPLASH 2020 profile
Registered user since Tue 6 Oct 2020
Name:
Ramy Shahin
Country:
Canada
Affiliation:
University of Toronto
Contributions
2022
PLDI
Author of (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs within the SIGPLAN Track-track
2021
MODELS
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
Session Chair of Dependability—Vulnerabilities 2 (part of Research Papers)
Session Chair of Analysis—Programming Languages (part of Research Papers)
ICSE
Author of Towards Modal Software Engineering within the NIER - New Ideas and Emerging Results-track
2020
SPLASH
Session Chair of F-3A (part of OOPSLA)
Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track
Symposium on Practical Aspects of Declarative Languages
Author of Variability-aware Datalog within the PADL 2020-track
Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
Share
x
Sun 10 Nov 00:10