Aside from being a programmer, I’m also a part-time researcher. You can find me in Scopus, Google Scholar, and DBLP too. I’m also a chair of the organization committee of the ICCQ conference. I’m interested in answering two primary research questions:
Can robots increase η of humans?
Can objects be faster than functions?
As you can imagine, the questions are challenging, especially for a solo researcher. I need your help. If you are a student, a practitioner, a professor, or a team of them—we can do a study together. I’m not looking for free help, though, and am prepared to reward you.
This is how it works: First, you pick up one of the secondary research questions listed below. Then, you reach out to me to get an approval to start the research (text me). Then, we together do the study, write a paper, and try to publish it on a Technical Track of an A*-conference, as co-authors. When the paper is accepted by a conference, I pay you a stipend of $4,096 (per paper, not per author).
If you have some talent and work hard, at least 20 hours per week, a study should take about four months. If it takes longer or finishes sooner, the amount of reward remains the same.
An important thing to note before you start: we must strictly follow the Research Flow guidelines. If we fall off the schedule, I may stop contributing to the study. I simply can’t afford spending time on every single project, especially if the discipline is compromised. However, even if I stop contributing, you may still publish the study, but without my name on it. In this case you will get only $1,024.
If we together or you alone publish it on a B+ conference, you get $256.
If I suspect that the paper is being written by AI, I will walk away immediately.
Now, the research questions, most important at the top:
Can types of all objects and in all programs be inferred in EO, a dynamically typed object-oriented programming language that doesn’t have type annotations?
Can any Java program map to 𝜑-calculus and backwards (we’ve tried, also for C and Python)?
Can confluence of 𝜑-calculus be proven using Lean4 (we’ve tried)?
How different is the productivity of a team paid per time vs. the team paid per delivered results (some data already available)?
How do the most popular object-oriented programming languages benchmark on dynamic dispatch and object allocation features (some data is ready)?
How does measuring work results affect human motivation?
How often are virtual table calls used in modern open source C++ projects [we’ve done it for Java]?
How many design patterns, out of all actively used ones, are dataless (the dataset is ready)?
How often and how objectively, in 50+ surveyed software teams, is the output of programmers’ work measured?
I update the list regularly. Please, revisit it later to check for changes.
