Lee Smith

According to our database, Lee Smith authored at least 8 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations.

Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson

Proc. ACM Program. Lang., 2024

Compiler Testing with Relaxed Memory Models.

Luke Geeson, Lee Smith

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2018

Socio-demographic factors relating to perception and use of mobile technologies in tertiary teaching.

Kwok-Wing Lai, Lee Smith

Br. J. Educ. Technol., 2018

2017

Safety, Challenges, and Performance of Motion Planners in Dynamic Environments.

Hao-Tien Chiang, Baisravan HomChaudhuri, Lee Smith, Lydia Tapia

Proceedings of the Robotics Research, The 18th International Symposium, 2017

2009

Instructional animations can be superior to statics when learning human motor skills.

Anna Wong, Nadine Marcus, Paul Ayres, Lee Smith, Graham A. Cooper, Fred Paas, John Sweller

Comput. Hum. Behav., 2009

2006

Bringing Manufacturing into Design via Process-Dependent SPICE Models.

Sridhar Tirumala, Yuri Mahotin, Xiao Lin, Victor Moroz, Lee Smith, S. Krishnamurthy, L. Bomholt, Dipu Pramanik

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

Stress-Aware Design Methodology.

Victor Moroz, Lee Smith, Xi-Wei Lin, Dipu Pramanik, Greg Rollins

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

1997

Responsive Graphs: Understanding Engineering Concepts Through Interactive Experience.

Eviatar Shafrir, Lee Smith

Proceedings of the Human Factors in Computing Systems, 1997