People and topics related to Compiler
People and topics related to Compiler
rizos sakellariou
Rizos
Sakellariou
Cloud computing
Cloud computing
rizos sakellariou--Cloud computing
Compiler
Compiler
rizos sakellariou--Compiler
Data analysis
Data analysis
rizos sakellariou--Data analysis
Parallel and distributed computing
Parallel and distributed computing
rizos sakellariou--Parallel and distributed computing
Social media analytics
Social media analytics
rizos sakellariou--Social media analytics
Sport and recreation
Sport and recreation
rizos sakellariou--Sport and recreation
Computer games
Computer games
rizos sakellariou--Computer games
Scheduling
Scheduling
rizos sakellariou--Scheduling
christos kotselidis
Christos
Kotselidis
christos kotselidis--Compiler
Big data
Big data
christos kotselidis--Big data
Managed runtimes
Managed runtimes
christos kotselidis--Managed runtimes
Virtual machines
Virtual machines
christos kotselidis--Virtual machines
Hardware acceleration
Hardware acceleration
christos kotselidis--Hardware acceleration
Heterogeneous execution
Heterogeneous execution
christos kotselidis--Heterogeneous execution
Hardware/Software codesign
Hardware/Software codesign
christos kotselidis--Hardware/Software codesign
Low power computing
Low power computing
christos kotselidis--Low power computing
Automatic parallelization
Automatic parallelization
christos kotselidis--Automatic parallelization
Programming models
Programming models
christos kotselidis--Programming models
Java
Java
christos kotselidis--Java
JVM
JVM
christos kotselidis--JVM
Flink
Flink
christos kotselidis--Flink
OpenCL
OpenCL
christos kotselidis--OpenCL
joe razavi
Joe
Razavi
joe razavi--Compiler
joe razavi--Programming models
Algebra
Algebra
joe razavi--Algebra
Formal language
Formal language
joe razavi--Formal language
Formal methods
Formal methods
joe razavi--Formal methods
Language of mathematics
Language of mathematics
joe razavi--Language of mathematics
Logic
Logic
joe razavi--Logic
Mathematical logic
Mathematical logic
joe razavi--Mathematical logic
Mathematical modelling
Mathematical modelling
joe razavi--Mathematical modelling
Mathematics
Mathematics
joe razavi--Mathematics
Model of computation
Model of computation
joe razavi--Model of computation
Pure mathematics
Pure mathematics
joe razavi--Pure mathematics
Symbolic computation
Symbolic computation
joe razavi--Symbolic computation
Cellular automaton
Cellular automaton
joe razavi--Cellular automaton
Natural language
Natural language
joe razavi--Natural language
Program analysis
Program analysis
joe razavi--Program analysis
Program synthesis
Program synthesis
joe razavi--Program synthesis
Symbolic AI
Symbolic AI
joe razavi--Symbolic AI
Verification
Verification
joe razavi--Verification