Bartosz W. Zator
@bartosz_zator
Followers
37
Following
29
Media
3
Statuses
24
Technical manager who still codes a lot. Obsessed with large scale development process infrastructure. Currently trying to make security engineers life easier.
Warsaw, Poland
Joined December 2012
Together with @Tomasz_Kuchta we've just released two tools to open source that can help you in many aspects of S/W engineering (including security verification of low-level OS components): https://t.co/rdZXg5WONT
https://t.co/Eo6IGbhllw I hope it will be be useful. Enjoy!
github.com
AoT is a system for automatically generating off-target test harness by using build information. - Samsung/auto_off_target
0
1
5
Take a look at this interview with @Tomasz_Kuchta one of our top experts in S/W reliability and low-level security for Mobile products where he discusses various techniques that we use to ensure safety and integrity of system software.
An interview with me outlining the research we do in the areas of software engineering and software reliability has just appeared at: https://t.co/6QGwtv4rn3 BTW, the srTalks page hosts a bunch of interesting interviews with people from across Samsung:
0
0
1
KFLAT is a novel approach for performing memory dumps from a running Linux system preserving the underlying source code structure. It can improve the state initialization of the auto-generated test harnesses for the Linux kernel entry points: https://t.co/Cl5867cocc
research.samsung.com
Linux OS is a very complex piece of software which requires advanced testing and debugging capabilities. Memory dumps come very handy at that task: whether that’s a core dump in gdb or a memory image...
0
4
5
Our talk from the recent DPE Summit'23 in San Francisco is now available to watch: https://t.co/a9H07ja473 Enjoy and let me know in case of any feedback of questions.
dpe.org
In this talk, we present various developer productivity engineering (DPE) techniques that we developed and used in the last few years to ensure high performance and effectiveness of engineers working...
0
0
2
Take a look at our novel approach for enabling S/W testing of low-level parts of a larger system, i.e. the Auto Off-Target project.
Auto Off-Target (AoT) is a novel technique designed to enable thorough testing and analysis of complex systems code. Together with @bartosz_zator we just published a blog post with an overview of AoT at:
0
0
0
#DPE is a concept used to maximize developer productivity and happiness. See the tools and DPE techniques that we developed and presented at @dpesummit to improve the work with the complex, low-level system parts of the mobile products. https://t.co/JU0jvWA9d1
research.samsung.com
Software systems powering sophisticated embedded devices are very complex these days. Systems running on mobile phones, operating system in cars, software that runs the production processes in...
0
0
1
I'm happy to announce that together with Adrian Nieć we will be speaking at the DPESummit'23 conference. In our talk we will show how the CAS tooling can be used to boost the productivity of S/W engineers working on low-level native part of the product: https://t.co/hkX0I3GwDw
dpe.org
In this talk, we present various developer productivity engineering (DPE) techniques that we developed and used in the last few years to ensure high performance and effectiveness of engineers working...
0
0
3
Our talk from recent Open Source Summit NA'23 in Vancouver regarding KFLAT, novel memory serialization tool for the Linux kernel variables is now available on Youtube: https://t.co/PiEdG8mhyx Enjoy the talk and feedback truly appreciated
0
2
3
I'm happy to announce that my talk "KFLAT - Selective Kernel Memory Serialization for Security and Debugging" has been accepted for the incoming Open Source Summit NA 2023: https://t.co/BfuMNagebw See you all there! #opensource #OSSummit @linuxfoundation
0
1
3
Had a great time today presenting Auto Off-Target at @UMich. Many thanks to @bariskasikci and the Efes team for having me!
1
1
5
Looking forward to presenting our paper on Wednesday this week at @ASE_conf
A preprint of our upcoming @ASE_conf paper with @bartosz_zator titled "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" is now available at https://t.co/i6U9oSTT7v 1/4
0
1
4
Our talk from recent 3rd International KLEE Workshop on Symbolic Execution in London delivered by @Tomasz_Kuchta regarding CAS & AoT tools is now available on Youtube: https://t.co/VQw2gmo3v8 Enjoy the talk and feedback truly appreciated
0
3
7
Looking forward to presenting CAS and AoT at The 3rd @kleesymex Workshop.
0
3
8
A preprint of our upcoming ASE'2022 paper by @Tomasz_Kuchta and myself titled "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" is now available at https://t.co/PH7VQgbYlA Enjoy and don't hesitate to contact me with any questions or feedback
0
0
2
A preprint of our upcoming @ASE_conf paper with @bartosz_zator titled "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" is now available at https://t.co/i6U9oSTT7v 1/4
1
2
11
My talk "Code Aware Services in the Service of Vulnerability Detection" from the Linux Security Summit NA 2022 (@LinuxSecSummit) is now available at the Linux Foundation YT channel: https://t.co/GTPRmHPRQl Enjoy and don't hesitate to contact me with any questions you might have.
0
2
2
Our paper "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" by @Tomasz_Kuchta and myself has been accepted at @ASE_conf 2022! I'll let you know when the preprint is ready.
1
2
11
I'm very happy to announce that our paper "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" has been accepted at @ASE_conf 2022 :)
2
3
14
I'll be speaking at the incoming Linux Security Summit NA conference. I will talk about Code Aware Services (CAS) toolset that we created and recently published to open source. Check the schedule: https://t.co/SSRM76TKv4 And hope to see you there!
events.linuxfoundation.org
All session times are listed below in Mountain Daylight Time (PDT). To view the schedule at your preferred time, please choose your location on the right-hand navigation panel under “Timezone”.
0
1
3
We just released two systems: AoT https://t.co/nUFTXoZQPx and CAS https://t.co/vUmC9dL1xX With AoT you can automatically create off-target programs from parts of complex systems, while CAS provides detailed source code and build information. We hope you find them useful!
0
5
7