Joe Walston

According to our database, Joe Walston authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Artificial Incorrectness: SMT and LLMs in Hardware Synthesis.

Edward Wang, Joe Walston, Luca Daniel, Tony Tan, Yoni Zohar, Clark W. Barrett

Proceedings of the NASA Formal Methods, 2026

2024

FastPASE: An AI-Driven Fast PPA Speculation Engine for RTL Design Space Optimization.

Akash Levy, Joe Walston, Sourav Samanta, Priyanka Raina, Stelios Diamantidis

Proceedings of the 25th International Symposium on Quality Electronic Design, 2024

CircuitSeer: RTL Post-PnR Delay Prediction via Coupling Functional and Structural Representation.

Sanjay Gandham, Joe Walston, Sourav Samanta, Lingxiang Yin, Hao Zheng, Mingjie Lin, Stelios Diamantidis

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024