Concepedia

Shaon Barman

SB

Statistics

Publications

6

Citations

288

H-Index

6

Active since

2010

Affiliations

University of California, Berkeley(Current)

IBM (United States)

University of Washington

Microsoft (United States)

Shaon Barman is an author at University of California, Berkeley specializing in engineering, software engineering, and computer science.

Top concepts

EngineeringComputer ScienceSoftware EngineeringProgram AnalysisSoftware AnalysisData ScienceFormal MethodsSoftware TestingAutomated ReasoningFormal Verification

Publications per year

2010–2023

6

Publications

6

Angelic debugging

Satish Chandra, Emina Torlak, Shaon Barman et al. · 2011 · 131 citations

Software Maintenance, Engineering, Verification +16

Programming with angelic nondeterminism

Rastislav Bodík, Satish Chandra, Joel Galenson et al. · 2010 · 55 citations

Programming Language Theory, Declarative Programming, Engineering +14

Ringer: web automation by demonstration

Shaon Barman, Sarah Chasins, Rastislav Bodík et al. · 2016 · 47 citations

Browser User Interface, Engineering, Information Retrieval +14

Browser Record and Replay as a Building Block for End-User Web Automation Tools

Sarah Chasins, Shaon Barman, Rastislav Bodík et al. · 2015 · 22 citations · Full text

Browser User Interface, Engineering, Software Engineering +23

ATOM-1: A Foundation Model for RNA Structure and Function Built on Chemical Mapping Data

Nicholas Boyd, Brandon Anderson, Brent Townshend et al. · 2023 · 20 citations · Full text

Drug Target, Engineering, Structural Bioinformatics +22

1–5 of 6