IPD - Lehrstuhl Tichy - Programmiersysteme

Prof. Dr. Walter F. Tichy

Institutsleitung
Sprechstunden: Freitag, 13:00 - 14:00
Raum: 369
Tel.: +49 721 608-43934
tichyLeh4∂kit edu

Arbeitsgebiete

- Softwaretechnik
- paralleles Rechnen
- Sprachverarbeitung in der Softwaretechnik
- empirische Softwaretechnik
- Konfigurationskontrolle
- Google Scholar Seite

Aktuelle Veranstaltungen

Vorlesungen

EdgeAI in Software und Sensor Applications (SS2020)

Softwaretechnik I (SS2020)

Tutorenseminar zur Softwaretechnik I (SS2020)

Seminare

Seminar Oberseminar (SS2020)

IPD Institutsseminar (SS2020)

Veröffentlichungen

Veröffentlichungen (2017)

26: Softwaretechnik 1, Vorlesung, SS 2017, 28.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-484
25: Softwaretechnik 1, Vorlesung, SS 2017, 24.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-452
24: Softwaretechnik 1, Übung, SS 2017, 21.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-451
23: Softwaretechnik 1, Vorlesung, SS 2017, 17.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-439
22: Softwaretechnik 1, Vorlesung, SS 2017, 14.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-430
21: Softwaretechnik 1, Vorlesung, SS 2017, 10.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-411
20: Softwaretechnik 1, Übung, SS 2017, 07.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-405
19: Softwaretechnik 1, Vorlesung, SS 2017, 03.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-402
18: Softwaretechnik 1, Vorlesung, SS 2017, 30.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-391
17: Softwaretechnik 1, Vorlesung, SS 2017, 26.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-384
16: Softwaretechnik 1, Übung, SS 2017, 23.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-383
15: Softwaretechnik 1, Vorlesung, SS 2017, 19.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-344
14: Softwaretechnik 1, Vorlesung, SS 2017, 16.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-342
13: Softwaretechnik 1, Vorlesung, SS 2017, 12.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-330
12: Softwaretechnik 1, Übung, SS 2017, 09.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-320
11: Softwaretechnik 1, Vorlesung, SS 2017, 02.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-305
10: Softwaretechnik 1, Vorlesung, SS 2017, 29.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-300
09: Softwaretechnik 1, Übung, SS 2017, 26.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-279
08: Softwaretechnik 1, Vorlesung, SS 2017, 22.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-262
07: Softwaretechnik 1, Vorlesung, SS 2017, 19.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-255
06: Softwaretechnik 1, Vorlesung, SS 2017, 15.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-241
05: Softwaretechnik 1, Übung, SS 2017, 12.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-231
04: Softwaretechnik 1, Vorlesung, SS 2017, 08.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-225
03: Softwaretechnik 1, Vorlesung, SS 2017, 05.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-212
02: Softwaretechnik 1, Vorlesung, SS 2017, 28.04.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-173
01: Softwaretechnik 1, Vorlesung, SS 2017, 24.04.2017.
Tichy, W. F.; Weigelt, S.; Hey, T.; Blersch, M.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-170
Context Model Acquisition from Spoken Utterances.
Weigelt, S.; Hey, T.; Tichy, W. F.
2017. International journal of software engineering and knowledge engineering, 27 (9-10), 1439–1453. doi:10.1142/S0218194017400058
Is quantum computing for real? An interview with Catherine McGeoch of D-Wave Systems.
Tichy, W.
2017. Ubiquity, 2017 (July), Art.Nr. 2. doi:10.1145/3084688
Programming Spreadsheets in Natural Language: Design of a Natural Language User Interface.
Wachtel, A.; Eurich, F.; Tichy, W. F.
2017. International Journal on Advances in Software[[Elektronische Ressource]], 10 (3-4), 286–295
An interactive action set detection in natral language hybrid system.
Wachtel, A.; Paczia, J.; Tichy, W. F.
2017. 11th International Conference on Interfaces and Human Computer Interaction, Lisbon, Portugal, 21st - 23rd July 2017, IADIS, Lisbon
Online-Autotuning in the Presence of Algorithmic Choice.
Pfaffe, P.; Tillmann, M.; Walter, S.; Tichy, W. F.
2017. IPDPSW 2017 : Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium Workshops, Lake Buena Vista, Florida, USA, 29th May - 2nd June 2017, 1379–1388, IEEE, Piscataway (NJ). doi:10.1109/IPDPSW.2017.28
Context Model Acquisition from Spoken Utterances.
Weigelt, S.; Hey, T.; Tichy, W. F.
2017. SEKE 2017. The 29th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, PA, July 5 - 7, 2017, 201–206, Wyndham Pittsburgh University Center, Pittsburgh, PA. doi:10.18293/SEKE2017-083
Object-Oriented Stream Programming.
Otto, F.; Tichy, W. F.
2017. Programming multi-core and many-core computing systems. Ed.: S. Pllana, 185–203, Wiley, New York. doi:10.1002/9781119332015.ch9
Natural Language User Interface For Software Engineering Tasks.
Wachtel, A.; Klamroth, J.; Tichy, W. F.
2017. ACHI 2017 : The Tenth International Conference on Advances in Computer-Human Interactions, Nice, France, 19 - 23 March 2017, 34–39, IARIA, Wilmington (NC)
NLCI: A Natural Language Command Interpreter.
Landhäußer, M.; Weigelt, S.; Tichy, W. F.
2017. Software Engineering 2017. Hrsg.: J. Jürgjens, 139–140, Köllen, Bonn

