https://menshikov.org/about/ 2026-03-29T18:26:13+00:00 https://menshikov.org/about_website/ 2026-03-29T18:26:13+00:00 https://menshikov.org/cv/ 2026-03-29T18:26:13+00:00 https://menshikov.org/portfolio/ 2026-03-29T18:26:13+00:00 https://menshikov.org/cv_tex.tex 2026-03-29T18:26:13+00:00 https://menshikov.org/links/ 2026-03-29T18:26:13+00:00 https://menshikov.org/papers/ 2026-03-29T18:26:13+00:00 https://menshikov.org/posts/ 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/ 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/active 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/commercial 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-arm 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-arm64 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-mips 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-riscv32 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-riscv64 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/cpu-x86_64 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/elfpack 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/highlights 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-linux 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-mac 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-se 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-windows 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-wm 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-wp7 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/plat-wp8 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/static_analysis 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/tag-compilers 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/tag-containerization 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/tag-iot 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/tag-networking 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/tag-reverse-engineering 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/wm 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/wp7 2026-03-29T18:26:13+00:00 https://menshikov.org/projects/wp8 2026-03-29T18:26:13+00:00 https://menshikov.org/streamline/ 2026-03-29T18:26:13+00:00 https://menshikov.org/paper/function-context-detection-in-the-program-source-code/ 2016-04-06T09:30:00+00:00 https://menshikov.org/paper/5w-1h-static-analysis-report-quality-measure/ 2017-03-03T12:30:00+00:00 https://menshikov.org/paper/applying-mapreduce-to-static-analysis/ 2017-04-05T09:30:44+00:00 https://menshikov.org/paper/design-and-testing-of-lxc-based-virtualization-system-for-resource-constrained-mips-devices/ 2018-04-14T14:01:00+00:00 https://menshikov.org/paper/scalable-semantic-virtual-machine-framework-for-language-agnostic-static-analysis/ 2018-09-10T12:00:06+00:00 https://menshikov.org/paper/an-approach-to-storing-program-semantics-in-static-program-analysis/ 2019-04-09T11:00:31+00:00 https://menshikov.org/paper/static-analysis-of-ruc-programs/ 2019-04-23T11:00:00+00:00 https://menshikov.org/paper/windows-phone-7-full-unlock-architecture/ 2019-04-25T11:00:00+00:00 https://menshikov.org/paper/equid-a-static-analysis-framework-for-industrial-applications/ 2019-07-02T08:20:39+00:00 https://menshikov.org/paper/towards-a-resident-static-analysis/ 2019-07-03T07:40:11+00:00 https://menshikov.org/paper/effective-translation-of-directed-acyclic-graphs-to-intermediate-representation/ 2020-04-20T09:30:00+00:00 https://menshikov.org/paper/midair-an-intermediate-representation-for-multi-purpose-program-analysis/ 2020-07-02T07:30:55+00:00 https://menshikov.org/paper/static-analyzer-debugging-and-quality-assurance-approaches/ 2021-01-18T17:44:49+00:00 https://menshikov.org/paper/systematization-of-abstractions-for-unified-programming-language-and-environment-support-in-static-code-analyzers/ 2021-04-08T11:30:00+00:00 https://menshikov.org/paper/review-of-static-analyzer-service-models/ 2021-05-27T09:20:00+00:00 https://menshikov.org/2013/10/13/hello-world/ 2013-10-13T15:52:20+00:00 https://menshikov.org/2013/10/21/windows-8-1-facepalm/ 2013-10-20T20:26:22+00:00 https://menshikov.org/2013/10/25/major-giveaway/ 2013-10-25T18:27:24+00:00 https://menshikov.org/2013/11/24/dynamics-2-0-anniversary/ 2013-11-24T07:27:57+00:00 https://menshikov.org/2013/12/24/year-results/ 2013-12-24T18:49:30+00:00 https://menshikov.org/2014/02/01/how-it-works-full-unlock-russian/ 2014-02-01T18:26:16+00:00 https://menshikov.org/2014/02/01/how-it-works-full-unlock/ 2014-02-01T18:26:16+00:00 https://menshikov.org/2014/03/25/osbuilder8-the-process/ 2014-03-25T20:24:19+00:00 https://menshikov.org/2014/03/26/osbuilder8-the-process-russian/ 2014-03-25T20:24:19+00:00 https://menshikov.org/2016/04/30/openswan-tips-and-tricks/ 2016-04-30T18:02:24+00:00 https://menshikov.org/2016/05/26/escape-from-windows-10/ 2016-05-26T17:09:00+00:00 https://menshikov.org/2021/02/07/dell-xps-15-9560-and-samsung-980-pro-ssd/ 2021-02-07T15:02:15+00:00 https://menshikov.org/2021/02/08/faulty-keyboard-joins-scientific-index/ 2021-02-08T06:12:10+00:00 https://menshikov.org/2021/02/24/does-programming-have-anything-to-do-with-mathematics/ 2021-02-24T13:10:59+00:00 https://menshikov.org/2021/02/28/how-learning-linux-makes-you-a-better-programmer/ 2021-02-28T13:47:02+00:00 https://menshikov.org/2021/03/21/implicit-knowledge-breaks-your-software/ 2021-03-21T12:33:56+00:00 https://menshikov.org/2021/04/07/cognitive-load-reduction-as-a-debugging-aid/ 2021-04-07T11:38:33+00:00 https://menshikov.org/2021/10/01/cast/ 2021-10-01T20:49:12+00:00 https://menshikov.org/2021/11/06/fmtparser/ 2021-10-01T20:49:12+00:00 https://menshikov.org/2024/10/21/changing-landscape/ 2024-10-21T20:49:12+00:00 https://menshikov.org/project/patternsearch/ 2006-02-01T07:11:52+00:00 https://menshikov.org/project/flashlight/ 2008-01-12T13:45:11+00:00 https://menshikov.org/project/eventcontrol/ 2008-03-03T18:18:45+00:00 https://menshikov.org/project/evtedit/ 2008-03-31T17:18:32+00:00 https://menshikov.org/project/evtdesk/ 2008-03-31T17:18:49+00:00 https://menshikov.org/project/coverart-in-standby/ 2008-06-04T13:18:45+00:00 https://menshikov.org/project/mapnavigator/ 2008-08-21T14:13:52+00:00 https://menshikov.org/project/gprssessioninfo/ 2008-10-10T14:19:10+00:00 https://menshikov.org/project/themeunpacker/ 2008-11-10T19:39:14+00:00 https://menshikov.org/project/statusclock/ 2008-11-14T14:34:20+00:00 https://menshikov.org/project/advancedsoftkeys/ 2009-01-14T18:33:22+00:00 https://menshikov.org/project/softedit/ 2009-01-14T18:33:25+00:00 https://menshikov.org/project/walkmandisplay/ 2009-08-13T17:46:03+00:00 https://menshikov.org/project/dynamics-rom/ 2009-09-01T11:19:09+00:00 https://menshikov.org/project/package-size-analyzer/ 2009-09-15T05:41:00+00:00 https://menshikov.org/project/android-xperia/ 2009-10-01T11:31:00+00:00 https://menshikov.org/project/timer/ 2009-10-29T11:31:00+00:00 https://menshikov.org/project/devhealthanalyzer/ 2009-11-27T13:18:37+00:00 https://menshikov.org/project/flashlight-2/ 2009-12-01T05:35:00+00:00 https://menshikov.org/project/resourcepacker/ 2009-12-01T13:26:37+00:00 https://menshikov.org/project/tweaktool/ 2009-12-03T05:46:00+00:00 https://menshikov.org/project/stopwatch/ 2009-12-03T05:50:00+00:00 https://menshikov.org/project/et9filter/ 2010-01-07T15:12:13+00:00 https://menshikov.org/project/siphook/ 2010-01-07T15:12:51+00:00 https://menshikov.org/project/alphauc/ 2010-02-01T07:11:52+00:00 https://menshikov.org/project/taskbarservice/ 2010-02-01T07:14:00+00:00 https://menshikov.org/project/manilasdk/ 2010-02-02T09:58:00+00:00 https://menshikov.org/project/shutdownmenu/ 2010-02-03T05:43:00+00:00 https://menshikov.org/project/wifi-switch/ 2010-04-26T14:18:00+00:00 https://menshikov.org/project/bluetooth-switch/ 2010-04-26T14:58:00+00:00 https://menshikov.org/project/htcsensorsdk-for-sony-ericsson-xperia-x2/ 2010-05-23T14:47:51+00:00 https://menshikov.org/project/music-identification-client/ 2010-05-27T13:35:00+00:00 https://menshikov.org/project/sony-ericsson-xperia-x1-two-way-in-call-recording/ 2010-09-04T05:34:34+00:00 https://menshikov.org/project/vibrationsrv/ 2010-10-05T13:51:00+00:00 https://menshikov.org/project/camera-launcher/ 2010-10-05T16:32:00+00:00 https://menshikov.org/project/snoozesrv/ 2010-10-05T16:32:00+00:00 https://menshikov.org/project/xwinkey/ 2010-10-05T16:32:00+00:00 https://menshikov.org/project/bold-font-fix-windows-mobile-653/ 2010-10-21T17:20:58+00:00 https://menshikov.org/project/utask/ 2010-11-13T16:16:53+00:00 https://menshikov.org/project/androidlauncher/ 2011-01-19T18:03:00+00:00 https://menshikov.org/project/remove-rich-signature/ 2011-01-27T13:14:09+00:00 https://menshikov.org/project/native-windows-phone-7-api/ 2011-01-28T07:04:00+00:00 https://menshikov.org/project/htcvolumecontrolproxy/ 2011-02-03T17:34:14+00:00 https://menshikov.org/project/imgfsfromdump-for-osbuilder/ 2011-02-04T06:03:00+00:00 https://menshikov.org/project/cpudev-xperia-x1-overclocking/ 2011-03-07T18:37:00+00:00 https://menshikov.org/project/lock-service/ 2011-03-12T18:08:00+00:00 https://menshikov.org/project/leddev/ 2011-03-26T15:55:00+00:00 https://menshikov.org/project/overclock-manager/ 2011-05-03T11:01:00+00:00 https://menshikov.org/project/native-windows-phone-7-api-com/ 2011-05-05T05:45:00+00:00 https://menshikov.org/project/xperia-x1-display-driver-tearing-fix/ 2011-05-16T18:45:00+00:00 https://menshikov.org/project/night-mode/ 2011-05-29T17:47:00+00:00 https://menshikov.org/project/scrollingmod/ 2011-07-09T15:51:00+00:00 https://menshikov.org/project/device-selector/ 2011-08-26T17:30:00+00:00 https://menshikov.org/project/cache-instantiator/ 2011-09-02T18:07:00+00:00 https://menshikov.org/project/full-unlock/ 2011-09-02T18:07:17+00:00 https://menshikov.org/project/cloaking-filter-fsperf/ 2011-09-02T18:07:22+00:00 https://menshikov.org/project/upolicyengine-upl/ 2011-09-02T18:07:25+00:00 https://menshikov.org/project/account-manager/ 2011-09-02T18:07:26+00:00 https://menshikov.org/project/loaderverifier-ulv/ 2011-09-02T18:07:53+00:00 https://menshikov.org/project/quick-launch/ 2011-09-08T17:09:06+00:00 https://menshikov.org/project/squared-grid-start-menu/ 2011-09-15T14:57:00+00:00 https://menshikov.org/project/startmenulayout/ 2011-09-15T14:57:00+00:00 https://menshikov.org/project/htc-hd2-display-driver-fix-for-windows-mobile-6-5-x/ 2011-09-27T08:20:12+00:00 https://menshikov.org/project/sliding-sound-service/ 2011-10-05T16:32:00+00:00 https://menshikov.org/project/ultra3d-for-htc-hd2/ 2011-10-10T16:19:00+00:00 https://menshikov.org/project/initflashfilesfix/ 2011-10-12T12:46:00+00:00 https://menshikov.org/project/relocation-of-z-modules/ 2011-11-03T08:58:29+00:00 https://menshikov.org/project/opera-mini-for-windows-phone-7-port/ 2011-12-10T06:05:26+00:00 https://menshikov.org/project/opera-mobile-10-for-windows-phone-7-port/ 2011-12-25T13:58:39+00:00 https://menshikov.org/project/native-debugger-for-windows-phone-7/ 2012-01-05T11:43:40+00:00 https://menshikov.org/project/ringtonemaker/ 2012-01-26T17:03:39+00:00 https://menshikov.org/project/wlanfix-for-htc-wp7-devices/ 2012-01-28T06:00:00+00:00 https://menshikov.org/project/accelerometer-toggle/ 2012-01-29T11:48:22+00:00 https://menshikov.org/project/uplatforminterop/ 2012-02-13T17:40:08+00:00 https://menshikov.org/project/dynamics7/ 2012-02-27T14:24:38+00:00 https://menshikov.org/project/usmsproviders/ 2012-02-27T17:23:10+00:00 https://menshikov.org/project/windows-mobile-device-center-launcher-for-windows-phone-7/ 2012-02-28T10:45:59+00:00 https://menshikov.org/project/htc-d000ff-support/ 2012-04-16T08:55:03+00:00 https://menshikov.org/project/wpbackup/ 2012-11-23T18:12:30+00:00 https://menshikov.org/project/clockhub/ 2012-11-24T18:57:23+00:00 https://menshikov.org/project/xapdeployer/ 2012-11-24T19:51:06+00:00 https://menshikov.org/project/hqtokens/ 2013-02-26T17:26:44+00:00 https://menshikov.org/project/ffu-extract/ 2013-06-03T14:46:00+00:00 https://menshikov.org/project/ncsdusb/ 2013-07-01T08:20:00+00:00 https://menshikov.org/project/policyvisualizer/ 2013-07-02T17:15:00+00:00 https://menshikov.org/project/oemmarket/ 2013-07-18T19:39:00+00:00 https://menshikov.org/project/osbuilder8/ 2014-03-25T18:03:01+00:00 https://menshikov.org/project/dyndns/ 2015-01-01T13:52:53+00:00 https://menshikov.org/project/webui_optimization/ 2015-01-01T13:52:53+00:00 https://menshikov.org/project/certificates/ 2015-01-01T13:52:53+00:00 https://menshikov.org/project/ipsec/ 2015-06-01T13:52:53+00:00 https://menshikov.org/project/hcd/ 2015-08-01T13:52:53+00:00 https://menshikov.org/project/custom-sa/ 2015-09-02T13:52:53+00:00 https://menshikov.org/project/dwc2/ 2016-02-16T13:52:53+00:00 https://menshikov.org/project/codename-race-cloud/ 2016-06-06T06:06:00+00:00 https://menshikov.org/project/race/ 2016-06-06T09:09:00+00:00 https://menshikov.org/project/race-researcher/ 2016-06-06T09:37:00+00:00 https://menshikov.org/project/cv/ 2016-06-06T20:45:00+00:00 https://menshikov.org/project/webui_wizard/ 2016-09-01T13:52:53+00:00 https://menshikov.org/project/wifi/ 2017-01-01T13:52:53+00:00 https://menshikov.org/project/docker-mips/ 2017-12-01T13:52:53+00:00 https://menshikov.org/project/overlayfs/ 2017-12-01T13:52:53+00:00 https://menshikov.org/project/containerization/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/openvpn/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/packagemanager/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/seccomp-legacy/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/cryptography/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/snull/ 2018-01-01T13:52:53+00:00 https://menshikov.org/project/slabinject/ 2018-01-27T06:26:00+00:00 https://menshikov.org/project/type-grammar/ 2018-11-11T06:23:00+00:00 https://menshikov.org/project/visao/ 2019-07-02T08:20:26+00:00 https://menshikov.org/project/ruc/ 2019-07-19T08:20:26+00:00 https://menshikov.org/project/infrastructure/ 2020-07-01T08:20:26+00:00 https://menshikov.org/project/sc-infrastructure/ 2020-09-01T08:20:26+00:00 https://menshikov.org/project/malware/ 2020-09-01T13:52:53+00:00 https://menshikov.org/project/reversible/ 2020-09-01T13:52:53+00:00 https://menshikov.org/project/gostcode/ 2020-09-14T17:59:46+00:00 https://menshikov.org/project/wireguard-cli/ 2020-10-20T17:50:16+00:00 https://menshikov.org/project/analysis-server-protocol/ 2021-01-04T16:52:49+00:00 https://menshikov.org/project/verification-example-framework/ 2021-01-04T16:58:11+00:00 https://menshikov.org/project/builtinizer/ 2021-01-05T17:43:54+00:00 https://menshikov.org/project/static-analysis-testing-ensemble/ 2021-01-09T17:30:38+00:00 https://menshikov.org/project/parslr/ 2021-02-21T13:52:53+00:00 https://menshikov.org/project/bluetooth-emulator/ 2021-05-01T13:52:53+00:00 https://menshikov.org/project/wristband-testsuite/ 2021-05-01T13:52:53+00:00 https://menshikov.org/project/wristband/ 2021-05-01T13:52:53+00:00 https://menshikov.org/project/message-broker/ 2021-05-01T13:52:53+00:00 https://menshikov.org/project/toolchain_detection/ 2021-06-01T13:52:53+00:00 https://menshikov.org/project/mesh/ 2021-06-01T13:52:53+00:00 https://menshikov.org/project/mtk_drivers/ 2021-06-01T13:52:53+00:00 https://menshikov.org/project/build_trace/ 2021-06-01T13:52:53+00:00 https://menshikov.org/project/ide_integrations/ 2021-08-01T13:52:53+00:00 https://menshikov.org/project/website/ 2021-09-21T20:45:00+00:00 https://menshikov.org/project/cast/ 2021-10-01T20:45:00+00:00 https://menshikov.org/project/fmtparser/ 2021-11-05T10:03:00+00:00 https://menshikov.org/project/mtk_dma/ 2021-12-01T10:03:00+00:00 https://menshikov.org/project/soc/ 2021-12-01T10:03:00+00:00 https://menshikov.org/project/evolucao/ 2022-08-01T10:03:00+00:00 https://menshikov.org/project/evolucao-web/ 2022-08-02T10:03:00+00:00 https://menshikov.org/project/isabelle/ 2023-07-30T10:03:00+00:00 https://menshikov.org/project/goparser/ 2023-07-30T10:03:00+00:00 https://menshikov.org/project/arvore/ 2023-08-30T10:03:00+00:00 https://menshikov.org/project/delta/ 2023-09-01T10:03:00+00:00 https://menshikov.org/project/equestrian-manage/ 2024-06-01T10:03:00+00:00 https://menshikov.org/project/private-processing/ 2024-06-01T10:03:00+00:00 https://menshikov.org/project/private-ui/ 2024-06-01T10:03:00+00:00 https://menshikov.org/project/cloud-management-ui 2024-11-01T10:03:00+00:00 https://menshikov.org/project/custom-openwrt 2024-11-01T10:03:00+00:00 https://menshikov.org/project/v-router/ 2024-12-01T10:03:00+00:00 https://menshikov.org/project/v-router-cloud/ 2024-12-02T10:03:00+00:00 https://menshikov.org/project/acs-api-rs 2024-12-15T10:03:00+00:00 https://menshikov.org/project/easy-stun 2024-12-15T10:03:00+00:00 https://menshikov.org/project/vpn-secure/ 2025-01-01T10:03:00+00:00 https://menshikov.org/project/vpn-arm64/ 2025-01-02T10:03:00+00:00 https://menshikov.org/project/dotnet-riscv32/ 2025-01-15T10:03:00+00:00 https://menshikov.org/project/dotnet-riscv64/ 2025-01-15T10:03:00+00:00 https://menshikov.org/project/bflat/ 2025-01-15T10:03:00+00:00 https://menshikov.org/project/bflat-libziskos/ 2025-01-15T10:03:00+00:00 https://menshikov.org/ https://menshikov.org/page2/ https://menshikov.org/page3/ https://menshikov.org/assets/docs/biocad_stipend.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/cambridge_c1.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/coursera_databases.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/coursera_pcarch.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/coursera_quantum.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/cv_maxim.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/psrs_2016_2017.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/docs/psrs_2017_2018.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/assets/streamline/lei_das_startups.pdf 2026-03-29T18:26:06+00:00 https://menshikov.org/images/biocad_stipend.pdf 2026-03-29T18:26:07+00:00