issues
search
UniverseFly
/
Readings
Reading valuable research ideas while taking notes through GitHub Issues
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
OOPSLA'17 | Synthesis of Data Completion Scripts using Finite Tree Automata
#20
UniverseFly
opened
2 years ago
0
PLDI'18 | Program Synthesis using Conflict-Driven Learning
#19
UniverseFly
opened
2 years ago
1
OOPSLA'20 | A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
#18
UniverseFly
opened
2 years ago
0
ICSE'21 | Growing A Test Corpus with Bonsai Fuzzing
#17
UniverseFly
opened
2 years ago
0
Course | Machine Learning, Spring 2021, HUNG-YI Lee
#16
UniverseFly
opened
2 years ago
0
OSDI'20 | Ansor: Generating High-Performance Tensor Programs for Deep Learning
#15
UniverseFly
opened
2 years ago
1
Course | Program Synthesis: Techniques and Applications
#14
UniverseFly
opened
2 years ago
0
Lecture Notes | The Sketching Approach to Program Synthesis
#13
UniverseFly
opened
2 years ago
0
ASPLOS'06 | Combinatorial Sketching for Finite Programs
#12
UniverseFly
opened
2 years ago
0
ICLR'18 | Neural Sketch Learning For Conditional Program Generation
#11
UniverseFly
opened
2 years ago
1
ICFP'00 | QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
#10
UniverseFly
opened
2 years ago
0
OOPSLA'15 | Programming with enumerable sets of structures
#9
UniverseFly
opened
2 years ago
0
POPL'18 | Generating good generators for inductive relations
#8
UniverseFly
opened
2 years ago
0
Haskell'12 | Feat: functional enumeration of algebraic types
#7
UniverseFly
closed
2 years ago
4
NDSS'19 | NAUTILUS: Fishing for Deep Bugs with Grammars
#6
UniverseFly
closed
2 years ago
1
NIPS'18 | Learning to Optimize Tensor Programs
#5
UniverseFly
opened
3 years ago
2
FSE'21 | A Comprehensive Study of Deep Learning Compiler Bugs
#4
UniverseFly
opened
3 years ago
2
CCS'18 | Evaluating Fuzz Testing
#3
UniverseFly
closed
2 years ago
1
CCS'20 | Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback
#2
UniverseFly
closed
3 years ago
5
PACMPL'19 | Coverage Guided, Property Based Testing
#1
UniverseFly
closed
2 years ago
4