scispace - formally typeset
B

Ben Wiedermann

Researcher at Harvey Mudd College

Publications -  16
Citations -  2295

Ben Wiedermann is an academic researcher from Harvey Mudd College. The author has contributed to research in topics: Java & Compiler. The author has an hindex of 12, co-authored 16 publications receiving 2145 citations. Previous affiliations of Ben Wiedermann include Virginia Tech & University of Texas at Austin.

Papers
More filters
Proceedings ArticleDOI

JSAI: a static analysis platform for JavaScript

TL;DR: JSAI is described, a formally specified, robust abstract interpreter for JavaScript that uses novel abstract domains to compute a reduced product of type inference, pointer analysis, control-flow analysis, string analysis, and integer and boolean constant propagation.
Proceedings ArticleDOI

Understanding the Challenges Faced by Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce

TL;DR: The hidden lives of neurodiverse technology workers, e.g., those with autism spectrum disorder, attention deficit hyperactivity disorder, and/or other learning disabilities, such as dyslexia are explored.
Proceedings ArticleDOI

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach

TL;DR: The goal of this paper is to understand the subtleties of timing and termination-sensitive noninterference, explore the space of possible strategies for enforcingNoninterference guarantees, and formalize the exact guarantees that these strategies can enforce.