Hugging Peers

Ben Smith

☆ Save

21 papers 18 citations h-index 2 1998–2026

Intent-aligned AI systems deplete human agency: the need for agency foundations research in AI safety

Catalin Mitelut, Ben Smith, Peter Vamplew

The rapid advancement of artificial intelligence (AI) systems suggests that artificial general intelligence (AGI) systems may soon arrive. Many researchers are concerned that AIs and AGIs will...

12 citations 2023-05

EMME: a formal tool for ECMAScript Memory Model Evaluation

Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith, JF Bastien

Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) has recently...

6 citations 2018-01 International Conference on Tools and Algorithms for Construction and Analysis of Systems

Systematizing security test case planning using functional requirements phrases

Ben Smith
2011-01 ICSE

Exploiting Result Equivalence in Caching Dynamic Web Content

Ben Smith, Anurag Acharya, Tao Yang, Huican Zhu
1999-01 USENIX Symposium on Internet Technologies and Systems

A Configurable Logic Architecture Based on Micro-Electromechanical Relays for Nuclear Power Safety Systems

Coby Cockrell, Aidan G. Collins, Ben Smith, Ümit Özgür, Vitaliy Avrutin, Matt Gibson
+2 more show fewer
Abhi Rajagopala, Carl R. Elks
2026-01 DSN-S

Cooperative Caching of Dynamic Content on a Distributed Web Server

Vegard Holmedahl, Ben Smith, Tao Yang
1998-01 HPDC

Assessing the accuracy of legal implementation readiness decisions

Aaron K. Massey, Ben Smith, Paul N. Otto, Annie I. Antón
2011-01 RE

TetraTetris: A Study of Multi-User Touch-Based Interaction Using DiamondTouch

Stephen G. Kobourov, Christian S. Collberg, Steven Kobes, Ben Smith, S. Trush, Gary V. Yee
2003-01 INTERACT

Scheduling Optimization for Resource-Intensive Web Requests on Server Clusters

Huican Zhu, Ben Smith, Tao Yang
1999-01 SPAA

Improving Computerized Charting in an Intensive Care Unit

Ben Smith, Sivamanoj Sreeramakavacham, Jung Hyup Kim, Laurel Despins
2018-01 HCI (17)

Emergent Stories in Massively Multiplayer Online Games: Using Improvisational Techniques to Design for Emotional Impact

Brenda Harger, David Jimison, Eben Myers, Ben Smith, Shanna Tellerman
2004-01 ICEC

Interactive Graphical Access Control Tools

Rachael Fernandez, Peter C.-H. Cheng, Ben Smith, Tania Fenton, Yehia Boraey, Armstrong Nhlabatsi
+2 more show fewer
Khaled M. Khan, Noora Fetais
2023-01 VL/HCC

Hierarchical Resource Management for Web Server Clusters with Dynamic Content

Huican Zhu, Ben Smith, Tao Yang
1999-01 SIGMETRICS

EMME: A Formal Tool for ECMAScript Memory Model Evaluation

Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
2018-01 TACAS (2)

Topological Nearest-Neighbor Filtering for Sampling-Based Planners

Read Sandström, Andrew Bregger, Ben Smith, Shawna L. Thomas, Nancy M. Amato
2018-01 ICRA

On complete classes of valuated matroids

Edin Husic, Georg Loho, Ben Smith, László A. Végh
2022-01 SODA

A Novel Mesh Deformation Methodology for Computational Aerodynamic Shape Optimisation

Joelle Salamoun, Ben Smith, Ben J. Evans, Sean Walton, Martin Dodds, Neil Taylor
2025-01 GECCO Companion

Open-Source Framework for Earth System Digital Twins

Thomas Huang, Nga T. Chung, Cédric H. David, Sina Hasheminassab, Olga V. Kalashnikova, Stepheny Perez
+9 more show fewer
Joe T. Roberts, Ben Smith, Sujay V. Kumar, Nishan Kumar Biswas, Paul Stackhouse, David Borges, Simon Baillarin, Frédéric Bretar, Raquel Rodriguez-Suquet
2024-01 IGARSS