ZhangZhuoSJTU / CRAJobHarvester
AI-powered web scraper for harvesting and analyzing Computing Research Association job listings.
☆19Updated 8 months ago
Alternatives and similar repositories for CRAJobHarvester
Users that are interested in CRAJobHarvester are comparing it to the libraries listed below
Sorting:
- A Static Differential Analysis Tool of Network Protocol Parsers☆24Updated last year
- ☆15Updated last year
- Lifting network implementation to precise format specification☆24Updated 3 weeks ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆33Updated last week
- ☆22Updated 8 months ago
- Code for tracelet-level symbolic execution☆18Updated 2 years ago
- A browser extension that enhance your paper writting with ChatGPT☆27Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆32Updated 2 months ago
- ☆17Updated 8 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆16Updated 2 months ago
- ☆74Updated 2 years ago
- ☆26Updated 7 months ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Updated 2 years ago
- ☆40Updated last year
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆33Updated last year
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated last year
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Updated 2 years ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆45Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆53Updated 3 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆37Updated 7 months ago
- A unified framework for AI-enhanced code analysis.☆9Updated last year
- ☆13Updated 2 years ago
- ☆10Updated last year
- ☆44Updated 2 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆26Updated 8 months ago
- Machine Learning & Security Seminar @Purdue University☆25Updated 2 years ago
- ☆49Updated 4 years ago