Stephen N. Freund

Department Chair
John B. McCoy and John T. McCoy 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

News

• Try our Anchor Verifier!
• I’m the GC for PLDI 2021.
• I’m currently teaching CSCI 334.

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 2020

  • CSCI 334  -  Principles of Programming Languages
    
    

• Education Publications

• Some Previous Classes

  • CSCI 134  -  Introduction to Computer Science
  • 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

---