Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Scott F. Smith
conf.researchr.org general profile
APLAS 2020 profile
ECOOP 2016 profile
ECOOP and ISSTA 2018 profile
ICFP 2020 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2024 profile
Registered user since Fri 22 Jul 2016
Name:
Scott F. Smith
Affiliation:
The Johns Hopkins University
Contributions
2024
SPLASH
Author of Semantic-Type-Guided Bug Finding within the OOPSLA 2024-track
Author of A Pure Demand Operational Semantics with Applications to Program Analysis within the OOPSLA 2024-track
2020
APLAS
Author of A Set-Based Context Model for Program Analysis within the Research Papers-track
ICFP
Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track
2018
ECOOP
Committee Member in Program Committee within the ECOOP Research Papers-track
2016
ECOOP
Author of Higher-Order Demand-Driven Program Analysis within the Research Track-track
Author of Higher-Order Demand-Driven Program Analysis within the Artifacts-track
2013
GPCE
Author of Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks within the Research Papers-track
2012
FOOL
Committee Member in Program Committee within the FOOL 2012-track
Author of A Practical, Typed Variant Object Model within the FOOL 2012-track
2011
SPLASH
Author of Backstage Java: Making a Difference in Metaprogramming within the OOPSLA-track
Share
x
Sun 22 Dec 06:45
