Talks

• Ready, set, Go! Data-race detection and the Go language
  SBMF 2019: 22^nd Brazilian Symposium on Formal Methods
  São Paulo, Brazil, November 2019

• Ready, set, Go! Data-race detection and the Go language
  NWPT 2019: 31^st Nordic Workshop on Programming Theory
  Tallinn, Estonia, November 2019

• Operational Semantics of a Weak Memory Model with Channel Communication
  FM 2018: 22^nd International Symposium on Formal Methods
  Oxford, UK, July 2018

• Operational Semantics of a Weak Memory Inspired by Go
  NWPT 2017: 29^th Nordic Workshop on Programming Theory
  Turku, Finland, November 2017

• Operational Semantics of a Weak Memory Inspired by Go    (Best presentation award)
  PhD Symposium at the iFM 2017: 13^th International Conference on Integrated Formal Methods
  Turin, Italy, September 2017

• Early Intrusion Projection and Impact Assessment for Cyber Situational Awareness
  IEEE Upstate NY Workshop on Sensors, Communications, and Networking ‘07
  Syracuse NY, November 2007
  Talk given by S. J. Yang. Joint work between S. J. Yang, D. Fava, J. Holsopple, B. Argauer, and M. Sudit
  

• Characterizing Cyber Attacks through Variable Markov Models
  The 4^th Conference on Mathematical Methods in Counterterrorism, Rochester NY, September 2007
  Talk given by S. J. Yang. Joint work between D. Fava and S. J. Yang
  

• Characterization of Cyber Attack Actions through Variable Length Markov Models
  Poster presentation at 1^st Computer Engineering Student Research Symposium, RIT, May 2007
  

• Boresight Calibration of the WASP Airborne Mapping Camera System
  The 13^th Annual Undergraduate Research Symposium, RIT, August 2004

Outreach

• Repairing the Go data-race detector: A story on applied research
  Digital stuntlunch at SINTEF. Oslo, Norway, June 2020

• Channels, memory, and Synchronization via message passing
  Go Oslo User Group meetup, October 9, 2019
  

• Reading club on the intersection of Programming Languages and Formal Methods
  Organizer and presenter. University of Oslo, Norway, 2018-2019

• Getting started with the 𝕂 Framework
  Precise Modeling and Analysis group seminar, University of Oslo, February 2017
  

• A Personal Journey Through the Technical World
  Graduate Seminar, Rochester Institute of Technology, September 2015