Pinned Repositories
6120
ayakayorihiro.github.io
bril
an educational compiler intermediate representation
cs6120
advanced compilers
cs6120-project
DICE_Miner
specification miner described in the Adversarial Specification Mining paper
fake
it's a fake
javamop
Runtime verification system for Java, using AspectJ for instrumentation.
lcl-reachability
Nemo
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming (ICSE'18)
ayakayorihiro's Repositories
ayakayorihiro/ayakayorihiro.github.io
ayakayorihiro/fake
it's a fake
ayakayorihiro/starts
STARTS - A tool for STAtic Regression Test Selection
ayakayorihiro/Nemo
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming (ICSE'18)
ayakayorihiro/DICE_Miner
specification miner described in the Adversarial Specification Mining paper
ayakayorihiro/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
ayakayorihiro/cs6120-project
ayakayorihiro/6120
ayakayorihiro/bril
an educational compiler intermediate representation
ayakayorihiro/cs6120
advanced compilers
ayakayorihiro/pl.cs.cornell.edu
Website for PL@Cornell
ayakayorihiro/lcl-reachability