Veröffentlichungen (2017)
Autoren	Titel	Publikationsart
Martin Tillmann Philip Pfaffe Walter F. Tichy	Online-Autotuning in the Presence of Algorithmic Choice	Konferenzartikel

Veröffentlichungen
Titel	Publikationsart	Jahr
An Empirical Study on Parallelism in Modern Open-Source Projects	Konferenzartikel	2015
Combining Unit Tests for Data Race Detection	Konferenzartikel	2015
DeNom: A Tool to Find Problematic Nominalizations using NLP	Konferenzartikel	2015
Initial implementation of natural language turn-based dialog system	Konferenzartikel	2015
Interleaving Generation for Data Race and Deadlock Reproduction	Konferenzartikel	2015
Parallelizing a Real-time Audio Application - A Case Study in Multithreaded Software Engineering	Konferenzartikel	2015
Patty: A Pattern-based Parallelization Tool for the Multicore Age	Konferenzartikel	2015
Predicting and witnessing data races using CSP	Konferenzartikel	2015
Prototyp einer natürlichsprachlichen Schnittstelle für Tabellenkalkulation	Konferenzartikel	2015
nlrpBENCH: A Benchmark for Natural Language Requirements Processing	Konferenzartikel	2015
ProNat: An Agent-Based System Design for Programming in Spoken Natural Language	Poster	2015
Automated bug fixing: an interview with Westley Weimer, Department of Computer Science, University of Virginia and Martin Monperrus, University of Lille and INRIA, Lille, France	Zeitschriftenartikel	2015
Automated bug fixing: an interview with Westley Weimer, Department of Computer Science, University of Virginia and Martin Monperrus, University of Lille and INRIA, Lille, France	Zeitschriftenartikel	2015

