Departments · 1
programming languages · program analysis · formal verification
- abstract interpretation
- program synthesis
- ml for code
computer networks · security · internet measurement
- internet infrastructure
- network security
- measurement
computer systems · operating systems · memory management
- memory management
- heterogeneous memory
- systems
programming languages · formal methods
- stream processing
- verification
- formal methods
software engineering · program analysis
- bug detection
- floating-point analysis
- automated debugging
algorithms · molecular computing · theory of computing
- dna computing
- self-assembly
- distributed algorithms
computer networks · high-performance networking
- networking
- sdn
- data-intensive networks
data visualization · visual analytics · human-computer interaction
- visual analytics
- interactive ml
- visualization
scientific computing · computational science · high-performance computing
- electronic structure
- first-principles simulation
- hpc
computer vision · machine learning
- self-supervised learning
- efficient deep learning
- adversarial robustness
machine learning · data mining
- clustering
- constrained clustering
- explainable ml
machine learning · computational biology · bioinformatics
- systems biology
- ai for science
- data integration
computer architecture · systems
- gem5
- memory systems
- architecture simulation
machine learning theory · algorithms · statistics
- learning theory
- statistical estimation
- algorithms
data mining · machine learning · graph learning
- graph neural networks
- data mining
- deep learning
artificial intelligence · game design · computational media
- game ai
- interactive narrative
- procedural generation
computer graphics · geometry processing · computational fabrication
- geometric modeling
- shape optimization
- fabrication
scientific visualization · information visualization · computer graphics
- visualization
- high-performance computing
- visual analytics
natural language processing · machine learning
- large language models
- information extraction
- multimodal nlp
computer architecture · memory systems
- computer architecture
- memory hierarchy
cryptography · information security
- cryptography
- secure computation
- protocols
computer graphics · character animation · human-computer interaction
- animation
- embodied agents
- motion
databases · distributed systems · blockchain
- transaction processing
- distributed ledgers
- data systems
natural language processing · machine learning · knowledge graphs
- nlp
- knowledge representation
- trustworthy ai
computer graphics · scientific visualization
- volume rendering
- molecular graphics
- visualization
parallel computing · statistical computing · machine learning
- parallel computing
- r
- statistics
computational biology · geometric computing · scientific computing
- structural bioinformatics
- geometry
- optimization
software engineering · mining software repositories · ml for code
- naturalness of software
- empirical se
- language models for code
systems security · operating systems
- systems security
- web security
- payment security
computer networks · security · social networks
- network security
- online social networks
- sdn
algorithms · large-scale computation
- parallel/distributed algorithms
- massive data
- sublinear algorithms
systems security · operating systems
- memory safety
- systems security
- program hardening
software engineering · data science · mining software repositories
- open-source ecosystems
- empirical se
- network science
computer networks · wireless networks · machine learning
- wireless
- resource allocation
- ml systems
computer systems · networking · operating systems
- datacenter systems
- serverless
- networked systems
machine learning · representation learning · computational neuroscience
- unsupervised learning
- representations
- deep learning
numerical linear algebra · scientific computing · high-performance computing
- eigenvalue problems
- numerical methods
- hpc
machine learning · deep learning · recommender systems
- multi-task learning
- recommendation
- trustworthy ml
computer networks · security and privacy · web measurement
- online privacy
- ad/tracking
- network measurement