Use when targeting IEEE/ACM International Conference on Automated Software Engineering (ASE) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for automated software engineering.
SkillScore82Maintained
Automatic
◆Research pack
Last verified 9/2/2026
What it changes
Passed 18 of 22 test cases with the skill, and 8 of 22 without it.
Without skill36%
With skill82%
Checks it passed that the model alone missed
Rates the venue fit as Low in the fit field
Categorizes the contribution type as system
Categorizes the contribution type as theory
and 4 more in the full report
10 fixed8 passed either way4 still failing0 broke
Pass-rate lift
+45 pp
Tokens
+51%
Agent turns
0%
Response time
-35%
Model gemini-3.6-flashMeasured 9/2/2026v118 of 22 cases passed with skill
Tokens, turns and time describe resource use, not a dollar price.
See it in action
One of 10 test cases the skill fixed. Same model, same prompt, with and without the skill.
1 of 10
Prompt
We derived a formal mechanized proof in Coq establishing type soundness for a new parallel programming language calculus. The manuscript contains no software engineering benchmarks or runnable implementation tools. Assess suitability for ASE using the standard summary format.
What was checked, without and with the skill
Checked
Without skill
With skill
Rates the venue fit as Low in the fit field
Missed
Passed
Categorizes the contribution type as theory
Passed
Passed
Recommends POPL in the re-route suggestion field
Passed
Passed
case-10 · gemini-3.6-flash · 9/2/2026 · answers are capped and redacted
What's inside
The instructions your model reads when the skill loads.
SKILL.md109 linessingle file
IEEE/ACM International Conference on Automated Software Engineering (ASE)
Conference positioning
IEEE/ACM International Conference on Automated Software Engineering (ASE) is a top computer-science conference venue for automated software engineering, program analysis, testing, repair, synthesis, and AI-assisted development. It rewards an automation-for-SE paper with runnable artifact and realistic software benchmarks. Treat this skill as a fit / venue-selection / re-framing tool for conference submission strategy, not as a substitute for the current year's CFP, author kit, ethics policy, or submission portal.
Because CS conferences change deadlines, templates, page limits, review workflow, artifact rules, AI-use policy, and rebuttal formats every cycle, always verify the live official instructions before making a submission-ready recommendation. Start from the official source anchor recorded for this venue in ../../resources/conference-roster.md and ../../resources/official-source-map.md.
When to trigger
The author names ASE / IEEE/ACM International Conference on Automated Software Engineering as the target venue.
A manuscript in automated software engineering needs a conference-fit read before being formatted or submitted.
The paper must be re-framed from journal style or arXiv style into a selective CS conference narrative.
The author needs an evidence-gap, anonymity, artifact, rebuttal, or re-routing diagnosis for this venue.
Scope & topic fit
Core fit: automated software engineering, program analysis, testing, repair, synthesis, and AI-assisted development.
Best submissions make a precise contribution type visible: algorithm, theorem, system, dataset, benchmark, empirical finding, design artifact, tool, or socio-technical analysis.
The paper should explain why the result matters to ASE's reviewers, not just why it is interesting to the authors' lab or product context.
Position related work against the most recent conference-cycle papers in this venue and its closest siblings; stale comparisons are a common early-review weakness.
If the contribution is interdisciplinary, state which part is CS research and which part is domain evidence.
Venue-specific calibration
Reviewer lens: Treat ASE as a automated software engineering venue whose reviewers expect the scope and evidence to match its own community. Do not submit a generic CS paper until the introduction names the exact subcommunity, contribution type, and proof or empirical standard.
Contribution hook to foreground: the venue-specific contribution bar.
Scope vocabulary to use naturally in the abstract and introduction: automated software engineering, program analysis, testing, repair, synthesis, and AI-assisted development.
Official anchor domain: conf.researchr.org. Quote annual rules only after opening that source and the current-year CFP/author kit.
Close-neighbor routing guardrail
Use this profile only when the manuscript's central contribution is genuinely in automated
software engineering and the author can say why ASE reviewers are the primary audience, not
merely a convenient deadline.
Closest roster neighbors to compare before final routing: international-conference-on- software-engineering (ICSE), acm-international-conference-on-the-foundations-of-software- engineering (FSE), acm-sigsoft-international-symposium-on-software-testing-and-analysis
(ISSTA), mining-software-repositories (MSR). Break ties by contribution type, evidence
Use when deciding whether a software-engineering project belongs at ASE (IEEE/ACM Automated Software Engineering) or should be routed to ICSE, ESEC/FSE, ISSTA, a PL venue, or an SE journal, and when distinguishing ASE by its automation-centric contribution shape, its tool/technique emphasis, and its AI4SE/SE4AI scope.
Use when targeting IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for virtual reality.