Getting your paper accepted (at ISSTA 2008)
•
1 like•677 views
In a scientific paper, which words should you use to get it accepted? This was presented in the ISSTA 2008 awards session.
Report
Share
Report
Share
Download to read offline
Recommended
Fault Tree Analysis
Fault Tree Analysis
Product Configuration
very basic & quickly made.
References:
http://en.wikipedia.org/wiki/Fault_tree_analysis
http://www.google.com.bd/url?sa=t&rct=j&q=&esrc=s&source=web&cd=6&cad=rja&uact=8&ved=0CEoQFjAF&url=http%3A%2F%2Fwww.hq.nasa.gov%2Foffice%2Fcodeq%2Frisk%2Fdocs%2Fftacourse.pdf&ei=vzJ4VLGuDc78ugTE44HgAg&usg=AFQjCNFs9-gDEmS1v7Kw9zCT6ADoVQvsCw&sig2=jMSLGoI2lyAYQQkJ9r_xoQ&bvm=bv.80642063,d.c2E
http://en.wikipedia.org/wiki/Knowledge-based_configuration
KREAM@ICCS2013
This document proposes a new approach to conducting scientific research that continuously updates hypotheses as new data becomes available over time. It involves ingesting relevant datasets, representing hypotheses as executable programs, and periodically re-running the programs on the aggregated data to test if conclusions have changed. As a case study, the document applies this approach to re-evaluate a published hypothesis about long-term climate trends in Australia over a wider timescale and geographical scope using continuously updated temperature data sources. It concludes the proposed approach leverages existing tools to support science through large-scale computation and data integration but challenges remain in fully representing the scientific inquiry process and its computational demands.
JoshHess_Resume
Joshua F. Hess is seeking an optical engineering internship and has relevant qualifications including theoretical optical knowledge from coursework and labs, research skills, and proficiency with Microsoft Office, Solidworks, and MATLAB software. He is studying optical engineering at the University of Rochester with a planned concentration in optomechanics and has a GPA of 2.86/4.00. Relevant experience includes an internship at Rochester Precision Optics where he improved manufacturing processes and gained experience with optical testing devices and Solidworks.
Mary Jo Galbraith Resume (updated)
Mary Jo Galbraith is a physics graduate from Southern Nazarene University with a 3.82 GPA. She has research experience in optics, cybersecurity, and mathematics. Her research has been presented at multiple conferences. Galbraith has experience with programming languages, analysis tools, and laboratory work. She has worked as a tutor, student assistant, and volunteer. Galbraith is a member of several honors societies and organizations.
Taylor: Estimating uncertainty for continental scale measurements.
The document discusses approaches for estimating and communicating uncertainty in continental-scale environmental measurements. It describes how the National Ecological Observatory Network (NEON) aims to help with this challenge by making all its data, algorithms, and uncertainty calculations freely available. NEON also publishes detailed documentation on its methods and hosts workshops to advance the understanding and treatment of uncertainty in large-scale ecological studies.
Resume_Andrew_Miller
Andrew Miller is seeking employment and includes his education credentials, qualifications, related experience, scholarships, professional organizations, and community service on his resume. He received a Bachelor of Science in Engineering Physics with a minor in Mathematics from Eastern Michigan University in 2016. His related experience includes working with a professor on designing and constructing a gamma camera and damped chaotic pendulum for senior thesis research projects. He has received multiple scholarships and is an active member of several honors societies and professional organizations.
Spring 2015 Semester Review
The document provides statistics about a university consulting group including that it has 9 e-board members, operates on its 3rd cycle, has 26 student consultants across 5 project managers and 21 analysts representing 5 majors and 4 class years who have worked with 5 clients using the Office 365 platform. It also notes that analysts have presented on causes they care about and have gotten practice using Excel's statistical functions.
Work Package Presentation
This document discusses improving data access by developing and evaluating new distance measures to incorporate into reasoning about semantic similarity between query results, and implementing efficient top-k reasoning. It aims to address problems around incorporating uncertainty into scientific datasets and ontologies by measuring distances between data and query results from different sources. The work will synergize with other projects on information provenance and domain-specific ranking of queries.
Recommended
Fault Tree Analysis
Fault Tree Analysis
Product Configuration
very basic & quickly made.
References:
http://en.wikipedia.org/wiki/Fault_tree_analysis
http://www.google.com.bd/url?sa=t&rct=j&q=&esrc=s&source=web&cd=6&cad=rja&uact=8&ved=0CEoQFjAF&url=http%3A%2F%2Fwww.hq.nasa.gov%2Foffice%2Fcodeq%2Frisk%2Fdocs%2Fftacourse.pdf&ei=vzJ4VLGuDc78ugTE44HgAg&usg=AFQjCNFs9-gDEmS1v7Kw9zCT6ADoVQvsCw&sig2=jMSLGoI2lyAYQQkJ9r_xoQ&bvm=bv.80642063,d.c2E
http://en.wikipedia.org/wiki/Knowledge-based_configuration
KREAM@ICCS2013
This document proposes a new approach to conducting scientific research that continuously updates hypotheses as new data becomes available over time. It involves ingesting relevant datasets, representing hypotheses as executable programs, and periodically re-running the programs on the aggregated data to test if conclusions have changed. As a case study, the document applies this approach to re-evaluate a published hypothesis about long-term climate trends in Australia over a wider timescale and geographical scope using continuously updated temperature data sources. It concludes the proposed approach leverages existing tools to support science through large-scale computation and data integration but challenges remain in fully representing the scientific inquiry process and its computational demands.
JoshHess_Resume
Joshua F. Hess is seeking an optical engineering internship and has relevant qualifications including theoretical optical knowledge from coursework and labs, research skills, and proficiency with Microsoft Office, Solidworks, and MATLAB software. He is studying optical engineering at the University of Rochester with a planned concentration in optomechanics and has a GPA of 2.86/4.00. Relevant experience includes an internship at Rochester Precision Optics where he improved manufacturing processes and gained experience with optical testing devices and Solidworks.
Mary Jo Galbraith Resume (updated)
Mary Jo Galbraith is a physics graduate from Southern Nazarene University with a 3.82 GPA. She has research experience in optics, cybersecurity, and mathematics. Her research has been presented at multiple conferences. Galbraith has experience with programming languages, analysis tools, and laboratory work. She has worked as a tutor, student assistant, and volunteer. Galbraith is a member of several honors societies and organizations.
Taylor: Estimating uncertainty for continental scale measurements.
The document discusses approaches for estimating and communicating uncertainty in continental-scale environmental measurements. It describes how the National Ecological Observatory Network (NEON) aims to help with this challenge by making all its data, algorithms, and uncertainty calculations freely available. NEON also publishes detailed documentation on its methods and hosts workshops to advance the understanding and treatment of uncertainty in large-scale ecological studies.
Resume_Andrew_Miller
Andrew Miller is seeking employment and includes his education credentials, qualifications, related experience, scholarships, professional organizations, and community service on his resume. He received a Bachelor of Science in Engineering Physics with a minor in Mathematics from Eastern Michigan University in 2016. His related experience includes working with a professor on designing and constructing a gamma camera and damped chaotic pendulum for senior thesis research projects. He has received multiple scholarships and is an active member of several honors societies and professional organizations.
Spring 2015 Semester Review
The document provides statistics about a university consulting group including that it has 9 e-board members, operates on its 3rd cycle, has 26 student consultants across 5 project managers and 21 analysts representing 5 majors and 4 class years who have worked with 5 clients using the Office 365 platform. It also notes that analysts have presented on causes they care about and have gotten practice using Excel's statistical functions.
Work Package Presentation
This document discusses improving data access by developing and evaluating new distance measures to incorporate into reasoning about semantic similarity between query results, and implementing efficient top-k reasoning. It aims to address problems around incorporating uncertainty into scientific datasets and ontologies by measuring distances between data and query results from different sources. The work will synergize with other projects on information provenance and domain-specific ranking of queries.
Seeding Bugs To Find Bugs
The document discusses using mutation testing to evaluate test quality by seeding programs with faults and seeing if tests can find them. It outlines challenges with efficiency and determining equivalent mutants. It proposes using dynamic invariants learned through execution to characterize the impact of mutations and identify equivalent mutants, aiming to make mutation testing more practical.
Do Bugs Reside in Complex Code?
The document discusses various myths and misconceptions in software engineering. It summarizes research that analyzed large codebases to determine factors correlated with defects. Metrics like lines of code and complexity metrics correlated with defects, but the relationship depended on the project. Defect-prone modules could be predicted by combining metrics. Other factors like developer experience, prior defects, language features, and dependencies also influenced bugs. While some properties were project-specific, others like the role of requirements, design, coding and testing were universal defect sources.
Mining Processes
I need to change some piece of code. What do I need to consider? Is there anything else I need to change? We show what to learn from software repositories.
Woher kommen Software-Fehler?
Jeder Programmierer kennt die Situation: Ein Programm läuft nicht so, wie es soll. Ich stelle Techniken vor, die automatisch
(a) die Ursachen eines Fehlverhaltens finden - indem wir genau die Aspekte isolieren, die das Zustandekommen eines Fehlers verursachen;
(b) Programmfehler finden - indem wir aus dem Code "normale" Anweisungsfolgen lernen und nach Abweichungen suchen; und
(c) vorhersagen, wo in Zukunft Fehler auftreten werden - indem wir maschinell lernen, welche Code- und Prozesseigenschaften bisher mit Fehlern korrelierten.
Fallstudien an echten Programmen mit echten Fehlern, von AspectJ über Firefox zu Windows demonstrieren die Praxistauglichkeit der vorgestellten Verfahren.
Andreas Zeller ist Professor für Softwaretechnik an der Universität des Saarlandes in Saarbrücken. Sein Forschungsgebiet ist die Analyse großer Software-Systeme und deren Fehler. Sein Buch "Why Programs Fail - A Guide to Systematic Debugging" wurde 2006 mit dem Jolt Software Development Productivity Award ausgezeichnet.
Vortrag der GI Regionalgruppe Rhein-Neckar 2008-06-19
Mining Programs
A program fails. How can we locate the cause? We show automated debugging methods that isolate failure causes.
Learning from 6,000 projects mining specifications in the large
Learning from 6,000 projects mining specifications in the largeCISPA Helmholtz Center for Information Security
Models—abstract and simple descriptions of some artifact—are the backbone of all software engineering activities. While writing models is hard, existing code can serve as a source for abstract descriptions of how software behaves. To infer correct usage, code analysis needs usage examples, though; the more, the better.
We have built a lightweight parser that efficiently extracts API usage models from source code—models that can then be used to detect anomalies. Applied on the 200 mil- lion lines of code of the Gentoo Linux distribution, we would extract more than 15 million API constraints. On the web site checkmycode.org, anyone can check his/her code against the “wisdom of Linux”.Language-Based Testing and Debugging.pdf
Language-Based Testing and Debugging
Andreas Zeller, CISPA Helmholtz Center for Information Security
Joint work with Dominic Steinhöfel and the CISPA team
If one knows the input language of a software system, one can use it for generating test inputs or for determining input patterns that cause specific behavior. But how does one specify an input language such that all properties of inputs are covered? In this talk, I introduce the ISLa specification language, combining grammars and constraints over nonterminals to capture even the most complex input languages. ISLa serves as a fuzzer, allowing to test programs with a large variety of inputs systematically, but also as a parser, decomposing inputs and outputs into individual elements. This opens up new directions for debugging, determining the exact conditions under which a program fails: "The program fails if the <check-temperature-option> is given and <temperature> < 0 holds." Includes live demos!
Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and professor for Software Engineering at Saarland University. His research on automated debugging, mining software archives, specification mining, and security testing has proven highly influential. Zeller is one of the few researchers to have received two ERC Advanced Grants, most recently for his S3 project. Zeller is an ACM Fellow and holds an ACM SIGSOFT Outstanding Research Award.
Digital Networking and Community
As a young aspiring scientist, social media is one of the outlets to disseminate your work and connect to the community. This talk gives hints on the benefits and risks of science on social media. Talk at the ICSE 2022 New Faculty Symposium.
Fuzzing - A Tale of Two Cultures
Andreas Zeller's keynote at the 1st Intl Fuzzing workshop 2022 at NDSS: https://fuzzingworkshop.github.io/program.html
Do you fuzz your own program, or do you fuzz someone else's program? The answer to this question has vast consequences on your view on fuzzing. Fuzzing someone else's program is the typical adverse "security tester" perspective, where you want your fuzzer to be as automatic and versatile as possible. Fuzzing your own code, however, is more like a traditional tester perspective, where you may assume some knowledge about the program and its context, but may also want to _exploit_ this knowledge - say, to direct the fuzzer to critical locations.
In this talk, I detail these differences in perspectives and assumptions, and highlight their consequences for fuzzer design and research. I also highlight cultural differences in the research communities, and what happens if you submit a paper to the wrong community. I close with an outlook into our newest frameworks, set to reconcile these perspectives by giving users unprecedented control over fuzzing, yet staying fully automatic if need be.
Bio: Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and a professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research on automated debugging, mining software archives, specification mining, and security testing has won several awards for its impact in academia and industry. Zeller is an ACM Fellow, an IFIP Fellow, an ERC Advanced Grant Awardee, and holds an ACM SIGSOFT Outstanding Research Award.
Illustrated Code (ASE 2021)
Illustrated Code: Building Software in a Literate Way
Andreas Zeller, CISPA Helmholtz Center for Information Security
Notebooks – rich, interactive documents that join together code, documentation, and outputs – are all the rage with data scientists. But can they be used for actual software development? In this talk, I share experiences from authoring two interactive textbooks – fuzzingbook.org and debuggingbook.org – and show how notebooks not only serve for exploring and explaining code and data, but also how they can be used as software modules, integrating self-checking documentation, tests, and tutorials all in one place. The resulting software focuses on the essential, is well-documented, highly maintainable, easily extensible, and has a much higher shelf life than the "duct tape and wire” prototypes frequently found in research and beyond.
On Impact in Software Engineering Research (HU Berlin 2021)
On Impact in Software Engineering Research (HU Berlin 2021)CISPA Helmholtz Center for Information Security
At my talk "On Impact in Software Engineering Research", I present a number of lessons from (and for!) high-impact research:
* Work on a real problem
* Assume as little as possible
* Keep things simple
* Have a sound model
* Keep on learning
* Keep on moving
* Build prototypes
Video at https://youtu.be/md4Fp3Pro0o
Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research on automated debugging, mining software archives, specification mining, and security testing has won several awards for its impact in academia and industry. Zeller is an ACM Fellow, an IFIP Fellow, an ERC Advanced Grant Awardee, and holds an ACM SIGSOFT Outstanding Research Award.On Impact in Software Engineering Research (Dagstuhl 2020)
On Impact in Software Engineering Research (Dagstuhl 2020)CISPA Helmholtz Center for Information Security
How do you make your research impactful? How do you get towards your book, your tool, your algorithm? Andreas Zeller shares lessons learned in his career.Fast and Effective Fuzz Testing (Facebook TAV 2019)
Slides of Andreas Zeller's talk at the Facebook Testing and Verification Symposium, London, November 20, 2019
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...CISPA Helmholtz Center for Information Security
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis und Lehre
Andreas Zeller, CISPA Helmholtz-Zentrum für Informationssicherheit, Saarbrücken
Automatisch erzeugte Softwaretests können mit wenig menschlichem Aufwand viele Fehler finden. In diesem Vortrag stelle ich aktuelle Techniken zur Testerzeugung vor, die für ein gegebenes Programm vollautomatisch dessen Eingabesprache ableiten und aus den so entstehenden Grammatiken große Mengen gültiger Testeingaben ableiten. Unser grammatikbasierter LangFuzz-Testgenerator hat so in den JavaScript-Interpretern von Firefox, Chrome und Edge tausende Fehler gefunden. Die Techniken sind in dem interaktiven Buch “Generating Software Tests” (www.fuzzingbook.org) zusammengefasst. In einer Mischung von Text und Programmcode können Leser im Browser direkt mit den Programmen experimentieren und ihren Code live ergänzen und erweitern.
Andreas Zeller ist Forscher am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor für Softwaretechnik an der Universität des Saarlandes, beide in Saarbrücken. Seine Forschung beschäftigt sich mit der Analyse großer Software-Systeme und ihre Entwicklungsgeschichte. In 2010 wurde Zeller zum Fellow der ACM ernannt für seine Beiträge zur automatischen Fehlersuche und der Analyse von Software-Archiven, für die er 2018 als erster Deutscher den Outstanding Research Award der ACM SIGSOFT erhielt. Seine aktuellen Projekte kombinieren Testerzeugung und Specification Mining, gefördert durch den Europäischen Forschungsrat (ERC).On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)
On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)CISPA Helmholtz Center for Information Security
- Andreas Zeller gave a talk on impact in software engineering research.
- He discussed different perspectives on what constitutes impactful research, including intellectual challenge, elegance and reusability, usefulness, and innovation.
- Zeller described his own path to impact, starting with his PhD work on configuration management using feature logic, through developing the DDD debugger and introducing delta debugging. His work then expanded to mining software repositories and more recently mining app descriptions and behaviors.On Impact in Software Engineering Research
What does it take to have high impact in software engineering research? Andreas Zeller, a "high impact" SE researcher, shares his personal story and perspective.
Twelve tips on how to prepare an ERC grant proposal
The document provides 12 tips for preparing a successful grant proposal for the European Research Council (ERC). The tips include understanding the ERC process and guidelines; starting the proposal process many months before the deadline; reserving several weeks solely for writing; getting feedback from multiple reviewers outside your specialty; leveraging local expertise in EU funding; emphasizing your unique achievements and qualifications; proposing a high-risk, high-reward project with a clear title and structure; getting straight to the point without jargon; polishing the proposal extensively; and recognizing that following the tips does not guarantee success but prevents misunderstandings. The overall aim is to craft a proposal that clearly communicates your message to reviewers in a manner that stands out against competing
Getting your work funded
You are a young researcher on your first independent position. What can you do to get your research work funded? How do you frame your work, find the right partners, address the funding body?
Slides from Andreas Zeller's presentation at the New Faculty Symposium at ICSE 2017, Buenos Aires, Argentina.
Debugging Debugging
Delta debugging is a technique for isolating the cause of failures in programs. It works by systematically removing parts of changes made between a version where the program worked and a version where it fails. The algorithm efficiently determines the minimal set of changes responsible for the failure. The technique was able to isolate a single change causing a failure in GDB from 178,000 changed lines within a few hours. Automating debugging through techniques like delta debugging can help developers quickly find and fix bugs.
Best practices for project execution and delivery
A select set of project management best practices to keep your project on-track, on-cost and aligned to scope. Many firms have don't have the necessary skills, diligence, methods and oversight of their projects; this leads to slippage, higher costs and longer timeframes. Often firms have a history of projects that simply failed to move the needle. These best practices will help your firm avoid these pitfalls but they require fortitude to apply.
Authentically Social by Corey Perlman - EO Puerto Rico
Authentically Social by Corey Perlman - EO Puerto RicoCorey Perlman, Social Media Speaker and Consultant
Social media for business Organizational Change Leadership Agile Tour Geneve 2024
Organizational Change Leadership at Agile Tour Geneve 2024
More Related Content
Viewers also liked
Seeding Bugs To Find Bugs
The document discusses using mutation testing to evaluate test quality by seeding programs with faults and seeing if tests can find them. It outlines challenges with efficiency and determining equivalent mutants. It proposes using dynamic invariants learned through execution to characterize the impact of mutations and identify equivalent mutants, aiming to make mutation testing more practical.
Do Bugs Reside in Complex Code?
The document discusses various myths and misconceptions in software engineering. It summarizes research that analyzed large codebases to determine factors correlated with defects. Metrics like lines of code and complexity metrics correlated with defects, but the relationship depended on the project. Defect-prone modules could be predicted by combining metrics. Other factors like developer experience, prior defects, language features, and dependencies also influenced bugs. While some properties were project-specific, others like the role of requirements, design, coding and testing were universal defect sources.
Mining Processes
I need to change some piece of code. What do I need to consider? Is there anything else I need to change? We show what to learn from software repositories.
Woher kommen Software-Fehler?
Jeder Programmierer kennt die Situation: Ein Programm läuft nicht so, wie es soll. Ich stelle Techniken vor, die automatisch
(a) die Ursachen eines Fehlverhaltens finden - indem wir genau die Aspekte isolieren, die das Zustandekommen eines Fehlers verursachen;
(b) Programmfehler finden - indem wir aus dem Code "normale" Anweisungsfolgen lernen und nach Abweichungen suchen; und
(c) vorhersagen, wo in Zukunft Fehler auftreten werden - indem wir maschinell lernen, welche Code- und Prozesseigenschaften bisher mit Fehlern korrelierten.
Fallstudien an echten Programmen mit echten Fehlern, von AspectJ über Firefox zu Windows demonstrieren die Praxistauglichkeit der vorgestellten Verfahren.
Andreas Zeller ist Professor für Softwaretechnik an der Universität des Saarlandes in Saarbrücken. Sein Forschungsgebiet ist die Analyse großer Software-Systeme und deren Fehler. Sein Buch "Why Programs Fail - A Guide to Systematic Debugging" wurde 2006 mit dem Jolt Software Development Productivity Award ausgezeichnet.
Vortrag der GI Regionalgruppe Rhein-Neckar 2008-06-19
Mining Programs
A program fails. How can we locate the cause? We show automated debugging methods that isolate failure causes.
Learning from 6,000 projects mining specifications in the large
Learning from 6,000 projects mining specifications in the largeCISPA Helmholtz Center for Information Security
Models—abstract and simple descriptions of some artifact—are the backbone of all software engineering activities. While writing models is hard, existing code can serve as a source for abstract descriptions of how software behaves. To infer correct usage, code analysis needs usage examples, though; the more, the better.
We have built a lightweight parser that efficiently extracts API usage models from source code—models that can then be used to detect anomalies. Applied on the 200 mil- lion lines of code of the Gentoo Linux distribution, we would extract more than 15 million API constraints. On the web site checkmycode.org, anyone can check his/her code against the “wisdom of Linux”.Viewers also liked (6)
Learning from 6,000 projects mining specifications in the large
Learning from 6,000 projects mining specifications in the large
More from CISPA Helmholtz Center for Information Security
Language-Based Testing and Debugging.pdf
Language-Based Testing and Debugging
Andreas Zeller, CISPA Helmholtz Center for Information Security
Joint work with Dominic Steinhöfel and the CISPA team
If one knows the input language of a software system, one can use it for generating test inputs or for determining input patterns that cause specific behavior. But how does one specify an input language such that all properties of inputs are covered? In this talk, I introduce the ISLa specification language, combining grammars and constraints over nonterminals to capture even the most complex input languages. ISLa serves as a fuzzer, allowing to test programs with a large variety of inputs systematically, but also as a parser, decomposing inputs and outputs into individual elements. This opens up new directions for debugging, determining the exact conditions under which a program fails: "The program fails if the <check-temperature-option> is given and <temperature> < 0 holds." Includes live demos!
Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and professor for Software Engineering at Saarland University. His research on automated debugging, mining software archives, specification mining, and security testing has proven highly influential. Zeller is one of the few researchers to have received two ERC Advanced Grants, most recently for his S3 project. Zeller is an ACM Fellow and holds an ACM SIGSOFT Outstanding Research Award.
Digital Networking and Community
As a young aspiring scientist, social media is one of the outlets to disseminate your work and connect to the community. This talk gives hints on the benefits and risks of science on social media. Talk at the ICSE 2022 New Faculty Symposium.
Fuzzing - A Tale of Two Cultures
Andreas Zeller's keynote at the 1st Intl Fuzzing workshop 2022 at NDSS: https://fuzzingworkshop.github.io/program.html
Do you fuzz your own program, or do you fuzz someone else's program? The answer to this question has vast consequences on your view on fuzzing. Fuzzing someone else's program is the typical adverse "security tester" perspective, where you want your fuzzer to be as automatic and versatile as possible. Fuzzing your own code, however, is more like a traditional tester perspective, where you may assume some knowledge about the program and its context, but may also want to _exploit_ this knowledge - say, to direct the fuzzer to critical locations.
In this talk, I detail these differences in perspectives and assumptions, and highlight their consequences for fuzzer design and research. I also highlight cultural differences in the research communities, and what happens if you submit a paper to the wrong community. I close with an outlook into our newest frameworks, set to reconcile these perspectives by giving users unprecedented control over fuzzing, yet staying fully automatic if need be.
Bio: Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and a professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research on automated debugging, mining software archives, specification mining, and security testing has won several awards for its impact in academia and industry. Zeller is an ACM Fellow, an IFIP Fellow, an ERC Advanced Grant Awardee, and holds an ACM SIGSOFT Outstanding Research Award.
Illustrated Code (ASE 2021)
Illustrated Code: Building Software in a Literate Way
Andreas Zeller, CISPA Helmholtz Center for Information Security
Notebooks – rich, interactive documents that join together code, documentation, and outputs – are all the rage with data scientists. But can they be used for actual software development? In this talk, I share experiences from authoring two interactive textbooks – fuzzingbook.org and debuggingbook.org – and show how notebooks not only serve for exploring and explaining code and data, but also how they can be used as software modules, integrating self-checking documentation, tests, and tutorials all in one place. The resulting software focuses on the essential, is well-documented, highly maintainable, easily extensible, and has a much higher shelf life than the "duct tape and wire” prototypes frequently found in research and beyond.
On Impact in Software Engineering Research (HU Berlin 2021)
On Impact in Software Engineering Research (HU Berlin 2021)CISPA Helmholtz Center for Information Security
At my talk "On Impact in Software Engineering Research", I present a number of lessons from (and for!) high-impact research:
* Work on a real problem
* Assume as little as possible
* Keep things simple
* Have a sound model
* Keep on learning
* Keep on moving
* Build prototypes
Video at https://youtu.be/md4Fp3Pro0o
Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research on automated debugging, mining software archives, specification mining, and security testing has won several awards for its impact in academia and industry. Zeller is an ACM Fellow, an IFIP Fellow, an ERC Advanced Grant Awardee, and holds an ACM SIGSOFT Outstanding Research Award.On Impact in Software Engineering Research (Dagstuhl 2020)
On Impact in Software Engineering Research (Dagstuhl 2020)CISPA Helmholtz Center for Information Security
How do you make your research impactful? How do you get towards your book, your tool, your algorithm? Andreas Zeller shares lessons learned in his career.Fast and Effective Fuzz Testing (Facebook TAV 2019)
Slides of Andreas Zeller's talk at the Facebook Testing and Verification Symposium, London, November 20, 2019
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...CISPA Helmholtz Center for Information Security
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis und Lehre
Andreas Zeller, CISPA Helmholtz-Zentrum für Informationssicherheit, Saarbrücken
Automatisch erzeugte Softwaretests können mit wenig menschlichem Aufwand viele Fehler finden. In diesem Vortrag stelle ich aktuelle Techniken zur Testerzeugung vor, die für ein gegebenes Programm vollautomatisch dessen Eingabesprache ableiten und aus den so entstehenden Grammatiken große Mengen gültiger Testeingaben ableiten. Unser grammatikbasierter LangFuzz-Testgenerator hat so in den JavaScript-Interpretern von Firefox, Chrome und Edge tausende Fehler gefunden. Die Techniken sind in dem interaktiven Buch “Generating Software Tests” (www.fuzzingbook.org) zusammengefasst. In einer Mischung von Text und Programmcode können Leser im Browser direkt mit den Programmen experimentieren und ihren Code live ergänzen und erweitern.
Andreas Zeller ist Forscher am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor für Softwaretechnik an der Universität des Saarlandes, beide in Saarbrücken. Seine Forschung beschäftigt sich mit der Analyse großer Software-Systeme und ihre Entwicklungsgeschichte. In 2010 wurde Zeller zum Fellow der ACM ernannt für seine Beiträge zur automatischen Fehlersuche und der Analyse von Software-Archiven, für die er 2018 als erster Deutscher den Outstanding Research Award der ACM SIGSOFT erhielt. Seine aktuellen Projekte kombinieren Testerzeugung und Specification Mining, gefördert durch den Europäischen Forschungsrat (ERC).On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)
On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)CISPA Helmholtz Center for Information Security
- Andreas Zeller gave a talk on impact in software engineering research.
- He discussed different perspectives on what constitutes impactful research, including intellectual challenge, elegance and reusability, usefulness, and innovation.
- Zeller described his own path to impact, starting with his PhD work on configuration management using feature logic, through developing the DDD debugger and introducing delta debugging. His work then expanded to mining software repositories and more recently mining app descriptions and behaviors.On Impact in Software Engineering Research
What does it take to have high impact in software engineering research? Andreas Zeller, a "high impact" SE researcher, shares his personal story and perspective.
Twelve tips on how to prepare an ERC grant proposal
The document provides 12 tips for preparing a successful grant proposal for the European Research Council (ERC). The tips include understanding the ERC process and guidelines; starting the proposal process many months before the deadline; reserving several weeks solely for writing; getting feedback from multiple reviewers outside your specialty; leveraging local expertise in EU funding; emphasizing your unique achievements and qualifications; proposing a high-risk, high-reward project with a clear title and structure; getting straight to the point without jargon; polishing the proposal extensively; and recognizing that following the tips does not guarantee success but prevents misunderstandings. The overall aim is to craft a proposal that clearly communicates your message to reviewers in a manner that stands out against competing
Getting your work funded
You are a young researcher on your first independent position. What can you do to get your research work funded? How do you frame your work, find the right partners, address the funding body?
Slides from Andreas Zeller's presentation at the New Faculty Symposium at ICSE 2017, Buenos Aires, Argentina.
Debugging Debugging
Delta debugging is a technique for isolating the cause of failures in programs. It works by systematically removing parts of changes made between a version where the program worked and a version where it fails. The algorithm efficiently determines the minimal set of changes responsible for the failure. The technique was able to isolate a single change causing a failure in GDB from 178,000 changed lines within a few hours. Automating debugging through techniques like delta debugging can help developers quickly find and fix bugs.
More from CISPA Helmholtz Center for Information Security (13)
On Impact in Software Engineering Research (HU Berlin 2021)
On Impact in Software Engineering Research (HU Berlin 2021)
On Impact in Software Engineering Research (Dagstuhl 2020)
On Impact in Software Engineering Research (Dagstuhl 2020)
Fast and Effective Fuzz Testing (Facebook TAV 2019)
Fast and Effective Fuzz Testing (Facebook TAV 2019)
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...
Software-Tests automatisch erzeugen: Frische Ansätze für Forschung, Praxis un...
On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)
On impact in Software Engineering Research (ICSE 2018 New Faculty Symposium)
Twelve tips on how to prepare an ERC grant proposal
Twelve tips on how to prepare an ERC grant proposal
Recently uploaded
Best practices for project execution and delivery
A select set of project management best practices to keep your project on-track, on-cost and aligned to scope. Many firms have don't have the necessary skills, diligence, methods and oversight of their projects; this leads to slippage, higher costs and longer timeframes. Often firms have a history of projects that simply failed to move the needle. These best practices will help your firm avoid these pitfalls but they require fortitude to apply.
Authentically Social by Corey Perlman - EO Puerto Rico
Authentically Social by Corey Perlman - EO Puerto RicoCorey Perlman, Social Media Speaker and Consultant
Social media for business Organizational Change Leadership Agile Tour Geneve 2024
Organizational Change Leadership at Agile Tour Geneve 2024
Taurus Zodiac Sign: Unveiling the Traits, Dates, and Horoscope Insights of th...
Dive into the steadfast world of the Taurus Zodiac Sign. Discover the grounded, stable, and logical nature of Taurus individuals, and explore their key personality traits, important dates, and horoscope insights. Learn how the determination and patience of the Taurus sign make them the rock-steady achievers and anchors of the zodiac.
Recruiting in the Digital Age: A Social Media Masterclass
In this masterclass, presented at the Global HR Summit on 5th June 2024, Luan Wise explored the essential features of social media platforms that support talent acquisition, including LinkedIn, Facebook, Instagram, X (formerly Twitter) and TikTok.
Understanding User Needs and Satisfying Them
https://www.productmanagementtoday.com/frs/26903918/understanding-user-needs-and-satisfying-them
We know we want to create products which our customers find to be valuable. Whether we label it as customer-centric or product-led depends on how long we've been doing product management. There are three challenges we face when doing this. The obvious challenge is figuring out what our users need; the non-obvious challenges are in creating a shared understanding of those needs and in sensing if what we're doing is meeting those needs.
In this webinar, we won't focus on the research methods for discovering user-needs. We will focus on synthesis of the needs we discover, communication and alignment tools, and how we operationalize addressing those needs.
Industry expert Scott Sehlhorst will:
• Introduce a taxonomy for user goals with real world examples
• Present the Onion Diagram, a tool for contextualizing task-level goals
• Illustrate how customer journey maps capture activity-level and task-level goals
• Demonstrate the best approach to selection and prioritization of user-goals to address
• Highlight the crucial benchmarks, observable changes, in ensuring fulfillment of customer needs
ModelingMarketingStrategiesMKS.CollumbiaUniversitypdf
Implicitly or explicitly all competing businesses employ a strategy to select a mix
of marketing resources. Formulating such competitive strategies fundamentally
involves recognizing relationships between elements of the marketing mix (e.g.,
price and product quality), as well as assessing competitive and market conditions
(i.e., industry structure in the language of economics).
Unveiling the Dynamic Personalities, Key Dates, and Horoscope Insights: Gemin...
Explore the fascinating world of the Gemini Zodiac Sign. Discover the unique personality traits, key dates, and horoscope insights of Gemini individuals. Learn how their sociable, communicative nature and boundless curiosity make them the dynamic explorers of the zodiac. Dive into the duality of the Gemini sign and understand their intellectual and adventurous spirit.
Creative Web Design Company in Singapore
At Techbox Square, in Singapore, we're not just creative web designers and developers, we're the driving force behind your brand identity. Contact us today.
Industrial Tech SW: Category Renewal and Creation
Every industrial revolution has created a new set of categories and a new set of players.
Multiple new technologies have emerged, but Samsara and C3.ai are only two companies which have gone public so far.
Manufacturing startups constitute the largest pipeline share of unicorns and IPO candidates in the SF Bay Area, and software startups dominate in Germany.
2022 Vintage Roman Numerals Men Rings
Discover timeless style with the 2022 Vintage Roman Numerals Men's Ring. Crafted from premium stainless steel, this 6mm wide ring embodies elegance and durability. Perfect as a gift, it seamlessly blends classic Roman numeral detailing with modern sophistication, making it an ideal accessory for any occasion.
https://rb.gy/usj1a2
Building Your Employer Brand with Social Media
Presented at The Global HR Summit, 6th June 2024
In this keynote, Luan Wise will provide invaluable insights to elevate your employer brand on social media platforms including LinkedIn, Facebook, Instagram, X (formerly Twitter) and TikTok. You'll learn how compelling content can authentically showcase your company culture, values, and employee experiences to support your talent acquisition and retention objectives. Additionally, you'll understand the power of employee advocacy to amplify reach and engagement – helping to position your organization as an employer of choice in today's competitive talent landscape.
Satta Matka Dpboss Matka Guessing Kalyan Chart Indian Matka Kalyan panel Chart
Satta Matka Dpboss Matka Guessing Kalyan Chart Indian Matka Kalyan panel Chart➒➌➎➏➑➐➋➑➐➐Dpboss Matka Guessing Satta Matka Kalyan Chart Indian Matka
SATTA MATKA SATTA FAST RESULT KALYAN TOP MATKA RESULT KALYAN SATTA MATKA FAST RESULT MILAN RATAN RAJDHANI MAIN BAZAR MATKA FAST TIPS RESULT MATKA CHART JODI CHART PANEL CHART FREE FIX GAME SATTAMATKA ! MATKA MOBI SATTA 143 spboss.in TOP NO1 RESULT FULL RATE MATKA ONLINE GAME PLAY BY APP SPBOSSAnny Serafina Love - Letter of Recommendation by Kellen Harkins, MS.
This letter, written by Kellen Harkins, Course Director at Full Sail University, commends Anny Love's exemplary performance in the Video Sharing Platforms class. It highlights her dedication, willingness to challenge herself, and exceptional skills in production, editing, and marketing across various video platforms like YouTube, TikTok, and Instagram.
LA HUG - Video Testimonials with Chynna Morgan - June 2024
Have you ever heard that user-generated content or video testimonials can take your brand to the next level? We will explore how you can effectively use video testimonials to leverage and boost your sales, content strategy, and increase your CRM data.🤯
We will dig deeper into:
1. How to capture video testimonials that convert from your audience 🎥
2. How to leverage your testimonials to boost your sales 💲
3. How you can capture more CRM data to understand your audience better through video testimonials. 📊
Event Report - SAP Sapphire 2024 Orlando - lots of innovation and old challenges
Holger Mueller of Constellation Research shares his key takeaways from SAP's Sapphire confernece, held in Orlando, June 3rd till 5th 2024, in the Orange Convention Center.
How MJ Global Leads the Packaging Industry.pdf
MJ Global's success in staying ahead of the curve in the packaging industry is a testament to its dedication to innovation, sustainability, and customer-centricity. By embracing technological advancements, leading in eco-friendly solutions, collaborating with industry leaders, and adapting to evolving consumer preferences, MJ Global continues to set new standards in the packaging sector.
The 10 Most Influential Leaders Guiding Corporate Evolution, 2024.pdf
In the recent edition, The 10 Most Influential Leaders Guiding Corporate Evolution, 2024, The Silicon Leaders magazine gladly features Dejan Štancer, President of the Global Chamber of Business Leaders (GCBL), along with other leaders.
Recently uploaded (20)
Authentically Social by Corey Perlman - EO Puerto Rico
Authentically Social by Corey Perlman - EO Puerto Rico
Organizational Change Leadership Agile Tour Geneve 2024
Organizational Change Leadership Agile Tour Geneve 2024
Taurus Zodiac Sign: Unveiling the Traits, Dates, and Horoscope Insights of th...
Taurus Zodiac Sign: Unveiling the Traits, Dates, and Horoscope Insights of th...
Recruiting in the Digital Age: A Social Media Masterclass
Recruiting in the Digital Age: A Social Media Masterclass
ModelingMarketingStrategiesMKS.CollumbiaUniversitypdf
ModelingMarketingStrategiesMKS.CollumbiaUniversitypdf
Unveiling the Dynamic Personalities, Key Dates, and Horoscope Insights: Gemin...
Unveiling the Dynamic Personalities, Key Dates, and Horoscope Insights: Gemin...
Satta Matka Dpboss Matka Guessing Kalyan Chart Indian Matka Kalyan panel Chart
Satta Matka Dpboss Matka Guessing Kalyan Chart Indian Matka Kalyan panel Chart
Anny Serafina Love - Letter of Recommendation by Kellen Harkins, MS.
Anny Serafina Love - Letter of Recommendation by Kellen Harkins, MS.
LA HUG - Video Testimonials with Chynna Morgan - June 2024
LA HUG - Video Testimonials with Chynna Morgan - June 2024
Event Report - SAP Sapphire 2024 Orlando - lots of innovation and old challenges
Event Report - SAP Sapphire 2024 Orlando - lots of innovation and old challenges
The 10 Most Influential Leaders Guiding Corporate Evolution, 2024.pdf
The 10 Most Influential Leaders Guiding Corporate Evolution, 2024.pdf
Getting your paper accepted (at ISSTA 2008)
- 1. ISSTA 2008 Awards or: how to get your paper accepted at ISSTA Andreas Zeller, PC Chair
- 5. Acceptance: Location USA 41% Israel 47%
- 6. Acceptance: Location Sweden 75% USA 41% Israel 47%
- 8. Acceptance: Topics All papers 26%
- 9. Acceptance: Topics Software Verification 8/30 = 27% All papers 26%