Stephen N. Freund

Department Chair
A. Barton Hepburn Professor of Computer Science

47 Lab Campus Drive
Williams College
Williamstown, MA 01267

Office: TPL 302. Phone: 413-597-4260
email: freund@cs.williams.edu

Curriculum Vitae

CSCI 104: Understanding Data Through Computation, Fall 2022

Many of the world’s greatest discoveries and most consequential decisions are enabled or informed by the analysis of data from a myriad of sources. Indeed, the ability to organize, visualize, and draw conclusions from data is now a critical tool in the sciences, business, medicine, politics, other academic disciplines, and society as a whole. This course lays the foundations for reasoning about data by exploring complementary computational, statistical, and visualization concepts. These concepts will be reinforced by lab experiences designed to teach programming and statistics skills while analyzing real-world data sets. This course will also examine the broader context and social issues surrounding data analysis, including privacy and ethics.

News

• Try our Anchor Verifier!

Research

• Interests:

  • Design and implementation of programming languages
  • Concurrent programming
  • Static and dynamic analysis of multithreaded programs
    
    

• Research Publications

• Software:

  • Anchor Verifier Artifact — Try it Here!
  • RoadRunner Dynamic Analysis Framework
  • BigFoot Artifact
  • VerifiedFT Artifact
    
    

• Current and Former Project Pages:

  • Synthesis for Concurrent Programs
  • Data Race Detection
  • Scalability-Oriented Optimization
  • Cooperability
  • Hybrid Atomicity Checking
  • Hybrid Type Checking
  • Atomicity Checking

• Various Tutorial and Workshop Archives:

  • PLDI 2021
  • UPMARC 2014 Summer School lectures on Analysis Techniques to Detect Concurrency Errors
  • RV 2012 Tutorial on Dynamic Analyses for Data-Race Detection
  • PASTE ’13
  • Summer School on Software Reliability Lectures

Teaching

• Fall 2022
  • CSCI 104  -  Understanding Data Through Computation

• Education Publications

• Some Classes I’ve Taught

  • CSCI 134  -  Introduction to Computer Science (Python), Spring 2022
  • CSCI 134  -  Introduction to Computer Science (Java), Fall 2016
  • CSCI 136  - Data Structures and Advanced Programming, Spring 2007
  • CSCI 334  -  Principles of Programming Languages
  • CSCI 326  -  Software Methods
  • CSCI 434T  -  Compiler Design
  • CSCI 010  -  C, Unix, and Software Tools, Winter 2003

---