BibSLEIGH — Vitor_Santos

Travelled to:

1 × Brazil
1 × Cyprus
1 × Hungary
1 × India
1 × Portugal
10 × USA
2 × Japan
2 × Spain
3 × Italy
3 × United Kingdom
4 × France

Collaborated with:

F.M.A.Silva R.Rocha R.Lopes ∅ I.d.C.Dutra R.Yang D.H.D.Warren A.F.d.Silva J.Wielemaker R.Bianchini D.Vaz G.Gupta J.Davis D.Page N.A.Fonseca E.Pontelli R.Camacho L.F.Castro M.V.Hermenegildo B.Demoen C.Amaral M.Florido M.Ferreira K.F.Sagonas K.Shen A.King M.E.Correia K.Boyd T.Schrijvers S.Ray M.G.Silva E.Bellodi E.Lamma F.Riguzzi R.Zese A.Kimmig L.D.Raedt T.Beaumont N.Angelopoulos J.Azevedo L.Wessels E.Berg P.L.Peissig M.Caldwell

Talks about:

parallel (16) program (13) logic (12) prolog (11) andorra (9) system (9) model (7) implement (5) compil (5) tabl (5)

Person: Vítor Santos Costa

DBLP: Costa:V=iacute=tor_Santos

Facilitated 3 volumes:

Contributed to:

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2001

2000

1999

1998

1997

1995

1994

1993

1991

Wrote 43 papers:

FLOPS-2014-AmaralFC #named #prolog #testing: PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
ICLP-J-2014-BellodiLRCZ #logic programming #probability: Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.
ICLP-J-2013-CostaV #named: BigYAP: Exo-compilation meets UDI (VSC, DV), pp. 799–813.
PADL-2013-AngelopoulosCAWCW #functional #logic programming #statistics: Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.
ICML-2012-BoydDPC #empirical #evaluation: Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation (KB, JD, DP, VSC), p. 210.
ICML-2012-DavisCBPPC #clustering #predict #relational: Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events (JD, VSC, EB, DP, PLP, MC), p. 172.
PADL-2011-WielemakerC #on the #prolog: On the Portability of Prolog Applications (JW, VSC), pp. 69–83.
ICLP-J-2010-CostaDR #thread: Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.
PADL-2010-Costa #implementation #on the: On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.
ICLP-2009-VazCF: User Defined Indexing (DV, VSC, MF), pp. 372–386.
ICLP-2008-Costa #logic programming: The Life of a Logic Programming System (VSC), pp. 1–6.
ICLP-2008-KimmigCRDR #execution #on the #performance #source code: On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICLP-2008-SchrijversCWD #prolog #towards: Towards Typed Prolog (TS, VSC, JW, BD), pp. 693–697.
SAC-2008-FonsecaCC #algorithm #named #nearest neighbour: k-RNN: k-relational nearest neighbour algorithm (NAF, VSC, RC), pp. 944–948.
ICLP-2007-CostaSL #prolog: Demand-Driven Indexing of Prolog Clauses (VSC, KFS, RL), pp. 395–409.
ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.
ICML-2007-DavisCRP #approach #predict #process: An integrated approach to feature invention and model construction for drug activity prediction (JD, VSC, SR, DP), pp. 217–224.
PADL-2007-Costa #dataset #performance #prolog: Prolog Performance on Larger Datasets (VSC), pp. 185–199.
ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation #programming language: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.
ICLP-2005-RochaLSC #modelling #named #prolog: IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.
ICLP-2005-RochaSC #evaluation #logic programming #source code: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.
PADL-2005-LopesC #memory management: Improving Memory Usage in the BEAM (RL, VSC), pp. 143–157.
ICLP-2004-RochaSC #logic programming #source code: Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.
PADL-2004-LopesCS: Pruning in the Extended Andorra Model (RL, VSC, FMAS), pp. 120–134.
ICLP-2003-LopesCS #on the: On Deterministic Computations in the Extended Andorra Model (RL, VSC, FMAS), pp. 407–421.
ICLP-2001-CastroC #comprehension #memory management #prolog: Understanding Memory Management in Prolog Systems (LFC, VSC), pp. 11–26.
ICLP-2001-RochaSC #on the: On a Tabling Engine That Can Exploit Or-Parallelism (RR, FMAS, VSC), pp. 43–58.
PADL-2001-LopesCS #implementation #novel: A Novel Implementation of the Extended Andorra Model (RL, VSC, FMAS), pp. 199–213.
CL-2000-DutraCB #logic programming #parallel #protocol: The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems (IdCD, VSC, RB), pp. 1285–1299.
PADL-1999-RochaSC: Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.
PADL-1999-SilvaDBC #architecture #logic programming #parallel #parametricity #performance: The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems (MGS, IdCD, RB, VSC), pp. 122–136.
PPDP-1999-Costa #bytecode #optimisation #prolog: Optimising Bytecode Emulation for Prolog (VSC), pp. 261–277.
JICSLP-1998-FonsecaCD #execution #logic programming #named #parallel #source code #visualisation: VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs (NAF, VSC, IdCD), pp. 100–114.
JICSLP-1998-ShenCK #distance #execution #metric #named #parallel: Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
ILPS-1997-CorreiaSC #orthogonal #parallel: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems (MEC, FMAS, VSC), pp. 117–131.
PDP-1997-CostaBD #logic programming #parallel #protocol: Evaluating the impact of coherence protocols on parallel logic programming systems (VSC, RB, IdCD), pp. 376–381.
ICLP-1995-GuptaCP #array #logic programming #parallel: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.
ICLP-1994-GuptaHPC #execution #logic programming #named #source code: ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.
ICLP-1993-YangBDCW #performance: Performance of the Compiler-Based Andorra-I System (RY, TB, IdCD, VSC, DHDW), pp. 150–166.
ICLP-1991-CostaWY #preprocessor #prolog: The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.
ICLP-1991-CostaWY91a #implementation #parallel: The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model (VSC, DHDW, RY), pp. 825–839.
ISLP-1991-GuptaCYH #independence #named: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism (GG, VSC, RY, MVH), pp. 152–166.
PPoPP-1991-CostaWY #named #parallel #prolog: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism (VSC, DHDW, RY), pp. 83–93.