Veröffentlichungen
Titel	Publikationsart	Jahr
Application-independent Autotuning for GPUs	Konferenzartikel	2014
Locating Parallelization Potential in Object-Oriented Data Structures	Konferenzartikel	2014
Deriving Timelines From Texts	Konferenzartikel	2014
Autotuning and Self-Adaptability in Concurrency Libraries	Konferenzartikel	2014
Transferring Research Into the Real World - How to Improve RE with AI in the Automotive Industry	Konferenzartikel	2014
Empirical Methods in Software Research: Which Method Should I Use?	Vortrag	2014
From Requirements to UML Models and Back - How Automatic Processing of Text Can Support Requirements Engineering	Zeitschriftenartikel	2014
Where's the Science in Software Engineering	Zeitschriftenartikel	2014
Library-Independent Data Race Detection	Zeitschriftenartikel	2014
Ubiquity Symposium 'The Multicore Transformation': Opening Statement	Zeitschriftenartikel	2014
Ubiquity Symposium 'The Multicore Transformation': Closing Statement	Zeitschriftenartikel	2014
nlrpBENCH: A Benchmark for Natural Language Requirements Processing	Technischer Artikel	2014
Automatic Generation of Parallel Unit Tests	Konferenzartikel	2013
An Evaluation of Data Race Detectors Using Bug Repositories	Konferenzartikel	2013
Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads	Konferenzartikel	2013
Empirical software research: an interview with Dag Sjøberg, University of Oslo, Norway	Zeitschriftenartikel	2013
Universal Programmability - How AI Can Help	Technischer Artikel	2013

Veröffentlichungen
Titel	Publikationsart	Jahr
Fundamentals of Multicore Software Engineering	Buch	2012
Automated Test-Case Generation by Cloning	Konferenzartikel	2012
Synchronizing Domain Models with Natural Language Specifications	Konferenzartikel	2012
Die Multicore-Transformation und ihre Herausforderung an die Softwaretechnik	Vortrag	2012
Empirie in der Softwaretechnik: Welche Methode wann?	Vortrag	2012
Forschungsmethodik in der Softwaretechnik: Wie schreibe ich eine Dissertation in der Software-Forschung	Vortrag	2012
Die Multicore-Transformation oder Warum Sie um Parallelprogrammierung nicht herumkommen	Vortrag	2012
Grundlagen der Parallelprogrammierung	Vortrag	2012
Online Tuning of Stream Programs or How To Get The Most Out Of Your Multicore	Vortrag	2012
Auto-Tuning Parallel Application Performance	Buchteil	2012

Veröffentlichungen
Titel	Publikationsart	Jahr
The Evidence for Design Patterns	Buch	2011
Software Engineering 2011, Fachtagung des GI-Fachbereichs Softwaretechnik	Buch	2011
Dynamic Data Race Detection for Correlated Variables	Konferenzartikel	2011
Bereit für Multicore?	Vortrag	2011
Truck Scheduling on Multicore	Zeitschriftenartikel	2011
Engineering Parallel Applications with Tunable Architectures	Konferenzartikel	2010
Identifying Ad-hoc Synchronization for Enhanced Race Detection	Konferenzartikel	2010
Identifying Ad-hoc Synchronization for Enhanced Race Detection	Vortrag	2010
Engineering Parallel Applications with Tunable Architectures	Vortrag	2010
Multicore and Empirical Research	Vortrag	2010
Engineering Parallel Applications with Tunable Architectures	Vortrag	2010
An Interview with Prof. Andreas Zeller: Mining your way to software reliability	Zeitschriftenartikel	2010
Parallelizing an Index Generator for Desktop Search	Technischer Artikel	2010
Irregular data-parallelism in a parallel object-oriented language by means of collective replication	Technischer Artikel	2010
Creating Software Models with Semantic Annotation	Poster	2010

Veröffentlichungen
Titel	Publikationsart	Jahr
Helgrind+: An Efficient Dynamic Race Detector	Konferenzartikel	2009
High-level Multicore Programming with XJava	Konferenzartikel	2009
XJava: Exploiting Parallelism with Object-Oriented Stream Programming	Konferenzartikel	2009
Atune-IL: An Instrumentation Language for Auto-Tuning Parallel Applications	Konferenzartikel	2009
Multicore – Herausforderung für Forschung und Software-Industrie	Vortrag	2009
Multikern-Software	Vortrag	2009
Herausforderung Multikern-Systeme	Vortrag	2009
The Multicore Software Challenge	Vortrag	2009
Bereit für die Multicore-Revolution?	Vortrag	2009
Tutorial: Multicore Software Engineering	Vortrag	2009
Support for Concurrency in the Age of Manycore	Vortrag	2009
Die Parallelisierung ist ein Angstthema für Programmierer	Zeitschriftenartikel	2009
Parallelizing Bzip2: A Case Study in Multicore Software Engineering	Zeitschriftenartikel	2009

