Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David Socha

dblp:30/2669 · DBLP profile ↗
← Back
7ranked-venue papers
2as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Human-computer interaction and ubiquitous computing · 3 · 1 first-authorSystems, architecture and hardware · 2Software engineering, systems software and programming languages · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Empirical software engineering · 46% Software testing · 40% Requirements engineering and software design · 14%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Empirical software engineering
developer studies
0.212013
Sketching software in the wild · ICSE 2013
Software testing
automated testing
0.112006
Automated testing of stochastic systems: a statistically grounded approach · ISSTA 2006
Software testing
statistical testing
0.112006
Automated testing of stochastic systems: a statistically grounded approach · ISSTA 2006
Software testing
unit testing
0.012006
Automated testing of stochastic systems: a statistically grounded approach · ISSTA 2006

Methods — techniques the papers use, named apart from their topics

qualitative study · 0.2statistical property testing · 0.1hypothesis testing · 0.1
YearPublicationVenuePosition
2016 Discourse/s in/of CSCW
Wolff-Michael Roth, Josh Tenenberg, David Socha
Comput. Support. Cooperative Work.3
2016 From I-Awareness to We-Awareness in CSCW
Josh Tenenberg, Wolff-Michael Roth, David Socha
Comput. Support. Cooperative Work.3
2013 Sketching software in the wild
abstract
This paper argues that understanding how professional software developers use diagrams and sketches in their work is an underexplored terrain. We illustrate this by summarizing a number of studies on sketching and diagramming across a variety of domains, and arguing for their limited generalizability. In order to develop further insight, we describe the design of a research project we are embarking upon and its grounding theoretical assumptions.
David Socha, Josh Tenenberg
ICSE1
2012 Group whiteboards and modeler/customer teams: getting closer to industrial-style collaboration in a classroom
abstract
This paper reports on two simple innovations that helped create a more authentic and engaging modeling experience in an undergraduate Analysis and Design course: (a) having each team of students act both as modelers for another team, and as customers for another team, and (b) providing each team with their own whiteboard. The results from their use throughout the course, and for a single use of the whiteboards in a Computing Technology and Public Policy course, were quite positive. They resulted in a qualitatively different experience noticeable both to the instructors and the students. While some students were initially reluctant to use the whiteboards, by the end of the course most students were enthusiastic about their use.
David Socha
SIGCSE1
2006 Automated testing of stochastic systems: a statistically grounded approach
abstract
Automated tests can play a key role in ensuring system quality in software development. However, significant problems arise in automating tests of stochastic algorithms. Normally, developers write tests that simply check whether the actual result is equal to the expected result (perhaps within some tolerance). But for stochastic algorithms, restricting ourselves in this way severely limits the kinds of tests we can write: either to trivial tests, or to fragile and hard-tounderstand tests that rely on a particular seed for a random number generator. A richer and more powerful set of tests is possible if we accommodate tests of statistical properties of the results of running an algorithm many times. The work described in this paper has been done in the context of a real-world application, a large-scale simulation of urban development designed to inform major decisions about land use and transportation. We describe our earlier experience with using automated testing for this system, in which we took a conventional approach, and the resulting difficulties. We then present a statistically based approach for testing stochastic algorithms based on hypothesis testing. Three different ways of constructing such tests are given, which cover the most commonly used distributions. We evaluate these tests in terms of frequency of failing when they should and when they should not, and conclude with guidelines and practical suggestions for implementing such unit tests for other stochastic applications.
Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek
ISSTA3
1988 Debugging Parallel Programs using Graphical Views
Mary L. Bailey, David Socha, David Notkin
ICPP (2)2
1986 Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment
Lawrence Snyder 0001, David Socha
ICPP2