Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Whalen
AutoBayes/CC — Combining Program Synthesis With Automatic Code Certification — System Description —
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verified Program Code Execution System Prototype
Proceedings of the Institute for System Programming of the RAS
Automatic Identification System (AIS) Collection and Reach-Back System: System Description
The Power of Parallelism for Automatic Program Synthesis
ASME Code Calculations for the CC Cryostat
Certification Program for Consulting Meteorologists
Bulletin of the American Meteorological Society
Atmospheric Science
Certification Program for Consulting Meteorologists
Bulletin of the American Meteorological Society
Atmospheric Science
General Program Synthesis Using Guided Corpus Generation and Automatic Refactoring
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ESA's Certification Program Expands in 2018
The Bulletin of the Ecological Society of America
Combining Transactions and Automatic Repairs
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