Veröffentlichungen
Titel	Publikationsart	Jahr
On-the-fly Race Detection in Multi-Threaded Programs	Konferenzartikel	2008
Software Engineering for Multicore Systems: An Experience Report	Konferenzartikel	2008
Streaming Extensions for Object-Oriented Languages	Konferenzartikel	2008
Herausforderung Multikern-Systeme	Vortrag	2008
Die Multicore-Revolution und ihre Bedeutung für die Softwareentwicklung	Zeitschriftenartikel	2008
Mapping functions and data redistribution for parallel files	Zeitschriftenartikel	2008
Parallelizing BZip2. A Case Study in Multicore Software Engineering	Technischer Artikel	2008

Veröffentlichungen
Titel	Publikationsart	Jahr
Status of Empirical Research in Software Engineering	Konferenzartikel	2007
Thematic Role based Generation of UML Models from Real World Requirements	Konferenzartikel	2007
Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor	Konferenzartikel	2007
A Communication Middleware for Smart Room Environments	Konferenzartikel	2007
Empirische Methodik in der Softwaretechnik im Allgemeinen und bei der Software-Visualisierung im Besonderen	Konferenzartikel	2007
Die Rolle der Empirie in der Softwaretechnik	Vortrag	2007
Das Education Support Center Deutschland – Ein erfolgreiches Kooperationsprojekt zwischen Hochschulen und Industrie	Vortrag	2007
Schlanke Produktionsweisen in der modernen Softwareentwicklung	Zeitschriftenartikel	2007
Software Engineering for Multicore Systems - An Experience Report	Technischer Artikel	2007

Veröffentlichungen
Titel	Puplikationsart	Jahr
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL	Konferenzartikel	2006
Logging Kernel Events on Clusters	Zeitschriftenartikel	2006
Zhi#: Programming Language Inherent Support for XML Schema Definition	Konferenzartikel	2005
What Do Programmers of Parallel Machines Need? A Survey	Konferenzartikel	2005
On the Design and Performance of Kernel-level TCP Connection Endpoint Migration in Cluster-Based Servers	Konferenzartikel	2005
Ist XP etwas für mich? Empirische Studien zur Einschätzung von XP	Konferenzartikel	2005
Impact of Software Engineering Research on the Practice of Software Configuration Management	Zeitschriftenartikel	2005

Veröffentlichungen
Titel	Publikationsart	Jahr
Integrating Collective I/O and Cooperative Caching into the Clusterfile Parallel File System	Konferenzartikel	2004
On the Design and Performance of Remote Disk Drivers for Clusters of PCs	Konferenzartikel	2004
Request Distribution Aware Caching in Cluster-Based Web Servers	Konferenzartikel	2004
Speculative TCP Connection Admission Using Connection Migration in Cluster-Based Servers	Konferenzartikel	2004
A Controlled Experiment Comparing the Maintainability of Programs with and without Design Patterns— Replication in a Real Programming Environment	Zeitschriftenartikel	2004
Measuring HPC Productivity	Zeitschriftenartikel	2004

