BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Greece
1 × Romania
1 × Spain
1 × Switzerland
2 × Canada
2 × France
2 × Italy
2 × Portugal
2 × The Netherlands
3 × Germany
5 × USA
Collaborated with:
J.P.Fernandes J.Cunha S.D.Swierstra P.Martins J.Mendes A.Pardo R.Pereira M.F.Kuiper J.C.Campos J.C.Silva J.Visser ∅ Z.Zhu H.Ko Z.Hu R.Abreu A.Perez D.S.Batory M.Azanza P.R.A.Alcocer D.Almeida E.V.Wyk T.L.Alves D.Seidel J.Voigtländer P.Simão H.Pacheco Y.Zhang M.Couto F.Ribeiro R.Rua
Talks about:
spreadsheet (10) program (6) model (6) driven (5) circular (4) bidirect (4) attribut (4) shortcut (3) languag (3) grammar (3)

♂ Person: João Saraiva

DBLP DBLP: Saraiva:Jo=atilde=o

Facilitated 29 volumes:

GTTSE 2015GCh
GTTSE 2015SciCo
GTTSE 2015SCo
SLE 2014PrCo
SLE 2013PrCo
LDTA 2012PrCo
SLE 2012PrCo
GTTSE 2011Ed
GTTSE 2011OCo
LDTA 2011PrCo
SLE 2011GCh
GTTSE 2009Ed
GTTSE 2009OCo
LDTA 2009PrCo
SLE 2009PrCo
SLE 2008PrCo
GTTSE 2007Ed
GTTSE 2007OCh
GTTSE 2007OCo
GTTSE 2007SciCo
GTTSE 2005Ed
GTTSE 2005OCo
GTTSE 2005PrCh
GTTSE 2005SciCo
LDTA 2004OCo
LDTA 2003PrCh
SCP, 2007Ed
LDTA 2002PrCo
GTTSE 2015Ed

Contributed to:

BX 20152015
SAC 20152015
HCI/HIMI p1 20142014
ICSME 20142014
PEPM 20142014
CEFP 20132013
ICMT 20122012
ICSE 20122012
SAC 20122012
FASE 20112011
PEPM 20112011
PEPM 20092009
SAC 20092009
MoDELS 20082008
PEPM 20072007
GPCE 20032003
GPCE 20022002
CC 20002000
CC 19991999
AFP 19981998
CC 19981998
SLE 20162016
SLE 20172017
CEFP 20152015
ASE 20182018
Haskell 20072007

Wrote 31 papers:

BX-2015-ZhuKMSH #named #parsing
BiYacc: Roll Your Parser and Reflective Printer into One (ZZ, HSK, PM, JS, ZH), pp. 43–50.
SAC-2015-AlmeidaCS0 #smell #towards #usability
Towards a catalog of usability smells (DA, JCC, JS, JCS), pp. 175–181.
HIMI-DE-2014-CunhaFPS #modelling #query #spreadsheet #visual notation
Graphical Querying of Model-Driven Spreadsheets (JC, JPF, RP, JS), pp. 419–430.
ICSME-2014-AbreuCFMPS #fault #smell #spreadsheet
Smelling Faults in Spreadsheets (RA, JC, JPF, PM, AP, JS), pp. 111–120.
ICSME-2014-AbreuCFMPS14a #detection #fault #locality #smell
FaultySheet Detective: When Smells Meet Fault Localization (RA, JC, JPF, PM, AP, JS), pp. 625–628.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware
Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
CEFP-2013-0001FS #composition
Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
CEFP-2013-CunhaFMPS #design #implementation #modelling #query #spreadsheet
Design and Implementation of Queries for Model-Driven Spreadsheets (JC, JPF, JM, RP, JS), pp. 459–478.
CEFP-2013-CunhaFMS #spreadsheet
Spreadsheet Engineering (JC, JPF, JM, JS), pp. 246–299.
ICMT-2012-CunhaFMPS #bidirectional #modelling #spreadsheet
Bidirectional Transformation of Model-Driven Spreadsheets (JC, JPF, JM, HP, JS), pp. 105–120.
ICSE-2012-CunhaFMS #framework #modelling #named #spreadsheet
MDSheet: A framework for model-driven spreadsheet engineering (JC, JPF, JM, JS), pp. 1395–1398.
ICSE-2012-CunhaFMS12a #bidirectional #modelling #spreadsheet
A bidirectional model-driven spreadsheet environment (JC, JPF, JM, JS), pp. 1443–1444.
SAC-2012-CunhaFS #ocl #relational #uml
From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.
FASE-2011-CunhaVAS #evolution #spreadsheet #type safety
Type-Safe Evolution of Spreadsheets (JC, JV, TLA, JS), pp. 186–201.
PEPM-2011-FernandesSSV #source code #strict
Strictification of circular programs (JPF, JS, DS, JV), pp. 131–140.
PEPM-2009-CunhaSV #database #relational #spreadsheet
From spreadsheets to relational databases and back (JC, JS, JV), pp. 179–188.
PEPM-2009-PardoFS #higher-order #monad #source code
Shortcut fusion rules for the derivation of circular and higher-order monadic programs (AP, JPF, JS), pp. 81–90.
SAC-2009-SilvaSC #library #reasoning #testing #user interface
A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.
MoDELS-2008-BatoryAS #design
The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
PEPM-2007-FernandesS #library #source code #tool support
Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.
GPCE-2003-SaraivaS #attribute grammar #generative #tool support
Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.
GPCE-2002-Saraiva #attribute grammar #component #higher-order #programming
Component-Based Programming for Higher-Order Attribute Grammars (JS), pp. 268–282.
CC-2000-SaraivaSK #attribute grammar #functional #incremental
Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
CC-1999-SariavaS #compilation #data type
Data Structure Free Compilation (JS, SDS), pp. 1–16.
AFP-1998-SwierstraAS98 #combinator #design #implementation
Designing and Implementing Combinator Languages (SDS, PRAA, JS), pp. 150–206.
CC-1998-KuiperS #generative #incremental #named #tool support
Lrc — A Generator for Incremental Language-Oriented Tools (MFK, JS), pp. 298–301.
SLE-2016-ZhuZK0SH #bidirectional #parsing
Parsing and reflective printing, bidirectionally (ZZ, YZ, HSK, PM, JS, ZH), pp. 2–14.
SLE-2017-Pereira0RRCFS #energy #how #memory management #performance #programming language #question
Energy efficiency across programming languages: how do energy, time, and memory relate? (RP, MC, FR, RR, JC, JPF, JS), pp. 256–267.
CEFP-2015-FernandesCSP #deforestation #exclamation #tutorial
Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
ASE-2018-PereiraSCS #java #named
jStanley: placing a green thumb on Java collections (RP, PS, JC, JS), pp. 856–859.
Haskell-2007-FernandesPS
A shortcut fusion rule for circular program calculation (JPF, AP, JS), pp. 95–106.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.