Scott Smith

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 10

Top Topics

Virtual Reality

Operational Semantics

Spatially Correlated

Top Venues

Proc. ACM Program. Lang.

Publications

Scott Smith, Robert Zhang
A Pure Demand Operational Semantics with Applications to Program Analysis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Max Yaremchuk, Christopher Beattie, Gleb Panteleev, Joseph M. D'Addezio, Scott Smith
The Effect of Spatially Correlated Errors on Sea Surface Height Retrieval from SWOT Altimetry. Remote. Sens. 15 (17) (2023)
Scott Smith, Robert Zhang
A Pure Demand Operational Semantics With Applications to Program Analysis. CoRR (2023)
Chanakya Hingu, Xingang Fu, Scott Smith, Taofiki Saliyu, Letu Qingge
FPGA Acceleration of a Real-time Neural Network Controller for Solar Inverter. UEMCON (2022)
George Koutitas, Scott Smith, Grayson Lawrence
Performance evaluation of AR/VR training technologies for EMS first responders. Virtual Real. 25 (1) (2021)
Chang Lou, Peng Huang, Scott Smith
Understanding, Detecting and Localizing Partial Failures in Large System Software. NSDI (2020)
Asha Singanamalli, Jhimli Mitra, Kirk Wallace, Prem Venugopal, Scott Smith, Larry Mo, Lai Yee Leung, Jonathan Morrison, Todd Rasmussen, Luca Marinelli
Blood flow anomaly detection via generative adversarial networks: a preliminary study. Medical Imaging: Image-Guided Procedures (2020)
Chang Lou, Peng Huang, Scott Smith
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs. HotOS (2019)
Scott Smith, Michael Razo
Using Traffic Microsimulation to Assess Deployment Strategies for the Connected Vehicle Safety Pilot. J. Intell. Transp. Syst. 20 (1) (2016)
David C. Morley, Grayson Lawrence, Scott Smith
Virtual Reality User Experience as a Deterrent for Smartphone Use While Driving. PETRA (2016)
Min Yuan, Nam Ju Kim, Joel Drake, Scott Smith, Victor R. Lee
Examining How Students Make Sense of Slow-Motion Video. ICLS (2014)
Michael Hinds, Brett Sparkman, Jia Di, Scott Smith
An Asynchronous Advanced Encryption Standard Core Design for Energy Efficiency. J. Low Power Electron. 9 (2) (2013)
Stephen Purpura, Dustin Hillard, Mark Hubenthal, Jim Walsh, Scott Golder, Scott Smith
Statistically adaptive learning for a general class of cost functions (SA L-BFGS) CoRR (2012)
Christopher Ryan, Kris Monsen, Scott Smith, Henry So
Multi-Clock DFT architecture for interface characterization and power. SoCC (2012)
Jeff Cohen, Thomas Repantis, Sean McDermott, Scott Smith, Joel Wein
Keeping Track of 70, 000+ Servers: The Akamai Query System. LISA (2010)
Thomas Repantis, Jeff Cohen, Scott Smith, Joel Wein
Scaling a monitoring infrastructure for the Akamai network. ACM SIGOPS Oper. Syst. Rev. 44 (3) (2010)
Scott Smith, David Roclin, Jia Di
Delay-Insensitive Cell Matrix. CDES (2010)
Christina Smith, Scott Smith
Comparison of NULL Convention Booth2 Multipliers. CDES (2010)
Stephen Balakirsky, Elena Messina, Craig Schlenoff, Scott Smith, Michael Uschold
Knowledge representation for a trash collecting robot: results from the 2004 AAAI Spring Symposium. Robotics Auton. Syst. 49 (1-2) (2004)
Ron Provine, Craig Schlenoff, Stephen Balakirsky, Scott Smith, Michael Uschold
Ontology-based methods for enhancing autonomous vehicle path planning. Robotics Auton. Syst. 49 (1-2) (2004)
Craig Schlenoff, Stephen Balakirsky, Michael Uschold, Ron Provine, Scott Smith
Using ontologies to aid navigation planning in autonomous vehicles. Knowl. Eng. Rev. 18 (3) (2003)
Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese
Piranha: a scalable architecture based on single-chip multiprocessing. ISCA (2000)