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 × Belgium
1 × Cyprus
1 × Czech Republic
1 × Israel
1 × Korea
1 × Portugal
1 × Romania
1 × South Korea
1 × Sweden
1 × Switzerland
2 × India
2 × Spain
2 × United Kingdom
3 × Canada
3 × France
3 × Germany
6 × USA
7 × Italy
Collaborated with:
M.v.d.Brand B.Vasilescu S.A.Roubtsov D.D.Schreye J.Businge N.Lindenstrauss Y.Sagiv V.Filkov Y.Dajsuren P.Oliveira M.T.Valente T.Schrijvers F.Mesnard B.Demoen P.Schneider-Kamp J.Giesl R.Thiemann P.T.Devanbu R.Jongeling S.Datta S.d.Putter D.Landman J.J.Vinju D.Pletea T.Mens A.Sutii M.v.Amstel A.Capiluppi A.Youssef W.Poncin B.J.Arnoldus S.Cohen W.Nutt A.Bergel F.P.Lima S.Wang D.Lo G.Gousios A.Zaidman E.Kouters R.Huisman A.Mazoyer A.P.v.d.Meer A.T.Hofkamp E.E.Roubtsova S.v.Schuylenburg J.Wulms G.Robles L.A.Reina J.M.González-Barahona B.Schoenmakers N.v.d.Broek I.Nagy T.Ströder Y.Zhao Y.Zhou C.M.Gerpheide A.Wijs I.Raedts M.Petkovic J.M.E.M.v.d.Werf L.J.Somers M.Boote D.Posnett B.Ray
Talks about:
softwar (15) program (11) termin (10) logic (9) analysi (8) java (6) develop (5) engin (5) hub (5) git (5)

♂ Person: Alexander Serebrenik

DBLP DBLP: Serebrenik:Alexander

Facilitated 14 volumes:

GTTSE 2015SciCo
SANER 2015Ed
SANER 2015PrCh
SANER 2015PrCo
SANER 2015PblCh
CSMR-WCRE 2014SaEventsCh
CSMR-WCRE 2014WoCh
ICSM 2013GCh
SLE 2011PrCo
SLE 2010FinCh
SLE 2010PrCo
SLE 2009PrCo
SLE 2009PblCh
SLE 2009PubCh

Contributed to:

CHI 20152015
ICSME 20152015
MSR 20152015
CSCW 20142014
ICEIS v3 20142014
ICSME 20142014
MSR 20142014
QoSA 20142014
CSMR 20132013
MSR 20132013
QoSA 20132013
WCRE 20132013
ICMT 20122012
ICSM 20122012
MSR 20122012
QoSA 20122012
SCAM 20122012
CSMR 20112011
GPCE 20112011
ICSM 20112011
SCAM 20112011
CSMR 20102010
ICLP 20102010
ICSM 20102010
LDTA 20102010
CSMR 20092009
ICPC 20092009
SAC 20072007
LOPSTR 20062006
ICLP 20042004
LOPSTR 20042004
PDCL 20042004
ICLP 20032003
LOPSTR 20032003
SAS 20022002
LOPSTR 20002000
LOPSTR 20002000
PODS 19991999
WCRE 20092009
CAV 19971997
LOPSTR 19971997
ASE 20172017

Wrote 51 papers:

