JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Software Engineering Seminar
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Email
*
Your email
Please enter your name
*
Your answer
Top choice
*
Choose
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Detecting Violations of Differential Privacy
Effective Program Debloating via Reinforcement Learning
T-Fuzz: Fuzzing by Program Transformation
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Cradle: Cross-backend validation to detect and localize bugs in deep learning libraries
Programming and Proving with Distributed Protocols
Leveraging Rust Types for Modular Specification and Verification
SecCSL: Security Concurrent Separation Logic
Abstract Interpretation under Speculative Execution
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Compiler Validation via Equivalence Modulo Inputs
One VM to rule them all
Optimistic Loop Optimization
A Fast Analytical Model of Fully Associative Caches
From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization
REMIX: Online Detection and Repair of Cache Contention for the JVM
Communication lower bounds for distributed-memory matrix multiplication
Anatomy of high-performance matrix multiplication
FLAME: Formal linear algebra methods environment
Is search really necessary to generate high-performance BLAS?
Second choice
*
Choose
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Detecting Violations of Differential Privacy
Effective Program Debloating via Reinforcement Learning
T-Fuzz: Fuzzing by Program Transformation
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Cradle: Cross-backend validation to detect and localize bugs in deep learning libraries
Programming and Proving with Distributed Protocols
Leveraging Rust Types for Modular Specification and Verification
SecCSL: Security Concurrent Separation Logic
Abstract Interpretation under Speculative Execution
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Compiler Validation via Equivalence Modulo Inputs
One VM to rule them all
Optimistic Loop Optimization
A Fast Analytical Model of Fully Associative Caches
From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization
REMIX: Online Detection and Repair of Cache Contention for the JVM
Communication lower bounds for distributed-memory matrix multiplication
Anatomy of high-performance matrix multiplication
FLAME: Formal linear algebra methods environment
Is search really necessary to generate high-performance BLAS?
Third choice
*
Choose
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Detecting Violations of Differential Privacy
Effective Program Debloating via Reinforcement Learning
T-Fuzz: Fuzzing by Program Transformation
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Cradle: Cross-backend validation to detect and localize bugs in deep learning libraries
Programming and Proving with Distributed Protocols
Leveraging Rust Types for Modular Specification and Verification
SecCSL: Security Concurrent Separation Logic
Abstract Interpretation under Speculative Execution
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Compiler Validation via Equivalence Modulo Inputs
One VM to rule them all
Optimistic Loop Optimization
A Fast Analytical Model of Fully Associative Caches
From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization
REMIX: Online Detection and Repair of Cache Contention for the JVM
Communication lower bounds for distributed-memory matrix multiplication
Anatomy of high-performance matrix multiplication
FLAME: Formal linear algebra methods environment
Is search really necessary to generate high-performance BLAS?
Fourth choice
*
Choose
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Detecting Violations of Differential Privacy
Effective Program Debloating via Reinforcement Learning
T-Fuzz: Fuzzing by Program Transformation
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Cradle: Cross-backend validation to detect and localize bugs in deep learning libraries
Programming and Proving with Distributed Protocols
Leveraging Rust Types for Modular Specification and Verification
SecCSL: Security Concurrent Separation Logic
Abstract Interpretation under Speculative Execution
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Compiler Validation via Equivalence Modulo Inputs
One VM to rule them all
Optimistic Loop Optimization
A Fast Analytical Model of Fully Associative Caches
From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization
REMIX: Online Detection and Repair of Cache Contention for the JVM
Communication lower bounds for distributed-memory matrix multiplication
Anatomy of high-performance matrix multiplication
FLAME: Formal linear algebra methods environment
Is search really necessary to generate high-performance BLAS?
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Report Abuse
-
Terms of Service
-
Privacy Policy
Forms
