Sean Kauffman

Graduated (PhD), 2021

Sean Kauffman completed his undergraduate degree at Goshen College in Goshen, Indiana in the Spring of 2005. Although Goshen was a Liberal Arts school, he studied Computer Science and received a Bachelor of Arts in that field. After a year volunteering in the Netherlands, Sean moved to Seattle, Washington and took a position as a Software Engineer with a startup named CleverSet that sold a product recommendations system as a service. In 2008 CleverSet was acquired by Art Technology Group and Sean took a position with that company, later being promoted to Senior Software Engineer. In 2011 ATG was acquired by Oracle Corportation and Sean again took a position with that company, later being promoted to Principal Software Engineer. In 2012, Sean completed a certificate program with the University of Washington in Real Time Embedded Systems Programming.

In the Spring of 2016, Sean completed a Master of Mathematics degree in Computer Science at the University of Waterloo under Sebastian Fishmeister. Sean spends his spare time restoring his classic car, playing dodgeball, fiddling, baking, and playing with his cat.

Affiliation:

University of Waterloo

Publications with this group

2021

Kauffman, S., K. Havelund, and S. Fischmeister, "What Can We Monitor Over Unreliable Channels?", International Journal on Software Tools for Technology Transfer, vol. 23, issue 4, pp. 579--600, 2021.

[pdf] (793.42 KB)

2020

Kauffman, S., M. Dunne, G. Gracioli, W. Khan, N. Benann, and S. Fischmeister, "Palisade: A Framework for Anomaly Detection in Embedded Systems", Journal of Systems Architecture, pp. 1--17, 2020.

[pdf] (2.04 MB)

2019

Kauffman, S., and S. Fischmeister, "Event Stream Abstraction Using Nfer: Demo Abstract", International Conference on Cyber-Physical Systems, Montreal, Canada, ACM, pp. 332 to 333, 2019.

[pdf] (310.36 KB)

Kauffman, S., K. Havelund, and S. Fischmeister, "Monitorability Over Unreliable Channels", International Conference on Runtime Verification (RV), Porto, Portugal, pp. 256 to 272, 2019.

[pdf] (413.94 KB)

2018

Kauffman, S., K. Havelund, R. Joshi, and S. Fischmeister, "Inferring Event Stream Abstractions", Formal Methods in System Design, pp. 29, 2018.

2017

Kauffman, S., and S. Fischmeister, "Mining Temporal Intervals from Real-time System Traces", 6th International Workshop on Software Mining, Champaign, USA, 2017.

[paper] (358.91 KB)

Narayan, A., S. Kauffman, J. Morgan, G. Martin Tchamgoue, Y. Joshi, S. Fischmeister, and C. Hobbs, "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017.

[pdf] (251.78 KB)

2016

Moreno, C., S. Kauffman, and S. Fischmeister, "Efficient Program Tracing and Monitoring Through Power Consumption -- With A Little Help From The Compiler", Proc. of Design, Automation, and Test (DATE), Dresden, Germany, 2016.

[pdf] (178.75 KB)

Kauffman, S., C. Moreno, and S. Fischmeister, "Static Transformation of Power Consumption for Software Attestation", IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, South Korea, 2016.

[paper] (366.59 KB)