gryan11 / pla Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License
License: MIT License
Hi there!
I have read your paper, brilliant work! My group has two questions about the paper, one is about the implementation of the modified syz-executor
and the other is about the usage of QEMU.
About the modified syz-executor
We'd like to know how the barrier used for concurrent execution is implemented. Is it convenient for you to share the source code of the modified syz-executor
?
About the usage QEMU
We'd like to know, in spite of serving as the operating environment for the target kernel, do you have 1) modified QEMU
or 2) use it for other purposes such as scheduling executions?
Looking forward to your reply!
Hi there,
I tried to build the project following your instructions but I failed to run the scripts/predict_races.py
due to the lack of module pla
. I noticed there is no file named pla.py
under the project. Would the source code of the module pla
be publicized later? I'm very much looking forward to it.
๐ awesome research,I am very interested in your research. Can you open up all the code when you are free?
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.