Blog Posts
Paper
Partial Order Aware Concurrency Sampling (POS) - Yuan, et al.
# First Pass Systematic testing of concurrent programs has been researched for quite some time and it is known to have the problem of *state-space explosion* whereby testing all possible interleaving of concurrent programs is exponential in the execution length. Deterministic Partial Order Reduction
Arsyad Kamili
8/3/2024 · 1 min read · 8 views
Blog
Improving Software Testability with Math
# Problem Even when requirements are clear, verifying software correctness and ensuring our code works in all scenarios without affecting existing logic can be challenging. This is more apparent on ‘hot’ codes: Excerpts of code that got updated often due to its status as a new base logic or due to
Arsyad Kamili
7/7/2024 · 10 min read · 21 views
Project
Testing DB Normalization Theory vs Practice - FDSampleRush
# Introduction Database normalization is a fundamental process in database design, ensuring data integrity and minimizing redundancy. Despite its theoretical foundations, practical implications and occurrences of different normal forms in real-world databases are underexplored. Our recent work addre
Arsyad Kamili
6/28/2024 · 10 min read · 29 views
Blog
My ShopBack Adventure
# Overview From full stack development, data management, automation, random hops on other teams’ meetings, to realizing that people having double eyelid (or lack thereof) is a thing, I have expanded my knowledge and honed my SWE skills by a lot during my 6-month internship at ShopBack. This article
Arsyad Kamili
5/28/2024 · 6 min read · 67 views
Course Review
Parallel Computing: CS3210 Review
#### Tl;dr: CS3210, under Prof. Cristina Carbunaru, is a solid introduction to parallel systems with a focus on theoretical understanding. The course covers various parallel computing models, architectures, and basics. While the lectures may seem basic for those with prior knowledge, the tutorials a
Arsyad Kamili
5/19/2024 · 7 min read · 76 views
Course Review
Optimisation Algorithms: CS4234 Review
Contents are as follows: 1. General practical approaches to NP-Hard problems 2. (Constant Factor) Approximation Algorithms 3. Steiner Trees (Algorithms not discussed in-depth) 4. TSP variants and (or impossibility of) approximation 5. Maxflow Problems and Algorithms 6. Matching Problem Variants an
Arsyad Kamili
12/7/2023 · 9 min read · 321 views
Project
Surface Reconstruction from a Stream of Point Clouds: A Real-time Visualization
In the realm of 3D SLAM systems, one of the most challenging aspects is visualizing the results in a manner that's both intuitive and informative. The complexity of these systems often leads to a dense mesh of data points, making it difficult to discern the underlying structure or surface. This chal
Arsyad Kamili
8/13/2023 · 2 min read · 114 views
Blog
Feature Encoding and Overview of The "Binary Robust Independent Elementary Features (BRIEF)" Paper
Images are pretty weird if you take your time to zoom in and look at them up close. They're just boxes with different brightness and yet we can easily recognize what they're representing in an instant. Have you ever wondered how many pixels do we need to recognize a feature in an image? This post i
Arsyad Kamili
8/8/2023 · 10 min read · 116 views
Course Review
Database Systems Implementation: CS3223 Review
All contents listed here are taught in-depth with all the technicalities and calculations: 1. Data and Storage 2. Data Indexing (B-tree and hash-based) 3. Query Evaluation (Sorting, Selection, Projection) 4. **Join** Query Evaluation (Sort Merge, Nested Loop Join Algs, Grace Hash) 5. Query Optimizat
Arsyad Kamili
7/17/2023 · 9 min read · 1365 views
Course Review
Big Data Systems for Data Science: CS4225 Review
Contents taught are as follows: 1. Principles of Big Data Systems 2. MapReduce/Hadoop 3. Performance analysis of Big Data Systems 4. NoSQL 5. Apache Spark 6. (Very Large) Graph Processing and Framework 7. Stream Processing 8. Data Lake ## *Preface and tl;dr* Welcome to my overly objective c
Arsyad Kamili
7/14/2023 · 6 min read · 828 views