CHI-2015-VasilescuPRBSDF #gender #git
Gender and Tenure Diversity in GitHub Teams (BV, DP, BR, MvdB, AS, PTD, VF), pp. 3789–3798.
ICSME-2015-JongelingDS #analysis #re-engineering #research #sentiment #tool support
Choosing your weapons: On sentiment analysis tools for software engineering research (RJ, SD, AS), pp. 531–535.
ICSME-2015-OliveiraVBS #developer #metric #validation
Validating metric thresholds with developers: An early result (PO, MTV, AB, AS), pp. 546–550.
MSR-2015-VasilescuSF #git #set #social
A Data Set for Social Diversity Studies of GitHub Teams (BV, AS, VF), pp. 514–517.
CSCW-2014-VasilescuSDF #community #how #open source #social
How social Q&A sites are changing knowledge sharing in open source software communities (BV, AS, PTD, VF), pp. 342–354.
ICEIS-v3-2014-PutterRS #consistency #enterprise #testing
Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
ICSME-2014-LandmanSV #analysis #corpus #empirical #java #scalability
Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods (DL, AS, JJV), pp. 221–230.
ICSME-2014-OliveiraLVS #metric #named #source code
RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics (PO, FPL, MTV, AS), pp. 629–632.
ICSME-2014-VasilescuSWSB #empirical #git #integration
Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub (BV, SvS, JW, AS, MvdB), pp. 401–405.
ICSME-2014-WangLVS #named #recommendation
EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites (SW, DL, BV, AS), pp. 291–300.
MSR-2014-GousiosVSZ #agile #git
Lean GHTorrent: GitHub data on demand (GG, BV, AS, AZ), pp. 384–387.
MSR-2014-PleteaVS #analysis #git #security #sentiment
Security and emotion: sentiment analysis of security discussions on GitHub (DP, BV, AS), pp. 348–351.
MSR-2014-RoblesRSVG #challenge #dataset #overview
FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining (GR, LAR, AS, BV, JMGB), pp. 396–399.
QoSA-2014-DajsurenGSWVB #architecture #formal method
Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.
CSMR-2013-BusingeSB #api #developer #eclipse
Analyzing the Eclipse API Usage: Putting the Developer in the Loop (JB, AS, MvdB), pp. 37–46.
MSR-2013-VasilescuSM #dataset #re-engineering
A historical dataset of software engineering conferences (BV, AS, TM), pp. 373–376.
QoSA-2013-DajsurenBSR #assessment #composition #modelling
Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
WCRE-2013-SchoenmakersBNVS #complexity
Assessing the complexity of upgrading software modules (BS, NvdB, IN, BV, AS), pp. 433–440.
WCRE-2013-SutiiRS #dependence #detection #enterprise #java
Detecting dependencies in Enterprise JavaBeans with SQuAVisiT (AS, SAR, AS), pp. 485–486.
ICMT-2012-AmstelBS #model transformation #traceability #visualisation
Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.
ICSM-2012-BusingeSB #eclipse #plugin
Survival of Eclipse third-party plug-ins (JB, AS, MvdB), pp. 368–377.
ICSM-2012-KoutersVSB #gnome #repository #using
Who’s who in Gnome: Using LSA to merge software repository identities (EK, BV, AS, MvdB), pp. 592–595.
MSR-2012-CapiluppiSY #developer
Developing an h-index for OSS developers (AC, AS, AY), pp. 251–254.
QoSA-2012-DajsurenBSH #architecture #case study #consistency #multi
Automotive ADLS: a study on enforcing consistency through multiple architectural levels (YD, MvdB, AS, RH), pp. 71–80.
SCAM-2012-BusingeSB #eclipse #plugin #predict
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.
CSMR-2011-PoncinSB #mining #process #repository
Process Mining Software Repositories (WP, AS, MvdB), pp. 5–14.
GPCE-2011-ArnoldusBS #less is more #metalanguage
Less is more: unparser-completeness of metalanguages for template engines (BJA, MvdB, AS), pp. 137–146.
ICSM-2011-VasilescuSB #case study #metric
You can’t control the unfamiliar: A study on the relations between aggregation techniques for software metrics (BV, AS, MvdB), pp. 313–322.
SCAM-2011-RoubtsovSMB #diagrams #enterprise #java #named #reverse engineering #sequence chart
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors (SAR, AS, AM, MvdB), pp. 155–164.
CSMR-2010-RoubtsovSB #composition #dependence #detection #injection #java #smell
Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.
ICLP-J-2010-Schneider-KampGSST #analysis #automation #logic programming #source code #termination
Automated termination analysis for logic programs with cut (PSK, JG, TS, AS, RT), pp. 365–381.
ICSM-2010-SerebrenikB #metric
Theil index for aggregation of software metrics values (AS, MvdB), pp. 1–9.
LDTA-2010-BrandMSH #case study #domain-specific language #experience
Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
CSMR-2009-BrandRS #flexibility #named #visual notation
SQuAVisiT: A Flexible Tool for Visual Software Analytics (MvdB, SAR, AS), pp. 331–332.
ICPC-2009-SerebrenikRB #architecture #assessment #java #open source
Dn-based architecture assessment of Java Open Source software systems (AS, SAR, MvdB), pp. 198–207.
SAC-2007-RaedtsPSWSB #automation #framework #verification
A software framework for automated verification (IR, MP, AS, JMEMvdW, LJS, MB), pp. 1031–1032.
LOPSTR-2006-Schneider-KampGST #analysis #automation #logic programming #source code #term rewriting #termination
Automated Termination Analysis for Logic Programs by Term Rewriting (PSK, JG, AS, RT), pp. 177–193.
ICLP-2004-SchrijversS #prolog #refactoring #source code
Improving Prolog Programs: Refactoring for Prolog (TS, AS), pp. 58–72.
LOPSTR-2004-SerebrenikM #on the #source code #termination
On Termination of Binary CLP Programs (AS, FM), pp. 231–244.
PDCL-2004-LindenstraussSS #approach #logic programming #proving #source code #termination
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach (NL, YS, AS), pp. 453–498.
ICLP-2003-Serebrenik #analysis #logic programming #source code #termination
Termination Analysis of Logic Programs: Extended Abstract (AS), pp. 507–508.
ICLP-2003-SerebrenikD #logic programming #refactoring #source code
Refactoring Logic Programs: Extended Abstract (AS, BD), pp. 509–510.
LOPSTR-2003-SerebrenikS #proving #termination
Proving Termination with Adornments (AS, DDS), pp. 108–109.
SAS-2002-SerebrenikS #float #logic programming #on the #source code #termination
On Termination of Logic Programs with Floating Point Computations (AS, DDS), pp. 151–164.
LOPSTR-2000-SerebrenikS #analysis #logic programming #source code #termination
Non-tranformational termination analysis of logic programs, based on general term-orderings (AS, DDS).
LOPSTR-J-2000-SerebrenikS #analysis #logic programming #source code #termination
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings (AS, DDS), pp. 69–85.
PODS-1999-CohenNS #query #using
Rewriting Aggregate Queries Using Views (SC, WN, AS), pp. 155–166.
WCRE-1999-SerebrenikRRB99a #diagrams #enterprise #java #reverse engineering #sequence chart
Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors (AS, SAR, EER, MvdB), pp. 269–273.
CAV-1997-LindenstraussSS #logic programming #named #query #source code #termination
TermiLog: A System for Checking Termination of Queries to Logic Programs (NL, YS, AS), pp. 444–447.
LOPSTR-1997-LindenstraussSS
Unfolding the Mystery of Mergesort (NL, YS, AS), pp. 206–225.
ASE-2017-ZhaoSZFV #development #empirical #integration #scalability
The impact of continuous integration on other software development practices: a large-scale empirical study (YZ, AS, YZ, VF, BV), pp. 60–71.

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.