research unit presentation - universidade do minho · 2010-12-13 · peerpeer--ttoo--peer...
Post on 25-May-2020
5 Views
Preview:
TRANSCRIPT
Research Unit Research Unit
PresentationPresentation
Fernando SilvaFernando Silva
October October 1919th th 20102010
http://cracs.fc.up.pthttp://cracs.fc.up.pt
HistoryHistoryHistoryHistory
CRACS was created in CRACS was created in 20072007Evaluated by FCT as Very Good (highest within Informatics)Evaluated by FCT as Very Good (highest within Informatics)
Motivated by Challenges inMotivated by Challenges inHighHigh--level Programming Languageslevel Programming Languages
Parallel and Distributed ComputingParallel and Distributed Computing
Information MiningInformation Mining
CRACS was created in CRACS was created in 20072007Evaluated by FCT as Very Good (highest within Informatics)Evaluated by FCT as Very Good (highest within Informatics)
Motivated by Challenges inMotivated by Challenges inHighHigh--level Programming Languageslevel Programming Languages
Parallel and Distributed ComputingParallel and Distributed Computing
Information MiningInformation Mining
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 2
Information MiningInformation Mining
Biologically Inspired ComputingBiologically Inspired Computing
WebWeb--based Systemsbased Systems
Affiliated withAffiliated withComputer Science DepartmentComputer Science Department
University of Porto University of Porto -- Faculty Faculty of of SciencesSciences
INESCPORTO Associate LaboratoryINESCPORTO Associate Laboratory
Information MiningInformation Mining
Biologically Inspired ComputingBiologically Inspired Computing
WebWeb--based Systemsbased Systems
Affiliated withAffiliated withComputer Science DepartmentComputer Science Department
University of Porto University of Porto -- Faculty Faculty of of SciencesSciences
INESCPORTO Associate LaboratoryINESCPORTO Associate Laboratory
Effective Effective Members (10 PhDs)Members (10 PhDs)Effective Effective Members (10 PhDs)Members (10 PhDs)
Álvaro Figueira arf@dcc.fc.up.pt
Fernando Silva (Coordinator) fds@dcc.fc.up.pt
Inês Dutra ines@dcc.fc.up.pt
José Paulo Leal zp@dcc.fc.up.pt
Luís Lopes lblopes@dcc.fc.up.pt
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 3
Manuel Eduardo Correia mcc@dcc.fc.up.pt
Nuno Fonseca nf@ibmc.up.pt
Paulo Moura pmoura@di.ubi.pt
Ricardo Rocha ricroc@dcc.fc.up.pt
Vítor Santos Costa vsc@dcc.fc.up.pt
MissionMissionMissionMission
Fundamental and Applied Research, driven byFundamental and Applied Research, driven byChallenging applicationsChallenging applicationsStrong multiStrong multi--disciplinary emphasis disciplinary emphasis
Advanced Training of Young ResearchersAdvanced Training of Young ResearchersPostPost--graduategraduate
Fundamental and Applied Research, driven byFundamental and Applied Research, driven byChallenging applicationsChallenging applicationsStrong multiStrong multi--disciplinary emphasis disciplinary emphasis
Advanced Training of Young ResearchersAdvanced Training of Young ResearchersPostPost--graduategraduate
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 4
PostPost--graduategraduatePostPost--doctoral leveldoctoral level
Establish Partnerships with IndustryEstablish Partnerships with IndustryJoint projectsJoint projectsDoctoral supervisionDoctoral supervision
Promote and disseminate research resultsPromote and disseminate research results
PostPost--graduategraduatePostPost--doctoral leveldoctoral level
Establish Partnerships with IndustryEstablish Partnerships with IndustryJoint projectsJoint projectsDoctoral supervisionDoctoral supervision
Promote and disseminate research resultsPromote and disseminate research results
Current TeamCurrent TeamCurrent TeamCurrent Team
Around 60 members/researchersAround 60 members/researchers
10 effective members with PhD10 effective members with PhD
2 associated members with PhD2 associated members with PhD
18 PhD students (4 18 PhD students (4 MAPiMAPi))
Around 60 members/researchersAround 60 members/researchers
10 effective members with PhD10 effective members with PhD
2 associated members with PhD2 associated members with PhD
18 PhD students (4 18 PhD students (4 MAPiMAPi))
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 5
18 PhD students (4 18 PhD students (4 MAPiMAPi))
21 MSc students21 MSc students
9 other junior researchers9 other junior researchers
18 PhD students (4 18 PhD students (4 MAPiMAPi))
21 MSc students21 MSc students
9 other junior researchers9 other junior researchers
Research Topics (Area Research Topics (Area 11))Research Topics (Area Research Topics (Area 11))
Computational Models and Languages for Scalable ComputingComputational Models and Languages for Scalable Computing
Implementation of Logic Programming (LP) systemsImplementation of Logic Programming (LP) systemsYap Prolog system / Logtalk systemYap Prolog system / Logtalk systemExtensions for tabling and constraintsExtensions for tabling and constraintsSupport for multiSupport for multi--platform OS (Linux, MacOS, Windows)platform OS (Linux, MacOS, Windows)
Programming Languages Programming Languages for for Mobile Computing and Sensor NetworksMobile Computing and Sensor Networks
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 6
Programming Languages Programming Languages for for Mobile Computing and Sensor NetworksMobile Computing and Sensor NetworksProcess calculi based languagesProcess calculi based languagesVirtual machines specification and implementationVirtual machines specification and implementationFormal methods for robust programmingFormal methods for robust programming
Parallel LP and Inductive LP systemsParallel LP and Inductive LP systemsParallel and distributed systems, SchedulingParallel and distributed systems, SchedulingRunRun--time systems for time systems for multicoremulticore architecturesarchitectures
Research Topics (Area Research Topics (Area 11))Research Topics (Area Research Topics (Area 11))
Computational Models and Languages for Scalable ComputingComputational Models and Languages for Scalable Computing
Grid ComputingGrid ComputingApplication Description Application Description LanguagesLanguages and and environmentsenvironments(Meta(Meta--)Scheduling)SchedulingHigh performance applicationsHigh performance applications
Middleware InfrastructuresMiddleware Infrastructures
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 7
Middleware InfrastructuresMiddleware InfrastructuresPeerPeer--toto--peer frameworkspeer frameworksHard realHard real--time control software for autonomous vehiclestime control software for autonomous vehiclesPerformance EvaluationPerformance Evaluation
Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)
Information Mining andInformation Mining and WebWeb--Based SystemsBased Systems
Machine Learning and DiscoveryMachine Learning and DiscoveryInductive Logic ProgrammingInductive Logic ProgrammingStatistical Relational LearningStatistical Relational LearningUbiquitous Data StreamUbiquitous Data StreamBiologically Inspired ComputingBiologically Inspired Computing
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 8
Biologically Inspired ComputingBiologically Inspired Computing
ApplicationsApplicationsPattern Discovery in Genomics and ProteomicsPattern Discovery in Genomics and ProteomicsAnalysis of Gene Expression DataAnalysis of Gene Expression DataUnderstanding Cellular PathwaysUnderstanding Cellular PathwaysClinical AnalysisClinical AnalysisIntrusion Detection SystemsIntrusion Detection SystemsSPAM ClassificationSPAM Classification
Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Information Mining andInformation Mining and WebWeb--Based SystemsBased Systems
Semantic Digital LibrariesSemantic Digital LibrariesAutomatic classification and categorization of filesAutomatic classification and categorization of filesRepository of educational contents based on Repository of educational contents based on ontologiesontologiesFederation of repositories, Federation of repositories, FolksonomyFolksonomy
ee--Learning Environments and ToolsLearning Environments and ToolsRepository of shareable content objectsRepository of shareable content objects
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 9
Repository of shareable content objectsRepository of shareable content objectsAutomatic evaluation of programming problemsAutomatic evaluation of programming problemsOnline interaction visualization methods (Online interaction visualization methods (iGraphsiGraphs))Tools for assessing online cooperative workTools for assessing online cooperative workCreation of automatic personalized instructionCreation of automatic personalized instruction
Service Oriented Architectures and Open Service Oriented Architectures and Open Service Service oriented computing in web adaptability and eoriented computing in web adaptability and e--learning learning environmentsenvironmentsXML/Ajax based Web developmentXML/Ajax based Web development
PublicationsPublicationsPublicationsPublications
20072007 20082008 20092009 20102010 TotalTotal
Books (edited) 1 3 1 1 6
Book chapters 1 4 -- 5 10
Journal Papers 3 7 9 6 25
Proceedings (LNCS, IEEE, ACM, ...) 17 20 17 15 69
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 10
Proceedings (others) 26 19 25 21 91
Total 48 53 52 50 201
Main International Journals (Main International Journals (20072007--1010))Main International Journals (Main International Journals (20072007--1010))Theory and Practice of Logic Programming (TPLP)Theory and Practice of Logic Programming (TPLP), Cambridge (2005, 2010), Cambridge (2005, 2010)
J. Machine Learning ResearchJ. Machine Learning Research, Wiley, (2004), Wiley, (2004)
Machine Learning J., Springer, (2009)Machine Learning J., Springer, (2009)
Software Practice & ExperienceSoftware Practice & Experience, Wiley (2003, 2008, 2009), Wiley (2003, 2008, 2009)
Concurrency and Computation: Practice & ExperienceConcurrency and Computation: Practice & Experience, Wiley (2007), Wiley (2007)
Fundamenta Informaticae, IOS Press (2008)Fundamenta Informaticae, IOS Press (2008)
Informatics in Education Informatics in Education (2009)(2009)
Theory and Practice of Logic Programming (TPLP)Theory and Practice of Logic Programming (TPLP), Cambridge (2005, 2010), Cambridge (2005, 2010)
J. Machine Learning ResearchJ. Machine Learning Research, Wiley, (2004), Wiley, (2004)
Machine Learning J., Springer, (2009)Machine Learning J., Springer, (2009)
Software Practice & ExperienceSoftware Practice & Experience, Wiley (2003, 2008, 2009), Wiley (2003, 2008, 2009)
Concurrency and Computation: Practice & ExperienceConcurrency and Computation: Practice & Experience, Wiley (2007), Wiley (2007)
Fundamenta Informaticae, IOS Press (2008)Fundamenta Informaticae, IOS Press (2008)
Informatics in Education Informatics in Education (2009)(2009)
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 11
Informatics in Education Informatics in Education (2009)(2009)
J. Neuroscience Methods, Elsevier (2009)J. Neuroscience Methods, Elsevier (2009)
BMC BioinformaticsBMC Bioinformatics (2007)(2007)
PROTEINS: Structure, Function and BioinformaticsPROTEINS: Structure, Function and Bioinformatics, Wiley (2008), Wiley (2008)
Genetics Research, Cambridge (2008)Genetics Research, Cambridge (2008)
J. Molecular Evolution, (2008, 2009)J. Molecular Evolution, (2008, 2009)
BMC Evolutionary Biology (2009)BMC Evolutionary Biology (2009)
PLOS One (2009)PLOS One (2009)
Informatics in Education Informatics in Education (2009)(2009)
J. Neuroscience Methods, Elsevier (2009)J. Neuroscience Methods, Elsevier (2009)
BMC BioinformaticsBMC Bioinformatics (2007)(2007)
PROTEINS: Structure, Function and BioinformaticsPROTEINS: Structure, Function and Bioinformatics, Wiley (2008), Wiley (2008)
Genetics Research, Cambridge (2008)Genetics Research, Cambridge (2008)
J. Molecular Evolution, (2008, 2009)J. Molecular Evolution, (2008, 2009)
BMC Evolutionary Biology (2009)BMC Evolutionary Biology (2009)
PLOS One (2009)PLOS One (2009)
Main International Conferences (2007Main International Conferences (2007--10)10)Main International Conferences (2007Main International Conferences (2007--10)10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Parallel Processing, (EuroPar’03, 05)European Conference on Parallel Processing, (EuroPar’03, 05)IEEE International Conference on Cluster Computing (Cluster 2010)IEEE International Conference on Cluster Computing (Cluster 2010)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Conference on Machine Learning (ICML’07)International Conference on Machine Learning (ICML’07)International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)
International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Parallel Processing, (EuroPar’03, 05)European Conference on Parallel Processing, (EuroPar’03, 05)IEEE International Conference on Cluster Computing (Cluster 2010)IEEE International Conference on Cluster Computing (Cluster 2010)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Conference on Machine Learning (ICML’07)International Conference on Machine Learning (ICML’07)International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 12
International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)International Workshop on Algorithms in Bioinformatics (WABI'2010)International Workshop on Algorithms in Bioinformatics (WABI'2010)ACM Conference on Hypertext and Hypermedia (07)ACM Conference on Hypertext and Hypermedia (07)IEEE Symposium on RealIEEE Symposium on Real--Time Systems (RTSS’10)Time Systems (RTSS’10)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)IEEE International Conference on eIEEE International Conference on e--Science (eScience (e--Science 2009)Science 2009)Int. Conf. BioInt. Conf. Bio--Inspired Models of Network, Information, and Computing Systems (2010)Inspired Models of Network, Information, and Computing Systems (2010)ACM ACM SympSymp. on Applied Computing . on Applied Computing -- Bioinformatics and Comp. Systems Biology (ACMBioinformatics and Comp. Systems Biology (ACM--SAC’08,10)SAC’08,10)……
International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)International Workshop on Algorithms in Bioinformatics (WABI'2010)International Workshop on Algorithms in Bioinformatics (WABI'2010)ACM Conference on Hypertext and Hypermedia (07)ACM Conference on Hypertext and Hypermedia (07)IEEE Symposium on RealIEEE Symposium on Real--Time Systems (RTSS’10)Time Systems (RTSS’10)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)IEEE International Conference on eIEEE International Conference on e--Science (eScience (e--Science 2009)Science 2009)Int. Conf. BioInt. Conf. Bio--Inspired Models of Network, Information, and Computing Systems (2010)Inspired Models of Network, Information, and Computing Systems (2010)ACM ACM SympSymp. on Applied Computing . on Applied Computing -- Bioinformatics and Comp. Systems Biology (ACMBioinformatics and Comp. Systems Biology (ACM--SAC’08,10)SAC’08,10)……
Training Young ResearchersTraining Young ResearchersTraining Young ResearchersTraining Young Researchers
20062006 20072007 20082008 20092009 20102010 TotalTotal OngoingOngoing
MSc 4 7 12 6 4 33 21
PhD 5 1 2 2 1 11 18
Total 9 8 14 8 5 44 39
Teaching in PhD Courses:Teaching in PhD Courses:
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 13
Teaching in PhD Courses:Teaching in PhD Courses:
MAPMAP--I Doctoral Program in Computer Science (I Doctoral Program in Computer Science (U.MinhoU.Minho, , U.AveiroU.Aveiro, , U.PortoU.Porto) )
Teaching in MSc CoursesTeaching in MSc Courses::Master in Computer Science, Faculty of SciencesMaster in Computer Science, Faculty of Sciences
Master in Networks and Systems Engineering, Faculty of SciencesMaster in Networks and Systems Engineering, Faculty of Sciences
Master in Medical Informatics, Faculty of Medicine & Faculty of SciencesMaster in Medical Informatics, Faculty of Medicine & Faculty of Sciences
Master in Multimedia, Master in Multimedia, U.PortoU.Porto
Funded ProjectsFunded ProjectsFunded ProjectsFunded Projects
Recently approved projects:Recently approved projects:
[leader][leader] LEAP, FCT: LEAP, FCT: 115115,,000000€€ ((20112011//1313))
[leader][leader] Breadcrumbs, FCT UTBreadcrumbs, FCT UT--Austin Portugal, Austin Portugal, 160160,,000000€€ ((20102010//1212))
[leader] [leader] OFELIA, FCT: OFELIA, FCT: 120120,,000000€€ ((20102010//1212))
[leader][leader] HORUS:HORUS:, FCT, FCT: : 9090,,000000€€ ((20102010//1212))
[participant][participant] MACAW, FCT: MACAW, FCT: 9090,,000000€€ ((20112011//1313))
[participant] [participant] GISELAGISELA: : EE--infrastructure shared between Europe and Latin America, EUinfrastructure shared between Europe and Latin America, EU
Recently approved projects:Recently approved projects:
[leader][leader] LEAP, FCT: LEAP, FCT: 115115,,000000€€ ((20112011//1313))
[leader][leader] Breadcrumbs, FCT UTBreadcrumbs, FCT UT--Austin Portugal, Austin Portugal, 160160,,000000€€ ((20102010//1212))
[leader] [leader] OFELIA, FCT: OFELIA, FCT: 120120,,000000€€ ((20102010//1212))
[leader][leader] HORUS:HORUS:, FCT, FCT: : 9090,,000000€€ ((20102010//1212))
[participant][participant] MACAW, FCT: MACAW, FCT: 9090,,000000€€ ((20112011//1313))
[participant] [participant] GISELAGISELA: : EE--infrastructure shared between Europe and Latin America, EUinfrastructure shared between Europe and Latin America, EU
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 14
[participant] [participant] GISELAGISELA: : EE--infrastructure shared between Europe and Latin America, EUinfrastructure shared between Europe and Latin America, EU
3 3 Projectos QRENProjectos QREN
OngoingOngoing projectsprojects::
[leader][leader] CALLAS,CALLAS, FCT,FCT, 189189,,000000€€ ((20082008--1010))
[leader][leader] STAMPA,STAMPA, FCTFCT:: 150150,,000000€€ ((20082008//1010))
[participant][participant] JEDI,JEDI, FCT,FCT, 200200,,000000€€ ((20082008--1010))
[participant][participant] EduJudgeEduJudge,, EUEU:: 6060,,000000€€ ((20082008--1010))
[participant] [participant] GISELAGISELA: : EE--infrastructure shared between Europe and Latin America, EUinfrastructure shared between Europe and Latin America, EU
3 3 Projectos QRENProjectos QREN
OngoingOngoing projectsprojects::
[leader][leader] CALLAS,CALLAS, FCT,FCT, 189189,,000000€€ ((20082008--1010))
[leader][leader] STAMPA,STAMPA, FCTFCT:: 150150,,000000€€ ((20082008//1010))
[participant][participant] JEDI,JEDI, FCT,FCT, 200200,,000000€€ ((20082008--1010))
[participant][participant] EduJudgeEduJudge,, EUEU:: 6060,,000000€€ ((20082008--1010))
InternationalizationInternationalizationInternationalizationInternationalization
20032003 20042004 20052005 20062006 20072007 20082008 TotalTotal
Organization (Conf. Chair)1 1 0 2 0 4 0 7
Program Chair1 1 0 3 0 2 1 7
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 15
Program Committee Member1 8 3 6 6 14 15 52
Events 4 3 5 4 10 14 40
1 Different persons participating in the same event are counted.
4 conference/workshop proceedings edited4 conference/workshop proceedings edited4 conference/workshop proceedings edited4 conference/workshop proceedings edited
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
��Ricardo RochaRicardo Rocha
��Fernando SilvaFernando Silva
��InêsInês DutraDutra
��Paulo Paulo MouraMoura
��VítorVítor Santos CostaSantos Costa
LEAP LEAP -- Logic Environments with Logic Environments with
Advanced Parallelism Advanced Parallelism
LEAP LEAP -- Logic Environments with Logic Environments with
Advanced Parallelism Advanced Parallelism
�� Logic Programming (LP) provides a Logic Programming (LP) provides a highhigh--levellevel, , declarative approachdeclarative approach to programming.to programming.
�� LP is very attractive for the exploitation of LP is very attractive for the exploitation of implicit implicit
parallelismparallelism..
�� Logic Programming (LP) provides a Logic Programming (LP) provides a highhigh--levellevel, , declarative approachdeclarative approach to programming.to programming.
�� LP is very attractive for the exploitation of LP is very attractive for the exploitation of implicit implicit
parallelismparallelism..
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
parallelismparallelism..
�� The LEAP project aims at investigating novel techniques to The LEAP project aims at investigating novel techniques to efficiently exploit parallelism from large scale realefficiently exploit parallelism from large scale real--world world applications in applications in low cost multilow cost multi--core architecturescore architectures..
�� The LEAP project establishes its foundations on implicit The LEAP project establishes its foundations on implicit parallelism but relies on parallelism but relies on highhigh--level explicit parallel level explicit parallel
constructsconstructs to trigger parallel executionto trigger parallel execution..
parallelismparallelism..
�� The LEAP project aims at investigating novel techniques to The LEAP project aims at investigating novel techniques to efficiently exploit parallelism from large scale realefficiently exploit parallelism from large scale real--world world applications in applications in low cost multilow cost multi--core architecturescore architectures..
�� The LEAP project establishes its foundations on implicit The LEAP project establishes its foundations on implicit parallelism but relies on parallelism but relies on highhigh--level explicit parallel level explicit parallel
constructsconstructs to trigger parallel executionto trigger parallel execution..
LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism
�� Past Past experience in designing and developing parallel systems for experience in designing and developing parallel systems for �� sharedshared ((environment copyingenvironment copying) and ) and
�� distributed distributed memory architecturesmemory architectures ((stack splittingstack splitting), ),
�� Main Main goal of LEAP is to design a new parallel platform goal of LEAP is to design a new parallel platform takes takes
advantage of both modelsadvantage of both models to scaleto scale--up on clusters of up on clusters of multimulti--cores.cores.
�� Main problemsMain problems
�� Past Past experience in designing and developing parallel systems for experience in designing and developing parallel systems for �� sharedshared ((environment copyingenvironment copying) and ) and
�� distributed distributed memory architecturesmemory architectures ((stack splittingstack splitting), ),
�� Main Main goal of LEAP is to design a new parallel platform goal of LEAP is to design a new parallel platform takes takes
advantage of both modelsadvantage of both models to scaleto scale--up on clusters of up on clusters of multimulti--cores.cores.
�� Main problemsMain problems
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
�� Main problemsMain problems�� How to integrate both modelsHow to integrate both models
�� SchedulingScheduling
�� Load balancingLoad balancing
�� Speculative workSpeculative work
�� Support sequential semanticsSupport sequential semantics
�� Main problemsMain problems�� How to integrate both modelsHow to integrate both models
�� SchedulingScheduling
�� Load balancingLoad balancing
�� Speculative workSpeculative work
�� Support sequential semanticsSupport sequential semantics
LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism
�� Two levels of processing unitsTwo levels of processing units�� Single workersSingle workers
�� Teams of workersTeams of workers (workers sharing the same memory address space)(workers sharing the same memory address space)
�� For shared memory architecturesFor shared memory architectures�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
�� Two levels of processing unitsTwo levels of processing units�� Single workersSingle workers
�� Teams of workersTeams of workers (workers sharing the same memory address space)(workers sharing the same memory address space)
�� For shared memory architecturesFor shared memory architectures�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
�� For distributed memory architecturesFor distributed memory architectures�� workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
�� for distributing work among for distributing work among teamsteams we can only have we can only have stack splittingstack splitting
�� This is similar to the MPI/This is similar to the MPI/OpenMPOpenMP programming pattern where MPI programming pattern where MPI is used to communicate work among computer nodes and is used to communicate work among computer nodes and OpenMPOpenMPis used to communicate work among workers in the same node.is used to communicate work among workers in the same node.
�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
�� For distributed memory architecturesFor distributed memory architectures�� workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models
�� for distributing work among for distributing work among teamsteams we can only have we can only have stack splittingstack splitting
�� This is similar to the MPI/This is similar to the MPI/OpenMPOpenMP programming pattern where MPI programming pattern where MPI is used to communicate work among computer nodes and is used to communicate work among computer nodes and OpenMPOpenMPis used to communicate work among workers in the same node.is used to communicate work among workers in the same node.
LEAP LEAP -- Logic Environments with Logic Environments with
Advanced Parallelism Advanced Parallelism
LEAP LEAP -- Logic Environments with Logic Environments with
Advanced Parallelism Advanced Parallelism
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
The Horus ProjectThe Horus ProjectThe Horus ProjectThe Horus Project
�� Combining Logic and Combining Logic and ProbabilitiesProbabilities
�� ProbLogProbLog�� 00..99::car(red)::car(red)
�� Combining Logic and Combining Logic and ProbabilitiesProbabilities
�� ProbLogProbLog�� 00..99::car(red)::car(red)
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
�� 00..99::car(red)::car(red)
�� CLP(BN)CLP(BN)�� profprof((Prof,SkillProf,Skill) :) :--
ability(ability(Prof,AbProf,Ab))
/ Skill = Random(/ Skill = Random(AbAb))
�� 00..99::car(red)::car(red)
�� CLP(BN)CLP(BN)�� profprof((Prof,SkillProf,Skill) :) :--
ability(ability(Prof,AbProf,Ab))
/ Skill = Random(/ Skill = Random(AbAb))
Horus ProjectHorus ProjectHorus ProjectHorus Project
�� Lifted InferenceLifted Inference�� Required for large databasesRequired for large databases
�� LearningLearningLearning AlgorithmsLearning Algorithms
�� Lifted InferenceLifted Inference�� Required for large databasesRequired for large databases
�� LearningLearningLearning AlgorithmsLearning Algorithms
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
�� Learning AlgorithmsLearning Algorithms
�� Structure LearningStructure Learning
�� Large ApplicationsLarge Applications�� Evaluation/ Knowledge RepresentationEvaluation/ Knowledge Representation
�� Prolog SupportProlog Support
�� Learning AlgorithmsLearning Algorithms
�� Structure LearningStructure Learning
�� Large ApplicationsLarge Applications�� Evaluation/ Knowledge RepresentationEvaluation/ Knowledge Representation
�� Prolog SupportProlog Support
Programing Languages and Programing Languages and
Applications for Sensor NetworksApplications for Sensor Networks
Programing Languages and Programing Languages and
Applications for Sensor NetworksApplications for Sensor Networks
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
October 2010October 2010
http://www.dcc.fc.up.pt/cracshttp://www.dcc.fc.up.pt/cracs
October 2010October 2010
http://www.dcc.fc.up.pt/cracshttp://www.dcc.fc.up.pt/cracs
Team/ProjectsTeam/ProjectsTeam/ProjectsTeam/Projects
•• Luís Lopes, PhD, CRACS/FCUPLuís Lopes, PhD, CRACS/FCUP•• Francisco Martins, PhD, LASIGE/FCULFrancisco Martins, PhD, LASIGE/FCUL•• João Barros, PhD, IT/FCUPJoão Barros, PhD, IT/FCUP•• 2 2 PhD students (PhD students (middleware, applicationsmiddleware, applications)) 1 1 Msc studentMsc student
•• Luís Lopes, PhD, CRACS/FCUPLuís Lopes, PhD, CRACS/FCUP•• Francisco Martins, PhD, LASIGE/FCULFrancisco Martins, PhD, LASIGE/FCUL•• João Barros, PhD, IT/FCUPJoão Barros, PhD, IT/FCUP•• 2 2 PhD students (PhD students (middleware, applicationsmiddleware, applications)) 1 1 Msc studentMsc student
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 24
•• 1 1 Msc studentMsc student•• 1 1 Msc studentMsc student
CALLAS (FCT, PTDC/EIA/CALLAS (FCT, PTDC/EIA/7146271462//20062006)) 189189,,000 000 €€, , 20082008--20112011FollowFollow--up project MACAW approved in up project MACAW approved in 2010 2010 (F. (F. Martins and Luís Lopes)Martins and Luís Lopes)
CALLAS (FCT, PTDC/EIA/CALLAS (FCT, PTDC/EIA/7146271462//20062006)) 189189,,000 000 €€, , 20082008--20112011FollowFollow--up project MACAW approved in up project MACAW approved in 2010 2010 (F. (F. Martins and Luís Lopes)Martins and Luís Lopes)
GoalsGoalsGoalsGoals
•• a formal model that captures the fundamental abstractions of a formal model that captures the fundamental abstractions of sensor network programmingsensor network programming
•• provide programmers with methodologies and tools to develop provide programmers with methodologies and tools to develop resilient and reconfigurable applicationsresilient and reconfigurable applications
•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks,
•• a formal model that captures the fundamental abstractions of a formal model that captures the fundamental abstractions of sensor network programmingsensor network programming
•• provide programmers with methodologies and tools to develop provide programmers with methodologies and tools to develop resilient and reconfigurable applicationsresilient and reconfigurable applications
•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks,
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 25
•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks, allowing a large classe of runallowing a large classe of run--time errors to be discarded before time errors to be discarded before deploymentdeployment
•• a prototype programming language and associated runa prototype programming language and associated run--time time system to demonstrate the feasibility of the approach takensystem to demonstrate the feasibility of the approach taken
•• MACAW: highMACAW: high--level, macroprogramming, safelevel, macroprogramming, safe--byby--design design languages for WSNlanguages for WSN
•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks, allowing a large classe of runallowing a large classe of run--time errors to be discarded before time errors to be discarded before deploymentdeployment
•• a prototype programming language and associated runa prototype programming language and associated run--time time system to demonstrate the feasibility of the approach takensystem to demonstrate the feasibility of the approach taken
•• MACAW: highMACAW: high--level, macroprogramming, safelevel, macroprogramming, safe--byby--design design languages for WSNlanguages for WSN
Some PublicationsSome PublicationsSome PublicationsSome Publications
• Francisco Martins, Luís Lopes. Towards Safe Programming of Wireless Sensor Networks. Electronic Proceedings on Theoretical Computer Science (EPTCS) 17, pages 49-62, Elsevier, 2010.
• Luís Lopes, Francisco Martins, João Barros. In Middleware for Network Centric and Mobile Applications. Chapter “Programming Wireless Sensor Networks”, pages 25–41. Springer-Verlag, 2009.
• Francisco Martins, Luís Lopes. Towards Safe Programming of Wireless Sensor Networks. Electronic Proceedings on Theoretical Computer Science (EPTCS) 17, pages 49-62, Elsevier, 2010.
• Luís Lopes, Francisco Martins, João Barros. In Middleware for Network Centric and Mobile Applications. Chapter “Programming Wireless Sensor Networks”, pages 25–41. Springer-Verlag, 2009.
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 26
Networks”, pages 25–41. Springer-Verlag, 2009.
• L. Lopes, F. Martins, M. S. Silva and J. Barros. A Process Calculus Approach to Sensor Network Programming. International Conference on Sensor Technologies and Applications (SENSORCOMM’07), IEEE Press, 2007.
Networks”, pages 25–41. Springer-Verlag, 2009.
• L. Lopes, F. Martins, M. S. Silva and J. Barros. A Process Calculus Approach to Sensor Network Programming. International Conference on Sensor Technologies and Applications (SENSORCOMM’07), IEEE Press, 2007.
User Centric privacy oriented User Centric privacy oriented Identity management Identity management systemssystems
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
Manuel Eduardo Correia Manuel Eduardo Correia
��Have you made your login today? Have you made your login today?
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA
��Strong Authentication and secure Mobile identity Strong Authentication and secure Mobile identity attributesattributes
��User at BrowserUser at Browser
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA��29292929
��IdentityIdentity
��ProviderProvider
��Attribute Attribute
consumerconsumer
��Authentication Authentication
��ProviderProvider
��Biologically Inspired Computing Biologically Inspired Computing ––Artificial Immune Sytems for Artificial Immune Sytems for
Anomaly Detection.Anomaly Detection.
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA��30303030
Anomaly Detection.Anomaly Detection.
Artificial Immune Systems for anomaly detectionArtificial Immune Systems for anomaly detection
Inspiration on Biological systems for Inspiration on Biological systems for complex problem solving on complex problem solving on computers.computers.
Immunological Inspired Models Immunological Inspired Models
intrusion detection systemsintrusion detection systems
spam classificationspam classification
Inspiration on Biological systems for Inspiration on Biological systems for complex problem solving on complex problem solving on computers.computers.
Immunological Inspired Models Immunological Inspired Models
intrusion detection systemsintrusion detection systems
spam classificationspam classification
CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 31
TAT (Tunable Activation Threshold) TAT (Tunable Activation Threshold) simulation model for the activation simulation model for the activation behavior of Tbehavior of T--Cells.Cells.
Detection of nonDetection of non--self behavior of the self behavior of the TT--cells on the vertebrate immune cells on the vertebrate immune system. system.
TAT (Tunable Activation Threshold) TAT (Tunable Activation Threshold) simulation model for the activation simulation model for the activation behavior of Tbehavior of T--Cells.Cells.
Detection of nonDetection of non--self behavior of the self behavior of the TT--cells on the vertebrate immune cells on the vertebrate immune system. system.
top related