Veröffentlichungen
Titel	Publikationsart	Jahr
Semantic Software Engineering Approaches for Automatic Service Lookup and Integration	Konferenzartikel	2003
Transparent Distributed Threads for Java	Konferenzartikel	2003
View I/O: improving the performance of non-contiguous I/O	Konferenzartikel	2003
Logging Kernel Events on Clusters	Konferenzartikel	2003
Fast Parallel I/O on ParaStation Clusters	Konferenzartikel	2003
Adding Autonomic Functionality to Object-Oriented Applications	Konferenzartikel	2003
CARDs: Cluster-Aware Remote Disks	Konferenzartikel	2003
Clusterfile: A Flexible Physical Layout Parallel File System	Zeitschriftenartikel	2003
A Controlled Experiment on Inheritance Depth as a Cost Factor for Code Maintenance	Zeitschriftenartikel	2003

Veröffentlichungen
Titel	Publikationsart	Jahr
Mapping Functions and Data Redistribution for Parallel Files	Konferenzartikel	2002
Clusterfile: A Flexible Physical Layout Parallel File System	Konferenzartikel	2001
Case Study: Extreme Programming in a University Environment	Konferenzartikel	2001
A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions	Zeitschriftenartikel	2001
Do Design Patterns Improve Communication? An Experiment with Pair Design	Konferenzartikel	2000
Renaming Detection	Zeitschriftenartikel	2000
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking	Zeitschriftenartikel	1998
Should Computer Scientists Experiment More? 16 Reasons to Avoid Experimentation	Zeitschriftenartikel	1998
ParaStation: Efficient parallel computing by clustering workstations: Design and evaluation	Zeitschriftenartikel	1998
Delta algorithms: an empirical analysis	Zeitschriftenartikel	1998

Veröffentlichungen
Titel	Publikationsart	Jahr
Distributed Configuration Management via Java and the World Wide Web	Konferenzartikel	1997
Distributed Revision Control via the World Wide Web	Konferenzartikel	1996
A Controlled Experiment Measuring the Effect of Procedure Argument Type Checking on Programmer Productivity	Technischer Artikel	1996
Experimental Evaluation in Computer Science: A Quantitative Study	Zeitschriftenartikel	1995
Smart Recompilation	Zeitschriftenartikel	1986
RCS -- A System for Version Control	Zeitschriftenartikel	1985
The string-to-string correction problem with block moves	Zeitschriftenartikel	1984
A Model for Coherent Distributed Systems	Technischer Artikel	1983
A Data Model for Programming Support Environments and its Application	Konferenzartikel	1982
Software Development Control Based on Module Interconnection	Konferenzartikel	1979

Projekte
Titel	Kurzbeschreibung
Programmieren in natürlicher Sprache	Universelle Programmierbarkeit
Von der Beschaffung bis zur Installation	Mann der Praxis
JPlag-Plagiatfinder	JPlag: Finden von Programmähnlichkeiten
EIR	Karlsruhe Empirical Informatics Research Group
Leicht	Bewertung, Verbesserung und Unterstützung leichtgewichtiger Softwareprozesse
Intelligente Netzwerke, Protokolle und Systeme	Intelligente Hochleistungsnetzwerke, schlanke Hochgeschwindigkeitsprotokolle, Betriebssystemerweiterungen
Skalierbare Dienstgeber	Skalierbare Dienstgeber
CHIL	Computers in the Human Interaction Loop
SENSE / Sale	SALE MX - Model Extraction from Natural Language Texts
sGrid	Verteiltes Rechnen für Forschungsprojekte durch die Nutzung von bereits vorhandenen, freien IT-Ressourcen
JustLingo	Natürlichsprachliches Dialogsystem für Tabellenkalkulation
Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung	Entwurfsmustergestützte Anwendungsparallelisierung
NLRP	Benchmarking für Natural Language Requirements Processing
AtuneRt	Online-Autotuner
JavaParty	Verteiltes Java für Cluster-Computing
Scheduling	Scheduling
Clusterfile	Paralleles verteiltes Dateisystem

Prof. Dr. Walter F. Tichy

Arbeitsgebiete

Aktuelle Veranstaltungen

Vorlesungen

Seminare

Veröffentlichungen

Veröffentlichungen (2020)

Veröffentlichungen (2019)

Veröffentlichungen (2018)

Veröffentlichungen (2017)