Programming with "Big Code"
Abstract elided by the publisher.
Related papers
- Predicting Program Properties from "Big Code" POPL 2015
- Scalable taint specification inference with big code PLDI 2019
- Learning to find naming issues with big code and small supervision PLDI 2021
- Monitoring aspects for the customization of automatically generated code for big-step models GPCE 2011
- Formally verified big step semantics out of x86-64 binaries CPP 2019
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems POPL 2017
- Pretty-Big-Step Semantics ESOP 2013
- Coinductive Big-Step Operational Semantics ESOP 2006