Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
type inference
biblio
TIFF: Using Input Type Inference To Improve Fuzzing
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
data-structure Identification
fuzzing
Metrics
pubcrawl
security
taint analysis
Taint-flow analysis
type inference
vulnerability/bug detection
biblio
IntPTI: Automatic integer error repair with proper-type inference
Submitted by grigby1 on Thu, 12/28/2017 - 1:40pm
Computer bugs
fix pattern
integer error
maintenance engineering
pubcrawl
Runtime
Scalability
security
security scalability
Semantics
tools
type inference
biblio
Composable and Hygienic Typed Syntax Macros
Submitted by grigby1 on Tue, 05/16/2017 - 12:24pm
composability
Compositionality
extensible syntax
hygiene
macros
pubcrawl
type inference
biblio
Considering Productivity Effects of Explicit Type Declarations
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:29am
CMU
Jan'15
Programmer productivity
type declarations
type inference
CMU
Jan'15
file
Coblenz_Considering_Productivity_Ja.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:29am
CMU
Jan'15
Programmer productivity
type declarations
type inference
