serhei
Interested in free software, debugging tools, testing and development workflows, disciplined programming and software verification.
Red Hat, @RedHatOfficialToronto
Pinned Repositories
bunsen
mirror of the Sourceware bunsen repo
course-scheduler
Linear programming model for class schedule generation
disciplined-code
Examples and techniques for disciplined programming
ebt
Event-based instrumentation language built around DynamoRIO
oc-inject
WIP debugging tool - copy an executable to an OpenShift container and run the executable
openshift-automation-tools
stap-experiments
fork of the Sourceware systemtap repo, branches serhei/tnfa and serhei/multiplexing
serhei's Repositories
serhei/oc-inject
WIP debugging tool - copy an executable to an OpenShift container and run the executable
serhei/course-scheduler
Linear programming model for class schedule generation
serhei/bunsen
mirror of the Sourceware bunsen repo
serhei/disciplined-code
Examples and techniques for disciplined programming
serhei/ebt
Event-based instrumentation language built around DynamoRIO
serhei/openshift-automation-tools
serhei/stap-experiments
fork of the Sourceware systemtap repo, branches serhei/tnfa and serhei/multiplexing
serhei/bunsen-gdb-sample-data
Example Bunsen data set based on a subset of 2019-08 GDB test logs from https://gdb-buildbot.osci.io/results
serhei/pcp-webapp-blinkenlights
Example code for pcp-webapi
serhei/suckless-hello
example program using https://suckless.org packaging style