Krace: Data Race Fuzzing for Kernel File Systems
Innovative fuzzing technique for detecting data races in kernel file systems, enhancing concurrency coverage tracking and active interleaving exploration through delay injection.
VerX: Safety Verification of Smart Contracts
Explore automated safety verification for smart contracts using VerX, covering specification challenges, verification techniques, and practical applications in blockchain security.
Fuzzing JavaScript Engines with Aspect-Preserving Mutation
Explore innovative techniques for discovering JavaScript engine vulnerabilities through aspect-preserving mutation, enhancing web browser security and bug detection efficiency.
Teaching Git, GitHub, Node.js, and NPM to a Non-Developer and Opening His First Ever Pull Request
Step-by-step guide to Git, GitHub, Node.js, and NPM for beginners, culminating in opening a first pull request. Includes practical tasks like image compression and repo management.
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Explore precise detection of double-fetch bugs in OS kernels, covering multi-read identification, symbolic checking, and mitigation strategies for enhanced system security.
HVLearn - Automated Black-Box Analysis of Hostname Verification in SSL-TLS Implementations
Automated analysis of hostname verification in SSL/TLS implementations using automata learning algorithms. Identifies vulnerabilities and specification violations in popular libraries and applications.
Intermediate GitHub
Explore advanced Git/GitHub features for software development, including conflict resolution, rebasing, pull requests, and commands like cherry-pick and reset. Enhance your version control skills.
Software Engineering for Research - Dr. James Hetherington, Turing
Learn key aspects of research software engineering, including testing, version control, documentation, and continuous integration. Improve code quality, readability, and reproducibility for scientific computing projects.
Aggregating Ticks to Manage Scale in Sea of Thieves - Unreal Fest Europe 2019 - Unreal Engine
Explore efficient techniques for managing scale in Sea of Thieves, including tick aggregation, optimization strategies, and performance improvements within Unreal Engine 4.
React Testing Tutorial with React Testing Library and Jest
Learn essential React testing techniques using Jest and React Testing Library, covering real-world examples and async data mocking with Axios in this comprehensive tutorial.
Common Mistakes Made by Laravel Developers and How to Fix Them - With Examples
Discover common Laravel pitfalls and learn best practices for efficient, maintainable code. Topics include controller optimization, middleware usage, testing, migrations, route model binding, naming conventions, and Eloquent ORM.
Build an Expense Organizer with ES6 and Dropbox - Tutorial
Learn to build an expense organizer app using ES6 and the Dropbox API. Gain hands-on experience with file storage, sharing, and organization while exploring modern JavaScript concepts like array methods and async/await.
Build a React and GraphQL App Tutorial - Pokemon App - Full Course
Learn to build a Pokemon app using React, GraphQL, and Apollo. Covers project setup, GraphQL basics, component creation, styling, and responsive design in a hands-on tutorial.
Learn to Code Tutorial - Full Course for Absolute Beginners
Comprehensive primer on web development fundamentals, covering HTML, CSS, JavaScript, and DOM manipulation through interactive lessons and hands-on assignments.
Learn Alpine JS - Full Course for Beginners
Aprenda a adicionar interatividade a sites com Alpine.js, uma alternativa leve aos frameworks complexos. Explore componentes, eventos, transições e crie aplicações reativas de forma simples e eficiente.
Introduction to GitHub Desktop
Learn to use Github Desktop for version control, collaboration, and project management. Covers setup, pushing, branching, pull requests, issues, and merge conflicts.
Discover Github Copilot With Us
Explore GitHub Copilot's AI-powered coding assistance, learning its features, accuracy, and potential to boost coding efficiency through hands-on demonstrations and expert insights.
How to Write Unit Tests - Unit Testing Tutorial
Learn unit testing with Jasmine, covering test grouping, cases, debugging, spies, and mocks. Gain code confidence and deliver faster results through hands-on challenges and practical examples.
Introduction to Software Testing
Comprehensive overview of software testing fundamentals, covering various types, methodologies, and best practices to ensure code quality and reliability.
How to Write Clean Code
Learn to write professional, readable code. Improve variables, functions, and comments. Enhance searchability and reduce bugs. Gain skills to polish existing and future projects for better code quality.
Improve Your CSS by Keepin' It DRY
Practical techniques to streamline CSS code by applying the DRY principle, enhancing efficiency and productivity while creating engaging visual effects.